Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 07:40:10 UTC
A.4:5.2 - Distinguish the actual event and its next use
Working situation
Correct exit
A pump circulates coolant while its CAD account is edited.
Use the continuing pump and the selected CAD account claim in the comparison. Operating Work and editing Work concern different subjects; the edit establishes no physical pump change.
An author cites an unchanged theorem.
Use the direct episteme-use rule. The theorem executes no OperationalMethod; any reasoning Work has its own performer and Method.
An unused pump weathers.
A.3.4 can qualify the actual material change without invented Work. If later design conformance matters, compare the resulting condition with the selected criterion.
A sensor measurement produces a new observation record.
Use the observation as warranted input to the comparison. Measurement and result do not by themselves establish target change.
A pump’s internal control System performs maintenance.
A.12 distinguishes acting and changed participants. The System’s identity rule can preserve the same pump; compare its relevant resulting facts if the intended use requires it.