Source changed 2026-10-03 14:36:52 UTC · snapshot created 2026-10-03 14:38:14 UTC · last check 2026-10-03 15:25:20 UTC
A.3.3.TR:7 - Conformance Checklist
CC-A3.3.TR-1 - Working change. The subject, needed result and modeled step are recoverable.
CC-A3.3.TR-2 - State and inputs. The rule retains the values it reads, separates held parameters and states input assumptions over the interval being modeled.
CC-A3.3.TR-3 - Connected effects. Jointly required relations share their variable meanings; alternatives remain alternatives; unchanged values are stated where omission would permit unintended changes.
CC-A3.3.TR-4 - Subject contribution. The physical interactions or operation semantics used by the rule are supplied, or their absence is the returned limitation.
CC-A3.3.TR-5 - Worked consequence. An application obtains a continuation, rate, behavior, obstruction or missing contribution relevant to the question.
CC-A3.3.TR-6 - Required property. A claimed invariant or progress property has the corresponding argument over the claimed cases. A failed induction step is distinguished from a reachable violation; testing and incomplete search retain their actual reach.
CC-A3.3.TR-7 - Choice and likelihood. A selection, progress or probability claim has its own needed conditions.
CC-A3.3.TR-8 - Changed use. A change to granularity, constraints, inputs or subject laws reopens the affected rule and its consequences.