Every claim must trace back. Untraceable = first-class failure.
Claim text
"A state law that discriminates against interstate commerce on its face is virtually per se invalid."
Provenance
source_case_id: city-of-philadelphia-v-nj-1978 source_excerpt: "[quoted passage from opinion, char_span 4128–4244]"
Edge chain
chain: [ city-of-philadelphia-v-nj-1978 → pike-v-bruce-church-1970 : cites, pike-v-bruce-church-1970 → hughes-v-oklahoma-1979 : cites, hughes-v-oklahoma-1979 → granholm-v-heald-2005 : affirms ]
If null —
If source_case_id is null, the claim lands in truth_unit.untraceable_claims.
That field is counted, displayed, and gated. > 0 untraceable claims is one of the four pass-criteria failure modes.
Decode (P5.1) is the only pipeline step pinned to Opus — no cheap-engine substitution allowed. This is the integrity surface.