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>

Author: hyperpolymath

crates/anv-cli/src/main.rs

@@ -9,6 +9,7 @@
 //! - Running programs
 //! - Generating visualizations
 
+#![forbid(unsafe_code)]
 use anv_core::source::FileId;
 use anv_ir::lower;
 use anv_semantics::{validate_program, Discipline};

crates/anv-core/src/lib.rs

@@ -7,6 +7,7 @@
 //! Anvomidav compiler and runtime, including skating-specific primitives,
 //! source locations, and diagnostics.
 
+#![forbid(unsafe_code)]
 pub mod diagnostics;
 pub mod skating;
 pub mod source;

crates/anv-debug/src/main.rs

@@ -6,6 +6,7 @@
 //! Provides REPL-based debugging with breakpoints, variable inspection,
 //! timeline visualization, and ISU code validation.
 
+#![forbid(unsafe_code)]
 use rustyline::error::ReadlineError;
 use rustyline::DefaultEditor;
 use std::collections::HashMap;

crates/anv-ir/src/lib.rs

@@ -50,6 +50,7 @@
 //! let choreography = lower_to_choreo(&timeline);
 //! ```
 
+#![forbid(unsafe_code)]
 pub mod choreo;
 pub mod choreo_lower;
 pub mod lower;

crates/anv-lsp/src/lib.rs

@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Anvomidav LSP library
 
+#![forbid(unsafe_code)]
 pub mod backend;
 pub mod document;
 pub mod handlers;

crates/anv-semantics/src/lib.rs

@@ -25,6 +25,7 @@
 //! let errors = validate_program(&program, Discipline::MenSingles);
 //! ```
 
+#![forbid(unsafe_code)]
 pub mod rules;
 pub mod validate;
 

crates/anv-syntax/src/lib.rs

@@ -30,6 +30,7 @@
 //! assert!(result.is_ok());
 //! ```
 
+#![forbid(unsafe_code)]
 pub mod ast;
 pub mod format;
 pub mod parser;

crates/anv-types/src/lib.rs

@@ -32,6 +32,7 @@
 //! assert!(result.is_ok());
 //! ```
 
+#![forbid(unsafe_code)]
 pub mod check;
 pub mod env;
 pub mod ty;

crates/anv-viz/src/lib.rs

@@ -19,6 +19,7 @@
 //!     .render(&timeline);
 //! ```
 
+#![forbid(unsafe_code)]
 pub mod rink_svg;
 pub mod timeline_svg;