Skip to content

Commit 980bda7

Browse files
Promote Bitcode canon to V46
1 parent 40a32e9 commit 980bda7

15 files changed

Lines changed: 199 additions & 195 deletions
Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,21 @@
11
{
22
"reportId": "v46-canon-posture-drift-report",
33
"version": "V46",
4-
"checkedActiveCanonVersion": "V45",
5-
"checkedDraftTargetVersion": "V46",
6-
"pointerVersion": "V45",
7-
"proofSourceCommit": "HEAD",
8-
"generatedAt": "2026-06-02T00:00:00.000Z",
4+
"checkedActiveCanonVersion": "V46",
5+
"checkedDraftTargetVersion": "V47",
6+
"pointerVersion": "V46",
7+
"proofSourceCommit": "40a32e9d61a64130c958eda1498812e25a682653",
8+
"generatedAt": "2026-06-02T14:25:14-03:00",
99
"generatorId": "bitcode.proven-generator.v1",
10-
"worktreeState": "dirty-preview",
10+
"worktreeState": "clean",
1111
"passed": true,
1212
"checkCount": 10,
1313
"blockingFailureCount": 0,
1414
"blockingFailures": [],
15-
"runtimeSpecVersion": "Bitcode Spec V45 active canon / V46 system draft",
16-
"publicSpecVersion": "Bitcode Spec V45 active canon / V46 system draft",
17-
"activeProvenAppendixPath": "BITCODE_SPEC_V45_PROVEN.md",
18-
"policyRef": "policy://bitcode/spec-v45-active-v46-system-draft/current",
15+
"runtimeSpecVersion": "Bitcode Spec V46 active canon / V47 system draft",
16+
"publicSpecVersion": "Bitcode Spec V46 active canon / V47 system draft",
17+
"activeProvenAppendixPath": "BITCODE_SPEC_V46_PROVEN.md",
18+
"policyRef": "policy://bitcode/spec-v46-active-v47-system-draft/current",
1919
"checkedFiles": [
2020
"protocol-demonstration/README.md",
2121
"protocol-demonstration/public/index.html",
@@ -26,32 +26,32 @@
2626
{
2727
"checkId": "pointer-active-canon-alignment",
2828
"passed": true,
29-
"detail": "BITCODE_SPEC.txt points to V45 while runtime expects V45."
29+
"detail": "BITCODE_SPEC.txt points to V46 while runtime expects V46."
3030
},
3131
{
3232
"checkId": "canon-posture-constant-alignment",
3333
"passed": true,
34-
"detail": "canon-posture constants resolve V45/V46 with operator label V45 active canon / V46 system draft."
34+
"detail": "canon-posture constants resolve V46/V47 with operator label V46 active canon / V47 system draft."
3535
},
3636
{
3737
"checkId": "proven-appendix-alignment",
3838
"passed": true,
39-
"detail": "active generated appendix path is BITCODE_SPEC_V45_PROVEN.md."
39+
"detail": "active generated appendix path is BITCODE_SPEC_V46_PROVEN.md."
4040
},
4141
{
4242
"checkId": "policy-ref-alignment",
4343
"passed": true,
44-
"detail": "policy reference is policy://bitcode/spec-v45-active-v46-system-draft/current."
44+
"detail": "policy reference is policy://bitcode/spec-v46-active-v47-system-draft/current."
4545
},
4646
{
4747
"checkId": "runtime-state-alignment",
4848
"passed": true,
49-
"detail": "buildInitialState() reports Bitcode Spec V45 active canon / V46 system draft with canon posture V45/V46."
49+
"detail": "buildInitialState() reports Bitcode Spec V46 active canon / V47 system draft with canon posture V46/V47."
5050
},
5151
{
5252
"checkId": "public-state-alignment",
5353
"passed": true,
54-
"detail": "publicState() reports Bitcode Spec V45 active canon / V46 system draft with canon posture V45/V46."
54+
"detail": "publicState() reports Bitcode Spec V46 active canon / V47 system draft with canon posture V46/V47."
5555
},
5656
{
5757
"checkId": "server-api-alignment",
@@ -71,7 +71,7 @@
7171
{
7272
"checkId": "readme-alignment",
7373
"passed": true,
74-
"detail": "README states V45 active canon and BITCODE_SPEC_V45_PROVEN.md as the current generated appendix."
74+
"detail": "README states V46 active canon and BITCODE_SPEC_V46_PROVEN.md as the current generated appendix."
7575
}
7676
]
7777
}

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
{
22
"reportId": "v46-canonical-input-report",
33
"version": "V46",
4-
"proofSourceCommit": "HEAD",
5-
"generatedAt": "2026-06-02T00:00:00.000Z",
4+
"proofSourceCommit": "40a32e9d61a64130c958eda1498812e25a682653",
5+
"generatedAt": "2026-06-02T14:25:14-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
7-
"worktreeState": "dirty-preview",
7+
"worktreeState": "clean",
88
"checkedTargetVersion": "V46",
9-
"pointerVersion": "V45",
9+
"pointerVersion": "V46",
1010
"passed": true,
1111
"failureCount": 0,
1212
"failures": [],

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
"schemaId": "bitcode.v46.promotionReadinessReport.v1",
44
"version": "V46",
55
"currentTarget": "V45",
6-
"generatedAt": "2026-06-02T00:00:00.000Z",
6+
"generatedAt": "2026-06-02T14:25:14-03:00",
77
"sourceSafetyVerdict": "source-safe-v46-protocol-comprehension-promotion-metadata",
88
"prePromotionPosture": "V45 active / V46 draft",
99
"postPromotionPosture": "V46 active / V47 draft",
@@ -356,7 +356,7 @@
356356
{
357357
"relativePath": "BITCODE_SPEC_V46.md",
358358
"present": true,
359-
"digest": "sha256:6f837626fc89526e4aaaf192d57be7e15451f0fd4518b672d3dec31331154ef3",
359+
"digest": "sha256:48121ff59f812f15a1b3b1f771dfa523a231f6613ca5d45a5b3fb10583c10a50",
360360
"requiredTokens": [
361361
{
362362
"token": "V46 promotion readiness canon",
@@ -375,7 +375,7 @@
375375
{
376376
"relativePath": "BITCODE_SPEC_V46_DELTA.md",
377377
"present": true,
378-
"digest": "sha256:bd5016d5d74128fcf34e78f4ac613a2567be20b3287b6661bba2c133137c8d7a",
378+
"digest": "sha256:a16a16db40d4eeae612a0657cfb65952377ba9f6697a44f1f9dae831f87bf7bd",
379379
"requiredTokens": [
380380
{
381381
"token": "Gate 8: V46 Promotion Readiness",
@@ -394,7 +394,7 @@
394394
{
395395
"relativePath": "BITCODE_SPEC_V46_NOTES.md",
396396
"present": true,
397-
"digest": "sha256:458320e184655e6db64c77ab8f5f5244fbf589d6449bf0086b1381480968b853",
397+
"digest": "sha256:cca70aca3566132e7026351ca069e9c4efe84c7840fc9ddc58441c896dd1b075",
398398
"requiredTokens": [
399399
{
400400
"token": "Gate 8: V46 Promotion Readiness",
@@ -413,7 +413,7 @@
413413
{
414414
"relativePath": "BITCODE_SPEC_V46_PARITY_MATRIX.md",
415415
"present": true,
416-
"digest": "sha256:fa5b05500caffc40b7a3c906416b55bd4af8688697650ae9318e1d3d8f6b337a",
416+
"digest": "sha256:91b47eeaa106639d2d21856bb16906e7c2b8ce6f301a44c5ddad5e2c2d0ec499",
417417
"requiredTokens": [
418418
{
419419
"token": "Gate 8 implementation readback",
@@ -462,7 +462,7 @@
462462
{
463463
"relativePath": "packages/protocol/README.md",
464464
"present": true,
465-
"digest": "sha256:7a7dcc0ddbc3d737a26e395cde7235a0102a64ccb9bdfb9c67e990b34ebd5e7c",
465+
"digest": "sha256:f5b175049f4f4e8df179e184f40bc906ecd68181e425d4429a4dbb4a42a50c1a",
466466
"requiredTokens": [
467467
{
468468
"token": "V46 Gate 8",

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,14 @@
11
{
22
"reportId": "v46-spec-family-report",
33
"version": "V46",
4-
"proofSourceCommit": "HEAD",
5-
"generatedAt": "2026-06-02T00:00:00.000Z",
4+
"proofSourceCommit": "40a32e9d61a64130c958eda1498812e25a682653",
5+
"generatedAt": "2026-06-02T14:25:14-03:00",
66
"generatorId": "bitcode.proven-generator.v1",
7-
"worktreeState": "dirty-preview",
7+
"worktreeState": "clean",
88
"checkedVersion": "V46",
9-
"mode": "draft",
10-
"currentTarget": "V45",
11-
"pointerVersion": "V45",
9+
"mode": "promoted",
10+
"currentTarget": "V46",
11+
"pointerVersion": "V46",
1212
"passed": true,
1313
"failureCount": 0,
1414
"failures": [],

BITCODE_SPEC.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
V45
1+
V46

BITCODE_SPEC_V46.md

Lines changed: 20 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -3,18 +3,19 @@
33
## Status
44

55
- Version: `V46`
6-
- V46 state: Gate 8 promotion readiness; V46 is the active draft target over promoted V45 canon
7-
- Current canonical/latest target: `V45`
6+
- V46 state: canonical promotion complete; V46 is the active protocol-comprehension canon and the V46 hand-authored plus generated canon are aligned
7+
- Current canonical/latest target: `V46`
8+
- Canonical proof-source commit: `40a32e9d61a64130c958eda1498812e25a682653`
89
- Draft proof-source commit: generated by `BITCODE_SPEC_V46_PROVEN.md`
910
- Prior canonical anchor: `BITCODE_SPEC_V45.md`
1011
- Prior generated proof appendix: `BITCODE_SPEC_V45_PROVEN.md`
11-
- Generated structured artifact inventory: draft `.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`, and `BITCODE_SPEC_V46_PROVEN.md`
12-
- Source parity state: V46 Gate 8 binds promotion readiness over the closed Gate 2 through Gate 7 comprehension artifacts
12+
- Generated structured artifact inventory: active canonical `.bitcode/v46-spec-family-report.json`, `.bitcode/v46-canonical-input-report.json`, `.bitcode/v46-canon-posture-drift-report.json`, V46 protocol-comprehension artifacts, `.bitcode/v46-promotion-readiness-report.json`, V46 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V46_PROVEN.md` as the generated proof appendix for V46 promotion
13+
- Source parity state: V46 source-side protocol comprehension object model, public/operator claim boundaries, route readback, interface claim contracts, proof readback, local rehearsal, workflow, and promotion surfaces are canonicalized in the promoted V46 file family
1314
- Notes companion: `BITCODE_SPEC_V46_NOTES.md`
1415
- Delta companion: `BITCODE_SPEC_V46_DELTA.md`
1516
- Parity companion: `BITCODE_SPEC_V46_PARITY_MATRIX.md`
16-
- Scope: V46 draft system specification for commercial launch comprehension, source-safe public/operator protocol explanation, route/API/MCP/ChatGPT/Conversation interface clarity, and proof-readable market activity over the promoted V45 knowledge commoditization law
17-
- Last fully realized canonical target preserved in source: `V45`
17+
- Scope: V46 canonical system specification for protocol comprehension, source-safe public/operator explanation, interface claim contracts, proof readback, local interface rehearsal, and promotion readiness over promoted V45 knowledge commoditization canon
18+
- Last fully realized canonical target preserved in source: `V46`
1819

1920
## Version executive summary
2021

@@ -25,10 +26,9 @@ AI agent must be able to understand what an AssetPack is, what BTD measures and
2526
rights it carries, why BTC finality gates source unlock, what proof roots exist,
2627
and what can be inspected before and after settlement.
2728

28-
V46 does not replace V45 as active canon until promotion workflow validation.
29-
It is the draft target for external protocol comprehension, public/operator
30-
docs, route copy, interface contract readback, and launch-facing proof
31-
explainability.
29+
V46 replaces V45 as active canon after promotion workflow validation. It is
30+
the promoted target for external protocol comprehension, public/operator docs,
31+
route copy, interface contract readback, and launch-facing proof explainability.
3232

3333
## Canonical Bitcode executive summary
3434

@@ -46,11 +46,13 @@ across human and machine interfaces.
4646

4747
## V46 source-of-truth hierarchy
4848

49-
`BITCODE_SPEC.txt` points to `V45`; V45 is the active promoted Bitcode canon.
49+
`BITCODE_SPEC.txt` points to `V46`; V46 is the active promoted Bitcode canon.
5050
`BITCODE_SPEC_V46.md`, `BITCODE_SPEC_V46_DELTA.md`,
51-
`BITCODE_SPEC_V46_NOTES.md`, and `BITCODE_SPEC_V46_PARITY_MATRIX.md` are draft
52-
target material only. They do not authorize implementation behavior until a
53-
gate-specific V46 parity or implementation gate accepts the relevant scope.
51+
`BITCODE_SPEC_V46_NOTES.md`, and `BITCODE_SPEC_V46_PARITY_MATRIX.md` are the
52+
promoted V46 specification-family material. The V46 formal specification family
53+
is active canon and authorizes implementation behavior only through the
54+
source-safe, proof-backed comprehension, interface, and operator-readback
55+
boundaries it states.
5456

5557
Implementation remains unversioned in source paths. Package, route, component,
5658
test, prompt, script, telemetry, schema, API, and workflow names move in place
@@ -100,11 +102,11 @@ Goals:
100102

101103
Non-goals:
102104

103-
- V46 draft work does not expose unpaid source.
104-
- V46 draft work does not admit value-bearing mainnet operation.
105-
- V46 draft work does not authorize behavior outside accepted formal parity,
105+
- V46 promoted canon work does not expose unpaid source.
106+
- V46 promoted canon work does not admit value-bearing mainnet operation.
107+
- V46 promoted canon work does not authorize behavior outside accepted formal parity,
106108
proof, rehearsal, and promotion evidence.
107-
- V46 draft work does not treat notes, PR bodies, telemetry, or conversations
109+
- V46 promoted canon work does not treat notes, PR bodies, telemetry, or conversations
108110
as implementation authority.
109111

110112
Design principles: source-safe commodity formation, Need-relative measurement,

BITCODE_SPEC_V46_DELTA.md

Lines changed: 9 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3,16 +3,17 @@
33
## Status
44

55
- Version: `V46`
6-
- V46 state: Gate 8 promotion readiness; V46 is the active draft target over promoted V45 canon
7-
- Current canonical/latest target: `V45`
6+
- V46 state: canonical promotion complete; this delta records the promoted V45-to-V46 protocol-comprehension closure set
7+
- Current canonical/latest target: `V46`
8+
- Canonical proof-source commit: `40a32e9d61a64130c958eda1498812e25a682653`
89
- Prior canonical anchor: `BITCODE_SPEC_V45.md`
910
- Prior generated proof appendix: `BITCODE_SPEC_V45_PROVEN.md`
10-
- Generated structured artifact inventory: `.bitcode/v46-spec-family-report.json`, `.bitcode/v46-canonical-input-report.json`, six Gate 2 through Gate 7 protocol comprehension artifacts, `.bitcode/v46-promotion-readiness-report.json`, and `BITCODE_SPEC_V46_PROVEN.md`
11-
- Source parity state: Gate 8 binds promotion readiness over all accepted V46 protocol comprehension artifacts and prepares V46 active / draft V47 posture
11+
- Generated structured artifact inventory: active canonical `.bitcode/v46-spec-family-report.json`, `.bitcode/v46-canonical-input-report.json`, `.bitcode/v46-canon-posture-drift-report.json`, V46 protocol-comprehension artifacts, `.bitcode/v46-promotion-readiness-report.json`, V46 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V46_PROVEN.md` as the generated proof appendix for V46 promotion
12+
- Source parity state: V46 source-side protocol comprehension object model, public/operator claim boundaries, route readback, interface claim contracts, proof readback, local rehearsal, workflow, and promotion surfaces are canonicalized in the promoted V46 file family
1213
- Notes companion: `BITCODE_SPEC_V46_NOTES.md`
1314
- Spec companion: `BITCODE_SPEC_V46.md`
1415
- Parity companion: `BITCODE_SPEC_V46_PARITY_MATRIX.md`
15-
- Scope: V46 draft delta for commercial protocol comprehension, public/operator explanation, source-safe interface claims, and proof-readable launch posture over promoted V45 knowledge commoditization law
16+
- Scope: V46 canonical delta for protocol comprehension and public/operator explanation over promoted V45 knowledge commoditization canon
1617
- Last fully realized canonical target preserved in source: `V45`
1718

1819
## Why V46 exists
@@ -27,7 +28,7 @@ overstating live value-bearing posture.
2728

2829
## Accepted V46 decisions
2930

30-
- V45 remains active canon while V46 is drafted.
31+
- V46 is active canon after promotion workflow validation.
3132
- V46 opens as a specification-first version; Gate 1 is roadmap/spec-family
3233
opening only.
3334
- V46 focuses on external protocol comprehension and launch-facing claim
@@ -43,7 +44,7 @@ overstating live value-bearing posture.
4344

4445
## Explicitly deferred
4546

46-
- V46 does not replace V45 until a later promotion workflow validates and
47+
- V46 replaces V45 after the maintained promotion workflow validates and
4748
advances `BITCODE_SPEC.txt`.
4849
- Gate 8 does not authorize runtime behavior, schema changes, route changes,
4950
settlement behavior, proof-family artifacts, separate source-safe
@@ -247,7 +248,7 @@ Accepted Gate 8 decisions:
247248
disclosure behavior.
248249
- The report must prove source-safe promotion metadata over Gate 2 through
249250
Gate 7 artifacts and generated proof outputs.
250-
- The promotion workflow must validate V45 active / V46 draft before
251+
- The promotion workflow must validate pre-promotion V45-to-V46 draft before
251252
promotion generation and V46 active / draft V47 after generation.
252253
- `BITCODE_SPEC_V46_PROVEN.md` is the generated proof appendix for V46
253254
promotion readiness, not evidence of live payment or delivery.

BITCODE_SPEC_V46_NOTES.md

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -3,24 +3,24 @@
33
## Status
44

55
- Version: `V46`
6-
- Canonical pointer: `BITCODE_SPEC.txt` -> `V45`
7-
- Active canonical anchor: `BITCODE_SPEC_V45.md`
8-
- Active generated proof appendix: `BITCODE_SPEC_V45_PROVEN.md`
9-
- Current canonical/latest target: `V45`
6+
- Canonical pointer: `BITCODE_SPEC.txt` -> `V46`
7+
- Active canonical anchor: `BITCODE_SPEC_V46.md`
8+
- Active generated proof appendix: `BITCODE_SPEC_V46_PROVEN.md`
9+
- Current canonical/latest target: `V46`
10+
- Canonical proof-source commit: `40a32e9d61a64130c958eda1498812e25a682653`
1011
- Prior canonical anchor: `BITCODE_SPEC_V45.md`
1112
- Prior generated proof appendix: `BITCODE_SPEC_V45_PROVEN.md`
12-
- Generated structured artifact inventory: `.bitcode/v46-spec-family-report.json`, `.bitcode/v46-canonical-input-report.json`, six Gate 2 through Gate 7 protocol comprehension artifacts, `.bitcode/v46-promotion-readiness-report.json`, and `BITCODE_SPEC_V46_PROVEN.md`
13-
- Source parity state: Gate 8 binds promotion readiness over accepted V46 protocol comprehension artifacts
14-
- V46 state: Gate 8 promotion readiness; V46 notes record the current protocol comprehension plan over active V45 canon
15-
- Scope: V46 draft notes for commercial protocol comprehension, public/operator explanation, source-safe interface claims, and proof-readable launch posture over promoted V45 knowledge commoditization law
16-
- Last fully realized canonical target preserved in source: `V45`
13+
- Generated structured artifact inventory: active canonical `.bitcode/v46-spec-family-report.json`, `.bitcode/v46-canonical-input-report.json`, `.bitcode/v46-canon-posture-drift-report.json`, V46 protocol-comprehension artifacts, `.bitcode/v46-promotion-readiness-report.json`, V46 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V46_PROVEN.md` as the generated proof appendix for V46 promotion
14+
- Source parity state: V46 source-side protocol comprehension object model, public/operator claim boundaries, route readback, interface claim contracts, proof readback, local rehearsal, workflow, and promotion surfaces are canonicalized in the promoted V46 file family
15+
- V46 state: canonical promotion complete; V46 notes record accepted protocol object-model, public/operator claim boundary, route readback, interface contract, proof explanation, local rehearsal, and promotion-readiness evidence
16+
- Scope: V46 canonical notes for protocol comprehension and public/operator explanation over promoted V45 knowledge commoditization canon
17+
- Last fully realized canonical target preserved in source: `V46`
1718

1819
## Notes companion rule
1920

2021
These notes record the accepted V46 opening atoms. After formal specification
2122
consolidation and promotion, a later workflow may make `BITCODE_SPEC_V46.md`
22-
and its companion family active canon. Until then, V45 remains the active
23-
pointer truth through `BITCODE_SPEC.txt`.
23+
and its companion family active canon. V46 now holds the active pointer truth through `BITCODE_SPEC.txt`.
2424

2525
## Concise current-system reading
2626

@@ -41,10 +41,10 @@ When V46 work becomes broad, reduce it to the formal law:
4141

4242
## Notes provenance rule
4343

44-
These notes are not implementation authority above the active V45
45-
specification family. They preserve draft notes-level atoms that must later be
46-
consolidated into formal V46 specification text before parity or
47-
implementation gates rely on them.
44+
These notes are implementation authority only through the promoted V46
45+
specification family. They preserve accepted notes-level atoms that have been
46+
consolidated into formal V46 specification text, parity evidence, proof
47+
readback, and promotion receipts.
4848

4949
## Deferred from V45
5050

@@ -247,7 +247,7 @@ Promotion readiness law:
247247

248248
Gate 8 proves that the V46 specification family, generated artifacts, package
249249
exports, promotion scripts, shared workflows, and promotion workflow agree on
250-
the same state transition: V45 active / V46 draft before promotion, then active
250+
the same state transition: pre-promotion V45-to-V46 draft before promotion, then active
251251
V46 / draft V47 after promotion. It must not treat proof-family catalog rows,
252252
source-bearing delivery, BTC finality, rights transfer, or value-bearing
253253
mainnet behavior as completed by documentation alone.

0 commit comments

Comments
 (0)