Skip to content

feat(planner): declare counter metrics so CMS+heap can prove non-negative weights - #593

Closed
zzylol wants to merge 3 commits into
stack/509-w1-stage3-costfrom
stack/509-w6-counter-proof
Closed

feat(planner): declare counter metrics so CMS+heap can prove non-negative weights#593
zzylol wants to merge 3 commits into
stack/509-w1-stage3-costfrom
stack/509-w6-counter-proof

Commits

  1. Commits on Oct 11, 2026