Skip to content

Ordering train: per-stratum tail support receipts (#652) + late-producer input DAG (#653) - #660

Open
MaxGhenis wants to merge 121 commits into
mainfrom
tail-stratum-support-652
Open

Ordering train: per-stratum tail support receipts (#652) + late-producer input DAG (#653)#660
MaxGhenis wants to merge 121 commits into
mainfrom
tail-stratum-support-652

Conversation

@MaxGhenis

Copy link
Copy Markdown
Contributor

Two ordering fixes from the first builds to reach the deep pipeline, shipped as one train because both govern late-stage execution order.

#652 — capital-gains tail: declared per-stratum support with receipts

The 1% rung cannot satisfy the tail's donor requirements in two filing-status strata (verified from real checkpoints: JOINT short 6,042, SEPARATE short 353; every stratum clears at 10% — the 10% dev run passed the tail empirically — and at full scale). Thin strata now receive named, counted insufficient_support receipts bound into the tail manifest and checkpoint identity; adequate strata attach byte-identically (regression-pinned); full-scale behavior provably unchanged (analytical counts in the report).

#653 — late-producer input dependency DAG

The 10% dev run died in adult care reading sstb_self_employment_income_before_lsr — 43,260 nonfinite inputs, all ASEC-origin native clone-0 people, because the producer ran before the post-PUF transfer filled its inputs. The #649 producer schedule proves target-producers precede their checks but never modeled producer inputs. Now: a canonical 38-producer, 71-edge dependency DAG, import-validated (cycles rejected by name), topological waves (1,1,17,14,3,2) derived not hand-ordered, byte-stable under registry iteration order, bound into checkpoint identity. A callback-aware AST audit confirms zero undeclared configured reads across all producers.

Verification

Implemented by two lanes, then one combined adversarial QA gate re-derived the stratum tables and provenance from the real build checkpoints, ran the negative-path suites, and found no production defect (report sha b79f6d39…). Battery: 5,907 passed / 0 failed; #583 guard exactly 495; ruff clean; changelog covers both issues.

Merge gate: all CI lines green plus the next 1% smoke showing the two thin-strata receipts and reaching past source completion. Real-build receipts will be posted here.

Fixes #652. Fixes #653.

🤖 Generated with Claude Code

@MaxGhenis MaxGhenis closed this Aug 12, 2026
@MaxGhenis MaxGhenis reopened this Aug 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant