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

Merged

hyperpolymath merged 8 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Commits on Jun 27, 2026

abi(nimiser): prove C-binding signature preservation (Layer 2)
claude
committed
2433e70
Add Layer-3 ABI invariants: lowering composition + generator injectivity
claude
committed
718898d

Commits on Jun 28, 2026

Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored
28d0ea2
Add Layer 4 ABI<->FFI seam soundness proof (Nimiser.ABI.FfiSeam)
claude
committed
f5965d9
Add Layer-5 ABI soundness capstone certificate
claude
committed
436c334
ci: make CI green — bump rust-ci to standards@8dc2bf0 (toolchain: stable fix); port ABI-FFI gate Python->Bash (Python is estate-banned); add SPDX+permissions to k9-svc-validation.yml (workflow-lint)
claude
committed
1a3edb0
ci: adopt canonical Julia ABI-FFI gate (estate standard, matches verisimiser) in place of the interim Bash port
claude
committed
8c251e0
Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored
016537a