Performance evidence for the mechanisms and the audit paths.
Timing is delegated to the official moonbitlang/core/benchharness (batching, warm-up and winsorised statistics are itscode, not ours), so the numbers in the README are reproduciblewith moon run --release benchmarks. Markets are generated by afixed-seed LCG: same binary, same numbers, every run.