ALERUNO EffectProof

Independent assurance after an AI agent acts.

Core question

A tool call, trace or agent message saying “done” is not independent proof that the authorized business effect actually happened.

15-minute synthetic demo

  1. Define intent + current authority.
  2. Create Expected Effect.
  3. Execute one bounded synthetic action.
  4. Independent observer reads downstream state.
  5. Verifier compares Expected vs Observed.
  6. Receipt returns PASS / FAIL / BLOCKED.
  7. Replay and revoke tests prove duplicate prevention / non-action.

Components

Effect ContractAuthority GateIndependent ObserverExpected-vs-ActualEffect ReceiptReplay/Revoke

First pilot boundary

One workflow, sandbox or read-only first. No broad production access required.