Enum WriteOutcome 

pub enum WriteOutcome {
    Stored,
    NoSlot,
    TypeMismatch {
        reason: String,
    },
    Coordinate {
        reason: String,
    },
    Const {
        reason: String,
    },
}

Result of a WireSource::write call.

Stored means the value landed on a real input slot in the underlying kernel and is visible to subsequent pulls.

NoSlot means the kernel’s program has no input slot named name. Under KernelOptLevel::Release this is the closure-binding economy’s DCE signal — nothing in the body referenced the name, so the value is silently dropped. Under KernelOptLevel::Diagnostic every magic extern and result-binding LHS gets a slot, so NoSlot indicates a genuinely-unknown name (caller error or a name outside the kernel’s scope).

Callers don’t need to branch on the outcome to maintain correctness — the kernel either has a slot for the name or it doesn’t, and NoSlot is the same as “the workload doesn’t reference this value.” Diagnostics (debug_nodes_enabled(), audit log) can log the outcome to make DCE visible.

Variants

Stored

Value written to a real input slot.

NoSlot

No input slot named name in this kernel’s program.

TypeMismatch

The slot exists but the value is not of the slot’s declared PortType and polydat’s conversion catalog has no conversion to it (or the conversion failed). The typed-write contract rejects this rather than silently corrupting downstream reads; the reason field carries the polydat-side diagnostic for surfacing to the operator.

Fields

reason: String

Coordinate

The slot is a coordinate. Coordinates advance with the cycle (set_inputs), never by a named write, so the kernel refuses the write to keep the coordinate prefix in step with the cycle a pull is about to read. reason is polydat’s diagnostic.

Fields

reason: String

Const

The slot holds a const’s captured value, which only kernel initialization writes: a const changes when the inputs it reads change and the kernel is re-initialized, never by a write to its own slot. reason is polydat’s diagnostic.

Fields

reason: String

Trait Implementations

impl Clone for WriteOutcome

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WriteOutcome

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

Formats the value using the given formatter.

impl Eq for WriteOutcome

impl From<HostWriteError> for WriteOutcome

fn from(e: HostWriteError) -> Self

Converts to this type from the input type.

impl PartialEq for WriteOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for WriteOutcome