Definition
If constraint metrics are unavailable, execution halts. Unobservable state is treated as unsafe state. Fail-closed logic.
Source: M031
If constraint metrics are unavailable, execution halts. Unobservable state is treated as unsafe state. Fail-closed logic.