
An autonomous data engine that can prove its results.
The first public release: durable log, deterministic query, portable proofs, clients, operations, and release evidence.
Open dossierNotes
What changed, what can be verified, and what must not yet be mistaken for shipped capability. MARS appears here as pre-release status, not a release.
01 / TECHNICAL RECORDS
Published releases, later work, and pre-release status are labeled separately.

The first public release: durable log, deterministic query, portable proofs, clients, operations, and release evidence.
Open dossier
The release that made reproducibility, verified installers, nine environments, and deterministic reports a public contract.
Open dossier
Nineteen exact-version crates, standards-first analysis, typed authoring, deterministic artifacts, and reversible migration in one public unit.
Open dossier
64% directional progress, completed runtime and local API, measured passes, rejected gates, and public release still at 0%.
Open status record