A2ML parser totality + correctness, and CI/FFI root-cause fixes#32

Merged

hyperpolymath merged 16 commits into

mainfrom

claude/dazzling-noether-hkgAV

Jun 5, 2026

Commits on Jun 3, 2026

chore: stop tracking generated build artifacts; ignore Zig 0.11 cache
Claude
committed
fix(a2ml): prove parser total, fix inverted unless, enforce EOF
Claude
committed
fix(ci): make e2e_test.sh path-independent
Claude
committed
fix(ffi): compile the Zig FFI and implement real BLAKE3/SHA-256/SHA3-256/Ed25519
Claude
committed
fix(abi): prove Handle non-null invariant; compile the ABI package
Claude
committed
feat(merkle): prove inclusion-proof soundness (merkleCorrect)
Claude
committed

Commits on Jun 4, 2026

Commits on Jun 5, 2026