Repository navigation

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

Merged

hyperpolymath merged 4 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Commits on Jun 27, 2026
- abi: prove array-rewrite semantics preservation (+/⌽ ⇒ +/) (Layer 2)
  claude
  committed
  79adcc7
- ABI Layer 3: prove map-fusion law for Each (¨) over the shared model
  claude
  committed
  4051c21
Commits on Jun 28, 2026
- Add Layer 4 proof sealing the ABI<->FFI seam (Bqniser.ABI.FfiSeam)
  claude
  committed
  10fdd7a
- Merge branch 'main' into claude/new-session-znxgm7
  hyperpolymath
  authored
  78f9a90