sim-lib-physics-influence 0.2.0

Proof-producing no-energy-selection audit for physical studies.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#![forbid(unsafe_code)]
//! Proof-producing enforcement of the no-energy-selection policy.
//!
//! Native selection APIs accept only [`SelectionInput`], which has no public
//! constructor. Runtime callers first pass [`SelectionRequestShape`] and then
//! call [`InfluenceAudit::prepare_runtime`]; Shape acceptance alone never
//! manufactures proof.
//!
//! ```compile_fail
//! use sim_lib_physics_influence::SelectionInput;
//! let forged = SelectionInput { sink: 1, proof_identity: 0 };
//! ```

mod analysis;

pub use analysis::*;