Documentation

Four ways to use Gateproof docs:

• 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.
• Reference — API Reference: The public surface. Functions and types.
• Explanation — Case Studies: Proof loops in the wild. Cinder and more.