V29 Gate 10: Promoted Protocol Posture Readiness#32
Merged
geraldarthurdavis merged 6 commits intoMay 21, 2026
Conversation
Make the Gate 10 promotion-readiness checker validate the protocol package posture according to the active pointer, accepting V28/V29 before promotion and V29/V30 after the generated canon commit. Document the promoted posture requirement in the V29 spec family.
Refresh V29 promoted spec-family status and generated PROVEN appendix so the canonical proof-source commit includes the promoted protocol posture checker fix.
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
Update the protocol package boundary test to accept V29/V30 promoted canon posture while preserving V29 draft-mode validation before promotion.
Refresh V29 promoted spec-family status and generated PROVEN appendix so the proof source includes the promoted protocol package boundary test update.
Update the notes-only draft checker to use repo-relative V30 posture instead of stale absolute V27/V26 requirements. Refresh the V30 notes scaffold for active V29 / draft V30 and align the protocol demonstration canonical input artifact expectation with the promoted checker.
Regenerate the V29 promoted proof appendix and proof-source status lines after fixing promoted V30 notes validation and protocol demonstration expectations.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes a promoted-state Gate 10 readiness gap discovered after the generated V29 canon commit.\n\nChanges:\n- make the Gate 10 readiness checker accept protocol package posture according to the current canon pointer: V28/V29 before promotion and V29/V30 after promotion\n- document the promoted-posture checker requirement in the V29 spec family\n- refresh the V29 promoted proof-source commit and generated PROVEN appendix so the proof includes this checker fix\n\nValidation:\n- node scripts/check-v29-gate10-local-staging-promotion-readiness.mjs --promotion-mode --skip-branch-check\n- node scripts/check-bitcode-spec-family.mjs --version V29 --mode promoted --current-target V29\n- node scripts/check-bitcode-canonical-inputs.mjs --current-target V29\n- node scripts/check-bitcode-canon-posture-drift.mjs --active-canon V29 --draft-target V30\n- node scripts/generate-bitcode-proven.mjs --version V29 --commit f7efcd0 --worktree-state clean --output BITCODE_SPEC_V29_PROVEN.md --check --allow-dirty\n- git diff --check