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/typell-affinescript/src/lib.rs

@@ -26,5 +26,6 @@
 //! rules.rs — AffineScript-specific QTT and refinement rules
 //! ```
 
+#![forbid(unsafe_code)]
 pub mod bridge;
 pub mod rules;

crates/typell-betlang/src/lib.rs

@@ -11,5 +11,6 @@
 //! Probabilistic types map to TypeLL's effect system (non-determinism effect)
 //! and the Ternary type maps to a refined enum type.
 
+#![forbid(unsafe_code)]
 pub mod bridge;
 pub mod rules;

crates/typell-core/src/lib.rs

@@ -45,6 +45,7 @@
 //! 6. **Sessions** — protocol duality checking
 //! 7. **Proofs** — obligation generation for dependent types
 
+#![forbid(unsafe_code)]
 pub mod check;
 pub mod dimensional;
 pub mod effects;

crates/typell-eclexia/src/lib.rs

@@ -36,5 +36,6 @@
 //! resource.rs — Eclexia-specific resource type rules
 //! ```
 
+#![forbid(unsafe_code)]
 pub mod bridge;
 pub mod resource;

crates/typell-ephapax/src/lib.rs

@@ -11,5 +11,6 @@
 //! discipline, with contracts (pre/post/invariant) becoming refinement
 //! predicates.
 
+#![forbid(unsafe_code)]
 pub mod bridge;
 pub mod rules;

crates/typell-errorlang/src/lib.rs

@@ -13,5 +13,6 @@
 //! These map to TypeLL's effect system (non-determinism, instability effects)
 //! and refinement types (stability score as a predicate).
 
+#![forbid(unsafe_code)]
 pub mod bridge;
 pub mod rules;

crates/typell-jtv/src/lib.rs

@@ -11,5 +11,6 @@
 //! JtV also has 7 number systems with a coercion lattice, mapped to
 //! named numeric types in TypeLL.
 
+#![forbid(unsafe_code)]
 pub mod bridge;
 pub mod rules;

crates/typell-mylang/src/lib.rs

@@ -11,5 +11,6 @@
 //! The AI<T> type maps to a TypeLL effect annotation, tracking which
 //! values in the program are AI-generated and may require validation.
 
+#![forbid(unsafe_code)]
 pub mod bridge;
 pub mod rules;

crates/typell-oblibeny/src/lib.rs

@@ -11,5 +11,6 @@
 //! to TypeLL's linear type discipline. The accountability traces (TTrace)
 //! map to an audit effect.
 
+#![forbid(unsafe_code)]
 pub mod bridge;
 pub mod rules;

crates/typell-phronesis/src/lib.rs

@@ -11,5 +11,6 @@
 //! These map to TypeLL's refined types (conditions as predicates) and
 //! effect system (actions as effects).
 
+#![forbid(unsafe_code)]
 pub mod bridge;
 pub mod rules;