Back to Eqiora docs Skip to main content

KernelProgram

eqiora::sem

Struct KernelProgram 

pub struct KernelProgram { /* private fields */ }
Description

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 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: &[CanonicalGeometryRef<'_>], ) -> Result<KernelProgram, Vec<Diagnostic>>

Signature links:from_snapshot_with_geometrySnapshotOntologyIdModelCanonicalGeometryRefResultKernelProgramVecDiagnostic

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 Field initial value or Parameter value.

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

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 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. 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.

Trait Implementations§

§

impl Clone for KernelProgram

Signature links:§CloneKernelProgram
§

fn clone(&self) -> KernelProgram

Signature links:§cloneKernelProgram
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Signature links:unstableSource§clone_from
Performs copy-assignment from source. Read more
§

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. Read more
§

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 ==.
1.0.0 (const: unstable) · Source§

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

Signature links:unstableSource§ne&Rhsbool
Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
§

impl StructuralPartialEq for KernelProgram

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Signature links:Source§AnySized
Source§

fn type_id(&self) -> TypeId

Signature links:Source§type_idTypeId
Gets the TypeId of self. Read more
§

impl<Src, Scheme> ApproxFrom<Src, Scheme> for Src
where Scheme: ApproxScheme,

Signature links:§
§

type Err = NoError

Signature links:§
The error type produced by a failed conversion.
§

fn approx_from(src: Src) -> Result<Src, <Src as ApproxFrom<Src, Scheme>>::Err>

Signature links:§Result
Convert the given value into an approximately equivalent representation.
§

impl<Dst, Src, Scheme> ApproxInto<Dst, Scheme> for Src
where Dst: ApproxFrom<Src, Scheme>, Scheme: ApproxScheme,

Signature links:§
§

type Err = <Dst as ApproxFrom<Src, Scheme>>::Err

Signature links:§
The error type produced by a failed conversion.
§

fn approx_into(self) -> Result<Dst, <Src as ApproxInto<Dst, Scheme>>::Err>

Signature links:§Result
Convert the subject into an approximately equivalent representation.
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Signature links:Source§BorrowSized
Source§

fn borrow(&self) -> &T

Signature links:Source§borrow&T
Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Signature links:Source§BorrowMutSized
Source§

fn borrow_mut(&mut self) -> &mut T

Signature links:Source§borrow_mut&mut T
Mutably borrows from an owned value. Read more
§

impl<T> ByRef<T> for T

Signature links:§
§

fn by_ref(&self) -> &T

Source§

impl<T> CloneToUninit for T
where T: Clone,

Signature links:Source§CloneToUninitClone
Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

Signature links:Source§clone_to_uninit*mut u8
🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
§

impl<T, Dst> ConvAsUtil<Dst> for T

Signature links:§
§

fn approx(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

Signature links:§ResultSized
Approximate the subject with the default scheme.
§

fn approx_by<Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

Signature links:§ResultSized
Approximate the subject with a specific scheme.
§

impl<T> ConvUtil for T

Signature links:§
§

fn approx_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst>,

Signature links:§ResultSized
Approximate the subject to a given type with the default scheme.
§

fn approx_as_by<Dst, Scheme>(self) -> Result<Dst, Self::Err>
where Self: Sized + ApproxInto<Dst, Scheme>, Scheme: ApproxScheme,

Signature links:§ResultSized
Approximate the subject to a given type with a specific scheme.
§

fn into_as<Dst>(self) -> Dst
where Self: Sized + Into<Dst>,

Signature links:§SizedInto
Convert the subject to a given type.
§

fn try_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + TryInto<Dst>,

Signature links:§ResultSized
Attempt to convert the subject to a given type.
§

fn value_as<Dst>(self) -> Result<Dst, Self::Err>
where Self: Sized + ValueInto<Dst>,

Signature links:§ResultSized
Attempt a value conversion of the subject to a given type.
§

impl<T> DistributionExt for T
where T: ?Sized,

Signature links:§Sized
§

fn rand<T>(&self, rng: &mut (impl Rng + ?Sized)) -> T
where Self: Distribution<T>,

Source§

impl<T> From<T> for T

Signature links:Source§From
Source§

fn from(t: T) -> T

Signature links:Source§from

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Signature links:Source§IntoFrom
Source§

fn into(self) -> U

Signature links:Source§into

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Signature links:Source§IntoEither
Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Signature links:Source§into_eitherboolEither
Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Signature links:Source§into_either_withEitherFnOncebool
Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T> Pointable for T

Signature links:§
§

const ALIGN: usize

Signature links:§usize
The alignment of pointer.
§

type Init = T

Signature links:§
The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Signature links:§usize
Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Signature links:§usize&'a T
Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Signature links:§usize&'a mut T
Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Signature links:§usize
Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Signature links:Source§Same
Source§

type Output = T

Signature links:Source§Output
Should always be Self
§

impl<SS, SP> SupersetOf<SS> for SP
where SS: SubsetOf<SP>,

Signature links:§
§

fn to_subset(&self) -> Option<SS>

Signature links:§Option
The inverse inclusion map: attempts to construct self from the equivalent element of its superset. Read more
§

fn is_in_subset(&self) -> bool

Signature links:§bool
Checks if self is actually part of its subset T (and can be converted to it).
§

fn to_subset_unchecked(&self) -> SS

Signature links:§
Use with care! Same as self.to_subset but without any property checks. Always succeeds.
§

fn from_subset(element: &SS) -> SP

Signature links:§&SS
The inclusion map: converts self to the equivalent element of its superset.
Source§

impl<T> ToOwned for T
where T: Clone,

Signature links:Source§ToOwnedClone
Source§

type Owned = T

Signature links:Source§Owned
The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Signature links:Source§to_owned
Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Signature links:Source§clone_into&mut T
Uses borrowed data to replace owned data, usually by cloning. Read more
§

impl<Src> TryFrom<Src> for Src

Signature links:§
§

type Err = NoError

Signature links:§
The error type produced by a failed conversion.
§

fn try_from(src: Src) -> Result<Src, <Src as TryFrom<Src>>::Err>

Signature links:§Result
Convert the given value into the subject type.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Signature links:Source§TryFromInto
Source§

type Error = Infallible

Signature links:Source§ErrorInfallible
The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Signature links:Source§try_fromResultTryFromError
Performs the conversion.
§

impl<Src, Dst> TryInto<Dst> for Src
where Dst: TryFrom<Src>,

Signature links:§
§

type Err = <Dst as TryFrom<Src>>::Err

Signature links:§
The error type produced by a failed conversion.
§

fn try_into(self) -> Result<Dst, <Src as TryInto<Dst>>::Err>

Signature links:§Result
Convert the subject into the destination type.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Signature links:Source§TryIntoTryFrom
Source§

type Error = <U as TryFrom<T>>::Error

Signature links:Source§ErrorTryFromError
The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Signature links:Source§try_intoResultTryFromError
Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Signature links:§
§

fn vzip(self) -> V

§

impl<Src> ValueFrom<Src> for Src

Signature links:§
§

type Err = NoError

Signature links:§
The error type produced by a failed conversion.
§

fn value_from(src: Src) -> Result<Src, <Src as ValueFrom<Src>>::Err>

Signature links:§Result
Convert the given value into an exactly equivalent representation.
§

impl<Src, Dst> ValueInto<Dst> for Src
where Dst: ValueFrom<Src>,

Signature links:§
§

type Err = <Dst as ValueFrom<Src>>::Err

Signature links:§
The error type produced by a failed conversion.
§

fn value_into(self) -> Result<Dst, <Src as ValueInto<Dst>>::Err>

Signature links:§Result
Convert the subject into an exactly equivalent representation.
§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<T, U> Imply<T> for U
where T: ?Sized, U: ?Sized,

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Scalar for T
where T: 'static + Clone + PartialEq + Debug,