Lift Unroll

1 Version

Unrolls N parallel equal-length lists (each [$ts]) into a UInt64 length channel plus N element streams (each $ts), ticking once per element index. Inverse of lift_reroll, which consumes the length to regroup.

How it fits

Typical backends

Unroll a list, cast each element, then regroup with the length.

Per-element evaluate with restored batching, serialised to JSON.

Caveats

Hard constraintAll N input lists for a given tick must be the same length; the lists are unrolled in lockstep by index.
I/O contractThe length channel and element channels are produced together; the partner lift_reroll needs the length to regroup correctly.
I/O contractAn empty input list emits 0 on the length channel and produces no element-ticks for that tick.
LatencyElement cadence is bursty — one tick per element index across all input lists — so downstream must tolerate the fan-out.

Versions

7cf6bbb8defaultlatestTransformation
9/2/2022