fix: AvlTree ops map wrong-tree proofs and failed ops per the reference impl#890

Open

mwaddip wants to merge 2 commits into

ergoplatform:developfrom

mwaddip:fix/avltree-wrong-tree-proof

Commits on Jun 7, 2026

fix(ergotree-interpreter): AvlTree ops map a wrong-tree proof per JVM verifier semantics

mwaddip
and
claude
committed
fix(ergotree-interpreter): AvlTree.remove ignores per-op failures like the reference impl

mwaddip
and
claude
committed