Every operation of the per-op scan and all three real-program arms now measure at-or-below mimalloc on instructions retired. Full detail in docs/LEDGER.md.
Attached: CycloneDX 1.5 SBOMs for both published crates (hardening gate H-12), generated from the committed Cargo.lock.