@smthrs/harness 0.0.0-stage → 1.0.0-rc.3

package/dist/esm/ContextWindow.js

@@ -0,0 +1,427 @@
+/**
+ * The immutable, provider-neutral context assembled for one model request.
+ * Every value it exposes is frozen — the arrays, the segments, and the
+ * messages, parts and tool declarations they hold — so a runtime mutation
+ * throws in strict mode instead of silently invalidating the cached digest.
+ *
+ * Governing design: `../docs/concepts.md#context-window`.
+ *
+ * @since 0.1.0
+ */
+import * as Digest from "@smthrs/core/Digest";
+import * as Fault from "@smthrs/flow/Fault";
+import * as CanonicalJson from "@smthrs/model/CanonicalJson";
+import * as ModelRequest from "@smthrs/model/ModelRequest";
+import { dual } from "effect/Function";
+import { pipeArguments } from "effect/Pipeable";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import { compactable } from "./internal/compactable.js";
+import * as Tokens from "./Tokens.js";
+/**
+ * The brand a {@link ContextWindow} carries so a structurally similar
+ * object cannot pass for one.
+ *
+ * @category type ids
+ * @since 0.1.0
+ * @slop
+ */
+export const TypeId = "~flows/harness/ContextWindow";
+/**
+ * What a segment holds. The kind fixes where the segment may sit and
+ * whether compaction is allowed to replace it.
+ *
+ * @category models
+ * @since 0.1.0
+ * @slop
+ */
+export const SegmentKind = Schema.Literals([
+    "system",
+    "instructions",
+    "registry",
+    "tools",
+    "transcript",
+    "summary",
+    "steering"
+]);
+/**
+ * Where a segment sits relative to the cache breakpoint. `prefix` segments
+ * are stable across turns; `tail` segments change every turn.
+ *
+ * @category models
+ * @since 0.1.0
+ * @slop
+ */
+export const SegmentZone = Schema.Literals(["prefix", "tail"]);
+/**
+ * The parts a segment may hold: system text, transcript messages, and tool
+ * declarations, in the provider-neutral vocabulary of `@smthrs/model`.
+ *
+ * @category models
+ * @since 0.1.0
+ * @slop
+ */
+export const Content = Schema.Array(Schema.Union([ModelRequest.SystemPart, ModelRequest.Message, ModelRequest.ToolDefinition]));
+/**
+ * What a compaction does with one prefix segment: `keep` it as it is,
+ * `squash` it into the summary, or `remove` it outright.
+ *
+ * @category models
+ * @since 1.0.0-rc.0
+ */
+export const Mark = Schema.Literals(["keep", "squash", "remove"]);
+/**
+ * The failure vocabulary of a context window operation.
+ *
+ * @category models
+ * @since 0.1.0
+ * @slop
+ */
+export const ContextWindowErrorCode = Schema.Literals(["invalid_compaction_prefix", "invalid_compaction_marks"]);
+/** Stable failure returned for an invalid public compaction prefix.
+ * @category errors
+ * @since 0.1.0
+ * @slop
+ */
+export class ContextWindowError extends Schema.TaggedError()("flows/harness/ContextWindowError", {
+    code: ContextWindowErrorCode,
+    message: Schema.String
+}) {
+}
+Fault.register("flows/harness/ContextWindowError", {
+    invalid_compaction_prefix: "bug",
+    invalid_compaction_marks: "bug"
+});
+/** A stable, typed slice of the model-visible context.
+ * @category models
+ * @since 0.1.0
+ * @slop
+ */
+export class Segment extends Schema.Class("flows/harness/ContextWindow/Segment")({
+    kind: SegmentKind,
+    zone: SegmentZone,
+    digest: Schema.String,
+    tokens: Tokens.Count,
+    content: Content
+}) {
+}
+/**
+ * One assembled, immutable model context: its ordered segments, the tools
+ * currently active, and the token accounting for both. Every combinator
+ * returns a new window rather than mutating this one.
+ *
+ * @category models
+ * @since 0.1.0
+ * @slop
+ */
+export class ContextWindow extends Schema.Class("flows/harness/ContextWindow")({
+    modelId: Schema.String,
+    segments: Schema.Array(Segment),
+    activeTools: Schema.Array(Schema.String),
+    replaced: Schema.optional(Schema.String),
+    digest: Schema.String,
+    tokens: Tokens.Accounting
+}) {
+    [TypeId] = TypeId;
+    pipe(..._operators) {
+        // eslint-disable-next-line prefer-rest-params -- matches Effect's Pipeable implementation
+        return pipeArguments(this, arguments);
+    }
+    /** @category constructors @since 0.1.0 */
+    static make(input) {
+        return construct(input);
+    }
+    /** @category constructors @since 0.1.0 */
+    static empty(modelId) {
+        return empty(modelId);
+    }
+    /** @category combinators @since 0.1.0 */
+    static appendTurn(self, assistantMessage) {
+        return appendTurn(self, assistantMessage);
+    }
+    /** @category combinators @since 0.1.0 */
+    static compact(self, summary) {
+        return compact(self, summary);
+    }
+    /** @category conversions @since 0.1.0 */
+    static render(self) {
+        return render(self);
+    }
+}
+const isSegment = (value) => value instanceof Segment;
+const jsonValue = (value) => {
+    if (Array.isArray(value))
+        return value.map(jsonValue);
+    if (value !== null && typeof value === "object") {
+        return Object.fromEntries(Object.entries(value)
+            .filter(([, member]) => member !== undefined)
+            .map(([key, member]) => [key, jsonValue(member)]));
+    }
+    return value;
+};
+/**
+ * What a segment is estimated from: its content, less every thinking part's
+ * `signature`. A signature is opaque replay state, not context the provider
+ * bills: on the ChatGPT route it is the whole encrypted reasoning item, often
+ * larger than the turn's visible text, and counting it compacted a 400k-window
+ * run at 31k to 41k billed input tokens (Terminal-Bench 4.0,
+ * mp-checkpoint-consolidation, 2026-09-24). The digest still covers it.
+ */
+const withoutSignatures = (value) => {
+    if (Array.isArray(value))
+        return value.map(withoutSignatures);
+    if (value !== null && typeof value === "object") {
+        const record = value;
+        return Object.fromEntries(Object.entries(record)
+            .filter(([key]) => !(record.type === "thinking" && key === "signature"))
+            .map(([key, member]) => [key, withoutSignatures(member)]));
+    }
+    return value;
+};
+const segmentText = (content) => CanonicalJson.stringify(withoutSignatures(jsonValue(content)));
+const digest = (value) => Digest.digest(CanonicalJson.stringify(value));
+/** Every node in every graph this module has undertaken to freeze whole. */
+const frozenWhole = new WeakSet();
+/**
+ * Freezes one value and everything reachable from it.
+ *
+ * Freezing only the outer array kept the immutability promise for
+ * `segments.push` and left `segments[0].content[0].content[0].text = "…"`
+ * silent. A segment's digest is taken once, at construction, so a message or a
+ * part edited in place afterwards renders content the window's own identity no
+ * longer describes — and that identity is what the sealed step is keyed on.
+ *
+ * The module's own memo ends the walk. A value a caller froze is evidence only
+ * that node cannot change, not that every descendant was frozen with it; a
+ * segment this module already walked, on the other hand, can be reused across
+ * turns in O(1). Recording a node before descending also makes a cycle end at
+ * its first repeated edge.
+ *
+ * Members are limited to own enumerable string keys, as they were when this
+ * walk used `Object.values`, but each one is read through its own descriptor.
+ * An accessor is caller code, not data the freeze walk may execute.
+ */
+const freezeDeep = (value) => {
+    if (value === null || typeof value !== "object" || frozenWhole.has(value))
+        return;
+    // Recorded before the walk, so a graph that points at itself ends it.
+    frozenWhole.add(value);
+    Object.freeze(value);
+    for (const key of Object.keys(value)) {
+        const property = Object.getOwnPropertyDescriptor(value, key);
+        if (property !== undefined && "value" in property)
+            freezeDeep(property.value);
+    }
+};
+/** Creates one segment, computing its identity and estimated token count.
+ * @category constructors
+ * @since 0.1.0
+ * @slop
+ */
+export const makeSegment = (input) => {
+    if (isSegment(input)) {
+        freezeDeep(input.content);
+        return input;
+    }
+    const content = [...input.content];
+    freezeDeep(content);
+    const segment = new Segment({
+        kind: input.kind,
+        zone: input.zone,
+        digest: digest({
+            kind: input.kind,
+            zone: input.zone,
+            content: jsonValue(content),
+            ...(input.declaredDigest === undefined ? {} : { declaredDigest: input.declaredDigest })
+        }),
+        tokens: input.tokens ?? Tokens.count(segmentText(content)),
+        content
+    });
+    freezeDeep(segment.content);
+    return segment;
+};
+const unique = (values) => {
+    const seen = new Set();
+    return values.filter((value) => {
+        const normalized = value.trim().toLowerCase();
+        return normalized !== "" && !seen.has(normalized) && (seen.add(normalized), true);
+    });
+};
+const windowDigest = (modelId, segments, activeTools, replaced) => digest({
+    modelId,
+    segments: segments.map((segment) => segment.digest),
+    activeTools,
+    ...(replaced === undefined ? {} : { replaced })
+});
+const construct = (options) => {
+    const segments = (options.segments ?? []).map(makeSegment);
+    const activeTools = unique(options.activeTools ?? []);
+    const window = new ContextWindow({
+        modelId: options.modelId,
+        segments,
+        activeTools,
+        replaced: options.replaced,
+        digest: windowDigest(options.modelId, segments, activeTools, options.replaced),
+        tokens: Tokens.combine(segments.map((segment) => new Tokens.Segment({
+            digest: segment.digest,
+            zone: segment.zone,
+            tokens: segment.tokens
+        })))
+    });
+    // The whole window, not its two outer arrays: a segment, a message, a part
+    // and the token accounting are all values a caller holds a reference to, and
+    // the digest above was taken over every one of them.
+    freezeDeep(window);
+    return window;
+};
+/** Constructs a window from already-derived values.
+ * @category constructors
+ * @since 0.1.0
+ * @slop
+ */
+export const make = (options) => construct(options);
+/** Constructs an empty context window for a model.
+ * @category constructors
+ * @since 0.1.0
+ * @slop
+ */
+export const empty = (modelId) => make({ modelId });
+/** Appends one settled assistant message.
+ *
+ * @category combinators
+ * @since 0.1.0
+ * @slop
+ */
+export const appendTurn = dual(2, (self, assistantMessage) => construct({
+    modelId: self.modelId,
+    segments: [
+        ...self.segments,
+        makeSegment({ kind: "transcript", zone: "tail", content: [assistantMessage] })
+    ],
+    activeTools: self.activeTools,
+    replaced: self.replaced
+}));
+const summaryMessages = (summary) => {
+    const messages = Array.isArray(summary)
+        ? summary
+        : [summary];
+    return messages.map((message) => message.role === "user"
+        ? message
+        : ModelRequest.Message.user(message.content.filter((part) => part.type === "text")));
+};
+const selectedPrefix = (self, prefixLength) => {
+    if (!Number.isSafeInteger(prefixLength) || prefixLength < 0) {
+        return Result.fail(new ContextWindowError({
+            code: "invalid_compaction_prefix",
+            message: "Compaction prefix length must be a non-negative safe integer"
+        }));
+    }
+    const segments = compactable(self.segments);
+    if (prefixLength > segments.length) {
+        return Result.fail(new ContextWindowError({
+            code: "invalid_compaction_prefix",
+            message: "Compaction prefix length exceeds the compactable context"
+        }));
+    }
+    return Result.succeed(segments.slice(0, prefixLength));
+};
+/**
+ * Computes the declared identity of an exact compactable prefix.
+ *
+ * @category conversions
+ * @since 0.1.0
+ * @slop
+ */
+export const prefixDigest = (self, prefixLength) => Result.map(selectedPrefix(self, prefixLength), (segments) => digest(segments.map((segment) => segment.digest)));
+const marksError = (message) => Result.fail(new ContextWindowError({ code: "invalid_compaction_marks", message }));
+/**
+ * Compacts an exact compactable prefix by its marks, one per prefix segment.
+ *
+ * The result holds, in order: the segments before the prefix; one `summary`
+ * segment of `summary` when any segment is squashed; the kept segments, as
+ * the same objects, so their digests are stable; then the suffix. Removed
+ * segments are dropped. `summary` is required exactly when a segment is
+ * squashed.
+ *
+ * @category combinators
+ * @since 1.0.0-rc.0
+ */
+export const compactMarked = (self, prefixLength, marks, summary) => Result.gen(function* () {
+    const replacedSegments = yield* selectedPrefix(self, prefixLength);
+    if (marks.length !== replacedSegments.length) {
+        return yield* marksError("Compaction marks must name every prefix segment once");
+    }
+    if (marks.includes("squash") !== (summary !== undefined)) {
+        return yield* marksError("A compaction summary is required exactly when a prefix segment is squashed");
+    }
+    if (replacedSegments.length === 0)
+        return self;
+    const replaced = digest(replacedSegments.map((segment) => segment.digest));
+    const positions = self.segments.flatMap((segment, index) => compactable([segment]).length === 0 ? [] : [index])
+        .slice(0, prefixLength);
+    const first = positions[0];
+    const selected = new Set(positions);
+    const segments = [
+        ...self.segments.slice(0, first),
+        ...(summary === undefined ? [] : [
+            makeSegment({ kind: "summary", zone: "tail", content: summaryMessages(summary) })
+        ]),
+        ...replacedSegments.filter((_, index) => marks[index] === "keep"),
+        ...self.segments.slice(first).filter((_, index) => !selected.has(first + index))
+    ];
+    return construct({ modelId: self.modelId, segments, activeTools: self.activeTools, replaced });
+});
+/**
+ * Replaces an exact compactable prefix while retaining every suffix segment:
+ * {@link compactMarked} with every segment squashed.
+ *
+ * @category combinators
+ * @since 0.1.0
+ * @slop
+ */
+export const compactPrefix = (self, prefixLength, summary) => Result.flatMap(selectedPrefix(self, prefixLength), (replacedSegments) => compactMarked(self, prefixLength, replacedSegments.map(() => "squash"), replacedSegments.length === 0 ? undefined : summary));
+/** Replaces the compactable transcript prefix with a summary segment.
+ *
+ * The most recent transcript segment remains the suffix, so a compacted
+ * projection renders summary first followed by the un-compacted tail.
+ *
+ * @category combinators
+ * @since 0.1.0
+ * @slop
+ */
+export const compact = dual(2, (self, summary) => {
+    const segments = compactable(self.segments);
+    const prefixLength = segments.length > 1 ? segments.length - 1 : segments.length;
+    return compactPrefix(self, prefixLength, summary);
+});
+/** Renders this provider-neutral value into a model request.
+ * @category conversions
+ * @since 0.1.0
+ * @slop
+ */
+export const render = (self) => {
+    const system = [];
+    const messages = [];
+    const definitions = new Map();
+    const definitionKey = (name) => name.trim().toLowerCase();
+    for (const segment of self.segments) {
+        for (const item of segment.content) {
+            if ("role" in item)
+                messages.push(item);
+            else if ("name" in item)
+                definitions.set(definitionKey(item.name), item);
+            else
+                system.push(item);
+        }
+    }
+    const active = new Set(self.activeTools.map(definitionKey));
+    const tools = [...definitions.values()].filter((definition) => definition.deferred === true || active.has(definitionKey(definition.name)));
+    return ModelRequest.ModelRequest.make({
+        modelId: self.modelId,
+        system,
+        messages,
+        tools,
+        params: ModelRequest.GenerationParams.make()
+    });
+};
+//# sourceMappingURL=ContextWindow.js.map

