A citation link is not enough. If evidence is only usable under conditions, and the inference adds assumptions,
the derived claim should carry those conditions forward.
Evidence E
PARKED
condition C1
Evidence is usable only if C1 is resolved.
Inference f(E)
adds assumption
condition C2
The reasoning step creates its own uncertainty.
Claim X
PARKED
C1 + C2
X inherits the evidence condition and the inference condition.
Parked evidence can create parked claims. The graph makes that propagation inspectable.