Struct AssertValue 

pub struct AssertValue { /* private fields */ }

Runtime value-constraint guard. Holds a ConstConstraint the value must satisfy each cycle. Panics with a structured message on violation; passes the value through otherwise.

Constructed with assert_value_node from the compiler when the source can’t statically be proven to deliver a value satisfying the sink’s constraint. Reuses the same ConstConstraint vocabulary the const-validator uses, so the two layers speak one language.

Implementations

impl AssertValue

pub fn new(typ: PortType, constraint: ConstConstraint) -> Self

A value assertion for typ under constraint, named by the pair.

pub fn constraint(&self) -> &ConstConstraint

The constraint asserted.

pub fn port_type(&self) -> PortType

The type asserted.

Trait Implementations

impl PolydatNode for AssertValue

fn compiled_u64(&self) -> Option<CompiledU64Op>

The compiled form: the same constraint checked against the slot, decoded by the asserted type, with the same message on failure. A carrier reads as its integer, a float from its bits; the other shapes have no u64 form.

fn compiled_slot(&self, _wire_types: &[PortType]) -> Option<CompiledSlotKit>

A string reads through its pair, is checked, and is copied into this step’s own scratch (axiom S3).

fn meta(&self) -> &NodeMeta

Return this node’s metadata (port names and types).

fn eval(&self, inputs: &[Value], outputs: &mut [Value])

Evaluate the node: read from inputs, write to outputs.

fn scratch_layout(&self) -> Vec<ScratchElem>

The scratch entries a state owns for this node’s evaluation (axiom S3), one per entry in the order the node expects them in Self::eval_in. Empty for a node that evaluates over Values alone, which is every node but a native cone.

fn eval_in( &self, scratch: &mut [ScratchBuf], inputs: &[Value], outputs: &mut [Value], )

Self::eval with the node’s scratch, which the evaluating state owns and hands in: storage belongs to the state, never to the node, which is shared by every state of the program.

fn commutativity(&self) -> Commutativity

Declare which inputs are interchangeable for this node.

fn accepts_none_inputs(&self) -> bool

True iff this node should receive Value::None inputs directly rather than have the kernel propagate None through it. Default: false — most nodes follow SRD-74 Rule 1 (None in → None out, no eval invocation).

fn jit_constants(&self) -> Vec<u64>

Return assembly-time constants for JIT compilation.

fn purity(&self) -> Purity

Declare this node’s purity status per the runtime_model.md’s D2 axiom. Default: Purity::Pure. Override to declare an observable side channel (Purity::SideChannel) or eval-call-spanning state (Purity::Nondeterministic).

fn simd_variant(&self) -> Option<SimdVariant>

Explicit SIMD-native implementation of this scalar node, if one has been registered with a semantic contract.

fn fusion_subgraph(&self) -> Option<FusionSubgraph<'_>>

A synthetic fusion node’s view of the subgraph it stands in for (SRD-105 cone extraction). Program-identity hashing (PolydatProgram::canonical_hash) walks THROUGH fusion nodes into this subgraph, so identity is invariant to the engine mix: jit=off and jit=auto compiles of the same source hash identically, and resume-skip matching survives mode changes. Default None: ordinary nodes hash as themselves.