package/dist/esm/ContextWindow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContextWindow.js","sourceRoot":"","sources":["../../src/ContextWindow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAC3C,OAAO,KAAK,aAAa,MAAM,6BAA6B,CAAA;AAC5D,OAAO,KAAK,YAAY,MAAM,4BAA4B,CAAA;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AACtC,OAAO,EAAiB,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAC9D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AACvD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,8BAAuC,CAAA;AAW7D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC;IACzC,QAAQ;IACR,cAAc;IACd,UAAU;IACV,OAAO;IACP,YAAY;IACZ,SAAS;IACT,UAAU;CACX,CAAC,CAAA;AAWF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAA;AAW9D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CACjC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,YAAY,CAAC,OAAO,EAAE,YAAY,CAAC,cAAc,CAAC,CAAC,CAC3F,CAAA;AAWD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;AAUjE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,2BAA2B,EAAE,0BAA0B,CAAC,CAAC,CAAA;AAWhH;;;;GAIG;AACH,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC,WAAW,EAAsB,CAC9E,kCAAkC,EAClC;IACE,IAAI,EAAE,sBAAsB;IAC5B,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CACF;CAAG;AACJ,KAAK,CAAC,QAAQ,CACZ,kCAAkC,EAClC;IACE,yBAAyB,EAAE,KAAK;IAChC,wBAAwB,EAAE,KAAK;CACa,CAC/C,CAAA;AAED;;;;GAIG;AACH,MAAM,OAAO,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,qCAAqC,CAAC,CAAC;IACxF,IAAI,EAAE,WAAW;IACjB,IAAI,EAAE,WAAW;IACjB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,MAAM,EAAE,MAAM,CAAC,KAAK;IACpB,OAAO,EAAE,OAAO;CACjB,CAAC;CAAG;AAEL;;;;;;;;GAQG;AACH,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,KAAK,CAAgB,6BAA6B,CAAC,CAAC;IAC5F,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,MAAM,EAAE,MAAM,CAAC,UAAU;CAC1B,CAAC;IACS,CAAC,MAAM,CAAC,GAAG,MAAM,CAAA;IAgE1B,IAAI,CAAgB,GAAG,UAAoD;QACzE,0FAA0F;QAC1F,OAAO,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACvC,CAAC;IAED,0CAA0C;IAC1C,MAAM,CAAU,IAAI,CAAC,KAAkB;QACrC,OAAO,SAAS,CAAC,KAAK,CAAC,CAAA;IACzB,CAAC;IAED,0CAA0C;IAC1C,MAAM,CAAC,KAAK,CAAC,OAAe;QAC1B,OAAO,KAAK,CAAC,OAAO,CAAC,CAAA;IACvB,CAAC;IAED,yCAAyC;IACzC,MAAM,CAAC,UAAU,CAAC,IAAmB,EAAE,gBAA+C;QACpF,OAAO,UAAU,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAA;IAC3C,CAAC;IAED,yCAAyC;IACzC,MAAM,CAAC,OAAO,CACZ,IAAmB,EACnB,OAAmE;QAEnE,OAAO,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAC/B,CAAC;IAED,yCAAyC;IACzC,MAAM,CAAC,MAAM,CAAC,IAAmB;QAC/B,OAAO,MAAM,CAAC,IAAI,CAAC,CAAA;IACrB,CAAC;CACF;AAgCD,MAAM,SAAS,GAAG,CAAC,KAA6B,EAAoB,EAAE,CAAC,KAAK,YAAY,OAAO,CAAA;AAE/F,MAAM,SAAS,GAAG,CAAC,KAAc,EAAW,EAAE;IAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACrD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;aAC7C,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC;aAC5C,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CACpD,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAW,EAAE;IACpD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAA;IAC7D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,KAAgC,CAAA;QAC/C,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;aACnB,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,KAAK,WAAW,CAAC,CAAC;aACvE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAC5D,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,OAAgB,EAAU,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,iBAAiB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAEhH,MAAM,MAAM,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;AAExF,4EAA4E;AAC5E,MAAM,WAAW,GAAG,IAAI,OAAO,EAAU,CAAA;AAEzC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,GAAG,CAAC,KAAc,EAAQ,EAAE;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAM;IACjF,sEAAsE;IACtE,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACtB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACpB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,IAAI,QAAQ;YAAE,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC/E,CAAC;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAA6B,EAAW,EAAE;IACpE,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QACzB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,OAAO,GAAY,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;IAC3C,UAAU,CAAC,OAAO,CAAC,CAAA;IACnB,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC;QAC1B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,MAAM,CAAC;YACb,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC;YAC3B,GAAG,CAAC,KAAK,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;SACxF,CAAC;QACF,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC1D,OAAO;KACR,CAAC,CAAA;IACF,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC3B,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,MAA6B,EAAyB,EAAE;IACtE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAC7B,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;QAC7C,OAAO,UAAU,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAA;IACnF,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CACnB,OAAe,EACf,QAAgC,EAChC,WAAkC,EAClC,QAAiB,EACT,EAAE,CACV,MAAM,CAAC;IACL,OAAO;IACP,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;IACnD,WAAW;IACX,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;CAChD,CAAC,CAAA;AAEJ,MAAM,SAAS,GAAG,CAAC,OAAoB,EAAiB,EAAE;IACxD,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;IAC1D,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,IAAI,EAAE,CAAC,CAAA;IACrD,MAAM,MAAM,GAAG,IAAI,aAAa,CAAC;QAC/B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ;QACR,WAAW;QACX,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC;QAC9E,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC9C,IAAI,MAAM,CAAC,OAAO,CAAC;YACjB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,MAAM,EAAE,OAAO,CAAC,MAAM;SACvB,CAAC,CACH,CAAC;KACH,CAAC,CAAA;IACF,2EAA2E;IAC3E,6EAA6E;IAC7E,qDAAqD;IACrD,UAAU,CAAC,MAAM,CAAC,CAAA;IAClB,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,OAAoB,EAAiB,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAA;AAE/E;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,OAAe,EAAiB,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAA;AAE1E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,UAAU,GAGnB,IAAI,CAAC,CAAC,EAAE,CAAC,IAAmB,EAAE,gBAA+C,EAAE,EAAE,CACnF,SAAS,CAAC;IACR,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,QAAQ,EAAE;QACR,GAAG,IAAI,CAAC,QAAQ;QAChB,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC;KAC/E;IACD,WAAW,EAAE,IAAI,CAAC,WAAW;IAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ;CACxB,CAAC,CAAC,CAAA;AAEL,MAAM,eAAe,GAAG,CAAC,OAAmE,EAAW,EAAE;IACvG,MAAM,QAAQ,GAAwC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAC1E,CAAC,CAAC,OAA8C;QAChD,CAAC,CAAC,CAAC,OAA+B,CAAC,CAAA;IACrC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC9B,OAAO,CAAC,IAAI,KAAK,MAAM;QACrB,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CACzB,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAiC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CACtF,CACJ,CAAA;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CACrB,IAAmB,EACnB,YAAoB,EACuC,EAAE;IAC7D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,kBAAkB,CAAC;YACrB,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,8DAA8D;SACxE,CAAC,CACH,CAAA;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC3C,IAAI,YAAY,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,kBAAkB,CAAC;YACrB,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,0DAA0D;SACpE,CAAC,CACH,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAA;AACxD,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAmB,EACnB,YAAoB,EACuB,EAAE,CAC7C,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAEjH,MAAM,UAAU,GAAG,CAAC,OAAe,EAA4C,EAAE,CAC/E,MAAM,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,OAAO,EAAE,CAAC,CAAC,CAAA;AAEpF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAmB,EACnB,YAAoB,EACpB,KAA0B,EAC1B,OAA+E,EAC7B,EAAE,CACpD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,gBAAgB,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAClE,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,CAAC,MAAM,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,sDAAsD,CAAC,CAAA;IAClF,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,EAAE,CAAC;QACzD,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,4EAA4E,CAAC,CAAA;IACxG,CAAC;IACD,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAC1E,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;SAC5G,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAA;IACzB,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAE,CAAA;IAC3B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAA;IACnC,MAAM,QAAQ,GAAG;QACf,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;QAChC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;SAClF,CAAC;QACF,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC;QACjE,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;KACjF,CAAA;IACD,OAAO,SAAS,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAA;AAChG,CAAC,CAAC,CAAA;AAEJ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAmB,EACnB,YAAoB,EACpB,OAAmE,EACjB,EAAE,CACpD,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC,gBAAgB,EAAE,EAAE,CACtE,aAAa,CACX,IAAI,EACJ,YAAY,EACZ,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EACpC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CACpD,CAAC,CAAA;AAEN;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,OAAO,GAQhB,IAAI,CAAC,CAAC,EAAE,CAAC,IAAmB,EAAE,OAAmE,EAAE,EAAE;IACvG,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC3C,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAA;IAChF,OAAO,aAAa,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAAA;AACnD,CAAC,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAmB,EAA6B,EAAE;IACvE,MAAM,MAAM,GAAmC,EAAE,CAAA;IACjD,MAAM,QAAQ,GAAgC,EAAE,CAAA;IAChD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuC,CAAA;IAClE,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;IACzE,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACnC,IAAI,MAAM,IAAI,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;iBAClC,IAAI,MAAM,IAAI,IAAI;gBAAE,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAA;;gBACnE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACxB,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAA;IAC3D,MAAM,KAAK,GAAG,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAC5D,UAAU,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAC3E,CAAA;IACD,OAAO,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC;QACpC,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,MAAM;QACN,QAAQ;QACR,KAAK;QACL,MAAM,EAAE,YAAY,CAAC,gBAAgB,CAAC,IAAI,EAAE;KAC7C,CAAC,CAAA;AACJ,CAAC,CAAA","sourcesContent":["/**\n * The immutable, provider-neutral context assembled for one model request.\n * Every value it exposes is frozen — the arrays, the segments, and the\n * messages, parts and tool declarations they hold — so a runtime mutation\n * throws in strict mode instead of silently invalidating the cached digest.\n *\n * Governing design: `../docs/concepts.md#context-window`.\n *\n * @since 0.1.0\n */\n\nimport * as Digest from \"@smthrs/core/Digest\"\nimport * as Fault from \"@smthrs/flow/Fault\"\nimport * as CanonicalJson from \"@smthrs/model/CanonicalJson\"\nimport * as ModelRequest from \"@smthrs/model/ModelRequest\"\nimport { dual } from \"effect/Function\"\nimport { type Pipeable, pipeArguments } from \"effect/Pipeable\"\nimport * as Result from \"effect/Result\"\nimport * as Schema from \"effect/Schema\"\nimport { compactable } from \"./internal/compactable.ts\"\nimport * as Tokens from \"./Tokens.ts\"\n\n/**\n * The brand a {@link ContextWindow} carries so a structurally similar\n * object cannot pass for one.\n *\n * @category type ids\n * @since 0.1.0\n * @slop\n */\nexport const TypeId = \"~flows/harness/ContextWindow\" as const\n\n/**\n * The type of {@link TypeId}.\n *\n * @category type ids\n * @since 0.1.0\n * @slop\n */\nexport type TypeId = typeof TypeId\n\n/**\n * What a segment holds. The kind fixes where the segment may sit and\n * whether compaction is allowed to replace it.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport const SegmentKind = Schema.Literals([\n  \"system\",\n  \"instructions\",\n  \"registry\",\n  \"tools\",\n  \"transcript\",\n  \"summary\",\n  \"steering\"\n])\n\n/**\n * The decoded form of {@link SegmentKind}.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport type SegmentKind = typeof SegmentKind.Type\n\n/**\n * Where a segment sits relative to the cache breakpoint. `prefix` segments\n * are stable across turns; `tail` segments change every turn.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport const SegmentZone = Schema.Literals([\"prefix\", \"tail\"])\n\n/**\n * The decoded form of {@link SegmentZone}.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport type SegmentZone = typeof SegmentZone.Type\n\n/**\n * The parts a segment may hold: system text, transcript messages, and tool\n * declarations, in the provider-neutral vocabulary of `@smthrs/model`.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport const Content = Schema.Array(\n  Schema.Union([ModelRequest.SystemPart, ModelRequest.Message, ModelRequest.ToolDefinition])\n)\n\n/**\n * The decoded form of {@link Content}.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport type Content = typeof Content.Type\n\n/**\n * What a compaction does with one prefix segment: `keep` it as it is,\n * `squash` it into the summary, or `remove` it outright.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport const Mark = Schema.Literals([\"keep\", \"squash\", \"remove\"])\n\n/**\n * The decoded form of {@link Mark}.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport type Mark = typeof Mark.Type\n\n/**\n * The failure vocabulary of a context window operation.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport const ContextWindowErrorCode = Schema.Literals([\"invalid_compaction_prefix\", \"invalid_compaction_marks\"])\n\n/**\n * The decoded form of {@link ContextWindowErrorCode}.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport type ContextWindowErrorCode = typeof ContextWindowErrorCode.Type\n\n/** Stable failure returned for an invalid public compaction prefix.\n * @category errors\n * @since 0.1.0\n * @slop\n */\nexport class ContextWindowError extends Schema.TaggedError<ContextWindowError>()(\n  \"flows/harness/ContextWindowError\",\n  {\n    code: ContextWindowErrorCode,\n    message: Schema.String\n  }\n) {}\nFault.register(\n  \"flows/harness/ContextWindowError\",\n  {\n    invalid_compaction_prefix: \"bug\",\n    invalid_compaction_marks: \"bug\"\n  } satisfies Fault.Rows<ContextWindowErrorCode>\n)\n\n/** A stable, typed slice of the model-visible context.\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport class Segment extends Schema.Class<Segment>(\"flows/harness/ContextWindow/Segment\")({\n  kind: SegmentKind,\n  zone: SegmentZone,\n  digest: Schema.String,\n  tokens: Tokens.Count,\n  content: Content\n}) {}\n\n/**\n * One assembled, immutable model context: its ordered segments, the tools\n * currently active, and the token accounting for both. Every combinator\n * returns a new window rather than mutating this one.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport class ContextWindow extends Schema.Class<ContextWindow>(\"flows/harness/ContextWindow\")({\n  modelId: Schema.String,\n  segments: Schema.Array(Segment),\n  activeTools: Schema.Array(Schema.String),\n  replaced: Schema.optional(Schema.String),\n  digest: Schema.String,\n  tokens: Tokens.Accounting\n}) implements Pipeable {\n  readonly [TypeId] = TypeId\n\n  /** Threads this window through the data-last combinators of this module.\n   *\n   * `window.pipe(appendTurn(message), render)` is `render(appendTurn(window, message))`.\n   *\n   * @category combinators\n   * @since 0.1.0\n   */\n  pipe<A>(this: A): A\n  pipe<A, B>(this: A, ab: (_: A) => B): B\n  pipe<A, B, C>(this: A, ab: (_: A) => B, bc: (_: B) => C): C\n  pipe<A, B, C, D>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D): D\n  pipe<A, B, C, D, E>(this: A, ab: (_: A) => B, bc: (_: B) => C, cd: (_: C) => D, de: (_: D) => E): E\n  pipe<A, B, C, D, E, F>(\n    this: A,\n    ab: (_: A) => B,\n    bc: (_: B) => C,\n    cd: (_: C) => D,\n    de: (_: D) => E,\n    ef: (_: E) => F\n  ): F\n  pipe<A, B, C, D, E, F, G>(\n    this: A,\n    ab: (_: A) => B,\n    bc: (_: B) => C,\n    cd: (_: C) => D,\n    de: (_: D) => E,\n    ef: (_: E) => F,\n    fg: (_: F) => G\n  ): G\n  pipe<A, B, C, D, E, F, G, H>(\n    this: A,\n    ab: (_: A) => B,\n    bc: (_: B) => C,\n    cd: (_: C) => D,\n    de: (_: D) => E,\n    ef: (_: E) => F,\n    fg: (_: F) => G,\n    gh: (_: G) => H\n  ): H\n  pipe<A, B, C, D, E, F, G, H, I>(\n    this: A,\n    ab: (_: A) => B,\n    bc: (_: B) => C,\n    cd: (_: C) => D,\n    de: (_: D) => E,\n    ef: (_: E) => F,\n    fg: (_: F) => G,\n    gh: (_: G) => H,\n    hi: (_: H) => I\n  ): I\n  pipe<A, B, C, D, E, F, G, H, I, J>(\n    this: A,\n    ab: (_: A) => B,\n    bc: (_: B) => C,\n    cd: (_: C) => D,\n    de: (_: D) => E,\n    ef: (_: E) => F,\n    fg: (_: F) => G,\n    gh: (_: G) => H,\n    hi: (_: H) => I,\n    ij: (_: I) => J\n  ): J\n  pipe(this: unknown, ..._operators: ReadonlyArray<(input: never) => unknown>): unknown {\n    // eslint-disable-next-line prefer-rest-params -- matches Effect's Pipeable implementation\n    return pipeArguments(this, arguments)\n  }\n\n  /** @category constructors @since 0.1.0 */\n  static override make(input: MakeOptions): ContextWindow {\n    return construct(input)\n  }\n\n  /** @category constructors @since 0.1.0 */\n  static empty(modelId: string): ContextWindow {\n    return empty(modelId)\n  }\n\n  /** @category combinators @since 0.1.0 */\n  static appendTurn(self: ContextWindow, assistantMessage: ModelRequest.AssistantMessage): ContextWindow {\n    return appendTurn(self, assistantMessage)\n  }\n\n  /** @category combinators @since 0.1.0 */\n  static compact(\n    self: ContextWindow,\n    summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>\n  ): Result.Result<ContextWindow, ContextWindowError> {\n    return compact(self, summary)\n  }\n\n  /** @category conversions @since 0.1.0 */\n  static render(self: ContextWindow): ModelRequest.ModelRequest {\n    return render(self)\n  }\n}\n\n/**\n * A segment before its digest and token count are computed. Supplying\n * `declaredDigest` or `tokens` skips the corresponding computation.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport interface SegmentInput {\n  readonly kind: SegmentKind\n  readonly zone: SegmentZone\n  readonly content: Content\n  readonly declaredDigest?: string | undefined\n  readonly tokens?: Tokens.Count | undefined\n}\n\n/**\n * The declaration {@link ContextWindow.make} takes.\n *\n * @category models\n * @since 0.1.0\n * @slop\n */\nexport interface MakeOptions {\n  readonly modelId: string\n  readonly segments?: ReadonlyArray<Segment | SegmentInput> | undefined\n  readonly activeTools?: ReadonlyArray<string> | undefined\n  readonly replaced?: string | undefined\n}\n\nconst isSegment = (value: Segment | SegmentInput): value is Segment => value instanceof Segment\n\nconst jsonValue = (value: unknown): unknown => {\n  if (Array.isArray(value)) return value.map(jsonValue)\n  if (value !== null && typeof value === \"object\") {\n    return Object.fromEntries(\n      Object.entries(value as Record<string, unknown>)\n        .filter(([, member]) => member !== undefined)\n        .map(([key, member]) => [key, jsonValue(member)])\n    )\n  }\n  return value\n}\n\n/**\n * What a segment is estimated from: its content, less every thinking part's\n * `signature`. A signature is opaque replay state, not context the provider\n * bills: on the ChatGPT route it is the whole encrypted reasoning item, often\n * larger than the turn's visible text, and counting it compacted a 400k-window\n * run at 31k to 41k billed input tokens (Terminal-Bench 4.0,\n * mp-checkpoint-consolidation, 2026-09-24). The digest still covers it.\n */\nconst withoutSignatures = (value: unknown): unknown => {\n  if (Array.isArray(value)) return value.map(withoutSignatures)\n  if (value !== null && typeof value === \"object\") {\n    const record = value as Record<string, unknown>\n    return Object.fromEntries(\n      Object.entries(record)\n        .filter(([key]) => !(record.type === \"thinking\" && key === \"signature\"))\n        .map(([key, member]) => [key, withoutSignatures(member)])\n    )\n  }\n  return value\n}\n\nconst segmentText = (content: Content): string => CanonicalJson.stringify(withoutSignatures(jsonValue(content)))\n\nconst digest = (value: unknown): string => Digest.digest(CanonicalJson.stringify(value))\n\n/** Every node in every graph this module has undertaken to freeze whole. */\nconst frozenWhole = new WeakSet<object>()\n\n/**\n * Freezes one value and everything reachable from it.\n *\n * Freezing only the outer array kept the immutability promise for\n * `segments.push` and left `segments[0].content[0].content[0].text = \"…\"`\n * silent. A segment's digest is taken once, at construction, so a message or a\n * part edited in place afterwards renders content the window's own identity no\n * longer describes — and that identity is what the sealed step is keyed on.\n *\n * The module's own memo ends the walk. A value a caller froze is evidence only\n * that node cannot change, not that every descendant was frozen with it; a\n * segment this module already walked, on the other hand, can be reused across\n * turns in O(1). Recording a node before descending also makes a cycle end at\n * its first repeated edge.\n *\n * Members are limited to own enumerable string keys, as they were when this\n * walk used `Object.values`, but each one is read through its own descriptor.\n * An accessor is caller code, not data the freeze walk may execute.\n */\nconst freezeDeep = (value: unknown): void => {\n  if (value === null || typeof value !== \"object\" || frozenWhole.has(value)) return\n  // Recorded before the walk, so a graph that points at itself ends it.\n  frozenWhole.add(value)\n  Object.freeze(value)\n  for (const key of Object.keys(value)) {\n    const property = Object.getOwnPropertyDescriptor(value, key)\n    if (property !== undefined && \"value\" in property) freezeDeep(property.value)\n  }\n}\n\n/** Creates one segment, computing its identity and estimated token count.\n * @category constructors\n * @since 0.1.0\n * @slop\n */\nexport const makeSegment = (input: Segment | SegmentInput): Segment => {\n  if (isSegment(input)) {\n    freezeDeep(input.content)\n    return input\n  }\n  const content: Content = [...input.content]\n  freezeDeep(content)\n  const segment = new Segment({\n    kind: input.kind,\n    zone: input.zone,\n    digest: digest({\n      kind: input.kind,\n      zone: input.zone,\n      content: jsonValue(content),\n      ...(input.declaredDigest === undefined ? {} : { declaredDigest: input.declaredDigest })\n    }),\n    tokens: input.tokens ?? Tokens.count(segmentText(content)),\n    content\n  })\n  freezeDeep(segment.content)\n  return segment\n}\n\nconst unique = (values: ReadonlyArray<string>): ReadonlyArray<string> => {\n  const seen = new Set<string>()\n  return values.filter((value) => {\n    const normalized = value.trim().toLowerCase()\n    return normalized !== \"\" && !seen.has(normalized) && (seen.add(normalized), true)\n  })\n}\n\nconst windowDigest = (\n  modelId: string,\n  segments: ReadonlyArray<Segment>,\n  activeTools: ReadonlyArray<string>,\n  replaced?: string\n): string =>\n  digest({\n    modelId,\n    segments: segments.map((segment) => segment.digest),\n    activeTools,\n    ...(replaced === undefined ? {} : { replaced })\n  })\n\nconst construct = (options: MakeOptions): ContextWindow => {\n  const segments = (options.segments ?? []).map(makeSegment)\n  const activeTools = unique(options.activeTools ?? [])\n  const window = new ContextWindow({\n    modelId: options.modelId,\n    segments,\n    activeTools,\n    replaced: options.replaced,\n    digest: windowDigest(options.modelId, segments, activeTools, options.replaced),\n    tokens: Tokens.combine(segments.map((segment) =>\n      new Tokens.Segment({\n        digest: segment.digest,\n        zone: segment.zone,\n        tokens: segment.tokens\n      })\n    ))\n  })\n  // The whole window, not its two outer arrays: a segment, a message, a part\n  // and the token accounting are all values a caller holds a reference to, and\n  // the digest above was taken over every one of them.\n  freezeDeep(window)\n  return window\n}\n\n/** Constructs a window from already-derived values.\n * @category constructors\n * @since 0.1.0\n * @slop\n */\nexport const make = (options: MakeOptions): ContextWindow => construct(options)\n\n/** Constructs an empty context window for a model.\n * @category constructors\n * @since 0.1.0\n * @slop\n */\nexport const empty = (modelId: string): ContextWindow => make({ modelId })\n\n/** Appends one settled assistant message.\n *\n * @category combinators\n * @since 0.1.0\n * @slop\n */\nexport const appendTurn: {\n  (assistantMessage: ModelRequest.AssistantMessage): (self: ContextWindow) => ContextWindow\n  (self: ContextWindow, assistantMessage: ModelRequest.AssistantMessage): ContextWindow\n} = dual(2, (self: ContextWindow, assistantMessage: ModelRequest.AssistantMessage) =>\n  construct({\n    modelId: self.modelId,\n    segments: [\n      ...self.segments,\n      makeSegment({ kind: \"transcript\", zone: \"tail\", content: [assistantMessage] })\n    ],\n    activeTools: self.activeTools,\n    replaced: self.replaced\n  }))\n\nconst summaryMessages = (summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>): Content => {\n  const messages: ReadonlyArray<ModelRequest.Message> = Array.isArray(summary)\n    ? summary as ReadonlyArray<ModelRequest.Message>\n    : [summary as ModelRequest.Message]\n  return messages.map((message) =>\n    message.role === \"user\"\n      ? message\n      : ModelRequest.Message.user(\n        message.content.filter((part): part is ModelRequest.TextPart => part.type === \"text\")\n      )\n  )\n}\n\nconst selectedPrefix = (\n  self: ContextWindow,\n  prefixLength: number\n): Result.Result<ReadonlyArray<Segment>, ContextWindowError> => {\n  if (!Number.isSafeInteger(prefixLength) || prefixLength < 0) {\n    return Result.fail(\n      new ContextWindowError({\n        code: \"invalid_compaction_prefix\",\n        message: \"Compaction prefix length must be a non-negative safe integer\"\n      })\n    )\n  }\n  const segments = compactable(self.segments)\n  if (prefixLength > segments.length) {\n    return Result.fail(\n      new ContextWindowError({\n        code: \"invalid_compaction_prefix\",\n        message: \"Compaction prefix length exceeds the compactable context\"\n      })\n    )\n  }\n  return Result.succeed(segments.slice(0, prefixLength))\n}\n\n/**\n * Computes the declared identity of an exact compactable prefix.\n *\n * @category conversions\n * @since 0.1.0\n * @slop\n */\nexport const prefixDigest = (\n  self: ContextWindow,\n  prefixLength: number\n): Result.Result<string, ContextWindowError> =>\n  Result.map(selectedPrefix(self, prefixLength), (segments) => digest(segments.map((segment) => segment.digest)))\n\nconst marksError = (message: string): Result.Result<never, ContextWindowError> =>\n  Result.fail(new ContextWindowError({ code: \"invalid_compaction_marks\", message }))\n\n/**\n * Compacts an exact compactable prefix by its marks, one per prefix segment.\n *\n * The result holds, in order: the segments before the prefix; one `summary`\n * segment of `summary` when any segment is squashed; the kept segments, as\n * the same objects, so their digests are stable; then the suffix. Removed\n * segments are dropped. `summary` is required exactly when a segment is\n * squashed.\n *\n * @category combinators\n * @since 1.0.0-rc.0\n */\nexport const compactMarked = (\n  self: ContextWindow,\n  prefixLength: number,\n  marks: ReadonlyArray<Mark>,\n  summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message> | undefined\n): Result.Result<ContextWindow, ContextWindowError> =>\n  Result.gen(function*() {\n    const replacedSegments = yield* selectedPrefix(self, prefixLength)\n    if (marks.length !== replacedSegments.length) {\n      return yield* marksError(\"Compaction marks must name every prefix segment once\")\n    }\n    if (marks.includes(\"squash\") !== (summary !== undefined)) {\n      return yield* marksError(\"A compaction summary is required exactly when a prefix segment is squashed\")\n    }\n    if (replacedSegments.length === 0) return self\n    const replaced = digest(replacedSegments.map((segment) => segment.digest))\n    const positions = self.segments.flatMap((segment, index) => compactable([segment]).length === 0 ? [] : [index])\n      .slice(0, prefixLength)\n    const first = positions[0]!\n    const selected = new Set(positions)\n    const segments = [\n      ...self.segments.slice(0, first),\n      ...(summary === undefined ? [] : [\n        makeSegment({ kind: \"summary\", zone: \"tail\", content: summaryMessages(summary) })\n      ]),\n      ...replacedSegments.filter((_, index) => marks[index] === \"keep\"),\n      ...self.segments.slice(first).filter((_, index) => !selected.has(first + index))\n    ]\n    return construct({ modelId: self.modelId, segments, activeTools: self.activeTools, replaced })\n  })\n\n/**\n * Replaces an exact compactable prefix while retaining every suffix segment:\n * {@link compactMarked} with every segment squashed.\n *\n * @category combinators\n * @since 0.1.0\n * @slop\n */\nexport const compactPrefix = (\n  self: ContextWindow,\n  prefixLength: number,\n  summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>\n): Result.Result<ContextWindow, ContextWindowError> =>\n  Result.flatMap(selectedPrefix(self, prefixLength), (replacedSegments) =>\n    compactMarked(\n      self,\n      prefixLength,\n      replacedSegments.map(() => \"squash\"),\n      replacedSegments.length === 0 ? undefined : summary\n    ))\n\n/** Replaces the compactable transcript prefix with a summary segment.\n *\n * The most recent transcript segment remains the suffix, so a compacted\n * projection renders summary first followed by the un-compacted tail.\n *\n * @category combinators\n * @since 0.1.0\n * @slop\n */\nexport const compact: {\n  (\n    summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>\n  ): (self: ContextWindow) => Result.Result<ContextWindow, ContextWindowError>\n  (\n    self: ContextWindow,\n    summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>\n  ): Result.Result<ContextWindow, ContextWindowError>\n} = dual(2, (self: ContextWindow, summary: ModelRequest.Message | ReadonlyArray<ModelRequest.Message>) => {\n  const segments = compactable(self.segments)\n  const prefixLength = segments.length > 1 ? segments.length - 1 : segments.length\n  return compactPrefix(self, prefixLength, summary)\n})\n\n/** Renders this provider-neutral value into a model request.\n * @category conversions\n * @since 0.1.0\n * @slop\n */\nexport const render = (self: ContextWindow): ModelRequest.ModelRequest => {\n  const system: Array<ModelRequest.SystemPart> = []\n  const messages: Array<ModelRequest.Message> = []\n  const definitions = new Map<string, ModelRequest.ToolDefinition>()\n  const definitionKey = (name: string): string => name.trim().toLowerCase()\n  for (const segment of self.segments) {\n    for (const item of segment.content) {\n      if (\"role\" in item) messages.push(item)\n      else if (\"name\" in item) definitions.set(definitionKey(item.name), item)\n      else system.push(item)\n    }\n  }\n  const active = new Set(self.activeTools.map(definitionKey))\n  const tools = [...definitions.values()].filter((definition) =>\n    definition.deferred === true || active.has(definitionKey(definition.name))\n  )\n  return ModelRequest.ModelRequest.make({\n    modelId: self.modelId,\n    system,\n    messages,\n    tools,\n    params: ModelRequest.GenerationParams.make()\n  })\n}\n"]}