Track B G v2: close #495, compute five refused configurations, register examples and refusal denominators

[MaxGhenis]

Completes the conformance review of Track B G (the gross-benefit layer, #492), closes #495, and computes five configurations G used to refuse. Statutory conformance only: invented families and SSA's published worked examples. No population claim. Version track-b-g-v2.

What changes

• Track B G follow-ups: input-validation ordering, 402(q) cohort bound, 403(a)(5) scope for I #495. Record refusals are deferred until the family's inputs are checked (both entry styles); 402(q) reduction months are bounded by cohort (FRA - 744); widow(er) reduction periods are fixed by the cohort year under SSA's January 2 to January 1 convention (RS 00615.301B.2); births 1914-1916 are bounded by the RS 00615.692E chart; cross-field checks; a household helper evaluates one month against per-record 403(a)(5) guards without changing what they refuse; the guard's over-refusal is stated plainly.
• Newly computed:
  • dual entitlement with an age-reduced own RIB, by GN 02603.050C's PTAP formula (GN 02603.060 A.5, A.8, A.9, B.2 reproduced);
  • disabled widow(er)s at 50-59 from January 1984: 28.5 percent, the reduction rounded up to a dime (RS 00615.310);
  • the government pension offset ignored for benefit months from January 2024 (Social Security Fairness Act, per GN 02608.100); a WEP PIA before 2024 stays the caller's input;
  • independently entitled divorced spouses (402(b)(4)(A); RS 00202.005, .100): outside the maximum, no worker payment;
  • one or two parents (402(h); RS 00209.001, .015): 82.5 or 75 percent, inside the maximum, not age-reduced.
• Newly refused, by name: families protected by the widow(er) DRC saving clause (RS 00615.712), and direct snapshots that cannot rule it out; a RIB-LIM that actually limits a dually entitled widow(er)'s rate (a nonlimiting one now computes).
• Registry and denominators. 27 statutory worked examples in one registry (205 figures checked verbatim against their captures, 53 derived figures labelled as derived), a coverage test that fails when a supported configuration class has neither a statutory example nor a stated reason, and a committed invented-configuration lattice report (110,880 cells: supported, refused by reason, invalid), regenerated byte for byte by a test. These are invented-configuration denominators; they say nothing about populations.
• The depletion-cut artifact (PolicyEngine-US bridge: depletion-cut offsets for illustrative households #506). Its provenance gate pinned G's source file. A unit-tier test now rebuilds every G input the committed illustrative couple recorded and requires all seven recorded G output fields to match in every month; the gate runs that proof, then excludes exactly gross_benefits.py from its source pin. The artifact, its recorded commit and its track-b-g-v1 provenance text are unchanged.

Invariants (each a Hypothesis property; full mapping in docs/design/track_b_g_gross_benefits.md)

Family total within the maximum (divorced spouses and worker DRCs outside it, as the law says); proportional shares within a dime; maximum monotone in PIA and AIME; adding a non-dually-entitled auxiliary never raises another (adding a dually entitled one can, and that minimized case is pinned as intended); dual entitlement never below the own benefit; refusals always raise and stay in denominators; input errors before refusals; households of unrelated records equal their records; determinism and order independence; dime amounts and whole-dollar floors; the 403(a)(5) guard contract; the PTAP formula against an independent reference; DWB, SSFA, parent and IEDS bounds and differentials; registry completeness; lattice conservation. Differentials against the float oracle ss/benefits.py keep their documented tolerances.

Still refused (named, kept in denominators)

Pre-1983 eligibility or payment months, pre-July-1980 DIB, combined family maximums and multiple auxiliary records (G part 2), deemed spouses, more than two parents or the circular two-parent own-RIB interval, DIB guarantee PIAs, DIB after a reduced RIB, workers' compensation, GPO before 2024, administrative finality, some dual-entitlement sequences, unresolved Parisi interactions (own delayed credits, a binding RIB-LIM, zero only after auxiliary age reduction), Parisi before October 1999, IEDS before 1985 or with WEP before 2024, non-AIME formula PIAs, 403(a)(5) (pending d1338), pre-1917 delayed credits.

Readings that need Max's judgment (each refused; both sides pinned)

• A dually entitled spouse whose rate reaches zero only after auxiliary age reduction: GN 02603.045A ("before any applicable reduction for age") versus GN 02603.050A.2/C.1 ($21 a month across three readings in an invented case).
• Parent entitlement count when one parent has an own RIB between 75 and 82.5 percent of the PIA (RS 00209.001 versus .015): a circular interval; $75 a month.
• 403(a)(5): the Act's literal "any such subsequent month" versus RS 00630.400's operational conditions. Queued as d1338; G part 2 builds both behind one switch.

These will go to Max as one decision card with the other Track B readings.

Review

Independent GPT-6.1 Sol review round 1 (a0ad004) requested changes: widow boundary-cohort periods, the RS 00615.712 saving clause, and the depletion-cut provenance gate (all medium), plus four lows; all fixed in 7b9408e. Round 2 is running.

Checks

712 targeted tests pass locally (G suites, conformance report, registry, depletion-cut artifact and compatibility, birth evidence); black and ruff clean; tier policy passes; protected files untouched. 57 sources pinned in tests/data/track_b/gross_benefit_sources/manifest.json.

axiom: n/a: not a country-model change. G is a Python statutory reference per d515; rulespec-us had no 42 U.S.C. 403 encoding when G was first built (#492).

🤖 Generated with Claude Code

[vercel]

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

Project	Deployment	Actions	Updated
social-security-model	Ready	Preview	Oct 16, 2026 11:11pm UTC