ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate - #41

Merged

hyperpolymath merged 7 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Commits on Jun 27, 2026

ABI Layer 2: prove affine usage (use-at-most-once) in Semantics
claude
committed
c963f18
Add ABI Layer-3 invariant: affine composition law over disjoint variables
claude
committed
a95e0b8

Commits on Jun 28, 2026

abi: add Layer 4 FfiSeam proof sealing the ABI<->FFI result-code seam
claude
committed
69b8ca7
abi(affinescriptiser): add Layer-5 end-to-end ABI soundness capstone
claude
committed
01f1d36
ci: make CI green — bump rust-ci to standards@8dc2bf0 (toolchain: stable fix); port ABI-FFI gate Python->Bash (Python is estate-banned)
claude
committed
45bc424
ci: adopt canonical Julia ABI-FFI gate (estate standard, matches verisimiser) in place of the interim Bash port
claude
committed
6e9c76e
Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored
d5dac8b