feat(merk): extend EstimatedLayerSizes/EstimatedSumTrees for sum-bearing leaves and Provable* trees - #674

Merged

QuantumExplorer merged 8 commits into

claude/thirsty-colden-c82bdf

May 19, 2026

Commits on May 18, 2026

feat(merk): extend EstimatedLayerSizes/EstimatedSumTrees for sum-bearing leaves and Provable* trees

QuantumExplorer
and
claude
committed
22bfe42
test(merk): add coverage for v0 propagate with sum-bearing variants and version-gate error

QuantumExplorer
and
claude
committed
88a76da
fix(merk,grovedb-version): macro hygiene + v0 divisor guard for EstimatedSumTrees

QuantumExplorer
and
claude
committed
decb439

Commits on May 19, 2026

fix(merk): version-gate the Mix-arm cost formulas; grove v3 gets the fixes

QuantumExplorer
and
claude
committed
12e33fb
refactor(merk): split versioned avg-case cost fns into per-version files (platform-style)

QuantumExplorer
and
claude
committed
8b6bbee
fix(merk): use DivideByZero for the v0 Mix checked_div ok_or path

QuantumExplorer
and
claude
committed
5f0270b
refactor(merk): hoist per-item #[cfg(feature = "minimal")] to file-level #![cfg(...)]

QuantumExplorer
and
claude
committed
a113188
refactor(merk): drop redundant feature gates from average_case_costs subtree

QuantumExplorer
and
claude
committed
49e17ce