Struct PolydatMatter 

pub struct PolydatMatter<'a> { /* private fields */ }

Typed Polydat matter accepted by both kernel-construction paths — root and subscope. Opaque externally: the only way to obtain a PolydatMatter value is via PolydatMatter::builder.

Internally carries one of three input forms — fresh source, pre-parsed statements (the “module parser” output), or a pre-compiled program. The builder validates that exactly one form is provided.

Implementations

impl<'a> PolydatMatter<'a>

pub fn builder() -> PolydatMatterBuilder<'a>

Begin building Polydat matter. The builder is the only constructor of PolydatMatter; the variants and their fields are not exposed.

impl PolydatMatter<'_>

pub fn build_under( self, parent: &dyn Kernel, ) -> Result<Box<dyn Kernel>, ContractViolation>

THE subscope-construction path. Per the kernel-construction invariant, this is how a parent kernel of any engine produces a child. compile_polydat produces root kernels; everything else is a subscope and routes here.

A child from source or statements is compiled once and bound on parent’s engine through the binder every engine shares (super::ScopeModule::instantiate_under). A child from a compiled program is bound on that program’s engine (crate::kernel::bind_under). Cell propagation, scope-coordinate plumbing, and Rule 2 write-throughs flow from parent into the returned child.