docs: squeakwell route plan (proof + engineering ladders on VeriSimDB) and honest baseline - #78

docs: squeakwell route plan (proof + engineering ladders on VeriSimDB) and honest baseline#78

hyperpolymath merged 4 commits into

mainhyperpolymath/squeakwell:mainfrom

claude/gracious-darwin-vkgj6lhyperpolymath/squeakwell:claude/gracious-darwin-vkgj6lCopy head branch name to clipboard