Repository navigation

Robj/filtered ranges - #690

Merged

rtjohnso merged 24 commits into

mainfrom

robj/filtered-ranges

Oct 14, 2026

Merged

Robj/filtered ranges#690
rtjohnso merged 24 commits into
mainfrom
robj/filtered-ranges

Commits on Oct 12, 2026
- Persist structure versions and per-instance read configuration
  rtjohnso
  committed
  33389f3
- Add exact hash-filtered range iterators
  rtjohnso
  committed
  6ff014b
- Document metadata benchmarks and remaining point-read regression
  rtjohnso
  committed
  3721ae5
- Retain metadata benchmark samples and provenance
  rtjohnso
  committed
  f6c76a9
- Filter hash ranges during ordered merge selection
  rtjohnso
  committed
  9062730
- Document buffered fixture copy caveat in metadata measurements
  rtjohnso
  committed
  07dfa17
- Preserve ordinary iterator layouts when adding hash filtering
  rtjohnso
  committed
  f30ebdf
- Record final hash-filtered range measurements and evidence
  rtjohnso
  committed
  b8ce54b
- Validate disk formats in the owning modules
  rtjohnso
  committed
  fb878f1
Commits on Oct 13, 2026
Commits on Oct 14, 2026
- Merge branch 'robj/filtered-ranges-disk-format' into robj/filtered-ranges
  rtjohnso
  committed
  ea970bc
- Merge branch 'robj/disk-format' into robj/filtered-ranges
  rtjohnso
  committed
  7b2c37d
- Prepare predicate range and disk-format integration for review
  rtjohnso
  committed
  33af695
- Merge main after disk-format lands
  rtjohnso
  committed
  6b0a035
- Prepare predicate range PR against merged disk-format main
  rtjohnso
  committed
  6a4959a