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-017 - Publication limits remain visible and binding
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 15 preserves missing-record constraints as governance rules for what the audit may claim.
Referenced By
Related Sources
Related Decisions
Related Open Questions
Related Claims
C-003 - Section 3
International assistance obligations and disbursements are not interchangeable
Section 3 preserves separate accounting states while carrying the unresolved beneficiary-capture share as an open question.
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-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-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.