Solid arrows show data; dashed arrows show causal actions or detached state. Batch dimension and training-only target copies are omitted.