Bounded state
Fixed size. It does not grow with the length of the history.
Two lines of work. Machine learning systems that carry a bounded internal state and keep rewriting it while they run, and exact causal measurement of what models are actually computing, on forty-six public ones.
Fixed size. It does not grow with the length of the history.
It stays up between requests and carries its state forward.
Predictable state cost is what makes your own hardware realistic.
Exact intervention, against controls that are allowed to fail.
Can a system carry its own experience as part of its computation, and can anyone verify what that computation is doing?
A model with a state of its own that stays writable while it runs. The hard problem is selection: what becomes durable, what gets consolidated, what can safely be forgotten, and what happens when a new write contradicts an old one.
Exact causal accounts of what public models compute, taken at mechanism level, below the behavior. The panel spans transformers and the recurrent and state-space architectures the first line is about, which is why it was built that way.
The target is a bounded state that takes part in the computation and stays writable while the model runs. The diagram puts that beside the request-and-response arrangement it replaces.
A reasoning failure traced token by token committed to a wrong number on a 2.5 percent differential. On a published set of moral dilemmas, swapping which option is printed first flips roughly 42 percent of contested choices while carrying about 0.015 bits. Two different subjects, one structure: fragility tracks the margin.
Exchange the two options and a model should pick the same action under the other letter. On clear-cut dilemmas it does. On genuinely contested ones it barely clears chance.
When a model commits to an answer, almost everything its components write into the residual stream is held orthogonal to the direction that decides it, so magnitude-weighted attribution ranks inert scaffold.
A stateless model you run locally is the same model on your last day with it as on your first. One that accumulates on your hardware, from your data, becomes specific to your problems without any of that history leaving the machine.
Bounded state is what makes the cost of running one predictable, and predictable cost is what makes your own hardware a realistic place to put it.