Skip to ten tests

Brief · 8 September 2026 · David Reichwein

The Engineering
Primitive

Hardware interlocks in the age of agentic AI.

In control engineering, a hardware interlock has one non-negotiable property: it removes the energy, path, or physical permission required to execute a hazardous act through an independent loop the proposed actor cannot alter, bypass, or persuade.

They do not make the operator wiser. They make an unauthorized motion physically incomplete.

Independent loopDefault deny
Open contact in the execution pathPROPOSERprobabilisticOPENTARGETunreached

The contact lives outside the proposer. Shared fate with the proposer is not independence.

01Two layers, not one

Permissives check sequence. Interlocks decide whether the step is allowed to exist.

Physical plants already split the problem. Confusing those layers is the original error in agent governance.

Permissives · usually software

Sequence and mode

Is the fan running before the damper opens? Efficient. Also vulnerable to stuck outputs, corrupt state, and common-cause software failure.

A prompt that says “do not delete production” is a permissive.

Safety functions · interlocks

Remove power or path

Guard opens, motor dies, even if the PLC still says RUN. The first layer asks whether the step is timely. The second asks whether the step is allowed to exist.

A path that cannot carry DROP unless an independent mechanism asserts enable is an interlock.

Plant panel

Toggle the controller. Open the guard.

The damper listens to sequence. The motor listens to the guard — not to the PLC.

Damper command

Permissive

Sequence failed — still vulnerable to a stuck output

Motor power

Interlock

Live — guard closed

02Why the last layer cannot be software alone

This is not a metaphor.

High-consequence protection functions are written this way because of software common-cause failure: one bug, one corrupt state, one firmware halt can take every software instance down together.

  1. NFPA 79 · IEC 60204-1 · ISO 13850

    Act on the path

    The stop must act on the path, not on the intention of the controller.

  2. ISO 13849-1 · IEC 62061

    Resist common cause

    Dual-channel architecture, diagnostic coverage, and demonstrated resistance to common-cause failure. Two copies of the same code on the same processor are not diversity.

  3. IEEE 603 · NRC GDC 22, 24

    Survive the collapse

    After an assumed software collapse, something that is not the collapsed computer must still be able to trip.

These documents do not regulate language models. They regulate the structure of last-layer protection. If an agent can move money, destroy data, or command plant, that structure applies whether the proposer is a PLC, a tired engineer, or a model.

03Chatsworth, restated as architecture

An interlock that can be left uninstalled is not an interlock.

On 12 September 2008, Metrolink 111 passed a red signal at CP Topanga and met a freight train. Twenty-five dead. The engineer was texting. Automatic Train Stop existed. It was not in force at that signal.

CP Topanga · 12 Sep 2008ATS not in force
Chatsworth as architectureSIGNAL REDMetrolink 111ATS absent from path

The lesson is not that humans are fallible

Present in the catalog, absent from the execution path, overridden when inconvenient.

Legislation by funeral mandated Positive Train Control afterward. The physics did not change. The permission to skip the physics did.

Agent stacks now ship with optional guards in the same position ATS occupied on that subdivision.

04Ten tests

Fail one and you have a permissive.

Point at the candidate gate and answer yes or no. All yes: interlock. Any no: permissive. Useful, maybe. Last layer, no.

  1. 01/Path before commitment

    Can you point to the wire, contact, or silicon path that removes the execution signal before commitment?

  2. 02/Physical enable or cut

    Is there a physical enable or cut, not a flag the proposer can rewrite?

  3. 03/Independent fault domain

    Does enforcement live in an independent fault domain — different processor, memory, and authority from the model?

  4. 04/Independent clock

    Does it have an independent clock, so the proposer cannot starve or desynchronize the veto?

  5. 05/Isolated power

    If the inference box dies, hangs, or is power-cycled hostilely, does the gate still default safe?

  6. 06/Non-bypassable

    Is the policy non-bypassable — no alternate interface, shadow credential, or out-of-band tool path around the gate?

    The test that kills most hardware pitches. A beautiful box the agent can route around is Chatsworth again.

  7. 07/Dark-model default

    If the model goes dark, is the plant already safe, or does safety require the model’s cooperation?

  8. 08/Fail-closed

    Fail-closed on drop, timeout, or undefined state?

  9. 09/Bounded grant

    Is authorization bounded in time and context, or is a grant immortal?

  10. 10/Tamper-evident record

    Is there a tamper-evident record the proposer cannot edit?

05What this does not say

The primitive is for commitment, not for thought.

  • It does not say models should be less capable.

    Internal reasoning can be unbounded. External commitment cannot.

  • It does not say every autocomplete needs a safety PLC.

    Reversible, low-radius, human-paced work can live on permissives. The primitive is for acts whose undo is a press release, a ledger, or a funeral.

  • It does not say TEEs, HSMs, capability kernels, or deterministic tool gateways are worthless.

    They are often the right first interlock for software surfaces. They become counterfeit if they share fate with the agent or can be persuaded in-band.

  • It does not say the gate is wise.

    The last layer should be too stupid to argue with. Anything that can understand the appeal can lose it.

06The architecture

Model proposes. Something it cannot touch disposes.

Three domains. The only legal crossing is proposer → enforcement → target. Evaluation is of typed actions, not of the model’s inner monologue. Default is deny. Loss of the enforcement node is isolation, not a free pass.

Probabilistic

Proposer

Model, agent, orchestrator. Allowed to be wrong.

Deterministic

Enforcement

Independent evaluator of structured proposals against explicit policy. Unreachable from the proposer’s namespace.

Money, data, machines

Target

The ledger, the plant, the network. Reached only through enforcement.

Execution path

Isolated

  • Default deny. Target isolated.

07Failure modes of the gate itself

An interlock can be real and still fail the plant.

Those are not reasons to put the veto back inside the model. They are reasons to treat the gate as safety equipment: designed, tested, audited, and assumed capable of being wrong in its own way.

  • 01

    Policy too coarse

    Becomes a rubber stamp or a shutdown.

  • 02

    Stale context

    Authorizes yesterday’s world.

  • 03

    Human approval at machine speed

    Recreates the distracted engineer.

  • 04

    The gate’s supply chain

    Becomes the common-cause fault.

  • 05

    Fail-closed nobody can operate

    Becomes fail-business. Then someone jumpers it out.

The primitive

Model proposes. Something it cannot touch disposes.

If that is true in the wiring, the primitive holds. If it is only true in the copy, you do not have an interlock. You have a permissive with better adjectives.