Refusal-Proof Demo

Deeper proof harness for governed execution.

Refusal-Proof Demo shows that approval, refusal, and deferral are first-class governed outcomes.

It demonstrates:

• ALLOW
• REFUSE
• DEFER
• receipt verification
• replay
• settlement verification
• impossibility verification

Latest release: v0.2.0 Lineage Fold Vector Drop

The current public proof package is available from the GitHub Releases page:

Refusal-Proof Demo v0.2.0 - Lineage Fold Vector Drop

The release ZIP includes:

• START_HERE.cmd for Windows
• START_HERE.sh for Mac/Linux
• pnpm start:local
• pnpm demo:10s
• pnpm smoke
• pnpm prove
• pnpm gate
• evidence, lineage, vector, and manifest folders
• replayable proof receipts
• settlement-chain verification

The legacy invariant harness below is preserved for lineage.

Quick start

npm ci
node examples/agent_wrapper.mjs allow
node examples/agent_wrapper.mjs refuse
node examples/agent_wrapper.mjs defer
./prove_full_invariant.sh