Skip to main content

sim_incremental_core/projection/
mod.rs

1//! Durable semantic projections over sealed, caller-supplied world facts.
2//!
3//! Projection is deliberately separate from observation and execution. A
4//! provider receives an immutable selected view, has no I/O port, and returns a
5//! canonical value plus the exact facts it consumed. Admission proves which
6//! implementation and input policy may produce reusable results; confinement
7//! records effect bounds independently.
8
9mod admission;
10mod builtin;
11mod engine;
12mod graph;
13mod model;
14
15pub use admission::{
16    ClosedWasmEvidence, NativeSourceEvidence, ProjectorQualificationVerifier, QualificationError,
17};
18pub use builtin::{
19    BASELINE_PROJECTION_KINDS, PathSelectionRules, SelectFactsProvider, install_baseline_providers,
20};
21pub use engine::{ConfigShapeVerifier, ProjectionEngine, ProjectionRegistry};
22pub use graph::{ClosureError, FederatedClosure, OwnerProjectionGraph};
23pub use model::{
24    ConclusionId, ConfinementEvidence, DeclaredInputSelector, DeterministicImportManifest,
25    ExecutionSemantics, Explanation, FactId, MediatedAccessWitness, ObservedFact, ObservedWorld,
26    PackageIdentity, ProjectionBudget, ProjectionDigest, ProjectionError, ProjectionInputs,
27    ProjectionKindRef, ProjectionOutput, ProjectionProvider, ProjectionResult, ProjectionSpec,
28    ProjectorPolicy, ProjectorQualification, QualifiedRuntime, QualifiedSourceClosure,
29};
30
31#[cfg(test)]
32mod tests;