chore: update spec.lock file - 2025-11-22 (#230) · Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines@01afd49