Repro / proof pointers:

1) Demo pack (10-min): prints ratio/skip/bloom + lookup p50/p95/p99. 2) DD pack: strict decode mismatch checks across 3 datasets (mismatch==0) + run_metrics.json / SUMMARY.md.

If you want, I can share which query shapes we optimize for (exists/pos/eq) and why the “searchable-in-format” approach avoids the usual index consistency tax.