Slice 2: make chapeliser provably-real — CI machine-checks proofs/FFI/Chapel + honest status#27

hyperpolymath merged 2 commits into

mainhyperpolymath/chapeliser:mainfrom

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