Case Studies

Case records for Gateproof deployments. Each entry states the claim, method, artifacts, and current reproducibility limits.

1. Cinder

Three earned chapters, one continuous story. Chapter one preserves the original build, chapter two proves Gateproof's deploy workflow ran through Cinder, and chapter three proves proof runs became part of the product path. Today Cloudflare hosts the control plane and a separate machine still handles compute.

• Cinder case study — inputs, outputs, and artifacts.
• alchemy.run.ts — provisioning.
• plan.ts — proof contract.

Status: This page is built from public proof links, not a local Cinder checkout. This page is built from Gateproof-owned source and the public repo and workflow links above. It does not read a nearby Cinder checkout at deploy time, so the public page stays stable and reproducible.

Current state

Hosted execution is the next chapter. It is not an earned claim on this page yet.

---

See the Tutorial to run a minimal loop. See How-To to operate the runtime. See Reference for the full API surface.