Skip to content

Commit 46f05ab

Browse files
hyperpolymathclaude
andcommitted
chore: add #![forbid(unsafe_code)] to safe Rust crates
Adds the forbid(unsafe_code) crate-level attribute to all Rust crates that do not use unsafe code, hardening the safety guarantee at compile time. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent d074078 commit 46f05ab

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

src/rust/src/lib.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@
1818
//! - **Defensive autonomy** — collision avoidance, threat response, safe-state
1919
//! transitions. All safety-critical logic has SPARK proof counterparts.
2020
21+
#![forbid(unsafe_code)]
2122
pub mod autonomy;
2223
pub mod crypto;
2324
pub mod ecm;

0 commit comments

Comments
 (0)