Skip to content

V46 Gate 8: Promotion Readiness And Canon Workflow #231

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
geraldarthurdavis merged 1 commit into from
Jun 2, 2026
Merged

V46 Gate 8: Promotion Readiness And Canon Workflow #231

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
77 changes: 77 additions & 0 deletions .bitcode/v46-canon-posture-drift-report.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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."
}
]
}
29 changes: 29 additions & 0 deletions .bitcode/v46-canonical-input-report.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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
}
24 changes: 12 additions & 12 deletions .bitcode/v46-interface-claim-contracts.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,22 +8,22 @@
"artifactRoot": "v46-interface-claim-contracts:e336eab9588d13d70bf55365",
"sourceRoots": {
"BITCODE_SPEC.txt": "BITCODE_SPEC.txt:674f33696f4048b636f67e13",
"BITCODE_SPEC_V46.md": "BITCODE_SPEC_V46.md:b8ecb2f2cbe1f3d8cb9c71f5",
"BITCODE_SPEC_V46_DELTA.md": "BITCODE_SPEC_V46_DELTA.md:7920d7f42161931f93cba093",
"BITCODE_SPEC_V46_NOTES.md": "BITCODE_SPEC_V46_NOTES.md:189e67fc2acbf4811ebac052",
"BITCODE_SPEC_V46_PARITY_MATRIX.md": "BITCODE_SPEC_V46_PARITY_MATRIX.md:b133273fc254880a52286b25",
"SPECIFICATIONS_ROADMAP.md": "SPECIFICATIONS_ROADMAP.md:b2e9e71006d861deb008fc48",
"README.md": "README.md:f6aaae9cb46c3c5ea9f88257",
"packages/protocol/README.md": "packages/protocol/README.md:cf41e9679273e5b70040dbb3",
"package.json": "package.json:163b54e4f8fd7d1e74369695",
"packages/protocol/src/index.js": "packages/protocol/src/index.js:982ea139bf7924bc9d8060f8",
"packages/protocol/src/index.d.ts": "packages/protocol/src/index.d.ts:69da86d924bf5e58a83a194c",
"BITCODE_SPEC_V46.md": "BITCODE_SPEC_V46.md:6f837626fc89526e4aaaf192",
"BITCODE_SPEC_V46_DELTA.md": "BITCODE_SPEC_V46_DELTA.md:bd5016d5d74128fcf34e78f4",
"BITCODE_SPEC_V46_NOTES.md": "BITCODE_SPEC_V46_NOTES.md:458320e184655e6db64c77ab",
"BITCODE_SPEC_V46_PARITY_MATRIX.md": "BITCODE_SPEC_V46_PARITY_MATRIX.md:fa5b05500caffc40b7a3c906",
"SPECIFICATIONS_ROADMAP.md": "SPECIFICATIONS_ROADMAP.md:64b11cb963635e16fd70bf48",
"README.md": "README.md:592ca0062eb52a55357c8f34",
"packages/protocol/README.md": "packages/protocol/README.md:7a7dcc0ddbc3d737a26e395c",
"package.json": "package.json:b79014968c556bc1b43ab341",
"packages/protocol/src/index.js": "packages/protocol/src/index.js:1f16ea428bd71351a1292cb6",
"packages/protocol/src/index.d.ts": "packages/protocol/src/index.d.ts:278dfc652c621533b5e86f4d",
"packages/protocol/src/canonical/v46-interface-claim-contracts.js": "packages/protocol/src/canonical/v46-interface-claim-contracts.js:7bacc41bc1e35d1513baf796",
"packages/protocol/test/v46-interface-claim-contracts.test.js": "packages/protocol/test/v46-interface-claim-contracts.test.js:f1dcb481edcbadee07f42127",
"scripts/generate-v46-interface-claim-contracts.mjs": "scripts/generate-v46-interface-claim-contracts.mjs:c6faeaf341acbb26e4e51179",
"scripts/check-v46-gate5-interface-claim-contracts.mjs": "scripts/check-v46-gate5-interface-claim-contracts.mjs:b6be899067bc320750689824",
".github/workflows/bitcode-gate-quality.yml": ".github/workflows/bitcode-gate-quality.yml:6cbd2dbd8db154eef0c2c060",
".github/workflows/bitcode-canon-quality.yml": ".github/workflows/bitcode-canon-quality.yml:eceb3e65f32dcf806f3a4ea9",
".github/workflows/bitcode-gate-quality.yml": ".github/workflows/bitcode-gate-quality.yml:e5de1dddfaeeb0ee525b0c0f",
".github/workflows/bitcode-canon-quality.yml": ".github/workflows/bitcode-canon-quality.yml:43cc4ded2bd9757dda9091dc",
"packages/btd/src/api-schema-compatibility-matrix.ts": "packages/btd/src/api-schema-compatibility-matrix.ts:21527a4ab84909ce72247fab",
"packages/btd/__tests__/api-schema-compatibility-matrix.test.ts": "packages/btd/__tests__/api-schema-compatibility-matrix.test.ts:32fa0cfd7301dc44808b3eac",
"packages/btd/src/mcp-tool-contract.ts": "packages/btd/src/mcp-tool-contract.ts:ed7ff68bb55bd47afc9c538b",
Expand Down
50 changes: 25 additions & 25 deletions .bitcode/v46-local-interface-comprehension-rehearsal.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
"currentTarget": "V45",
"sourceSafetyVerdict": "source-safe-local-interface-comprehension-rehearsal",
"generatedAt": "deterministic",
"artifactRoot": "v46-local-interface-comprehension-rehearsal:a0412888725a2842ee1357af",
"artifactRoot": "v46-local-interface-comprehension-rehearsal:490343ca364de24538600bc6",
"rehearsalStatus": "completed_source_safe_local",
"passed": true,
"surfaceIds": [
Expand Down Expand Up @@ -688,7 +688,7 @@
"uapi/components/base/bitcode/execution/pipeline-execution-log.tsx:bb7e1773303e04b9027ae2c7",
"packages/protocol/src/canonical/v39-operational-telemetry-repair-readback.js:1647b3a170af58333c1553a3",
"uapi/app/bitcode-ledger-storage-sync.ts:0907056993c1ebae7e9b921d",
".bitcode/v46-proof-readback-operator-explanation.json:7792db1741defb2d2a3b697a"
".bitcode/v46-proof-readback-operator-explanation.json:c94ce674bb3472564c0f953c"
],
"sourceFilesPresent": true,
"requiredCopyPresent": true
Expand All @@ -699,31 +699,31 @@
"artifactId": "v46-protocol-comprehension-object-model",
"sourcePath": ".bitcode/v46-protocol-comprehension-object-model.json",
"passed": true,
"sourceRoot": ".bitcode/v46-protocol-comprehension-object-model.json:0a6c4f6f197f4ade34902bb4"
"sourceRoot": ".bitcode/v46-protocol-comprehension-object-model.json:c98b7245189ffd042a48737e"
},
{
"artifactId": "v46-public-operator-claim-boundaries",
"sourcePath": ".bitcode/v46-public-operator-claim-boundaries.json",
"passed": true,
"sourceRoot": ".bitcode/v46-public-operator-claim-boundaries.json:b5b401be52a23560170c3de6"
"sourceRoot": ".bitcode/v46-public-operator-claim-boundaries.json:dadc1f81a656efddc9dab40e"
},
{
"artifactId": "v46-product-route-comprehension-readback",
"sourcePath": ".bitcode/v46-product-route-comprehension-readback.json",
"passed": true,
"sourceRoot": ".bitcode/v46-product-route-comprehension-readback.json:97548fb00fad41b77e0232b1"
"sourceRoot": ".bitcode/v46-product-route-comprehension-readback.json:d551ad187405f082859f21a3"
},
{
"artifactId": "v46-interface-claim-contracts",
"sourcePath": ".bitcode/v46-interface-claim-contracts.json",
"passed": true,
"sourceRoot": ".bitcode/v46-interface-claim-contracts.json:53b19b6e563b7622f79355e3"
"sourceRoot": ".bitcode/v46-interface-claim-contracts.json:816c7239df0989ac38c98af5"
},
{
"artifactId": "v46-proof-readback-operator-explanation",
"sourcePath": ".bitcode/v46-proof-readback-operator-explanation.json",
"passed": true,
"sourceRoot": ".bitcode/v46-proof-readback-operator-explanation.json:7792db1741defb2d2a3b697a"
"sourceRoot": ".bitcode/v46-proof-readback-operator-explanation.json:c94ce674bb3472564c0f953c"
}
],
"predicateResults": [
Expand Down Expand Up @@ -795,27 +795,27 @@
],
"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",
"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",
"v46InterfaceArtifact": ".bitcode/v46-interface-claim-contracts.json:53b19b6e563b7622f79355e3",
"v46ProofArtifact": ".bitcode/v46-proof-readback-operator-explanation.json:7792db1741defb2d2a3b697a",
"gateWorkflow": ".github/workflows/bitcode-gate-quality.yml:e5de1dddfaeeb0ee525b0c0f",
"canonWorkflow": ".github/workflows/bitcode-canon-quality.yml:43cc4ded2bd9757dda9091dc",
"v46ProtocolArtifact": ".bitcode/v46-protocol-comprehension-object-model.json:c98b7245189ffd042a48737e",
"v46PublicArtifact": ".bitcode/v46-public-operator-claim-boundaries.json:dadc1f81a656efddc9dab40e",
"v46ProductArtifact": ".bitcode/v46-product-route-comprehension-readback.json:d551ad187405f082859f21a3",
"v46InterfaceArtifact": ".bitcode/v46-interface-claim-contracts.json:816c7239df0989ac38c98af5",
"v46ProofArtifact": ".bitcode/v46-proof-readback-operator-explanation.json:c94ce674bb3472564c0f953c",
"landingPage": "uapi/app/page.tsx:b1b707e58f8917b8a97717b4",
"docsPage": "uapi/app/docs/page.tsx:75e5011c78a308e60f95cbd5",
"docsContent": "uapi/app/(root)/components/PublicDocsPageContent.tsx:6efbf77a6f292e9e0c25b70e",
Expand Down
20 changes: 10 additions & 10 deletions .bitcode/v46-product-route-comprehension-readback.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,20 +8,20 @@
"sourceSafetyVerdict": "source-safe-product-route-comprehension-readback",
"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",
"packageJson": "package.json:163b54e4f8fd7d1e74369695",
"packageIndex": "packages/protocol/src/index.js:982ea139bf7924bc9d8060f8",
"packageTypes": "packages/protocol/src/index.d.ts:69da86d924bf5e58a83a194c",
"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",
"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-product-route-comprehension-readback.js:c7b3e44d22703ca4b8f17ac3",
"packageTest": "packages/protocol/test/v46-product-route-comprehension-readback.test.js:3118d40ad600a9fb1d025bf6",
"generator": "scripts/generate-v46-product-route-comprehension-readback.mjs:131473a8dcd0d665f74f56a7",
"checker": "scripts/check-v46-gate4-product-route-comprehension-readback.mjs:483822ed6cd2809c20ee8fe5",
"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",
"productRouteShell": "uapi/components/base/bitcode/routes/product-route-shell.tsx:e71f90c289dec52fd158568a",
"packsClient": "uapi/app/packs/PacksPageClient.tsx:68c61c8fd312e6c750d742ba",
"packsModel": "uapi/components/base/bitcode/activity/pack-activity-model.ts:88d0334af8bc699e071ca2a1",
Expand Down
Loading
Loading