Skip to content

Commit 416ccc5

Browse files
V29 Gate 10: Refresh promoted proof after notes repair
Regenerate the V29 promoted proof appendix and proof-source status lines after fixing promoted V30 notes validation and protocol demonstration expectations.
1 parent 3cfa3e7 commit 416ccc5

5 files changed

Lines changed: 7 additions & 7 deletions

BITCODE_SPEC_V29.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
- Version: `V29`
66
- V29 state: canonical promotion complete; V29 is the active Terminal transaction-depth canon and the V29 hand-authored plus generated canon are aligned
77
- Current canonical/latest target: `V29`
8-
- Canonical proof-source commit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
8+
- Canonical proof-source commit: `3cfa3e71ef553ecb25221ed7116e29eccbc4df24`
99
- Prior canonical anchor: `BITCODE_SPEC_V28.md`
1010
- Prior generated proof appendix: `BITCODE_SPEC_V28_PROVEN.md`
1111
- Generated structured artifact inventory: active canonical `.bitcode/v29-spec-family-report.json`, `.bitcode/v29-canonical-input-report.json`, `.bitcode/v29-canon-posture-drift-report.json`, V29 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V29_PROVEN.md` as the generated proof appendix for V29 promotion

BITCODE_SPEC_V29_DELTA.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
- Version: `V29`
66
- V29 state: canonical promotion complete; this delta records the promoted V28-to-V29 Terminal transaction-depth and promotion-readiness closure set
77
- Current canonical/latest target: `V29`
8-
- Canonical proof-source commit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
8+
- Canonical proof-source commit: `3cfa3e71ef553ecb25221ed7116e29eccbc4df24`
99
- Prior canonical anchor: `BITCODE_SPEC_V28.md`
1010
- Prior generated proof appendix: `BITCODE_SPEC_V28_PROVEN.md`
1111
- Generated structured artifact inventory: active canonical `.bitcode/v29-spec-family-report.json`, `.bitcode/v29-canonical-input-report.json`, `.bitcode/v29-canon-posture-drift-report.json`, V29 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V29_PROVEN.md` as the generated proof appendix for V29 promotion

BITCODE_SPEC_V29_NOTES.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
- Version: `V29`
66
- V29 state: canonical promotion complete; V29 notes record the accepted Terminal-depth, local/staging, and promotion-readiness evidence
77
- Current canonical/latest target: `V29`
8-
- Canonical proof-source commit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
8+
- Canonical proof-source commit: `3cfa3e71ef553ecb25221ed7116e29eccbc4df24`
99
- Prior canonical anchor: `BITCODE_SPEC_V28.md`
1010
- Prior generated proof appendix: `BITCODE_SPEC_V28_PROVEN.md`
1111
- Generated structured artifact inventory: active canonical `.bitcode/v29-spec-family-report.json`, `.bitcode/v29-canonical-input-report.json`, `.bitcode/v29-canon-posture-drift-report.json`, V29 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V29_PROVEN.md` as the generated proof appendix for V29 promotion

BITCODE_SPEC_V29_PARITY_MATRIX.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
- Version: `V29`
66
- V29 state: canonical promotion complete; V29 parity truth, product-gate audit, generated proof, and promotion automation are aligned
77
- Current canonical/latest target: `V29`
8-
- Canonical proof-source commit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
8+
- Canonical proof-source commit: `3cfa3e71ef553ecb25221ed7116e29eccbc4df24`
99
- Prior canonical anchor: `BITCODE_SPEC_V28.md`
1010
- Prior generated proof appendix: `BITCODE_SPEC_V28_PROVEN.md`
1111
- Generated structured artifact inventory: active canonical `.bitcode/v29-spec-family-report.json`, `.bitcode/v29-canonical-input-report.json`, `.bitcode/v29-canon-posture-drift-report.json`, V29 gate-quality and promotion workflow evidence, and `BITCODE_SPEC_V29_PROVEN.md` as the generated proof appendix for V29 promotion

BITCODE_SPEC_V29_PROVEN.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
# Bitcode Spec V29 Proven
22

33
- canonicalVersion: `V29`
4-
- canonicalCommit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
5-
- canonicalCommitRecordedAt: `2026-05-21T15:09:08-03:00`
4+
- canonicalCommit: `3cfa3e71ef553ecb25221ed7116e29eccbc4df24`
5+
- canonicalCommitRecordedAt: `2026-05-21T15:25:23-03:00`
66
- worktreeState: `clean`
77
- generatorId: `bitcode.proven-generator.v1`
8-
- generatedAt: `2026-05-21T15:09:08-03:00`
8+
- generatedAt: `2026-05-21T15:25:23-03:00`
99
- outputPath: `BITCODE_SPEC_V29_PROVEN.md`
1010
- scenarioIds: `auth-issuer-rollback`, `rust-validator-proof-gap`, `config-policy-precedence-incident`, `unsafe-patch-review-recovery`, `infra-deployment-mismatch`, `privacy-boundary-proof-export`, `polyglot-gateway-benchmark-remediation`, `auth-many-asset-normalization`
1111
- branchModes: `patch`, `context`

0 commit comments

Comments
 (0)