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-006 - Military aid keeps net-new lanes separate from already-counted foreign assistance
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 5 excludes allied-funded sales and already-counted assistance while preserving drawdown value versus replacement-cost separation.
Referenced By
Related Sources
S-043 S-050 S-051 S-052 S-053 S-054 S-055 S-056 S-057 S-058 S-059
Related Decisions
Related Open Questions
Related Claims
C-002 - Section 2
Methodology distinguishes legal status categories and number types
Qualified status categories, waiting-period rules, appropriations, obligations, outlays, and transfer values are treated as distinct analytical objects.
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-004 - Section 4
Ukraine and Israel examples are illustrative and non-additive
Section 4 exists to show stage differences and beneficiary chains without adding its examples back into the running totals.
C-005 - Section 4
Ukraine stage labels cannot be netted casually
Appropriations, drawdowns, disbursements, and delivered-value estimates sit at different stages and remain analytically separate.
C-014 - Section 12
State-administered federal dollars add zero net-new dollars by design
Section 12 is a routing and reconciliation lens that guards against double counting once federal money passes through state systems.
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.