How To: Prove The Live System

Task: Run plan.ts against the live system.

Done when: All gates pass and the product claim holds.

Steps

Run the proof once.
Select the first failing gate.
Use one bounded worker path for one bounded attempt.
Rerun until the live claim is green or the loop stops.

Smallest commands

bun run example:hello-world
bun run example:hello-world:worker

Gates that matter

Example goal

Worker paths

Built-in worker: stable demo path for Gateproof itself.
filepath worker: real alpha witness for the hello-world loop; Gateproof still owns proof, scope validation, and commits locally.

For the filepath path, use the dedicated guide: Use the filepath Worker Alpha.