V29 Gate 10: Refresh proof after protocol test fix

Refresh V29 promoted spec-family status and generated PROVEN appendix so the proof source includes the promoted protocol package boundary test update.

Author: geraldarthurdavis

BITCODE_SPEC_V29.md

@@ -5,7 +5,7 @@
 - Version: `V29`
 - V29 state: canonical promotion complete; V29 is the active Terminal transaction-depth canon and the V29 hand-authored plus generated canon are aligned
 - Current canonical/latest target: `V29`
-- Canonical proof-source commit: `f7efcd0107a02200bc756ff9e7d236c74395a9f6`
+- Canonical proof-source commit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
 - Prior canonical anchor: `BITCODE_SPEC_V28.md`
 - Prior generated proof appendix: `BITCODE_SPEC_V28_PROVEN.md`
 - 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

@@ -5,7 +5,7 @@
 - Version: `V29`
 - V29 state: canonical promotion complete; this delta records the promoted V28-to-V29 Terminal transaction-depth and promotion-readiness closure set
 - Current canonical/latest target: `V29`
-- Canonical proof-source commit: `f7efcd0107a02200bc756ff9e7d236c74395a9f6`
+- Canonical proof-source commit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
 - Prior canonical anchor: `BITCODE_SPEC_V28.md`
 - Prior generated proof appendix: `BITCODE_SPEC_V28_PROVEN.md`
 - 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

@@ -5,7 +5,7 @@
 - Version: `V29`
 - V29 state: canonical promotion complete; V29 notes record the accepted Terminal-depth, local/staging, and promotion-readiness evidence
 - Current canonical/latest target: `V29`
-- Canonical proof-source commit: `f7efcd0107a02200bc756ff9e7d236c74395a9f6`
+- Canonical proof-source commit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
 - Prior canonical anchor: `BITCODE_SPEC_V28.md`
 - Prior generated proof appendix: `BITCODE_SPEC_V28_PROVEN.md`
 - 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

@@ -5,7 +5,7 @@
 - Version: `V29`
 - V29 state: canonical promotion complete; V29 parity truth, product-gate audit, generated proof, and promotion automation are aligned
 - Current canonical/latest target: `V29`
-- Canonical proof-source commit: `f7efcd0107a02200bc756ff9e7d236c74395a9f6`
+- Canonical proof-source commit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
 - Prior canonical anchor: `BITCODE_SPEC_V28.md`
 - Prior generated proof appendix: `BITCODE_SPEC_V28_PROVEN.md`
 - 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

@@ -1,11 +1,11 @@
 # Bitcode Spec V29 Proven
 
 - canonicalVersion: `V29`
-- canonicalCommit: `f7efcd0107a02200bc756ff9e7d236c74395a9f6`
-- canonicalCommitRecordedAt: `2026-05-21T15:02:25-03:00`
+- canonicalCommit: `b13d6f75488c3a9eeb8bb80c7fba20cb8f4b96e9`
+- canonicalCommitRecordedAt: `2026-05-21T15:09:08-03:00`
 - worktreeState: `clean`
 - generatorId: `bitcode.proven-generator.v1`
-- generatedAt: `2026-05-21T15:02:25-03:00`
+- generatedAt: `2026-05-21T15:09:08-03:00`
 - outputPath: `BITCODE_SPEC_V29_PROVEN.md`
 - 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`
 - branchModes: `patch`, `context`