C-018
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.
Section 16 - Version 1.0 LOCKED
Closing synthesis bounded by the same evidence and basis-separation rules as the rest of Version 1.0.
Structured Verification
Summary: Closing synthesis bounded by the same evidence and basis-separation rules as the rest of Version 1.0.
Claims: 1
Claim links: C-018
Open Questions
None linked yet
Related Sections
Section 14 Section 15
Reviewers should be able to move from section to claim without leaving the generated evidence path.
C-018
Section 16 does not create a new theory of the numbers; it restates bounded findings from the locked sections.
What identifiable gross federal taxpayer spending flows to non-U.S. recipients, both overseas recipients in Sections 3-5 and domestic non-citizens in Sections 6-13, and at what point does public federal reporting cease to permit measurement?
Citizen-child benefits in mixed-status households; state-only funds; any missing citizenship share derived by modeling; Section 13 gap dollars; appropriations treated as spending; a blended grand total; and Total B where the U.S.-capture share is unpublished.
Primary federal records and non-partisan analyses show that undocumented immigrants are statutorily barred from nearly all federal benefits; the material non-citizen domestic spending is on lawfully present eligibles; non-citizens are a small share of the major caseloads examined; and when domestic dollars do flow they are often disbursed to U.S. entities such as hospitals, retailers, landlords, states, shelter operators, and contractors.
The federal-only emergency Medicaid share, undocumented isolation within emergency Medicaid, eligible-immigrant Medicaid spending, SNAP benefit dollars by status, TANF and ACTC / ITIN by status, HUD prorated outlay by status, federal K-12 by status, ORR consolidated outlays, and the international-assistance U.S.-capture share. These are catalogued in Section 15.
Sections 13 and 15 turn missing data into a documented finding rather than an omission. Total A measures gross federal resources directed toward non-U.S. recipients or programs and therefore functions as a known-minimum floor. Total B measures value ultimately reaching non-U.S. recipients and is generally indeterminate, always less than or equal to Total A. Lane subtotals replace a grand total because the measured figures rest on incompatible bases: single-year versus cumulative, disbursement versus obligation, federal versus federal-plus-state, and point-in-time versus fiscal-year.
Future versions could improve the audit only by executing the pending primary pulls, including ORR consolidated outlays, the federal-only emergency Medicaid share, implementer-nationality data for Total B, and a full-fiscal-year SSI basis. A complete forensic accounting would also require federal data products that do not presently exist, including status-level spending tabulations in T-MSIS and CMS-64, USDA benefit dollars by status, IRS ITIN-credit dollars by child status, HUD prorated outlays by status, ORR consolidated obligations and outlays, and implementer-nationality tagging of foreign-assistance disbursements. For federal K-12, Plyler v. Doe means that category would remain uncollectable absent a change in constitutional law. These are stated as factual preconditions, not recommendations.
This audit set out to determine how much federal taxpayer money is directed toward non-United States recipients, and to mark the point at which the public record can no longer answer that question.
Within the limits of primary federal evidence, the audit established the following. The largest identifiable flows are overseas and gross: in fiscal year 2023, federal international assistance disbursed on the order of seventy-two billion dollars, with net-new military assistance accounting for tens of billions more on a separate cumulative basis. Domestically, the measurable spending specifically attributable to non-citizens is comparatively small: a reproducible figure of roughly two billion dollars in Supplemental Security Income, and a single published emergency-Medicaid figure that the record does not resolve to the federal share alone. Undocumented immigrants are, by statute, ineligible for nearly all federal benefits; the domestic spending that exists is directed to lawfully present, eligible non-citizens, who constitute a small share of the programs examined.
The audit also established what cannot be known. For most domestic programs, the federal government does not publish spending by citizenship or immigration status. In some cases the data are not collected; in one case the Constitution forbids their collection; in others the data exist but are not reported in a form that isolates the relevant population or the federal share. Consequently, the value that ultimately reaches non-U.S. recipients, as distinct from the dollars directed toward them, cannot be determined from primary evidence because a substantial portion is paid to United States hospitals, landlords, retailers, agencies, and contractors.
Two conclusions follow and are supported beyond reasonable methodological dispute. First, the dollars directed toward non-U.S. recipients are not the dollars received by them; recipient and economic beneficiary are frequently distinct. Second, the completeness of any accounting of this subject is bounded not by the diligence of the analyst but by the disclosure practices of the government whose spending is examined.
The audit therefore reports a known-minimum: a set of figures, each tied to a primary source, a fiscal basis, and a stated confidence, presented separately because they cannot lawfully be summed into one number. What it does not report, it does not estimate. Every absent figure is named, attributed to a responsible agency, and paired with the specific record that would resolve it.
The reality this audit establishes is narrow and exact. A portion of federal spending on non-U.S. recipients is measurable, and it has been measured. A larger portion is not publicly measurable, and the precise boundary between the two has now been documented. That boundary, not any single total, is the audit’s principal finding.
Each conclusion was retested against the locked evidence. The wording “small where measurable” bounds the domestic claim to measured lanes only. The capture finding is tightened to “documented but unquantified.” The no-grand-total rule remains arithmetic, not rhetorical. The preconditions section is retained as factual rather than normative. No sentence extends beyond the evidence and no conclusion failed hostile review.
Section 16 is locked in Version 1.0. Future evidence creates v1.1+ and does not rewrite v1.0.