Repository navigation

ABI Layer 4: prove the FFI result-code seam is injective + faithful - #38

Merged

hyperpolymath merged 5 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Commits on Jun 27, 2026

feat(abi): prove schedule equivalence for loop split (Layer 2)
claude
committed
2bdfea4
abi: add Layer-3 Invariants proof (tiling preserves result via schedule-equivalence transitivity)
claude
committed
c4a040d

Commits on Jun 28, 2026

Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored
222c50b
abi: seal ABI<->FFI seam with Layer-4 soundness proof (Halideiser.ABI.FfiSeam)
claude
committed
a7ba064
Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored
6527543