ProvelyThis page lists each release, newest first. The RSS feed at /changelog.xml carries the same entries.
2026-09-05: Public website with generated service pages
The site generates every service page from the signed skill manifest. Each page shows the certification level and the last conformance run. Markdown twins, llms.txt, and the /facts endpoint ship with it. See the verified services.
2026-09-05: Platform shell: metered calls, ledger, Stripe billing
The control plane meters each verify call, keeps two credit buckets, and grants credits only from a signed Stripe webhook. The plans and packs on the pricing page come from this release. See the pricing plans.
2026-09-05: Engines: verifiers, runtime, compiler, harness, CLI, Python SDK
The HTTP, SQL, webhook, and custom verifiers ship. The verification runtime, the Integration Compiler, the conformance harness, the Rust CLI, and the Python SDK pass their cross-language fixtures. Open the documentation.
2026-09-04: Core model: contracts, receipts, state machine, fixtures
The contract and receipt schemas, the frozen state machine, the verdict rules, and the canonical JSON fixtures are published. A VERIFIED receipt without evidence is rejected in code, not only by the schema. Read what a completion contract is.