Repository navigation

Rewrite the core: public aug package, runtime degree, monoid augmentations, cursor - #3

Merged

ajwerner merged 30 commits into

mainfrom

harden

Sep 29, 2026

Merged

Rewrite the core: public aug package, runtime degree, monoid augmentations, cursor#3
ajwerner merged 30 commits into
mainfrom
harden

Commits on Sep 29, 2026
- Fix clone dropping values, Rank at height >= 3, and iterator over-run panics
  
  ajwerner
  and
  claude
  committed
  f571ff8
- Require Go 1.26, drop testify, add differential and fuzz tests
  
  ajwerner
  and
  claude
  committed
  470a8b5
- Add CI workflow and the 2026-09-29 review and roadmap
  
  ajwerner
  and
  claude
  committed
  b2e9f77
- Export the core as package aug with runtime degree and pluggable free lists
  
  ajwerner
  and
  claude
  committed
  0ee305b
- Add monoid augmentations with prefix, aggregate and predicate-guided seek
  
  ajwerner
  and
  claude
  committed
  54448b4
- Add Cursor: an iterator that mutates in place and stays valid
  
  ajwerner
  and
  claude
  committed
  61973fa
- Add range-over-func views, Min/Max, and cursor fuzz and stress tests
  
  ajwerner
  and
  claude
  committed
  8e39715
- Native SeekNth, free-list default of 256, and phase 4 measurements
  
  ajwerner
  and
  claude
  committed
  a64ebba
- API review: Go-style accessors, Bounds for interval, Overlapping, examples
  
  ajwerner
  and
  claude
  committed
  be67fe1
- Static analysis clean-up; seeded math/rand/v2 in the interval tests
  
  ajwerner
  and
  claude
  committed
  6c02d91
- Benchmark Rank after Next; record the eager-prefix decision
  
  ajwerner
  and
  claude
  committed
  a70959c
- Add NewOrdered: node search with < for cmp.Ordered keys
  
  ajwerner
  and
  claude
  committed
  5ba2cf6
- interval: brute-force overlap property test across degrees, BoundsOf
  
  ajwerner
  and
  claude
  committed
  436819d
- Add docs/design.md; document that positioned iterators must not be copied
  
  ajwerner
  and
  claude
  committed
  63a82bd
- Apply go fix modernizers (maps.Copy in tests)
  
  ajwerner
  and
  claude
  committed
  39b99b7
- Adversarial tests: non-monotone SeekWhere, deep degree-2 tree, NaN caveat
  
  ajwerner
  and
  claude
  committed
  0cc0284
- Seeks report exact matches; add SeekLE and SeekGT; interval seeks end scans
  
  ajwerner
  and
  claude
  committed
  c6ce031
- Refresh two stale doc comments in aug
  
  ajwerner
  and
  claude
  committed
  e91e2d1
- Special-case Count in MonoidUpdater
  
  ajwerner
  and
  claude
  committed
  9e5a30e
- Record the end-of-day comparison against google/btree
  
  ajwerner
  and
  claude
  committed
  2660aaa
- Store keys and values in separate slices
  
  ajwerner
  and
  claude
  committed
  62a1daa
- Retention tests for pointer-typed maps
  
  ajwerner
  and
  claude
  committed
  d3ff791
- CI: run the map and cursor fuzz targets for 45 s on every push
  
  ajwerner
  and
  claude
  committed
  6ffa166
- interval: say interval, not latch, in the overlap scan commentary
  
  ajwerner
  and
  claude
  committed
  a431a21
- Address the branch review: degree cap, Verify on interfaces, SeekWhere total, cheaper absent deletes
  
  ajwerner
  and
  claude
  committed
  c50dcbd
- Revert the existence check in Delete; document the trade-off instead
  
  ajwerner
  and
  claude
  committed
  1ec8fa2
- Second review: Sum is integer-only, MaxDegree fits the scan sentinel, Verify never writes shared nodes
  
  ajwerner
  and
  claude
  committed
  ef4fdcf
- Move the aggregate queries onto MonoidMap
  
  ajwerner
  and
  claude
  committed
  d645112
- Add CHANGELOG for the harden branch
  
  ajwerner
  and
  claude
  committed
  8974037
- Flatten the wrappers: defined types over aug, one allocation, no indirection
  
  ajwerner
  and
  claude
  committed
  46a2e94

Commits

Commits on Sep 29, 2026