A.4:5 - Archetypal Grounding
A.4:5.1 - One continuing pump, two selected design accounts
In this constructed case, Pump37 operates under condition set C. A justified domain comparison uses exact flow values in L/min under those matched conditions. The available observation is 105. Account D1 requires at least 100; account D2 requires at least 110.
| Selected basis | Comparison | Bounded result |
|---|---|---|
| D1, C, minimum 100 L/min | 105 ≥ 100 | This flow requirement is met. |
| D2, C, minimum 110 L/min | 105 < 110 | Flow misses this requirement by 5 L/min. |
| D2 under C, observation under C′, with no justified translation | The comparison premise is missing. | Unresolved comparison, not a failed pump or a false design. |
Selecting D2 changes the comparison basis; it does not physically change Pump37. Editing D1 into D2 changes the account’s claim content. Its historical edition relation, if claimed, must independently obtain. The discrepancy against D2 may justify a later response question, but supplies neither change authority nor a requirement to revise the design.
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. |