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
Claims are first-class structured records so the evidence platform can point every published conclusion back to its sources, decisions, and unresolved questions.
Section 3 preserves separate accounting states while carrying the unresolved beneficiary-capture share as an open question.
C-001 - Section 1
The opening section preserves lane separation instead of collapsing obligations, outlays, cumulative military lines, and domestic program examples into one number.
C-004 - Section 4
Section 4 exists to show stage differences and beneficiary chains without adding its examples back into the running totals.
C-005 - Section 4
Appropriations, drawdowns, disbursements, and delivered-value estimates sit at different stages and remain analytically separate.
C-006 - Section 5
Section 5 excludes allied-funded sales and already-counted assistance while preserving drawdown value versus replacement-cost separation.
C-007 - Section 6
Refugee and entrant assistance stays in one canonical domestic section so it is not double-counted against foreign-assistance accounts.
C-016 - Section 14
Section 14 is locked to a blueprint that preserves incompatible bases instead of flattening them into a false grand total.
C-017 - Section 15
Section 15 preserves missing-record constraints as governance rules for what the audit may claim.
C-018 - Section 16
Section 16 does not create a new theory of the numbers; it restates bounded findings from the locked sections.