The scope guard
Deny wins; ambiguity blocks. Compiled before a packet moves, checked on every tool call that names a target — before autonomy gets a say.
The bargain
Deny wins; ambiguity blocks. Compiled before a packet moves, checked on every tool call that names a target — before autonomy gets a say.
The agent proposes; the engine disposes. A candidate is re-proven host-side by the least invasive non-destructive proof, and the bytes are kept. Only confirmed is stored.
Every change ledgered, every change undone — at teardown, so an engagement cannot close dirty.
orchestration
eng kill or an expiry
reaches a job already running, and a refused candidate sends zero packets.
what a run looks like
on disk, and auditable
One scan, one folder. ls answers what it wrote, rm -rf
removes it, a tarball of it is the whole run.
One table, every pass unioned onto it. Scope is decided before a row lands, and an out-of-scope asset is recorded, not dropped.
Replayed, not asserted. On import the hash chain is recomputed against the manifest,
and what lands is closed — a reading surface, never a launching pad.
A finding is its proof. The redacted copy is what the chain hashes; the raw
copy is 0600 and never hashed.