Deterministic decision functions over measurable thresholds. Each axiom has explicit, testable criteria.
The axiom engine is a self-contained module. Content filters and role-aware guardrails govern text and steer the model; axioms are the deterministic gate on the composed action, LLM reasoning plus the tool call it triggers over REST APIs, MCP servers or A2A. They compose with the guardrails you already run, adding a final, testable GO / BLOCK decision before anything executes.
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 |
|---|