Function write_poly 

pub fn write_poly(
    ty: PortType,
    v: Value,
    scratch: &mut [ScratchBuf],
    outputs: &mut [u64],
)

A polymorphic return written by the node’s resolved output type: a scalar as its bits into outputs[0], a Ref2 kind into scratch[0] with its pair republished (axiom S3). The value must be of the port’s type: the graph colored the slot by the node’s resolved output type, and a value of another type would be read by every consumer as something it is not, where the interpreter would have carried it. A None has no slot form on a compiled engine (engine_parity.md, A12).