Ledger-KernelGit‑native, verifiable, append‑only ledger specification

Deterministic replay • Fast‑forward only • Cryptographic attestations • Deterministic WASM policy

Architecture Overview

Ledger‑Kernel hero art

Spec & Model

Formal invariants and a state‑transition model for deterministic replay.

Reference API

Language‑neutral API contract for interoperable implementations.

Compliance Suite

Mode‑aware fixtures and proofs for verifiable conformance.

Quick Links

Contributors

For maintainers: the execution plan lives at the Execution Checklist.