ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate + fmt/clippy - #37

Merged

hyperpolymath merged 9 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Commits on Jun 27, 2026

Add Semantics ABI proof: forbidden actions are never certified permitted
claude
committed

Commits on Jun 28, 2026

Add Layer-3 ABI invariants: monotone safety under policy composition
claude
committed
Add Layer-4 FfiSeam proof sealing the ABI<->FFI seam
claude
committed
Add Layer-5 capstone ABI soundness certificate
claude
committed
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
ci: adopt canonical Julia ABI-FFI gate (estate standard, matches verisimiser) in place of the interim Bash port
claude
committed
style: cargo fmt + clippy --fix to satisfy rust-ci (fmt --check + clippy -D warnings)
claude
committed
style: cargo fmt + clippy under stable 1.96 — sort_by_key(Reverse) for unnecessary_sort_by; rust-ci green
claude
committed
Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored