Skip to main content

Crate sim_lib_physics_influence

Crate sim_lib_physics_influence 

Source
Expand description

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.

ⓘ
use sim_lib_physics_influence::SelectionInput;
let forged = SelectionInput { sink: 1, proof_identity: 0 };

Structs§

InfluenceAudit
Refusal
SelectionInput
SelectionRequestShape
StudyEdge
StudyGraph
StudyNode

Enums§

AuditError
Influence
InfluenceSource
SinkKind
StudyBuildError
Transform

Traits§

CleanSelection

Type Aliases§

EdgeId
NodeId