Context
Sections 19–21 left “preallocated T_max buffers and a write
index” open because an in-place write would invent mutability
that Phase 0 does not define. AGENTS.md step 4 lists T_max
scratch after the prefill handoff.
concat, broadcast, and slice are already specified. The
missing piece is the decision to encode a fixed-shape buffer
as pad-with-zeros + slice-prefix, not as scatter-assign.
Decision
Specify T_max scratch as the existing composition in
22-tmax-scratch.md:
concat of the live cache with a broadcast-zero tail, then
slice of the live prefix before the next static-S decode.
No new operator. Do not add an in-place write, a write
index, or Phase 2 state. This instance uses Section 21’s
prompt and T_max = 5.
Consequences
storylm0_tmax.kinaand a.sonumeric check land without a new compiler operator.- Visitors can see a fixed-shape
[…, T_max]cache next to the live prefix; they still cannot growSinsidewhile. - The 32-token checkpoint test is
Section 23.
In-place write and a prefill-
Tfamily remain follow-on work.