Standards TrackerSeptember 2, 20253 min read

Fail-Closed Defaults in Policy Routers

Why fallback to permissive mode violates deterministic safety.

Problem

When a policy evaluation engine experiences a timeout or unrecognized input from an LLM prompt hallucination, standard web architecture often degrades gracefully (fail-open) to maintain uptime. In autonomous orchestration, this permits fatal state mutation.

Approach

HELM enforces a strict fail-closed boundary. If the Guardian component cannot yield an explicit ALLOW verdict within the timeout period, it yields DENY_TIMEOUT. The agent is notified of the rejection and must re-plan.

Invariants

  • Absence of ALLOW is DENY.
  • Timeout equates to DENY.
  • Malformed proposals equate to DENY without evaluation.

Artifacts

References

  • Saltzer & Schroeder (1975). The Protection of Information in Computer Systems.

Pesquisa Mindburn LabsSeptember 2, 2025
Every claim in this article can be independently verified using our open-source evidence tooling. Check the standards and conformance demos below.