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.