A.15.8:7 - Conformance and practical checks
A use conforms to this pattern only when it passes the checks that its claimed result needs:
- A cold reader can obtain the first result without deciding whether cognition or mind is extended.
- The selected focus is exactly one admitted actual
U.Workoccurrence or one exact presentU.WorkPlan; intended performance remains declaration-local plan content. - Actual performers, intended performers, supports, values, and environmental conditions remain distinct. Every attempted relation claim names exact participants and the receiving use, applies a current direct governor when one exists, and preserves its
factually unsupported,missing-information, inapplicable, negative, or other direct result;missing-governoris used only when no rule can state or test that claim. - No arrangement becomes a System, performer, Agent, capability holder, Structure, architecture, or evidence merely by inclusion or wording.
- Continuation-critical state names its concern, bearer or carrier, update and use relations, currentness or consistency condition, and return condition when each matters.
- The probe is the weakest representative condition that can change the receiving decision; its mechanism, thresholds, safety rules, and evidence rules come from an applicable direct domain Method. For any dated probe Work, recover the exact actual performer through A.13 and let A.15.1 independently admit the occurrence; add F.6 only for an expressly consumed precise assignment-bound attribution, whose failure leaves the Work intact.
- Actual test or later performance Work is admitted separately under
A.15.1; a proposed condition remains a plan or probe claim. - The result names one unsupported dependency and next repair or stop, or states that the selected probe found none within its declared window.
- A relied-on account has one truthful C.2.1 focus and effective ReferenceScheme; incompatible focuses split instead of forming a plural EntityOfConcern.
- Recognition and assurance remain separate; high-consequence use opens direct evidence, assurance, authority, and domain-stop rules.
Recognition check. Ask a reader to produce the compact result from one case in ordinary language. If the reader first needs a theory of attention, a new performer whole, a capability diagnosis, or a full architecture model, repair the entry and boundary.
Assurance check. For consequential use, identify the exact direct test, evidence, criterion, authority, protected condition, applicability window, and stop. If any is absent, retain the configuration observation but do not upgrade it to readiness, safety, release, or permission.