Repository navigation

Bind two zero-arg stage0 partition helpers as data so each pure value evaluates once - #10530

Merged

briansrls merged 3 commits into

mainfrom

bold-badger-530/floor-cost-w2

Sep 6, 2026

Merged

Bind two zero-arg stage0 partition helpers as data so each pure value evaluates once#10530
briansrls merged 3 commits into
mainfrom
bold-badger-530/floor-cost-w2

Commits on Sep 5, 2026
- rust_crate_partition_witness: lift stage0 partition derivation from fn to data
  Brian Searls
  committed
  3e15748
Commits on Sep 6, 2026
- Merge remote-tracking branch 'origin/main' into HEAD
  Brian Searls
  committed
  b363b49
- Bind the resolve outcome too: r4_valid was recomputing the demand this change collapses
  
  Brian Searls
  and
  claude
  committed
  eb52a1b