Function carried_state 

pub fn carried_state(rp: &RecognizedProgram) -> Vec<String>

The state a step CARRIES to the next — state_tensors without the tables the step assembles whole. A table every row of which the step writes at a literal row (Set row 2 of X, Set rows from 1 of X, a block gated delta’s output) before any stage reads it begins each step with nothing the step can see: a chunk’s stacked rows, its RoPE block. The KV cache is carried — it is written at a position the data gives and read far beyond it — and so are the conv rings and the memories, which every step reads before it writes.