Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:10:10 UTC
A.20:7.1 - Extensions only when another use is current
Trigger
Additional check
Direct pattern
A gate consumes the result
Keep every applicable GateFit result independently recoverable; an A.20 failure changes only the A.21 aggregate under its current rule (CC-A20-5). A deferred required check remains notRun (CC-A20-6).
The exact proposition in an A.6.4 bounded-use assertion q is the named internal constraint
Apply A.20 to that proposition for the stated case and return only its ConstraintValidityResult; keep r, q, any operation application, and the A.6.4 current-case judgement separate. A Bridge or reversibility claim enters only when separately current (CC-A20-8).
A.6.4; add F.9 only for a separate semantic-correspondence claim
Publication, structure, time, refresh, evidence, assurance, or Work is current
Keep those claims in their own result or relation and follow the direct pattern (CC-A20-9). A.20 adds no publication-face, path, slice, scheduler, gate-profile, or gate-algebra fields (CC-A20-7).