ABI Layer 3: monotonicity of cost accounting + downward-closed budget#33

hyperpolymath merged 3 commits into

mainhyperpolymath/eclexiaiser:mainfrom

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