V46 Gate 8: Promotion readiness and canon workflow

Adds the V46 promotion readiness report, generated proof appendix support, promotion workflow, promotion-script wiring, shared gate/canon workflow posture, and documentation needed to move from V45 active / V46 draft to V46 active / V47 draft after validation.

Author: geraldarthurdavis

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

@@ -0,0 +1,77 @@
+{
+  "reportId": "v46-canon-posture-drift-report",
+  "version": "V46",
+  "checkedActiveCanonVersion": "V45",
+  "checkedDraftTargetVersion": "V46",
+  "pointerVersion": "V45",
+  "proofSourceCommit": "HEAD",
+  "generatedAt": "2026-06-02T00:00:00.000Z",
+  "generatorId": "bitcode.proven-generator.v1",
+  "worktreeState": "dirty-preview",
+  "passed": true,
+  "checkCount": 10,
+  "blockingFailureCount": 0,
+  "blockingFailures": [],
+  "runtimeSpecVersion": "Bitcode Spec V45 active canon / V46 system draft",
+  "publicSpecVersion": "Bitcode Spec V45 active canon / V46 system draft",
+  "activeProvenAppendixPath": "BITCODE_SPEC_V45_PROVEN.md",
+  "policyRef": "policy://bitcode/spec-v45-active-v46-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 V45 while runtime expects V45."
+    },
+    {
+      "checkId": "canon-posture-constant-alignment",
+      "passed": true,
+      "detail": "canon-posture constants resolve V45/V46 with operator label V45 active canon / V46 system draft."
+    },
+    {
+      "checkId": "proven-appendix-alignment",
+      "passed": true,
+      "detail": "active generated appendix path is BITCODE_SPEC_V45_PROVEN.md."
+    },
+    {
+      "checkId": "policy-ref-alignment",
+      "passed": true,
+      "detail": "policy reference is policy://bitcode/spec-v45-active-v46-system-draft/current."
+    },
+    {
+      "checkId": "runtime-state-alignment",
+      "passed": true,
+      "detail": "buildInitialState() reports Bitcode Spec V45 active canon / V46 system draft with canon posture V45/V46."
+    },
+    {
+      "checkId": "public-state-alignment",
+      "passed": true,
+      "detail": "publicState() reports Bitcode Spec V45 active canon / V46 system draft with canon posture V45/V46."
+    },
+    {
+      "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 V45 active canon and BITCODE_SPEC_V45_PROVEN.md as the current generated appendix."
+    }
+  ]
+}

.bitcode/v46-canonical-input-report.json

@@ -0,0 +1,29 @@
+{
+  "reportId": "v46-canonical-input-report",
+  "version": "V46",
+  "proofSourceCommit": "HEAD",
+  "generatedAt": "2026-06-02T00:00:00.000Z",
+  "generatorId": "bitcode.proven-generator.v1",
+  "worktreeState": "dirty-preview",
+  "checkedTargetVersion": "V46",
+  "pointerVersion": "V45",
+  "passed": true,
+  "failureCount": 0,
+  "failures": [],
+  "specPath": "BITCODE_SPEC_V46.md",
+  "notesPath": "BITCODE_SPEC_V46_NOTES.md",
+  "provenPath": "BITCODE_SPEC_V46_PROVEN.md",
+  "parityPath": "BITCODE_SPEC_V46_PARITY_MATRIX.md",
+  "requiredGeneratedArtifactPaths": [
+    ".bitcode/v46-spec-family-report.json",
+    ".bitcode/v46-canonical-input-report.json",
+    ".bitcode/v46-protocol-comprehension-object-model.json",
+    ".bitcode/v46-public-operator-claim-boundaries.json",
+    ".bitcode/v46-product-route-comprehension-readback.json",
+    ".bitcode/v46-interface-claim-contracts.json",
+    ".bitcode/v46-proof-readback-operator-explanation.json",
+    ".bitcode/v46-local-interface-comprehension-rehearsal.json",
+    ".bitcode/v46-promotion-readiness-report.json"
+  ],
+  "requiredGeneratedArtifactCount": 9
+}

