Key Documents

Read top to bottom the first time; after that, jump to whichever question you have.

Foundations

• 01 · Problem Statement — the contract: constraints C1–C6, non-goals
• 02 · Design Spec v2 — the word layout, buckets, eviction, wraparound

Experiment & decision

• 03 · D2 Experiment Plan — pre-registered: oracles, metrics, workloads, gate
• 03.1 · Option C Reference — the HeavyKeeper baseline, frozen
• 03.2 · Mask Schedules — integer-only imitations of the protection curve
• 03.3 · Entropy Source — where the lottery’s randomness comes from
• 03.4 · Walkthrough — one eviction, frame by frame
• 04 · D2 Decision Memo — decided: verdict, evidence, two harness bugs found along the way

Production proof

• 05 · Benchmarks — nanosecond-scale, allocation-free, scaling, contention
• 06 · Salt Contention Decision — shared salt stays default, sharded ships as opt-in
• Theory Queue — the error-bound work queue

Elsewhere on this site

• The design, explained — the narrative version of Docs 01, 02, and 04, with the simulator live inline
• Interactive simulator — watch decay, chipping, and auditions happen bit by bit