sim_lib_physics_influence/lib.rs
1#![forbid(unsafe_code)]
2//! Proof-producing enforcement of the no-energy-selection policy.
3//!
4//! Native selection APIs accept only [`SelectionInput`], which has no public
5//! constructor. Runtime callers first pass [`SelectionRequestShape`] and then
6//! call [`InfluenceAudit::prepare_runtime`]; Shape acceptance alone never
7//! manufactures proof.
8//!
9//! ```compile_fail
10//! use sim_lib_physics_influence::SelectionInput;
11//! let forged = SelectionInput { sink: 1, proof_identity: 0 };
12//! ```
13
14mod analysis;
15
16pub use analysis::*;