TypeScript core · Python semantics oracle · Cloudflare Workers + Durable Objects · MIT
Stratum — epistemic decision ledger
An append-only ledger for human + AI work. Events separate evidence (checkable: file hashes, test exits, signed approvals) from claim (LLM prose); prose never becomes authoritative, however confident it sounds. No event stores a status field — validated, superseded, and disputed are computed by folding transition markers over the log at any epoch. Drag the past back and watch decisions un-verify: replay is a proof, not a feature.
The contract is executable — a 16-invariant reference implementation with a serialize→reload→reproject round-trip — and the system ate its own dogfood from genesis: the public demo is the ledger of Stratum’s own build, foreclosed roads and shadow traces included.