The deployed system, not the model alone, is the unit of learning
Type: kb/types/note.md · Tags: learning-theory, deploy-time-learning, computational-model
Learning in an LLM-based application should evaluate and improve the deployed system that produces user-visible behavior, not only the model inside it. Prompts, retrieval, context assembly, scheduling, memory, tools, validators, and execution boundaries all shape what the user receives. Their joint behavior therefore sets the evaluation boundary. Within that boundary, the writable learning surface consists of the consequential retained choices that an evidence-responsive improvement process can change. Improving only the weights leaves some of those choices outside the learning loop.
This broader boundary does not diminish model learning. It places model learning inside the larger behavior-determining organization that produces the outcomes being improved. A model update can improve semantic judgment across many uses. A prompt revision can resolve a deployment-specific ambiguity. A validator can turn a recurring failure into an enforced invariant. Each counts as system learning when evidence from system behavior determines the change and an improvement process retains it operatively for later executions. The changes act on different parts of the causal path. A proposal-selection improvement loop is one implementation; direct evidence-responsive updates need not expose proposals or selection.
Why the model looked like the right boundary
The prompt-to-completion interface made the model a useful shorthand for the system: it appeared to receive the task, perform the work, and return the result. Deployment made more machinery consequential. Long-running work needs durable state, bounded context, exact tool execution, permissions, and verification. These functions come from a runtime that can be decomposed into scheduler, context engine, and execution substrate.
These components do not merely support behavior produced elsewhere. A retriever determines which evidence becomes available. A scheduler determines which calls happen and what state survives. A validator determines which candidate outputs can take effect. Changing any one can change the result while the model remains fixed, so calling the result "model behavior" attributes joint behavior to one component.
User outcomes set the evaluation boundary
Users encounter the system's correctness, reliability, latency, cost, safety, and ability to complete the task. They need not care whether a successful step came from parametric recall, a retrieved instruction, a generated program, or a deterministic tool. Their outcomes therefore define an end-to-end evaluation boundary.
The writable learning surface is narrower than that boundary. It contains the consequential free choices that the improvement process is allowed to revise. A stronger model may absorb a prompt heuristic. A stable interpretation may become code. A brittle rule may return to model judgment. A retrieval step may disappear when the capability becomes reliable elsewhere. The model checkpoint is one mutable part of this organization; it does not carry the system's capacity by itself.
Model-only learning freezes the system decomposition
Because learning inside a fixed decomposition inherits its mistakes, updating only model weights fixes the surrounding prompts, interfaces, context policies, tools, scheduler, and checks in advance. Optimization can improve every choice the model is allowed to make, but it cannot touch a mistaken distinction, missing action, or poor division of work outside that update space.
A capable model can sometimes compensate for a poor fixed layer. It can infer an intention a prompt omitted, reconstruct state that the harness failed to preserve, or reproduce an operation that should have been a tool. Such compensation can improve measured behavior, but it does not show that the fixed decomposition was right. It may instead spend model capacity and inference cost repairing the same system error on every run.
This limitation is causal rather than terminological because LLM output deviation requires three-way diagnosis. Those remedies have different primary targets in the system:
- Underspecification can require revising the natural-language specification, changing assembled context, or committing a settled interpretation to a symbolic artifact.
- Interpreter failure can require a better model, but it can also require detection, correction, validation, or architectural separation outside the failing interpreter.
- Indeterminism can require changes to decoding, voting, retry policy, or the runtime that controls sampled execution.
A weight update may reduce more than one symptom, but it cannot directly apply every remedy. The improvement process therefore needs a route to determine and operatively retain changes to whichever part of the deployed system produced the failure.
Whole-system learning can coordinate distinct update mechanisms
Expanding the writable surface does not require one optimizer or update cadence. Parametric training, prompt revision, harness search, test generation, and program repair can remain distinct mechanisms. What unifies them is evidence-responsive change under the deployed objective and operative retention in later runs. When a mechanism exposes rejectable candidates, evaluation and comparison govern which candidate takes effect; a direct updater need not have that internal shape.
The retained encoding of a change—its representational form—can be model weights, natural language, symbolic code, or a mixture. The form does not determine whether the change counts as learning; the improvement process does. A computational process can directly update or propose prompts, schedulers, tools, schemas, tests, and context policies. Human edits remain engineering inputs unless the claimed learning transition computationally determines their relevant content from permitted evidence and makes it operative.
This mixed system is compatible with the Bitter Lesson because the lesson selects production methods, not representational forms. Prompts and code can be learned products when computational processes produce and operatively retain their evidence-responsive changes. Consequential task-specific harness structure should therefore remain computationally producible across the claimed reach rather than remain exempt merely because it sits outside the weights. When the allocation among weights, prompts, and code is itself a consequential task-specific choice, that allocation should also remain computationally revisable. Representational-form coevolution covers both the contents of each form and their division of responsibility.
Scope
- Whole-system learning does not require every component to remain mutable. Objectives, hard dependencies, exact interfaces, and other warranted constraints can stay fixed. The claim targets consequential free choices that are frozen merely because they sit outside the current updater.
- "Deployed system" is ambiguous when a shared model, retriever, or tool couples several deployments, because a deployment-local boundary can miss an intervention's cross-deployment effects. Which boundary to draw — a single deployment, the smallest independently governable causal domain, or a coupled fleet — is left open here.
- This note does not claim that current whole-system optimizers scale. Cross-component credit assignment, validation cost, compatibility, and safe retention remain open problems.
- Whether a future model can generate a sufficient surrounding system on demand is separate. This note concerns the boundary at which deployed behavior is evaluated and improved, not whether every useful component must persist between runs.
Relevant Notes:
- Behavior-determining organization — defined-in: identifies retained components by their causal effect on future behavior rather than by whether they are model weights
- A proposal-selection improvement loop requires search, evaluation, and operative retention — mechanism: states the stronger requirements when a learning architecture exposes rejectable proposals
- Continual learning requires governing behaviour-changing writes, not just storing content — context: continual learning is the regime where excluding non-model components is most consequential; this note's unit claim applies there and beyond
- LLM output deviation requires three-way diagnosis — grounds: specification, interpreter, and sampling failures require access to different repair surfaces
- Learning inside a fixed decomposition inherits its mistakes — grounds: model-only optimization cannot repair consequential choices excluded from its effective update space
- The bitter lesson selects production methods, not representational forms — grounds: computational production makes natural-language and symbolic system components compatible with the lesson
- Moving the interpretation-enforcement boundary requires cross-form coverage — mechanism: governing transfers between model interpretation and formal enforcement requires access to both sides and their mapping
- Co-Harness — evidenced-by: in a two-round Qwen mathematical-reasoning experiment, alternates validated edits to prompts, tool schemas, skills, middleware, and memory policy with fine-tuning on verified trajectories; each round jointly adds harness search and training, so the experiment does not isolate their coupling
- Meta-Harness — evidenced-by: searches task-specific single-file Python harnesses spanning prompting, retrieval, memory, and orchestration while keeping each domain's base model frozen; its end-to-end boundary excludes the fixed objective, model weights, proposer, and evaluation function
- Machine Studying — evidenced-by: defines an agent as a model–harness pair and permits studying to change weights, prompts, tools, indexes, or notes; this is a conceptual boundary, not evidence that the experiments jointly optimized every surface or that the boundary is exhaustive
- Ingest: Position: AI Agents in Scientific Teams Should Be Studied as Human-Agent Systems — evidenced-by: advocates the human-agent pair as the unit of analysis for scientific collaboration; the captured abstract calls for future mathematical frameworks without specifying a decomposition or contribution-attribution method, which does not establish what the uncaptured full paper contains