A.20:4.6 - Neighboring claims

A.20 keeps only the result content needed to reuse the internal-constraint finding. When another claim is current:

E.17 defines publication relations and faces;
E.18 defines structure positions, transfers, paths, crossings, and PathSlice identity;
G.11 defines refresh planning and performed refresh work;
C.27 defines temporal-claim adequacy;
A.21 defines check applications, profile use, gate aggregation, and decision consequences;
A.10 recovers provenance and bounded reliance; the direct support pattern defines each evidence relation and B.3 governs assurance; and
A.15 defines plans and dated Work.

Citing an A.20 result in one of those claims does not copy that consumer’s identity, scheduling, publication, or policy fields into A.20.