Flip ratified gate-2 amendment 2 live: explicit tranche structure (zero threshold movement)

[MaxGhenis]

Flip ratified gate-2 amendment 2 live: explicit tranche structure

Authorized follow-up flip for gate-2 amendment 2 (the tranche split), ratified by merge of #111 (merge commit 8a4a24018) after the full ceremony, and mirroring the prior flips (#69 gate-1 amendment 2, #81 gate-2 lock, #97 gate-2 amendment 1).

Ceremony: adversarial round AMEND BEFORE RATIFYING (comment 4930448912) → fixes 81ea41e (comment 4930615774) → verification RATIFY AS-IS (comment 4930753295) → ratified by merge of #111 under the maintainer's standing campaign directive of 2026-07-07.

Zero threshold movement. The locked gate_2.thresholds scored surface is byte-identical to origin/master — all 46 gated cells, every tolerance and derivation, the option-(a) protocol, the ln(1.5) power cap, report_only, and the 4-of-5 seed conjunction are unchanged (verified at full-subtree granularity). Candidate 16 stays PASS (4/5) and candidates 1–15 stay FAIL, now as tranche-2a verdicts.

The six locked-text edits (flip_on_ratification.flip_edits, applied exactly)

• description — first clause re-scoped so tranche 2a claims only mh85_23 + cah85_23 (+ ind2023er deaths); the household-composition/MX23REL clause moves into the gate_2b declaration.
• description_formula_clause — the benefit formulas earn per-rule "computes exactly" status statutory-formula oracle clause (Claiming-age module: SSA Statistical Supplement reference and reduction wiring #78/Survivor and spousal benefit plumbing: 402(b)/(c)/(e)/(f) with oracle cross-checks #80) RETAINED verbatim (fix C1).
• holdout_basis — [mh85_23, cah85_23, MX23REL] → [mh85_23, cah85_23]; MX23REL moves to gate_2b.holdout_basis.
• scope_note — provision_class_coverage prose gains explicit tranche ids (2a/2b/2c); the certification_scope map is promoted into the locked scope.
• scope_note_draft_label — the stale This DRAFT tranche covers… heading relabeled to tranche 2a_marital_fertility covers… (fix C2).
• scope_note_holdout_xref — the caregiver named in holdout_basis but not scored in this draft cross-reference re-pointed to the unlocked gate_2b (fix C2).

The five flip_additions

• tranche_id: 2a_marital_fertility added inside gate_2.thresholds.
• gate_2b (relationship_household) and gate_2c (marriage_earnings_joint) declared as UNLOCKED sibling tranches (locked: false, no floor, no scored run, each lock_ceremony.exists: false with a step list naming the verification round).
• certification_scope map promoted into the locked gate_2.thresholds.scope (per-class requires_tranche + locked_coverage).
• Standing governance rule description_claims_exactly_the_scored_surface promoted into gate_2.governance.amendment_rules, attributed to review External architecture review (Codex gpt-5.6-sol): 10 findings + pre-CPS refactor plan #106 finding 4 / PR Gate-2 amendment proposal 2: explicit tranche structure (review #106 finding 4) #111 finding 8, binding 2b/2c/gate_3.
• gate_2.name ("family and benefit outputs") retained per its C3 disposition (the tranche container).

The two verification-round flip-time nits (comment 4930753295)

• Legend spacing — the 2b bullet-3 legend quote normalized from poverty / household to poverty/household so it matches the character-exact derivation_basis quote.
• COLA — qualified in the A2 own-record example list: COLA's levels additionally ride the Phase-B claiming/mortality components (Replication anchors: DYNASIM-scored reforms and the minimum model surface for each #74 marks CA, M, DI on the COLA row; Claiming-age module: SSA Statistical Supplement reference and reduction wiring #78 covers CA, M/DI uncertified anywhere), so it is not a pure gate-1 + oracle surface — though still outside the 2a/2b/2c tranches. The three pure formula-side items (bend points, PIA formula, taxable-max) keep the gate-1 + oracle basis.

History entry

Adds gate_2.amendment_history[1] — id 2026-07-09-tranche-split, with all four ceremony pointers (review 4930448912 / fixes 81ea41e + 4930615774 / verification 4930753295 / ratifying merge 8a4a24018), flipped_live: this pull request, and zero-movement content citing #106 finding 4 and the candidate-16 pass (#109). Removes amendment_proposed (preserved in git history at the ratification merge).

Locked-hot test rewiring

The load-bearing guarantees rebind at their LIVE post-flip locations in a new "Gate-2 amendment 2 RATIFIED bindings" section: the re-scoped description/holdout_basis, the tranche_id, the promoted certification_scope map (per-class requires_tranche lists + locked_coverage tokens bound EXACTLY and cross-checked against the locked note, both nits asserted), the gate_2b/gate_2c stubs, the promoted standing rule, the second history entry with all four pointers, and a direct zero-movement compare vs origin/master. The proposal-object tests stay dormant-safe (guarded on proposal_number == 2, so they skip once amendment_proposed is gone); the D1 merge-safe guard test_gate2_amendment2_changes_no_locked_value naturally skips post-flip; the always-hot holdout_basis binding is updated to the new live value.

Full suite: 1319 passed, 68 skipped, 0 failed (-n 8). black -l 79 and ruff check clean.

🤖 Generated with Claude Code

[vercel]

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

Project	Deployment	Actions	Updated (UTC)
social-security-model	Ready	Preview, Comment	Jul 10, 2026 12:56am