semiAIfoundry

Authority, context and execution boundaries · Atlas v1.3.0

Context, retrieval and durable memory

Separate context window, retrieved passages, workflow state, durable user data and model parameters.

Explore in AtlasLogical state, task evidence and declared units; no physical assembly scale

Learning objectiveClassify each retained object by lifetime and reproduce a context budget without confusing tokens, facts, journals and parameters.

The mechanism

The word memory can refer to several objects with different lifetimes. A model context contains the tokens supplied to a particular invocation. Retrieved passages are selected external data with source identities. A workflow journal stores execution events. Durable user or application records can survive sessions, while model parameters change only through an actual training or adaptation process. KV cache is another representation of computation for a particular sequence and model, not a database of verified facts. Confusing these objects leads to claims such as a retrieved note teaching the weights or an old conversation proving that an action committed. Context construction should therefore expose which items are present, omitted or summarized, where they came from, and who is permitted to read them.

  1. The application identifies task instructions, history, retrieved evidence and tool observations separately.
  2. Each included item retains provenance, applicability and access scope before it enters the current context.
  3. The declared tokenizer and context budget determine how much input and reserved output can fit.
  4. Durable records and model weights remain separate from the transient invocation and its KV cache.

Science and assumptions

Context, retrieval and durable memory · explicit relationship

Ltask+Lhistory+Levidence+Ltools+Loutput≤CL_{\mathrm{task}}+L_{\mathrm{history}}+L_{\mathrm{evidence}}+L_{\mathrm{tools}}+L_{\mathrm{output}}\le C

The sum of included input-token counts and reserved output tokens must fit the stated context capacity.

Symbols and units
Ltask, Lhistory, Levidence, Ltools
Token counts of the named input components under one tokenizer

tokens

Loutput
Reserved output-token capacity in this example

tokens

C
Stated total context capacity

tokens

A synthetic context capacity is 2,048 tokens under one declared tokenizer. System/task text uses 256, conversation history 512, retrieved evidence 640, tool descriptions 128 and reserved output 512: the total is exactly 2,048. Adding a 256-token duplicate passage would exceed the budget unless another item is removed or the reservation changes. Removing that duplicate can restore capacity, but it does not prove that all needed evidence remains. These counts are hypothetical tokenizer counts, not words or a provider’s billing claim.

Assumptions The example declares one accounting convention and tokenizer. Real services can impose additional or different input/output limits; words are not substituted for tokens.

Engineering example

A synthetic context capacity is 2,048 tokens under one declared tokenizer. System/task text uses 256, conversation history 512, retrieved evidence 640, tool descriptions 128 and reserved output 512: the total is exactly 2,048. Adding a 256-token duplicate passage would exceed the budget unless another item is removed or the reservation changes. Removing that duplicate can restore capacity, but it does not prove that all needed evidence remains. These counts are hypothetical tokenizer counts, not words or a provider’s billing claim.

Distinctions and tradeoffs

Persisting a conversation or retrieving a fact does not by itself update model weights.

More retained context can preserve useful evidence but increases capacity use and can retain stale, irrelevant or unauthorized data.

Reliable tool loops need explicit context assembly rather than an undifferentiated notion of memory.

Specifications and interfaces

Mechanism boundary
What survives between two model calls?

The example declares one accounting convention and tokenizer. Real services can impose additional or different input/output limits; words are not substituted for tokens.

Evidence type
Authored worked example

Worked explanation with a bounded numeric or state example. This lesson does not claim an executing implementation of an external model or platform.

Interfaces

Declared input and state Input
The application identifies task instructions, history, retrieved evidence and tool observations separately.
Checked outcome Output
Classify each retained object by lifetime and reproduce a context budget without confusing tokens, facts, journals and parameters.

Check your understanding

Which action changes this invocation’s context without necessarily changing its model parameters?

  1. Including a retrieved passage
  2. Changing a training gradient update
  3. Replacing the stored model weights
Answer and reasoning

Including a retrieved passage

Context assembly supplies different inference input; parameter changes require a separate model update.

Evidence and scope

This is a worked explanation, not an executing external platform, model or robot. The quantities and fixtures are authored. Source scope is recorded in the automation learning review manifest; no source benchmark or private system behavior is claimed. The example declares one accounting convention and tokenizer. Real services can impose additional or different input/output limits; words are not substituted for tokens.

The worked example explains this mechanism. General numerical labs are a reference; they do not execute this lesson’s full mechanism.

Sources

Published lesson data · Atlas releases and licensing

Continue exploring

Foundations

Related lessons