fix: update spec lock file; confirmed no affected coding guidelines (… · rustfoundation/safety-critical-rust-coding-guidelines@cc77b6a