.bitcode/v46-local-interface-comprehension-rehearsal.json

@@ -795,22 +795,22 @@
   ],
   "sourceRoots": {
     "activePointer": "BITCODE_SPEC.txt:674f33696f4048b636f67e13",
-    "spec": "BITCODE_SPEC_V46.md:b8ecb2f2cbe1f3d8cb9c71f5",
-    "delta": "BITCODE_SPEC_V46_DELTA.md:7920d7f42161931f93cba093",
-    "notes": "BITCODE_SPEC_V46_NOTES.md:189e67fc2acbf4811ebac052",
-    "parity": "BITCODE_SPEC_V46_PARITY_MATRIX.md:b133273fc254880a52286b25",
-    "roadmap": "SPECIFICATIONS_ROADMAP.md:b2e9e71006d861deb008fc48",
-    "readme": "README.md:f6aaae9cb46c3c5ea9f88257",
-    "protocolReadme": "packages/protocol/README.md:cf41e9679273e5b70040dbb3",
-    "packageJson": "package.json:163b54e4f8fd7d1e74369695",
-    "packageIndex": "packages/protocol/src/index.js:982ea139bf7924bc9d8060f8",
-    "packageTypes": "packages/protocol/src/index.d.ts:69da86d924bf5e58a83a194c",
-    "packageSource": "packages/protocol/src/canonical/v46-local-interface-comprehension-rehearsal.js:c52b528dbbf885b76de6ceb7",
+    "spec": "BITCODE_SPEC_V46.md:6f837626fc89526e4aaaf192",
+    "delta": "BITCODE_SPEC_V46_DELTA.md:bd5016d5d74128fcf34e78f4",
+    "notes": "BITCODE_SPEC_V46_NOTES.md:458320e184655e6db64c77ab",
+    "parity": "BITCODE_SPEC_V46_PARITY_MATRIX.md:fa5b05500caffc40b7a3c906",
+    "roadmap": "SPECIFICATIONS_ROADMAP.md:64b11cb963635e16fd70bf48",
+    "readme": "README.md:592ca0062eb52a55357c8f34",
+    "protocolReadme": "packages/protocol/README.md:7a7dcc0ddbc3d737a26e395c",
+    "packageJson": "package.json:b79014968c556bc1b43ab341",
+    "packageIndex": "packages/protocol/src/index.js:1f16ea428bd71351a1292cb6",
+    "packageTypes": "packages/protocol/src/index.d.ts:278dfc652c621533b5e86f4d",
+    "packageSource": "packages/protocol/src/canonical/v46-local-interface-comprehension-rehearsal.js:fd0c11d64902bbf01d31f6bd",
     "packageTest": "packages/protocol/test/v46-local-interface-comprehension-rehearsal.test.js:5b6ad282088791ea76ec2bbf",
     "generator": "scripts/generate-v46-local-interface-comprehension-rehearsal.mjs:d6a9dadb6f8ee51de50a529f",
     "checker": "scripts/check-v46-gate7-local-interface-comprehension-rehearsal.mjs:beb49c72404e73e730640a72",
-    "gateWorkflow": ".github/workflows/bitcode-gate-quality.yml:6cbd2dbd8db154eef0c2c060",
-    "canonWorkflow": ".github/workflows/bitcode-canon-quality.yml:eceb3e65f32dcf806f3a4ea9",
+    "gateWorkflow": ".github/workflows/bitcode-gate-quality.yml:e5de1dddfaeeb0ee525b0c0f",
+    "canonWorkflow": ".github/workflows/bitcode-canon-quality.yml:43cc4ded2bd9757dda9091dc",
     "v46ProtocolArtifact": ".bitcode/v46-protocol-comprehension-object-model.json:0a6c4f6f197f4ade34902bb4",
     "v46PublicArtifact": ".bitcode/v46-public-operator-claim-boundaries.json:b5b401be52a23560170c3de6",
     "v46ProductArtifact": ".bitcode/v46-product-route-comprehension-readback.json:97548fb00fad41b77e0232b1",