ci: format parser.rs under stable 1.96 to make rust-ci green (follow-up)#44

Merged

hyperpolymath merged 8 commits into

mainfrom

claude/new-session-znxgm7

Jun 28, 2026

Commits on Jun 27, 2026

feat(abi): prove correct-by-construction max meets its Dafny postcondition
claude
committed
abi(dafniser): add Layer-3 Invariants — dual min, commutativity, min/max duality
claude
committed

Commits on Jun 28, 2026

abi: seal ABI<->FFI seam with Layer 4 soundness proof (Dafniser.ABI.FfiSeam)
claude
committed
feat(abi): 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 — make rust-ci green (fmt --check + clippy -D warnings) on main
claude
committed
Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath
authored