Repository navigation

fix(planner): price state by its size; size KLL for δ - #682

Merged

zzylol merged 19 commits into

mainfrom

stack/fix-exact-state-cost-kll-delta

Oct 14, 2026

Merged

fix(planner): price state by its size; size KLL for δ#682
zzylol merged 19 commits into
mainfrom
stack/fix-exact-state-cost-kll-delta

Commits on Oct 14, 2026
- fix(planner): Stage 3 plan selection prices growing exact state by its size
  
  zzylol
  and
  claude
  committed
  825d696
- fix(planner): Stage 3 plan selection reports a tie as lost on enumeration order
  
  zzylol
  and
  claude
  committed
  e4ccfea
- fix(planner): size KLL for failure probabilities below 0.01
  
  zzylol
  and
  claude
  committed
  f27f878
- test(planner): logical_candidates helpers fail on a candidate that does not compose
  
  zzylol
  and
  claude
  committed
  dcac283
- fix(planner): Stage 3 prices exact L2 state by its size
  
  zzylol
  and
  claude
  committed
  34db5be
- fix(planner): Stage 3 sizes DDSketch state from its relative accuracy
  
  zzylol
  and
  claude
  committed
  ed3e914
- fix(planner): KLL gives no guarantee for a failure probability outside (0, 1)
  
  zzylol
  and
  claude
  committed
  e788d03
- fix(planner): Stage 3 sizes HLL, KMV, Theta and UnivMon state from their parameters
  
  zzylol
  and
  claude
  committed
  8c40a8f
- docs(planner): state the nine-decade value range DDSketch sizing assumes
  
  zzylol
  and
  claude
  committed
  4952df1
- fix(planner): KLL sized below a 0.01 failure probability names its own contract
  
  zzylol
  and
  claude
  committed
  44607e0
- fix(planner): do not offer Theta candidates; asap_sketchlib has no Theta sketch
  
  zzylol
  and
  claude
  committed
  edb9095
- fix(planner): Stage 3 prices a UnivMon update by the layers it reaches
  
  zzylol
  and
  claude
  committed
  ea15322
- fix(planner): size and cap KLL as asap_sketchlib builds it
  
  zzylol
  and
  claude
  committed
  d5e830c
- fix(planner): scale KLL error below a 0.01 failure probability by the Gaussian quantile ratio
  
  zzylol
  and
  claude
  committed
  1b458c1
- fix(types): KLL parameters compare by k, not by the failure probability they were sized for
  
  zzylol
  and
  claude
  committed
  3cca229
- test: note that the does-not-compose tests rely on #672
  
  zzylol
  and
  claude
  committed
  52a92f5
- docs: update the Example 2 and 3 plan selections #682 changes
  
  zzylol
  and
  claude
  committed
  1b59b9b
- fix(planner): compute the KLL failure-probability scale from the normal lower tail
  
  zzylol
  and
  claude
  committed
  b8a561d
- docs: stop listing Theta as an offered distinct-count candidate
  
  zzylol
  and
  claude
  committed
  ff2c6f0

Commits

Commits on Oct 14, 2026