Make the strategy cost structure explicit#3904

Open

unp1 wants to merge 8 commits into

mainfrom

bubel/strategy-cost-cleanup

Commits on Jul 10, 2026

Step 2 (checkpoint): FOLStrategy costs via CostBand + FOLCost
unp1
committed
Step 2 (checkpoint): IntegerStrategy costs via CostBand + IntegerArithmeticCosts
unp1
committed
Step 2 (checkpoint): SymExStrategy costs via CostBand + SymExCost
unp1
committed
Step 2 (checkpoint): StringStrategy costs via CostBand + StringCost
unp1
committed
Step 2 (checkpoint): JavaCardDLStrategy costs via CostBand + holders
unp1
committed
Step 2 (consolidation): CombinationCost + naming/structure alignment
unp1
committed
Step 2 (readability): static-import theory-local costs; APPLY_EQ rename
unp1
committed
CostBand: cost()/at() return a constant Feature; document layer relation
unp1
committed