feat(abi): verdict record names its support; Sound only from a prover re-check (HYP-01, PR A) - #920

feat(abi): verdict record names its support; Sound only from a prover re-check (HYP-01, PR A)#920

hyperpolymath merged 2 commits into

mainhyperpolymath/hypatia:mainfrom

claude/new-session-25msjxhyperpolymath/hypatia:claude/new-session-25msjxCopy head branch name to clipboard