Merge pull request #135 from engineeredsoftware/version/v38

V38 Canonical Promotion: Inference Correctness

Author: geraldarthurdavis

.bitcode/v38-assetpack-synthesis-economic-traceability.json

@@ -0,0 +1,77 @@
+{
+  "reportId": "v38-canon-posture-drift-report",
+  "version": "V38",
+  "checkedActiveCanonVersion": "V38",
+  "checkedDraftTargetVersion": "V39",
+  "pointerVersion": "V38",
+  "proofSourceCommit": "57173a81fc05a70b6b4b922ebe88add8bfa7f64e",
+  "generatedAt": "2026-05-25T00:10:48-03:00",
+  "generatorId": "bitcode.proven-generator.v1",
+  "worktreeState": "clean",
+  "passed": true,
+  "checkCount": 10,
+  "blockingFailureCount": 0,
+  "blockingFailures": [],
+  "runtimeSpecVersion": "Bitcode Spec V38 active canon / V39 system draft",
+  "publicSpecVersion": "Bitcode Spec V38 active canon / V39 system draft",
+  "activeProvenAppendixPath": "BITCODE_SPEC_V38_PROVEN.md",
+  "policyRef": "policy://bitcode/spec-v38-active-v39-system-draft/current",
+  "checkedFiles": [
+    "protocol-demonstration/README.md",
+    "protocol-demonstration/public/index.html",
+    "protocol-demonstration/public/app.js",
+    "protocol-demonstration/server.js"
+  ],
+  "checks": [
+    {
+      "checkId": "pointer-active-canon-alignment",
+      "passed": true,
+      "detail": "BITCODE_SPEC.txt points to V38 while runtime expects V38."
+    },
+    {
+      "checkId": "canon-posture-constant-alignment",
+      "passed": true,
+      "detail": "canon-posture constants resolve V38/V39 with operator label V38 active canon / V39 system draft."
+    },
+    {
+      "checkId": "proven-appendix-alignment",
+      "passed": true,
+      "detail": "active generated appendix path is BITCODE_SPEC_V38_PROVEN.md."
+    },
+    {
+      "checkId": "policy-ref-alignment",
+      "passed": true,
+      "detail": "policy reference is policy://bitcode/spec-v38-active-v39-system-draft/current."
+    },
+    {
+      "checkId": "runtime-state-alignment",
+      "passed": true,
+      "detail": "buildInitialState() reports Bitcode Spec V38 active canon / V39 system draft with canon posture V38/V39."
+    },
+    {
+      "checkId": "public-state-alignment",
+      "passed": true,
+      "detail": "publicState() reports Bitcode Spec V38 active canon / V39 system draft with canon posture V38/V39."
+    },
+    {
+      "checkId": "server-api-alignment",
+      "passed": true,
+      "detail": "server.js keeps API posture sourced from SPEC_VERSION and buildPublicState(...)."
+    },
+    {
+      "checkId": "browser-shell-placeholder-alignment",
+      "passed": true,
+      "detail": "public/index.html exposes canon-posture placeholders and no stale hardcoded hero posture."
+    },
+    {
+      "checkId": "browser-shell-render-alignment",
+      "passed": true,
+      "detail": "public/app.js renders canon posture from runtime state and omits stale V15 explainer keys."
+    },
+    {
+      "checkId": "readme-alignment",
+      "passed": true,
+      "detail": "README states V38 active canon and BITCODE_SPEC_V38_PROVEN.md as the current generated appendix."
+    }
+  ]
+}

.bitcode/v38-canon-posture-drift-report.json

@@ -0,0 +1,19 @@
+{
+  "reportId": "v38-canonical-input-report",
+  "version": "V38",
+  "proofSourceCommit": "57173a81fc05a70b6b4b922ebe88add8bfa7f64e",
+  "generatedAt": "2026-05-25T00:10:48-03:00",
+  "generatorId": "bitcode.proven-generator.v1",
+  "worktreeState": "clean",
+  "checkedTargetVersion": "V38",
+  "pointerVersion": "V38",
+  "passed": true,
+  "failureCount": 0,
+  "failures": [],
+  "specPath": "BITCODE_SPEC_V38.md",
+  "notesPath": "BITCODE_SPEC_V38_NOTES.md",
+  "provenPath": "BITCODE_SPEC_V38_PROVEN.md",
+  "parityPath": "BITCODE_SPEC_V38_PARITY_MATRIX.md",
+  "requiredGeneratedArtifactPaths": [],
+  "requiredGeneratedArtifactCount": 0
+}