Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 08:50:20 UTC
A.9:6 - Conformance Checklist
ID
Requirement
Purpose
CC-A9-1
Name the intended result, inputs, operation, subject model, applicability conditions and justified law. Add Characteristic, Scale, units and measurement conditions for the quantitative branch.
Recover what the result means without excluding non-quantitative composition.
CC-A9-2
Select only the property needed by the current action and supply its applicable argument or warranted test. Distinguish singleton identity from idempotence and repeated-source handling.
Avoid a compulsory universal algebra.
CC-A9-3
Claim order or partition independence only under the actual model and recombination/numerical conditions.
Preserve lawful sequential or parallel composition.
CC-A9-4
Use a weakest-part bound only for a result and dependency model that justify it; distinguish a bound from a calculated value.
Prevent both unsupported optimism and a false universal cap.
CC-A9-5
Return the warranted result, bound, separate inputs or missing premise; reopen the conclusion when its supporting condition fails.
Make incomplete evidence usable without inventing a scalar.
CC-A9-6
A claimed Meta-Holon Transition satisfies B.2’s existing-whole comparison and the candidate whole’s identity rule.
Keep reidentification independent of a model failure.