Skip to content

Commit 5ffaa06

Browse files
Promote Bitcode canon to V32
1 parent 1ec49a9 commit 5ffaa06

16 files changed

Lines changed: 3141 additions & 523 deletions
Lines changed: 77 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
1+
{
2+
"reportId": "v32-canon-posture-drift-report",
3+
"version": "V32",
4+
"checkedActiveCanonVersion": "V32",
5+
"checkedDraftTargetVersion": "V33",
6+
"pointerVersion": "V32",
7+
"proofSourceCommit": "1ec49a9ed5fa5db1da5fbd2388e528b91b98321f",
8+
"generatedAt": "2026-05-22T09:48:34-03:00",
9+
"generatorId": "bitcode.proven-generator.v1",
10+
"worktreeState": "clean",
11+
"passed": true,
12+
"checkCount": 10,
13+
"blockingFailureCount": 0,
14+
"blockingFailures": [],
15+
"runtimeSpecVersion": "Bitcode Spec V32 active canon / V33 system draft",
16+
"publicSpecVersion": "Bitcode Spec V32 active canon / V33 system draft",
17+
"activeProvenAppendixPath": "BITCODE_SPEC_V32_PROVEN.md",
18+
"policyRef": "policy://bitcode/spec-v32-active-v33-system-draft/current",
19+
"checkedFiles": [
20+
"protocol-demonstration/README.md",
21+
"protocol-demonstration/public/index.html",
22+
"protocol-demonstration/public/app.js",
23+
"protocol-demonstration/server.js"
24+
],
25+
"checks": [
26+
{
27+
"checkId": "pointer-active-canon-alignment",
28+
"passed": true,
29+
"detail": "BITCODE_SPEC.txt points to V32 while runtime expects V32."
30+
},
31+
{
32+
"checkId": "canon-posture-constant-alignment",
33+
"passed": true,
34+
"detail": "canon-posture constants resolve V32/V33 with operator label V32 active canon / V33 system draft."
35+
},
36+
{
37+
"checkId": "proven-appendix-alignment",
38+
"passed": true,
39+
"detail": "active generated appendix path is BITCODE_SPEC_V32_PROVEN.md."
40+
},
41+
{
42+
"checkId": "policy-ref-alignment",
43+
"passed": true,
44+
"detail": "policy reference is policy://bitcode/spec-v32-active-v33-system-draft/current."
45+
},
46+
{
47+
"checkId": "runtime-state-alignment",
48+
"passed": true,
49+
"detail": "buildInitialState() reports Bitcode Spec V32 active canon / V33 system draft with canon posture V32/V33."
50+
},
51+
{
52+
"checkId": "public-state-alignment",
53+
"passed": true,
54+
"detail": "publicState() reports Bitcode Spec V32 active canon / V33 system draft with canon posture V32/V33."
55+
},
56+
{
57+
"checkId": "server-api-alignment",
58+
"passed": true,
59+
"detail": "server.js keeps API posture sourced from SPEC_VERSION and buildPublicState(...)."
60+
},
61+
{
62+
"checkId": "browser-shell-placeholder-alignment",
63+
"passed": true,
64+
"detail": "public/index.html exposes canon-posture placeholders and no stale hardcoded hero posture."
65+
},
66+
{
67+
"checkId": "browser-shell-render-alignment",
68+
"passed": true,
69+
"detail": "public/app.js renders canon posture from runtime state and omits stale V15 explainer keys."
70+
},
71+
{
72+
"checkId": "readme-alignment",
73+
"passed": true,
74+
"detail": "README states V32 active canon and BITCODE_SPEC_V32_PROVEN.md as the current generated appendix."
75+
}
76+
]
77+
}
Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
{
2+
"reportId": "v32-canonical-input-report",
3+
"version": "V32",
4+
"proofSourceCommit": "1ec49a9ed5fa5db1da5fbd2388e528b91b98321f",
5+
"generatedAt": "2026-05-22T09:48:34-03:00",
6+
"generatorId": "bitcode.proven-generator.v1",
7+
"worktreeState": "clean",
8+
"checkedTargetVersion": "V32",
9+
"pointerVersion": "V32",
10+
"passed": true,
11+
"failureCount": 0,
12+
"failures": [],
13+
"specPath": "BITCODE_SPEC_V32.md",
14+
"notesPath": "BITCODE_SPEC_V32_NOTES.md",
15+
"provenPath": "BITCODE_SPEC_V32_PROVEN.md",
16+
"parityPath": "BITCODE_SPEC_V32_PARITY_MATRIX.md",
17+
"requiredGeneratedArtifactPaths": [
18+
".bitcode/v32-spec-family-report.json",
19+
".bitcode/v32-canonical-input-report.json",
20+
".bitcode/v32-canon-posture-drift-report.json",
21+
".bitcode/v32-proof-coverage-matrix.json",
22+
".bitcode/v32-artifact-volatility-inventory.json",
23+
".bitcode/v32-deterministic-replay-report.json",
24+
".bitcode/v32-reading-pipeline-proof-coverage.json",
25+
".bitcode/v32-ledger-btd-settlement-failure-state-coverage.json",
26+
".bitcode/v32-interface-contract-regression-suite.json",
27+
".bitcode/v32-browser-accessibility-responsive-visual-proof.json",
28+
".bitcode/v32-testnet-mainnet-readiness-rehearsal.json",
29+
".bitcode/v32-promotion-proof-generation-hardening.json",
30+
".bitcode/v32-promotion-readiness-report.json"
31+
],
32+
"requiredGeneratedArtifactCount": 13
33+
}

0 commit comments

Comments
 (0)