Expand description
Durable semantic projections over sealed, caller-supplied world facts.
Projection is deliberately separate from observation and execution. A provider receives an immutable selected view, has no I/O port, and returns a canonical value plus the exact facts it consumed. Admission proves which implementation and input policy may produce reusable results; confinement records effect bounds independently.
Structs§
- Closed
Wasm Evidence - Evidence needed to admit a closed wasm projector.
- Conclusion
Id - Stable identity of a conclusion consuming facts.
- Confinement
Evidence - Independent bounded-effect confinement evidence.
- Declared
Input Selector - Closed set of facts admitted as one provider invocation’s entire input.
- Deterministic
Import Manifest - Closed deterministic imports made available to a wasm projector.
- Execution
Semantics - Runtime semantics that affect deterministic projection.
- Explanation
- One causal path from requested conclusion to changed leaf fact.
- FactId
- Stable identity of one semantic observed fact.
- Federated
Closure - Sealed union of local owner graphs with a canonical reverse dependency map.
- Mediated
Access Witness - Exact facts read through the bounded projection input view.
- Native
Source Evidence - Evidence needed to trust an exact native projector implementation.
- Observed
Fact - One fact with a semantic value and a diagnostic envelope.
- Observed
World - Immutable observed facts from which a selector creates a bounded view.
- Owner
Projection Graph - One owner’s canonical conclusion-to-fact dependency graph.
- Package
Identity - Exact package and implementation identity of a projection provider.
- Path
Selection Rules - Canonical include/glob/ignore semantics for logical world paths.
- Projection
Budget - Fuel, memory, output, and selected-input ceilings for projection.
- Projection
Digest - Durable semantic digest of one qualified projection.
- Projection
Engine - Pure projection coordinator over a sealed world and federated closure.
- Projection
Inputs - Bounded immutable input view supplied to a projector.
- Projection
Kind Ref - Open identifier of a loaded projection kind.
- Projection
Output - Canonical provider output and its declared fact dependencies.
- Projection
Registry - Open loaded registry keyed by projection kind.
- Projection
Result - Complete checked result of one provider invocation.
- Projection
Spec - Checked request for one loaded projection.
- Projector
Policy - Admission policy bound before projector qualification.
- Projector
Qualification Verifier - Verifies the two and only two projector admission routes.
- Qualified
Runtime - Runtime admitted for the closed wasm route.
- Qualified
Source Closure - Source closure admitted for a trusted native projector.
- Select
Facts Provider - Native baseline provider that projects all facts selected by its policy.
Enums§
- Closure
Error - Fail-closed federated-closure construction or explanation error.
- Projection
Error - Fail-closed projection refusal with distinct policy boundaries.
- Projector
Qualification - One of the two projector admission routes allowed by the roadmap.
- Qualification
Error - Distinct projector-admission refusal.
Constants§
- BASELINE_
PROJECTION_ KINDS - Baseline open projection kinds required for source and release reasoning.
Traits§
- Config
Shape Verifier - Port used to validate a provider configuration through its declared Shape.
- Projection
Provider - Loaded implementation of an open projection kind.
Functions§
- install_
baseline_ providers - Installs every baseline kind into an open registry.