fix(proof-suite): make the runner's awk POSIX-portable (mawk reported 0/0)#47

hyperpolymath merged 1 commit into

mainhyperpolymath/007:mainfrom

claude/proof-suite-runner-awk-portabilityhyperpolymath/007:claude/proof-suite-runner-awk-portabilityCopy head branch name to clipboard