Source changed 2026-10-03 14:36:52 UTC · snapshot created 2026-10-03 14:38:14 UTC · last check 2026-10-03 15:05:10 UTC
A.7.CP:7 - Conformance Checklist
ID
Check
CC-A7CP-1
Every relation occurrence names one exact basis-claim episteme/ID, dated reasoning-work occurrence, exact receiving-result episteme, posture, optional narrower use scope, and maximal continuous reliance interval.
CC-A7CP-2
The work actually relies on the claim for that exact receiving result; citation, access, publication, or use elsewhere in the work is insufficient.
CC-A7CP-3
adoptedPremise and conditionalAssumption are use postures, not intrinsic claim kinds.
CC-A7CP-4
A posture or identity change splits only the affected result-specific relation occurrence and reopens that receiving result and its dependents.
CC-A7CP-5
Consumers cite only load-bearing claim IDs and do not copy the compact.
CC-A7CP-6
The support pattern is not a Method, performer, work plan, result, or mandatory catalogue traversal. A U.MethodDescription episteme may declare a premise or branch condition for its described Method, but only an admitted U.System performs dated reasoning Work. Any assignment, F.6 attribution, and result relation used by the case must obtain separately.
CC-A7CP-7
Evidence, currentness, source use, subject construction, kind admission, and work method remain with subject patterns.
CC-A7CP-8
The twelve compact claims retain their stable IDs and contents as one closed support set.