Documentation

Gateproof has one front door: define the claim in plan.ts, run it, and keep the loop honest.

Use the docs by task:

• Tutorial — Your First Gate: Learn by doing. One file, one gate, one pass.
• How-to — Run in a Loop: Prove the live system. Task, steps, done condition.
• How-to — Use the filepath Worker Alpha: Run the hello-world witness against filepath's live worker runtime.
• Reference — API Reference: The public surface. Functions and types.
• Explanation — Case Studies: What has actually been earned so far.

If you are new here, start with Your First Gate.