Deterministic decision functions over measurable thresholds. Each axiom has explicit, testable criteria.
A relative deviation D(t) of an observed metric from its steady-state baseline must stay inside the admissible band δ defined in planning.
Persistence matters: the time-integral of deviation must not exceed the budget B. This is what catches slow gray failures, not just spikes.
The digital black box records asynchronously, off the critical path, but it must still meet hard guarantees.
| Criterion | Requirement | Why it matters |
|---|