Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 03:40:20 UTC
A.1.STM:8 - Conformance checklist
ID
Check
CC-A1-STM-1
The intended final result and the first unsupported logical dependency are readable without decoding a technical record.
CC-A1-STM-2
Expected outside use and the project-system boundary are stated before internal architecture is justified; the actual runtime transformation of an exact environment or input referent and any system participation remain separately governed, and feedback may reopen the earlier hypotheses.
Project Work, an admitted project-level network selection or Plain provisional map, and one minimal case placement retain their own identities.
CC-A1-STM-5
Backward attention, forward actuality, didactic order, Work order, and direct subject relations are not substituted for one another.
CC-A1-STM-6
Every local answer is one exact assertion under its subject predicate, with the pattern retained only as a locator, or a truthful stop.
CC-A1-STM-7
A case states four things in ordinary language: the exact subject or claim; the bounded references and direct claims needed to answer this closure question; the separately governed closure basis; and one named downstream receiving use that remains outside the closed case.
CC-A1-STM-8
An admitted network has independently identified members, exact obtaining cross-member relations, applied constraints, a use frame, and complete endpoint bindings; otherwise the map stays provisional.
CC-A1-STM-9
Expected environmental effect, actual runtime transformation and system participation, production, identity inception, completion, later change, and use are separately grounded; required behaviour is not actuality, and no not-yet-existing system is transformed.
CC-A1-STM-10
Evidence is bound to its claim, assurance is limited to a named reliance use, and changed grounds reopen only the smallest affected answer.