A.6.H:4.5 - Unpack complete, turnkey, and end-to-end
Ask what the next reader may do because the claim is supposedly complete.
| Candidate reading | What must be named | Direct return |
|---|---|---|
| Complete whole or assembly | candidate whole, identity, boundary, required parts, direct relations, construction rule when current, and completion predicate | A.1, A.14, C.13, A.22, or the exact construction/completion pattern |
| Specification coverage | exact claim-bearing episteme, described EntityOfConcern, effective ReferenceScheme, required content or criterion set, coverage predicate, scope, and gaps | C.2.1 and the exact coverage/evaluation pattern; A.3.2 only when the episteme is classified or used as a MethodDescription under its membership rule |
| Capability coverage | exact holder, capabilities, required actions or conditions, scope, and direct coverage criterion | A.2.2 and the exact capability/coverage pattern |
| Work coverage or completion | exact Work occurrence(s), temporal extent, performed parts or episodes when needed, completion or production predicate, acceptance boundary, and evidence | A.15.1, A.15.PROD, or the exact completion/acceptance pattern |
| Evidence coverage | exact claim set, evidence-bearing objects, evidence-use relations, scope, limitations, and relying use | A.10; B.3 only for an assurance claim |
| End-to-end method or workflow | exact Methods, method parts and joins, exposed interactions, failure and stop conditions; performed runs remain separate | A.3.1 and B.1.5, with A.15.1 for actual Work |
A sentence may require several rows. Write several direct claims; an ordinary note may hold them when each remains separately recoverable.