What each part is responsible for.
The machinery, described with the abuse it defends against.
A clock and an event before a judge
Every movement of value is triggered either by something chain-verifiable — a date passed, an on-chain event — or, as the costly exception, by a judgment about the physical world. The engine pushes as much behaviour as possible into the first class. Rent releases on a schedule; the deposit returns on a pure timer unless a bonded deduction claim is filed.
Bounding an autonomous actor
Four constraint types — caps, allowlists, schedules, approval thresholds. The mechanism that makes it trustworthy is check-before-touch: the Operator never holds funds; it emits an instruction, the Mandate evaluates it deterministically, and only a passing instruction reaches the Vault. It bounds the Operator's payments, not the AI's reasoning — making misbehaviour bounded and expensive, not impossible.
The Court, kept asleep by economics
A claimant posts a bond and evidence; an optimistic challenge window opens; an unchallenged proposal simply stands. Only a genuinely disputed case escalates to staked jurors, rewarded for sound rulings and slashed for bad or absent ones. Bonds deter frivolous claims and nuisance challenges alike. Honestly stated: a juror verdict is a bonded consensus, not access to ground truth.