A defined fold claim is always freshly built and adjacent metering events cannot repeat, so presence alone decides the claim transition; the value comparison was unreachable and failed the per-file branch gate.
A defined fold claim is always freshly built and adjacent metering events cannot repeat, so presence alone decides the claim transition; the value comparison was unreachable and failed the per-file branch gate.