C.3.2:9.5 - Unavailable measurement
Pump #14 remains an admissible physical candidate in later slice S-15, but a required flow-measurement dependency is unavailable. The judgment is unknown. A safety guard may decline reliance; it does not return false or remove the pump from a historical S-14 extension.