ABI Layer 2: prove cost conservation (additivity) + budget compliance — flagship Idris2 proof#32

hyperpolymath merged 1 commit into

mainhyperpolymath/eclexiaiser:mainfrom

claude/new-session-znxgm7hyperpolymath/eclexiaiser:claude/new-session-znxgm7Copy head branch name to clipboard