C-001 - Section 1
Executive summary keeps measurable lanes on their native bases
The opening section preserves lane separation instead of collapsing obligations, outlays, cumulative military lines, and domestic program examples into one number.
Claim Record
C-014 - State-administered federal dollars add zero net-new dollars by design
Claims are first-class structured records so the evidence platform can point every published conclusion back to its sources, decisions, and unresolved questions.
Claim record
Section 12 is a routing and reconciliation lens that guards against double counting once federal money passes through state systems.
Referenced By
Related Sources
Related Decisions
Related Open Questions
Related Claims
C-006 - Section 5
Military aid keeps net-new lanes separate from already-counted foreign assistance
Section 5 excludes allied-funded sales and already-counted assistance while preserving drawdown value versus replacement-cost separation.
C-007 - Section 6
ORR is owned as a domestic lane, not an overseas add-on
Refugee and entrant assistance stays in one canonical domestic section so it is not double-counted against foreign-assistance accounts.
C-008 - Section 6
ORR provider capture remains a first-class unresolved limitation
The public record identifies the ORR lane but does not yet publish a defensible entrant-versus-provider split.
C-009 - Section 7
Emergency Medicaid is measurable on a federal-plus-state basis, not a federal-only basis
Section 7 preserves the measurable lane while carrying the missing federal-only share as an explicit open question.
C-010 - Section 8
SNAP noncitizen dollars are not backfilled with modeled estimates
Section 8 documents the eligibility framework and refuses unsupported benefit attribution by population share.
C-011 - Section 9
SSI is one of the clearest direct-cash domestic lanes
The current edition relies on SSA-published noncitizen recipient and payment inputs while preserving the point-in-time limitation.
C-012 - Section 10
Housing eligibility rules already exclude many ineligible uses through Section 214 and proration
Section 10 is strongest on program mechanics, not on a missing published eligible-noncitizen outlay total.
C-013 - Section 11
K-12 and student-aid analysis is constrained by legal collection limits and eligibility structure
Section 11 treats missing education spending ledgers as a real transparency limit rather than something to impute.
C-015 - Section 13
The gap register is itself a finding, not an empty placeholder
Section 13 names programs where the record does not support a defensible citizenship breakout and refuses to fabricate missing values.
C-016 - Section 14
The conservative total is a reproducible set of subtotals, not one synthetic number
Section 14 is locked to a blueprint that preserves incompatible bases instead of flattening them into a false grand total.
C-018 - Section 16
The final argument inherits the same basis rules and evidence limits
Section 16 does not create a new theory of the numbers; it restates bounded findings from the locked sections.
Revision History
- 2026-07-01 - 1.0 - Claim imported into the structured traceability model from the Version 1.0 platform layer.