Promote Bitcode canon to V38

Author: github-actions[bot]

.bitcode/v38-canon-posture-drift-report.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-canonical-input-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
+}

.bitcode/v38-promotion-readiness-report.json

@@ -1,9 +1,10 @@
 {
+  "reportId": "v38-promotion-readiness-report",
   "artifactId": "v38-promotion-readiness-report",
   "schemaId": "bitcode.v38.inferencePromotionReadinessReport.v1",
   "version": "V38",
   "currentTarget": "V37",
-  "generatedAt": "2026-05-25T00:00:00.000Z",
+  "generatedAt": "2026-05-25T00:10:48-03:00",
   "sourceSafetyVerdict": "source-safe-inference-promotion-readiness-metadata",
   "prePromotionPosture": "V37 active / V38 draft",
   "postPromotionPosture": "V38 active / V39 draft",
@@ -377,7 +378,7 @@
     {
       "relativePath": "BITCODE_SPEC_V38.md",
       "present": true,
-      "digest": "sha256:93a5faa1b60e2fbb4bb3499fb3d4b3477f21a85bf2c9826110c3b1c59991dc9e",
+      "digest": "sha256:8ad857cf31d5b60ba0b7fe58b2b2adba633da2792a3599ee5daa02c76221b5f1",
       "requiredTokens": [
         {
           "token": "V38 promotion readiness canon",
@@ -396,7 +397,7 @@
     {
       "relativePath": "BITCODE_SPEC_V38_DELTA.md",
       "present": true,
-      "digest": "sha256:6956fcec0fff7a63c13177eef920de5d72d1e6e4ad21401b7190f3e6f10cf07b",
+      "digest": "sha256:c7202a4f8c30e565485170e7425342bd57ae558545e07c923517fcf61b077f7d",
       "requiredTokens": [
         {
           "token": "Gate 11: V38 Promotion Readiness",
@@ -415,7 +416,7 @@
     {
       "relativePath": "BITCODE_SPEC_V38_NOTES.md",
       "present": true,
-      "digest": "sha256:d36c36e86a3aef33c606b387424c41f5c314ac371d1498fcb51139362a992c93",
+      "digest": "sha256:71f7fdd71c74bf3d7b274b7795ab1cca5e16116b637df19dfc5b05532ed4e1a8",
       "requiredTokens": [
         {
           "token": "Gate 11: V38 Promotion Readiness",
@@ -434,7 +435,7 @@
     {
       "relativePath": "BITCODE_SPEC_V38_PARITY_MATRIX.md",
       "present": true,
-      "digest": "sha256:929cbea3c6f58aea0b01371f9c79c966d71bf0045bf72207063b28d1ca6197dd",
+      "digest": "sha256:1d13e7a91bc1cc6d72803d7995dc21c3406ab96cec35a8adc2780700481aa3d1",
       "requiredTokens": [
         {
           "token": "## Gate 11 Promotion readiness parity",
@@ -483,7 +484,7 @@
     {
       "relativePath": "packages/protocol/README.md",
       "present": true,
-      "digest": "sha256:921b3256a655131311bb2887d4621bdb3b134e06edae1648972c185550ace775",
+      "digest": "sha256:c33bd3dd921675bb0218e1bbaeb9f1ad2b0fabb1e0c221748c2ae3c97c8371c4",
       "requiredTokens": [
         {
           "token": "V38 Gate 11",
@@ -546,5 +547,9 @@
   "artifactRoot": "inference-promotion-readiness-report:1d9795fd4b675391a29f7924",
   "passed": true,
   "failures": [],
-  "validationCommand": "pnpm run check:v38-gate11"
+  "validationCommand": "pnpm run check:v38-gate11",
+  "proofSourceCommit": "57173a81fc05a70b6b4b922ebe88add8bfa7f64e",
+  "generatorId": "bitcode.proven-generator.v1",
+  "worktreeState": "clean",
+  "sourceSafe": true
 }

.bitcode/v38-spec-family-report.json

@@ -0,0 +1,34 @@
+{
+  "reportId": "v38-spec-family-report",
+  "version": "V38",
+  "proofSourceCommit": "57173a81fc05a70b6b4b922ebe88add8bfa7f64e",
+  "generatedAt": "2026-05-25T00:10:48-03:00",
+  "generatorId": "bitcode.proven-generator.v1",
+  "worktreeState": "clean",
+  "checkedVersion": "V38",
+  "mode": "promoted",
+  "currentTarget": "V38",
+  "pointerVersion": "V38",
+  "passed": true,
+  "failureCount": 0,
+  "failures": [],
+  "requiredFiles": [
+    "BITCODE_SPEC_V38.md",
+    "BITCODE_SPEC_V38_DELTA.md",
+    "BITCODE_SPEC_V38_NOTES.md",
+    "BITCODE_SPEC_V38_PARITY_MATRIX.md"
+  ],
+  "supportFiles": [
+    "BITCODE_SPECIFYING.md",
+    "BITCODE_SPEC_TEMPLATEGUIDE.md"
+  ],
+  "requiredStatusLabelCount": 4,
+  "requiredPromotedStatusLabelCount": 1,
+  "requiredSpecSectionCount": 18,
+  "requiredAppendixSectionCount": 14,
+  "requiredProofFamilyCount": 9,
+  "requiredGeneratedArtifactCatalogSectionCount": 9,
+  "requiredGeneratedArtifactPathCount": 12,
+  "requiredNotesSectionCount": 4,
+  "requiredSubsystemCoverageCount": 18
+}

BITCODE_SPEC.txt

@@ -1 +1 @@
-V37
+V38

BITCODE_SPEC_V38.md

@@ -3,18 +3,20 @@
 ## Status
 
 - Version: `V38`
-- V38 state: active draft opening over promoted V37; implementation remains V37 until V38 is promoted
-- Current canonical/latest target: `V37`
+- V38 state: canonical promotion complete; V38 is the active inference correctness canon and the V38 hand-authored plus generated canon are aligned
+- Current canonical/latest target: `V38`
+- Canonical proof-source commit: `57173a81fc05a70b6b4b922ebe88add8bfa7f64e`
 - Prior canonical anchor: `BITCODE_SPEC_V37.md`
 - Prior generated proof appendix: `BITCODE_SPEC_V37_PROVEN.md`
 - Active canonical pointer during draft opening: `BITCODE_SPEC.txt` -> `V37`
-- Generated structured artifact inventory: draft `.bitcode/v38-spec-family-report.json`, `.bitcode/v38-canonical-input-report.json`, `.bitcode/v38-canon-posture-drift-report.json`, `.bitcode/v38-inference-surface-inventory.json`, `.bitcode/v38-ptrr-failsafe-thricified-stack.json`, `.bitcode/v38-prompt-benchmark-report.json`, `.bitcode/v38-disclosure-boundary-report.json`, `.bitcode/v38-read-need-comprehension-inference-hardening.json`, `.bitcode/v38-read-fits-finding-search-embeddings.json`, `.bitcode/v38-assetpack-synthesis-economic-traceability.json`, `.bitcode/v38-conversation-tool-prompt-inference-parity.json`, `.bitcode/v38-local-staging-inference-depository-search-rehearsal.json`, `.bitcode/v38-promotion-readiness-report.json`, V38 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V38_PROVEN.md` generation support
-- Source parity state: V38 source-side inference stack, prompt benchmarking, Reading pipeline, depository-search, telemetry, rehearsal, workflow, and promotion surfaces are draft-required until their gates close
+- Generated structured artifact inventory: active canonical `.bitcode/v38-spec-family-report.json`, `.bitcode/v38-canonical-input-report.json`, `.bitcode/v38-canon-posture-drift-report.json`, `.bitcode/v38-inference-surface-inventory.json`, `.bitcode/v38-ptrr-failsafe-thricified-stack.json`, `.bitcode/v38-prompt-benchmark-report.json`, `.bitcode/v38-disclosure-boundary-report.json`, `.bitcode/v38-read-need-comprehension-inference-hardening.json`, `.bitcode/v38-read-fits-finding-search-embeddings.json`, `.bitcode/v38-assetpack-synthesis-economic-traceability.json`, `.bitcode/v38-conversation-tool-prompt-inference-parity.json`, `.bitcode/v38-local-staging-inference-depository-search-rehearsal.json`, `.bitcode/v38-promotion-readiness-report.json`, V38 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V38_PROVEN.md` as the generated proof appendix for V38 promotion
+- Source parity state: V38 source-side inference inventory, PTRR Failsafe Thricified stack, prompt benchmark report, inference telemetry disclosure law, ReadNeedComprehensionSynthesis hardening, ReadFitsFindingSynthesis search embeddings, AssetPack synthesis economic traceability, Conversation/tool prompt parity, local/staging inference rehearsal, workflow, and promotion surfaces are canonicalized in the promoted V38 file family
 - Notes companion: `BITCODE_SPEC_V38_NOTES.md`
 - Delta companion: `BITCODE_SPEC_V38_DELTA.md`
 - Parity companion: `BITCODE_SPEC_V38_PARITY_MATRIX.md`
 - Generated proof appendix: `BITCODE_SPEC_V38_PROVEN.md` only after V38 promotion
-- Scope: V38 draft system specification for inference stack correctness, prompt and PromptPart benchmarking, PTRR agent Failsafe and Thricified generation composition, Reading pipeline inference coverage, ReadFitsFindingSynthesis depository search, tool prompt definition integrity, telemetry visibility, local/staging rehearsal, and promotion readiness
+- Scope: V38 canonical system specification for inference correctness across pipeline execution, PTRR agents, FailsafeGenerationSequences, ThricifiedGenerations, prompt benchmarking, Reading fit-finding search, source-safe telemetry, local/staging rehearsal, and promotion readiness surfaces
+- Last fully realized canonical target preserved in source: `V38`
 
 ## Version executive summary
 

BITCODE_SPEC_V38_DELTA.md

@@ -3,17 +3,18 @@
 ## Status
 
 - Version: `V38`
-- V38 state: active draft opening over promoted V37
-- Current canonical/latest target: `V37`
+- V38 state: canonical promotion complete; this delta records the promoted V37-to-V38 inference correctness closure set
+- Current canonical/latest target: `V38`
+- Canonical proof-source commit: `57173a81fc05a70b6b4b922ebe88add8bfa7f64e`
 - Prior canonical anchor: `BITCODE_SPEC_V37.md`
 - Prior generated proof appendix: `BITCODE_SPEC_V37_PROVEN.md`
-- Generated structured artifact inventory: draft `.bitcode/v38-spec-family-report.json`, `.bitcode/v38-canonical-input-report.json`, `.bitcode/v38-canon-posture-drift-report.json`, `.bitcode/v38-inference-surface-inventory.json`, `.bitcode/v38-ptrr-failsafe-thricified-stack.json`, `.bitcode/v38-prompt-benchmark-report.json`, `.bitcode/v38-disclosure-boundary-report.json`, `.bitcode/v38-read-need-comprehension-inference-hardening.json`, `.bitcode/v38-read-fits-finding-search-embeddings.json`, `.bitcode/v38-assetpack-synthesis-economic-traceability.json`, `.bitcode/v38-conversation-tool-prompt-inference-parity.json`, `.bitcode/v38-local-staging-inference-depository-search-rehearsal.json`, V38 gate-quality workflow evidence, and future V38 generated proof artifacts as gates close
-- Source parity state: V38 source-side inference stack, prompt benchmarking, Reading pipeline, depository-search, telemetry, rehearsal, workflow, and promotion surfaces are draft-required until their gates close
+- Generated structured artifact inventory: active canonical `.bitcode/v38-spec-family-report.json`, `.bitcode/v38-canonical-input-report.json`, `.bitcode/v38-canon-posture-drift-report.json`, `.bitcode/v38-inference-surface-inventory.json`, `.bitcode/v38-ptrr-failsafe-thricified-stack.json`, `.bitcode/v38-prompt-benchmark-report.json`, `.bitcode/v38-disclosure-boundary-report.json`, `.bitcode/v38-read-need-comprehension-inference-hardening.json`, `.bitcode/v38-read-fits-finding-search-embeddings.json`, `.bitcode/v38-assetpack-synthesis-economic-traceability.json`, `.bitcode/v38-conversation-tool-prompt-inference-parity.json`, `.bitcode/v38-local-staging-inference-depository-search-rehearsal.json`, `.bitcode/v38-promotion-readiness-report.json`, V38 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V38_PROVEN.md` as the generated proof appendix for V38 promotion
+- Source parity state: V38 source-side inference inventory, PTRR Failsafe Thricified stack, prompt benchmark report, inference telemetry disclosure law, ReadNeedComprehensionSynthesis hardening, ReadFitsFindingSynthesis search embeddings, AssetPack synthesis economic traceability, Conversation/tool prompt parity, local/staging inference rehearsal, workflow, and promotion surfaces are canonicalized in the promoted V38 file family
 - Spec companion: `BITCODE_SPEC_V38.md`
 - Notes companion: `BITCODE_SPEC_V38_NOTES.md`
 - Parity companion: `BITCODE_SPEC_V38_PARITY_MATRIX.md`
 - Generated proof appendix: `BITCODE_SPEC_V38_PROVEN.md` only after V38 promotion
-- Scope: V38 delta for inference stack correctness, Reading inference, fit-finding depository search, prompt benchmarking, telemetry, and promotion readiness over promoted V37 Website Conversations canon
+- Scope: V38 canonical delta for inference correctness over promoted V37 Website Conversations canon
 
 ## Why V38 exists
 

BITCODE_SPEC_V38_NOTES.md

@@ -3,17 +3,19 @@
 ## Status
 
 - Version: `V38`
-- V38 state: active draft opening over promoted V37
-- Current canonical/latest target: `V37`
+- V38 state: canonical promotion complete; V38 notes record accepted inference stack, prompt benchmark, Reading search, telemetry, rehearsal, and promotion-readiness evidence
+- Current canonical/latest target: `V38`
+- Canonical proof-source commit: `57173a81fc05a70b6b4b922ebe88add8bfa7f64e`
 - Current active draft target: `V38`
 - Prior canonical anchor: `BITCODE_SPEC_V37.md`
 - Prior generated proof appendix: `BITCODE_SPEC_V37_PROVEN.md`
-- Generated structured artifact inventory: draft `.bitcode/v38-spec-family-report.json`, `.bitcode/v38-canonical-input-report.json`, `.bitcode/v38-canon-posture-drift-report.json`, `.bitcode/v38-inference-surface-inventory.json`, `.bitcode/v38-ptrr-failsafe-thricified-stack.json`, `.bitcode/v38-prompt-benchmark-report.json`, `.bitcode/v38-disclosure-boundary-report.json`, `.bitcode/v38-read-need-comprehension-inference-hardening.json`, `.bitcode/v38-read-fits-finding-search-embeddings.json`, `.bitcode/v38-assetpack-synthesis-economic-traceability.json`, `.bitcode/v38-conversation-tool-prompt-inference-parity.json`, `.bitcode/v38-local-staging-inference-depository-search-rehearsal.json`, V38 gate-quality workflow evidence, and future V38 generated proof artifacts as gates close
-- Source parity state: V38 source-side inference stack, prompt benchmarking, Reading pipeline, depository-search, telemetry, rehearsal, workflow, and promotion surfaces are draft-required until their gates close
+- Generated structured artifact inventory: active canonical `.bitcode/v38-spec-family-report.json`, `.bitcode/v38-canonical-input-report.json`, `.bitcode/v38-canon-posture-drift-report.json`, `.bitcode/v38-inference-surface-inventory.json`, `.bitcode/v38-ptrr-failsafe-thricified-stack.json`, `.bitcode/v38-prompt-benchmark-report.json`, `.bitcode/v38-disclosure-boundary-report.json`, `.bitcode/v38-read-need-comprehension-inference-hardening.json`, `.bitcode/v38-read-fits-finding-search-embeddings.json`, `.bitcode/v38-assetpack-synthesis-economic-traceability.json`, `.bitcode/v38-conversation-tool-prompt-inference-parity.json`, `.bitcode/v38-local-staging-inference-depository-search-rehearsal.json`, `.bitcode/v38-promotion-readiness-report.json`, V38 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V38_PROVEN.md` as the generated proof appendix for V38 promotion
+- Source parity state: V38 source-side inference inventory, PTRR Failsafe Thricified stack, prompt benchmark report, inference telemetry disclosure law, ReadNeedComprehensionSynthesis hardening, ReadFitsFindingSynthesis search embeddings, AssetPack synthesis economic traceability, Conversation/tool prompt parity, local/staging inference rehearsal, workflow, and promotion surfaces are canonicalized in the promoted V38 file family
 - Spec companion: `BITCODE_SPEC_V38.md`
 - Delta companion: `BITCODE_SPEC_V38_DELTA.md`
 - Parity companion: `BITCODE_SPEC_V38_PARITY_MATRIX.md`
-- Scope: V38 notes for inference stack correctness, prompt and PromptPart benchmarking, Reading pipeline inference, depository fit-finding, tool prompt definitions, telemetry, and promotion readiness over promoted V37 Website Conversations canon
+- Scope: V38 canonical notes for inference correctness over promoted V37 Website Conversations canon
+- Last fully realized canonical target preserved in source: `V38`
 
 This NOTES file does not promote V38. It is binding draft guidance while V38 gates are in flight.