What changed, when — stated plainly.
The site now presents the service as it is: pre-launch. Credit packs are not yet on sale, the API is not yet live, and certificates are not yet being issued. Buy buttons and operating-service claims stay down until the launch wiring exists.
Release gate: PASS WITH FINDINGS (2026-10-15) — pre-launch presentation is a release candidate since 2026-10-15, graduates 2026-10-22.
On the real engine: submit a Lean 4 specification → verification → signed 90-day certificate → independent certificate check → revocation. The loop works; production hosting is the remaining launch step.
Verification engine test suite green; website and launch paperwork published.