S★ is a fixed-size matrix — storing it costs O(1) space regardless of prompt length. Each new response starts from S★; the prompt is never re-run.