Skip to content

v4 infer: remove v4.lens.cost / SymbolicCost (C1 cherry-pick from PR #3441) - #3445

Merged
briansrls merged 3 commits into
mainfrom
session/smart-boar-330-c1-infer-lens-cost
May 20, 2026
Merged

v4 infer: remove v4.lens.cost / SymbolicCost (C1 cherry-pick from PR #3441)#3445
briansrls merged 3 commits into
mainfrom
session/smart-boar-330-c1-infer-lens-cost

v4 test claims: drop cost field from InferredFacts constructions (cur…

a12d495
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar