Struct KernelProgram 

pub struct KernelProgram { /* private fields */ }

A completely validated, immutable Semantic Kernel model.

This is the only model form accepted by the reference interpreter. It is compiled from one Snapshot revision, owns the selected definitions, and cannot observe later Graph Federation commits.

Implementations

§

impl KernelProgram

Signature links:KernelProgram

pub fn compose_boundary_physical_junction( &self, connection: Id<Connection>, ) -> Result<BoundaryJunctionResidual, Diagnostic>

Signature links:compose_boundary_physical_junctionIdConnectionResultDiagnostic

Compose trace-continuity and outward-flux-balance roots for one validated boundary-physical Connection.

Errors

Returns EQ0302 if connection is not a closed field-valued junction in this immutable program.

§

impl KernelProgram

Signature links:KernelProgram

pub fn compose_scalar_physical_subsystem( &self, connection: Id<Connection>, ) -> Result<ComposedResidualSystem, Diagnostic>

Signature links:compose_scalar_physical_subsystemIdConnectionResultComposedResidualSystemDiagnostic

Compose the closed scalar physical subsystem containing connection.

The immutable result is canonical and is the only Phase 1 handoff to later interpreter or Operator-IR execution work.

Errors

Returns EQ0302 when the selected Connection is not a validated scalar physical junction in this program.

§

impl KernelProgram

Signature links:KernelProgram

pub fn typed_event_guard( &self, event: Id<Activation>, ) -> Result<TypedResidual<RawId>, Vec<Diagnostic>>

Signature links:typed_event_guardIdActivationResultTypedResidualRawIdVecDiagnostic

Reconstruct the exact numeric scalar guard owned by an accepted Event.

This uses the same symbol environment and scalar activation contract as Model admission, retaining the guard’s physical dimension.

Errors

Rejects an absent or non-Event Activation and preserves typing diagnostics.

§

impl KernelProgram

Signature links:KernelProgram

pub fn numerical_residuals( &self, relation: RawId, ) -> Result<ExprDag, Diagnostic>

Signature links:numerical_residualsRawIdResultExprDagDiagnostic

Derive numerical residuals while retaining original node indices and sharing. Discrete equations have no subtraction projection and must use typed execution.

Errors

Rejects absent Relations, non-numerical equation sides, or failed typed projection.

§

impl KernelProgram

Signature links:KernelProgram

pub fn observable_output_support( &self, observable: Id<Observable>, ) -> Result<Option<&SpatialSupport<RawId>>, Diagnostic>

Signature links:observable_output_supportIdObservableResultOptionSpatialSupportRawIdDiagnostic

Exact declared output support; a lumped Observable has none.

Errors

Rejects an Observable outside this admitted Model.

pub fn evaluate_observable_limits( &self, observable: Id<Observable>, resolve: &mut dyn FnMut(SymbolRef) -> Option<ValueLiteral>, ) -> Result<Option<[DynQuantity; 2]>, Diagnostic>

Signature links:evaluate_observable_limitsIdObservableFnMutSymbolRefOptionValueLiteralResultOptionDynQuantity2Diagnostic

Evaluate explicit lower/upper mathematical limits using the canonical expression evaluator. This selects only the limit roots; it neither samples the density nor performs quadrature.

Errors

Rejects foreign Observables, unavailable inputs, non-finite arithmetic and wrong limit units.

pub fn evaluate_finite_observable( &self, observable: Id<Observable>, resolve: &mut dyn FnMut(SymbolRef) -> Option<ValueLiteral>, ) -> Result<ValueLiteral, Diagnostic>

Signature links:evaluate_finite_observableIdObservableFnMutSymbolRefOptionValueLiteralResultValueLiteralDiagnostic

Evaluate the retained expression of one finite Observable in this exact Model. Symbol values come from the caller’s admitted numerical context; this performs no spatial quadrature or solver acceptance.

Errors

Rejects foreign Observables, spatial reductions, unavailable symbols, invalid arithmetic and a result that differs from the declared Observable type.

pub fn evaluate_observable_with_points( &self, observable: Id<Observable>, point: Option<&EvaluationPoint>, resolve: &mut impl FnMut(EvaluationInput, Option<&EvaluationPoint>) -> Result<ValueLiteral, Diagnostic>, ) -> Result<ValueLiteral, Diagnostic>

Signature links:evaluate_observable_with_pointsIdObservableOptionFnMutOptionResultValueLiteralDiagnosticResultValueLiteralDiagnostic

Evaluate an Observable with exact point contexts for spatial reconstruction. A supported output requires a point on precisely that output support. Arithmetic and conditional demand remain with the canonical evaluator. The callback supplies admitted Field and Parameter values for this evaluation, including probability weights; it must not advance state or infer a representation.

Errors

Rejects foreign Observables, reductions, invalid coordinates/sides and callback failures.

pub fn evaluate_observable_integrands_with_points( &self, observable: Id<Observable>, point: &EvaluationPoint, remaining_work: &Cell<usize>, resolve: &mut impl FnMut(EvaluationInput, Option<&EvaluationPoint>) -> Result<ValueLiteral, Diagnostic>, ) -> Result<Vec<ValueLiteral>, Diagnostic>

Signature links:evaluate_observable_integrands_with_pointsIdObservableCellusizeFnMutOptionResultValueLiteralDiagnosticResultVecValueLiteralDiagnostic

Evaluate the ordered integrands of a reduction at its exact input point. Probability moments bind their random variables to the declared continuous law. This does not draw samples, choose quadrature or evaluate the moment. remaining_work is shared across quadrature points and recursive input resolution. The canonical evaluator charges each expression context before evaluation, including coordinate rebinding and random-variable dependencies.

Errors

Rejects foreign identities or points, non-integral reductions, unavailable inputs, exhausted shared work and roots differing from their admitted types.

pub fn typed_observable( &self, observable: Id<Observable>, ) -> Result<TypedResidual<RawId>, Vec<Diagnostic>>

Signature links:typed_observableIdObservableResultTypedResidualRawIdVecDiagnostic

Infer an Observable’s retained expression in this exact Model.

Errors

Rejects foreign identities or incompatible expression/measure types.

§

impl KernelProgram

Signature links:KernelProgram

pub fn evaluate_relation_operands( &self, relation: Id<Relation>, fields: &[(Id<Field>, ValueLiteral)], parameters: &[(Id<Parameter>, ValueLiteral)], observables: &[(Id<Observable>, ValueLiteral)], ) -> Result<Vec<ValueLiteral>, Diagnostic>

Signature links:evaluate_relation_operandsIdRelationIdFieldValueLiteralIdParameterValueLiteralIdObservableValueLiteralResultVecValueLiteralDiagnostic

Evaluate original ordered Relation operands at exact typed numerical candidates. Unselected Parameters retain their immutable Model values. This evaluates mathematical values; it does not enforce constraints or interpret solver success.

Errors

Rejects foreign Relations, Fields, Parameters or Observables, duplicate coordinates, wrong candidate types, spatial Observable outputs and unsupported symbols. Observable values are supplied by the numerical realization; this performs no quadrature. Canonical evaluation failures retain the original Relation/expression path.

§

impl KernelProgram

Signature links:KernelProgram

pub fn from_snapshot( snapshot: &Snapshot, model: OntologyId<Model>, ) -> Result<KernelProgram, Vec<Diagnostic>>

Signature links:from_snapshotSnapshotOntologyIdModelResultKernelProgramVecDiagnostic

Select a ModelView from an immutable snapshot and validate all cross-node invariants required for execution.

Validation is diagnostic-accumulating: independent faults are returned together in deterministic graph order.

Errors

Returns diagnostics when the view is absent, its semantic topology is not closed, a symbol is unresolved, dimensions conflict, activation or clock wiring is ambiguous, or a connection contract is invalid.

pub fn from_snapshot_with_geometry( snapshot: &Snapshot, model: OntologyId<Model>, geometry: &[&CanonicalGeometryV1], ) -> Result<KernelProgram, Vec<Diagnostic>>

Signature links:from_snapshot_with_geometrySnapshotOntologyIdModelCanonicalGeometryV1ResultKernelProgramVecDiagnostic

Select and validate a Model together with its exact closed canonical geometry bundle.

Artifact order is irrelevant. Every distinct geometry digest named by the Model must be supplied exactly once, and no unreferenced artifact is accepted. The returned program retains only internally derived spatial support facts, never artifact bytes or borrowed references.

Errors

Returns diagnostics for the ordinary model invariants, an inexact artifact bundle, invalid entity-set selections, or unsupported geometry use.

§

impl KernelProgram

Signature links:KernelProgram

pub const fn revision(&self) -> Revision

Signature links:revisionRevision

Graph Federation revision captured by this program.

pub const fn model(&self) -> OntologyId<Model>

Signature links:modelOntologyIdModel

Selected Standard Ontology ModelView identifier.

pub fn node(&self, id: RawId) -> Option<&KernelNode>

Signature links:nodeRawIdOptionKernelNode

Look up a validated kernel definition.

pub fn value(&self, id: RawId) -> Option<DynQuantity>

Signature links:valueRawIdOptionDynQuantity

Revision-local Parameter value.

This captures SetValue operations visible in the source snapshot; it is intentionally separate from the immutable node definition.

pub fn typed_value(&self, id: RawId) -> Option<&ValueLiteral>

Signature links:typed_valueRawIdOptionValueLiteral

Complete revision-local Parameter value, retaining every typed component.

pub fn nodes(&self) -> impl ExactSizeIterator

Signature links:nodesExactSizeIterator

Kernel definitions in deterministic (kind, ULID) order.

pub fn edges(&self) -> &[Edge]

Signature links:edgesEdge

Validated internal model edges in deterministic order.

pub fn boundary(&self) -> &BTreeSet<RawId>

Signature links:boundaryBTreeSetRawId

Model boundary Ports in deterministic order.

pub fn spatial_support( &self, domain: Id<Domain>, ) -> Option<&SpatialSupport<RawId>>

Signature links:spatial_supportIdDomainOptionSpatialSupportRawId

Exact admitted continuous support, including ordered dimensioned factors.

pub fn resolved_cartesian_bounds( &self, domain: Id<Domain>, ) -> Result<&[AxisBounds], Diagnostic>

Signature links:resolved_cartesian_boundsIdDomainResultAxisBoundsDiagnostic

Resolve the accepted Cartesian bounds for one Domain.

This is the single metric projection of fixed and Parameter-backed coordinate recipes and exact admitted Geometry regions. Callers must not interpret raw sources independently.

Errors

Returns EQ0302 when domain is absent or is not an accepted Cartesian box.

pub fn typed_relation_residual( &self, relation: Id<Relation>, ) -> Result<TypedResidual<RawId>, Vec<Diagnostic>>

Signature links:typed_relation_residualIdRelationResultTypedResidualRawIdVecDiagnostic

Reconstruct the exact typed residual owned by one accepted Relation.

The returned proof is the only input accepted by componentwise Operator scalarization. Symbol types and spatial support are therefore derived from this immutable program rather than supplied as a parallel caller-owned shape array.

Errors

Returns deterministic diagnostics when relation is absent or is not a Relation in this accepted program. Re-inference failures indicate a violated internal invariant and retain the original expression path.

pub fn symbol_type(&self, symbol: SymbolRef) -> Option<ExpressionType<RawId>>

Signature links:symbol_typeSymbolRefOptionExpressionTypeRawId

Complete mathematical type and declared support of an exact Model symbol. Returns None for a foreign identity or an invalid symbol role.

Trait Implementations

§

impl Clone for KernelProgram

Signature links:CloneKernelProgram

§

fn clone(&self) -> KernelProgram

Signature links:cloneKernelProgram

Returns a duplicate of the value.

§

fn clone_from(&mut self, source: &Self)

Signature links:unstableSourceclone_from

Performs copy-assignment from source.

§

impl Debug for KernelProgram

Signature links:DebugKernelProgram

§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl PartialEq for KernelProgram

Signature links:PartialEqKernelProgram

§

fn eq(&self, other: &KernelProgram) -> bool

Signature links:eqKernelProgrambool

Tests for self and other values to be equal, and is used by ==.

§

fn ne(&self, other: &Rhs) -> bool

Signature links:unstableSourcene&Rhsbool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for KernelProgram