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

Merged

hyperpolymath merged 8 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Commits on Jun 27, 2026

feat(abi): add Semantics flagship proof — bounded array access safety
claude
committed
2de801f
abi(idrisiser): add Layer-3 array-update law proofs (Invariants)
claude
committed
8c91763

Commits on Jun 28, 2026

Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored
18aba4c
abi: seal ABI<->FFI seam with Layer 4 soundness proof
claude
committed
a97f2f5
Add Layer-5 ABI soundness capstone certificate
claude
committed
b05825f
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
bbbacf9
ci: adopt canonical Julia ABI-FFI gate (estate standard, matches verisimiser) in place of the interim Bash port
claude
committed
50a41ed
Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored
a5a74b9