verisimiser: make ABI/FFI/codegen provably-real + honest docs#167

hyperpolymath merged 2 commits into

mainhyperpolymath/verisimiser:mainfrom

claude/sharp-cannon-038nwuhyperpolymath/verisimiser:claude/sharp-cannon-038nwuCopy head branch name to clipboard