CONCEPT

log de session append-only

log de session append-only — Concept. definition: Append-only log that is the source of the context the model sees in DeepSeek Harness — not a record of it: the model history is projected from it by `deriveMessages()`, and fork, resume, transcripts, telemetry, and persistence all derive from it. Associated invariant, asserted at runtime: everything reaching a model request must be reconstructible from the log, so that any new model-visible input requires a new session event. A turn rejected with no steps at all is itself logged, so the attempt stays visible. Format not stabilized in preview

definition

Append-only log that is the source of the context the model sees in DeepSeek Harness — not a record of it: the model history is projected from it by `deriveMessages()`, and fork, resume, transcripts, telemetry, and persistence all derive from it. Associated invariant, asserted at runtime: everything reaching a model request must be reconstructible from the log, so that any new model-visible input requires a new session event. A turn rejected with no steps at all is itself logged, so the attempt stays visible. Format not stabilized in preview

Fiches (1)