Causal QKV retrieval: qₜ may use only key–value pairs at positions s ≤ t. Dashed future paths are masked.