Skip to content

V47 Gate 10: Repair promoted-family rewrite ordering#245

Merged
geraldarthurdavis merged 1 commit into
version/v47from
v47/gate-10-promoted-family-rewrite-repair
Jun 12, 2026
Merged

V47 Gate 10: Repair promoted-family rewrite ordering#245
geraldarthurdavis merged 1 commit into
version/v47from
v47/gate-10-promoted-family-rewrite-repair

Conversation

@geraldarthurdavis

Copy link
Copy Markdown
Contributor

Summary

Second (and per full local simulation, final) repair surfaced by the promotion workflow's fail-closed validation on #243: the promote step's spec-family rewrite left two orphaned "V46 remains active canon" fragments because substring rules ran before the longer exact rules that targeted the same sentences.

  • Orphan-specific rewrites added for both fragments (SPEC accepted-boundaries line, PARITY accepted-boundaries line), plus a final catch-all eliminating any future "V46 remains active canon" survivor.
  • Verified with a complete local promote-step simulation: prepare spec family → pointer flip → prepare runtime → promoted spec-family check ✓ → promoted PROVEN regeneration (16 runs, fullyProven=true) ✓ → canonical inputs V47 ✓ → canon posture drift V47/V48 ✓. Draft state fully restored afterward; only the script fix ships.
  • Readiness artifact regenerated; check:v47-gate10 passes including the promotion dry-run.

Merging this updates version/v47 and re-triggers the promotion workflow on #243, which should now complete the pointer flip.

🤖 Generated with Claude Code

Fix the V47 promoted-family rewrite in
prepare-bitcode-spec-family-promotion.mjs: earlier substring rules
('until V47 promotion', 'V47 draft work') rewrote text before the longer
exact draft-posture rules could match, leaving two orphaned
"V46 remains active canon" fragments that failed the promoted spec-family
stale-phrase scan during the promote step (which correctly failed closed
before committing). Add orphan-specific rewrites plus a final catch-all so
no "V46 remains active canon" fragment can survive promotion.

Validated with a full local promote-step simulation: spec-family promotion
preparation, pointer flip, runtime promotion preparation, promoted
spec-family check, promoted PROVEN regeneration (16 runs, fullyProven=true),
canonical inputs for V47, and canon posture drift V47/V48 all pass; draft
state restored afterward. Regenerate the promotion readiness artifact
against the repaired script digest; check:v47-gate10 passes including the
promotion dry-run.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@vercel

vercel Bot commented Jun 12, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
engi-uapi Ready Ready Preview, Comment Jun 12, 2026 3:44pm

@geraldarthurdavis
geraldarthurdavis merged commit 0d594d1 into version/v47 Jun 12, 2026
28 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant