All capabilities Proof it stayed in bounds · governed

The model never touches the shell.

Every real-world action goes through one governed channel with explicit allow-lists. The model can request an action; it never writes its own privileged commands, and it never reaches the shell directly.

How an action is dispatched

A requested action is matched against an allow-list before anything runs. Off-list requests are refused and recorded; on-list ones execute through the single owning surface.

There is no side door. Because every action shares one ingress, a limit set at that door holds for the entire system.

The single action channel
Causal recordcau·d4e5f6a7
produced_bytool_dispatch.run
requestedshell: rm -rf /data
decisionnot_on_allow_list
refused — recorded, never executed

Invariant Every action passes one allow-listed channel. The model requests; it never issues its own commands.

Go deeper — the governed action channel

Why a single action surface with an allow-list bounds the blast radius by construction, not by good behavior.

Read the doctrine