Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
ecab1c9
V40 Gate 1: Open exhaustive testing roadmap
geraldarthurdavis May 25, 2026
30de96a
Merge pull request #148 from engineeredsoftware/v40/gate-1-testing-ro…
geraldarthurdavis May 25, 2026
6d7c60b
V40 Gate 2: Add test inventory coverage matrix
geraldarthurdavis May 25, 2026
48e4cc0
Merge pull request #149 from engineeredsoftware/v40/gate-2-test-inven…
geraldarthurdavis May 25, 2026
d1b4ff3
V40 Gate 3: Add unit coverage inventory
geraldarthurdavis May 25, 2026
95a9388
Merge pull request #150 from engineeredsoftware/v40/gate-3-unit-cover…
geraldarthurdavis May 25, 2026
f7c04fd
V40 Gate 4: Close API route integration contracts
geraldarthurdavis May 25, 2026
1356bad
Merge pull request #151 from engineeredsoftware/v40/gate-4-api-route-…
geraldarthurdavis May 25, 2026
b8af6d3
V40 Gate 5: close Reading pipeline integration coverage
geraldarthurdavis May 25, 2026
45ea9ed
Merge pull request #152 from engineeredsoftware/v40/gate-5-reading-pi…
geraldarthurdavis May 25, 2026
fa9fec8
V40 Gate 6: close Conversation Terminal integration coverage
geraldarthurdavis May 25, 2026
8fe1bb5
Merge pull request #153 from engineeredsoftware/v40/gate-6-conversati…
geraldarthurdavis May 25, 2026
18ef40c
V40 Gate 7: Browser E2E Visual Accessibility Proof
geraldarthurdavis May 25, 2026
2f18ef7
Merge pull request #154 from engineeredsoftware/v40/gate-7-browser-e2…
geraldarthurdavis May 25, 2026
c0ee7ae
V40 Gate 8: Ledger Storage Wallet Delivery Sync
geraldarthurdavis May 25, 2026
d96db0d
Merge pull request #155 from engineeredsoftware/v40/gate-8-ledger-dat…
geraldarthurdavis May 25, 2026
5f94d52
V40 Gate 9: Local Staging Rehearsal Automation
geraldarthurdavis May 25, 2026
5266be5
Merge pull request #156 from engineeredsoftware/v40/gate-9-local-stag…
geraldarthurdavis May 25, 2026
06c9c1a
V40 Gate 10: Prompt Benchmark Smoke And V41 Readiness
geraldarthurdavis May 25, 2026
96c5f1b
Merge pull request #157 from engineeredsoftware/v40/gate-10-prompt-be…
geraldarthurdavis May 25, 2026
b3022c6
V40 Gate 11: Promotion Readiness
geraldarthurdavis May 25, 2026
a5d169e
Merge pull request #158 from engineeredsoftware/v40/gate-11-promotion…
geraldarthurdavis May 25, 2026
9420bec
Promote Bitcode canon to V40
github-actions[bot] May 25, 2026
b816b5c
V40 Promotion: Harden staging URL evidence checks
geraldarthurdavis May 25, 2026
a7065bd
V40 Promotion: Support promoted canon boundary test
geraldarthurdavis May 25, 2026
67a54be
V40 Promotion: Open V41 draft posture
geraldarthurdavis May 25, 2026
3135796
V40 Promotion: Refresh promoted proof artifacts
geraldarthurdavis May 25, 2026
09e5c96
V40 Promotion: Accept promoted roadmap posture in proof predicates
geraldarthurdavis May 25, 2026
09ad3dc
V40 Promotion: Refresh proof artifacts after predicate hardening
geraldarthurdavis May 25, 2026
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
685 changes: 685 additions & 0 deletions .bitcode/v40-api-integration-contracts.json

Large diffs are not rendered by default.

867 changes: 867 additions & 0 deletions .bitcode/v40-browser-e2e-visual-proof.json

Large diffs are not rendered by default.

77 changes: 77 additions & 0 deletions .bitcode/v40-canon-posture-drift-report.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,77 @@
{
"reportId": "v40-canon-posture-drift-report",
"version": "V40",
"checkedActiveCanonVersion": "V40",
"checkedDraftTargetVersion": "V41",
"pointerVersion": "V40",
"proofSourceCommit": "09e5c96f8f923936b62c44c92d161551fdb6f808",
"generatedAt": "2026-05-25T20:37:16-03:00",
"generatorId": "bitcode.proven-generator.v1",
"worktreeState": "clean",
"passed": true,
"checkCount": 10,
"blockingFailureCount": 0,
"blockingFailures": [],
"runtimeSpecVersion": "Bitcode Spec V40 active canon / V41 system draft",
"publicSpecVersion": "Bitcode Spec V40 active canon / V41 system draft",
"activeProvenAppendixPath": "BITCODE_SPEC_V40_PROVEN.md",
"policyRef": "policy://bitcode/spec-v40-active-v41-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 V40 while runtime expects V40."
},
{
"checkId": "canon-posture-constant-alignment",
"passed": true,
"detail": "canon-posture constants resolve V40/V41 with operator label V40 active canon / V41 system draft."
},
{
"checkId": "proven-appendix-alignment",
"passed": true,
"detail": "active generated appendix path is BITCODE_SPEC_V40_PROVEN.md."
},
{
"checkId": "policy-ref-alignment",
"passed": true,
"detail": "policy reference is policy://bitcode/spec-v40-active-v41-system-draft/current."
},
{
"checkId": "runtime-state-alignment",
"passed": true,
"detail": "buildInitialState() reports Bitcode Spec V40 active canon / V41 system draft with canon posture V40/V41."
},
{
"checkId": "public-state-alignment",
"passed": true,
"detail": "publicState() reports Bitcode Spec V40 active canon / V41 system draft with canon posture V40/V41."
},
{
"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 V40 active canon and BITCODE_SPEC_V40_PROVEN.md as the current generated appendix."
}
]
}
32 changes: 32 additions & 0 deletions .bitcode/v40-canonical-input-report.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
{
"reportId": "v40-canonical-input-report",
"version": "V40",
"proofSourceCommit": "09e5c96f8f923936b62c44c92d161551fdb6f808",
"generatedAt": "2026-05-25T20:37:16-03:00",
"generatorId": "bitcode.proven-generator.v1",
"worktreeState": "clean",
"checkedTargetVersion": "V40",
"pointerVersion": "V40",
"passed": true,
"failureCount": 0,
"failures": [],
"specPath": "BITCODE_SPEC_V40.md",
"notesPath": "BITCODE_SPEC_V40_NOTES.md",
"provenPath": "BITCODE_SPEC_V40_PROVEN.md",
"parityPath": "BITCODE_SPEC_V40_PARITY_MATRIX.md",
"requiredGeneratedArtifactPaths": [
".bitcode/v40-spec-family-report.json",
".bitcode/v40-canonical-input-report.json",
".bitcode/v40-test-inventory-coverage-matrix.json",
".bitcode/v40-unit-coverage-inventory.json",
".bitcode/v40-api-integration-contracts.json",
".bitcode/v40-reading-pipeline-integration-coverage.json",
".bitcode/v40-conversation-terminal-integration.json",
".bitcode/v40-browser-e2e-visual-proof.json",
".bitcode/v40-ledger-storage-sync.json",
".bitcode/v40-local-staging-rehearsal-automation.json",
".bitcode/v40-prompt-benchmark-smoke-v41-readiness.json",
".bitcode/v40-promotion-readiness-report.json"
],
"requiredGeneratedArtifactCount": 12
}
Loading
Loading