Cost models for `LookupCoin`, `ValueContains`, `ValueData`, `UnValueData` builtins#7344

Open

Unisay wants to merge 12 commits intomasterfrom

yura/costing-builtin-value

Commits on Nov 13, 2025

feat(cost-model): add ValueLogOuterSizeAddLogMaxInnerSize wrapper
Unisay
committed
feat(core): add KnownBuiltinTypeIn instances for Value wrappers
Unisay
committed
feat(cost-model): extend BuiltinCostModel with Value builtin parameters
Unisay
committed
feat(builtins): enable costing for Value builtins
Unisay
committed
feat(bench): implement comprehensive benchmarking for Value builtins
Unisay
committed
feat(cost-model): apply fitted parameters from Value builtin benchmarks
Unisay
committed
test: update conformance and ledger API tests for Value builtins
Unisay
committed
docs: add changelog entry for Value builtin cost models
Unisay
committed