Status

No invented capacity. No medals.

Stripe checkout is a partner-rail hold. Operator ops stay behind /mgr. This page is the public floor: farm binaries + SATComp campaign JSON.

• Quote mint (partner rail) — hold
• Stripe checkout — hold
• Public SATComp JSON — ok
• Host farm certifiers — kissat / cadical / drat-trim
• X.509 / SPIRE mint — never minted
• PUBLIC_READY — false

Machine-readable: /status.json · /api/v1/host/farm.json · campaign-satcomp*.json