A.7.1:7 - Conformance Checklist

ID	Check
`CC-A7.1-1`	The use names one engineering result, guarantee, smallest disputed claim, and consequence failure.
`CC-A7.1-2`	One grounded defeated reading can trigger the method; fabricated alternatives are not required.
`CC-A7.1-3`	The work enters the first capable domain, wording, typed-account, or constructive-ground locus rather than a mandatory ladder.
`CC-A7.1-4`	The normal case uses the already selected A.7.1 analysis method as its one current apparatus; the engineering subject and its subject pattern remain inputs and constraints. Candidate generation and choice open only for alternative direct-kind apparatuses eligible for the same use and guarantee.
`CC-A7.1-5`	Keep the intended reader, MethodDescription episteme, Method, A.13-qualified performing `U.System`, independently admitted dated `U.Work`, and problem-facing result distinct. Add an F.6 attribution only when the receiving use expressly consumes it. The local system-role kind classifies the performer under its own criterion; the assignment relates the holder to the assigned-kind value.
`CC-A7.1-6`	Only load-bearing `A.7.CP` claims receive reasoning-basis relation occurrences.
`CC-A7.1-7`	Direct relation, local system-role-kind, assignment, state, capability, responsibility, evidence, source-use, Work, and kind-admission patterns remain authoritative.
`CC-A7.1-8`	The result uses one declared local disposition and includes stop/reopen or exact blocker.
`CC-A7.1-9`	Any durable ontology result is justified by reuse, dispute, consequence, automation, or cross-pattern change.
`CC-A7.1-10`	No provisional branch presentation is treated as an admitted CGUS.