Module projection 

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

ArchitectureFaultReview

Architecture review emitted after three unchanged failed repair epochs.

ClosedWasmEvidence

Evidence needed to admit a closed wasm projector.

ConclusionId

Stable identity of a conclusion consuming facts.

ConfinementEvidence

Independent bounded-effect confinement evidence.

ControlledDelta

One controlled input delta. It predicts work but never executes proof.

DeclaredInputSelector

Closed set of facts admitted as one provider invocation’s entire input.

DeterministicImportManifest

Closed deterministic imports made available to a wasm projector.

ExecutionSemantics

Runtime semantics that affect deterministic projection.

ExpectedClosure

One independently authored expected affected set.

ExpectedClosureSet

Frozen independently authored stage-one oracle.

Explanation

One causal path from requested conclusion to changed leaf fact.

FactId

Stable identity of one semantic observed fact.

FederatedClosure

Sealed union of local owner graphs with a canonical reverse dependency map.

MediatedAccessWitness

Exact facts read through the bounded projection input view.

ObservedFact

One fact with a semantic value and a diagnostic envelope.

ObservedWorld

Immutable observed facts from which a selector creates a bounded view.

OwnerProjectionGraph

One owner’s canonical conclusion-to-fact dependency graph.

PackageIdentity

Exact package and implementation identity of a projection provider.

PathSelectionRules

Canonical include/glob/ignore semantics for logical world paths.

PredictedClosureAssay

Pure prediction-only assay over a sealed federated closure.

PredictedClosureReport

Complete stage-one prediction for one controlled delta.

PredictedWork

Prediction-only work counters. There is deliberately no proof result field.

ProjectionBudget

Fuel, memory, output, and selected-input ceilings for projection.

ProjectionDigest

Durable semantic digest of one qualified projection.

ProjectionEngine

Pure projection coordinator over a sealed world and federated closure.

ProjectionInputs

Bounded immutable input view supplied to a projector.

ProjectionKindRef

Open identifier of a loaded projection kind.

ProjectionOutput

Canonical provider output and its declared fact dependencies.

ProjectionRegistry

Open loaded registry keyed by projection kind.

ProjectionRepairSet

Canonical bounded set of projection declarations or graph edges to repair.

ProjectionRepairTracker

Tracks consecutive unchanged projection findings without silently waiving one.

ProjectionResult

Complete checked result of one provider invocation.

ProjectionSpec

Checked request for one loaded projection.

ProjectorPolicy

Admission policy bound before projector qualification.

ProjectorQualification

One of the two projector admission routes allowed by the roadmap.

QualifiedRuntime

Runtime admitted for the closed wasm route.

QualifiedSourceClosure

Source closure admitted for a trusted native projector.

SelectFactsProvider

Native baseline provider that projects all facts selected by its policy.

StageOneQualification

Qualification token proving all six stage-one deltas passed together.

Enums

AssayContract

Closed stage-one contracts that can require projection repair.

AssayError

Invalid oracle, delta, graph, or failed stage-one qualification.

AssayOutcome

One assay row either matches its frozen oracle or enters bounded repair.

ClosureError

Fail-closed federated-closure construction or explanation error.

ControlledDeltaClass

Semantic class of one controlled stage-one delta.

ExpectedClosureViolation

Structural reason an independently authored oracle cannot be frozen.

ProjectionError

Fail-closed projection refusal with distinct policy boundaries.

ProjectionRepairItem

One graph location requiring narrower or more complete projection sensitivity.

QualificationError

Distinct projector-admission refusal.

RepairDisposition

Repair loop disposition. NeedDirection is the terminal third epoch.

Constants

BASELINE_PROJECTION_KINDS

Baseline open projection kinds required for source and release reasoning.

Traits

ConfigShapeVerifier

Port used to validate a provider configuration through its declared Shape.

ProjectionProvider

Loaded implementation of an open projection kind.

Functions

install_baseline_providers

Installs every baseline kind into an open registry, and grants each one real, honest EvidenceGrade::Bootstrap native-source admission.