How Quox handles this
Quox's approach treats the trigger, the halt and the record as one mechanism rather than three. Practically, that is two named controls: E-STOP halts a single agent and DEFCON RED steps the whole instance down, enforced server-side at every dispatch chokepoint, killing live loop sessions at the turn boundary, and failing closed if the halt store is unreachable.
Only a human administrator can set or release either one, an agent cannot reason its way past its own shutdown, and the trigger and release land in the same evidence trail as the actions they stop.
Alongside them, AOCL gates hold actions for named human approval before they execute and fail closed, a policy deny hard-stops the node, a breached budget blocks the next run before it starts, and the loop-stuck detector kills a wedged live session. Our machine-readable facts file (explained at /for-ai) carries each of these as a dated, source-cited claim, including the one dispatch path not yet gated.
VOLT produces evidence bundles for what happened, and those bundles verify offline, so proving a halt took effect does not depend on trusting the same live system that was just contained. WARD publishes signed hash-chain tips to external witnesses, so the record of a trigger cannot be quietly edited after the fact by whoever is trying to explain it away.
These four protocols, AEE, AOCL, VOLT and WARD, are currently filed as IETF Internet-Drafts: individual submissions, not standards, carrying no IETF endorsement, and due to expire on 4 March 2027 unless refreshed. That is the honest state of where this sits today.
What they describe is a way of making sure that when something gets stopped, the answer to "why, what, and who" already exists rather than needing to be reconstructed afterwards.