@inhuman.tools/turn 0.0.0-stage → 0.2.0

package/dist/session/cancel.js

@@ -0,0 +1,32 @@
+/**
+ * Stop predicate and leftover rejection for a turn. Accepted-work Calls stay.
+ * In-flight BODY abort is the caller's `abort`.
+ */
+import { ApprovableJob, CallJob } from "@inhuman.tools/harness-model";
+import { walkWork } from "@inhuman.tools/plexus-expectations";
+import { shouldSkipTurnCancel } from "../agent-calls/acceptance.js";
+import { cancelUnstartedTool } from "../tool-runtime/index.js";
+export function turnLoopStopped(turn, signal) {
+    return signal.aborted || turn.reducerExited || turn.cancelRequested;
+}
+/**
+ * Leftovers settle as cancelled so the turn's join and the session's open
+ * tool count release. An orchestrated leaf is also aborted: its executor may
+ * be gone, and a cancelled job is never claimed again.
+ */
+export function failLeftoverApprovables(turn, abort, catalog) {
+    for (const node of walkWork(turn)) {
+        if (!(node instanceof ApprovableJob))
+            continue;
+        if (node.completed || node.cancelled)
+            continue;
+        if (node instanceof CallJob && shouldSkipTurnCancel(node, catalog))
+            continue;
+        if (node.orchestrated)
+            abort(node);
+        cancelUnstartedTool(node);
+        if (!node.completed)
+            node.markComplete();
+    }
+}
+//# sourceMappingURL=cancel.js.map

package/dist/session/cancel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cancel.js","sourceRoot":"","sources":["../../src/session/cancel.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,aAAa,EAAE,OAAO,EAAe,MAAM,8BAA8B,CAAC;AACnF,OAAO,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AAE9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,UAAU,eAAe,CAAC,IAAiB,EAAE,MAAmB;IACpE,OAAO,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,eAAe,CAAC;AACtE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAiB,EACjB,KAAoC,EACpC,OAAqB;IAErB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,IAAI,YAAY,aAAa,CAAC;YAAE,SAAS;QAC/C,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS;YAAE,SAAS;QAC/C,IAAI,IAAI,YAAY,OAAO,IAAI,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC;YAAE,SAAS;QAC7E,IAAI,IAAI,CAAC,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IAC3C,CAAC;AACH,CAAC"}

package/dist/session/commands.d.ts

@@ -0,0 +1,41 @@
+import { type UserVisualIdentity } from "@inhuman.tools/harness-model";
+import type { SessionCommandHost } from "./types.js";
+export type CommandFail = {
+    readonly ok: false;
+    readonly reason: string;
+    readonly invalid?: boolean;
+};
+export type TurnAdmitResult = {
+    readonly ok: true;
+    readonly action: "noop" | "mint" | "steer" | "queue" | "continue";
+} | CommandFail;
+export type CompactAdmitResult = {
+    readonly ok: true;
+    readonly compacted: false;
+} | CommandFail;
+export type RewindResult = {
+    readonly ok: true;
+    readonly turnId: string;
+} | CommandFail;
+export type CancelTurnArgs = {
+    readonly turnId: string;
+} | {
+    readonly requestId: string;
+};
+type TurnKind = "steer" | "queue" | "continue";
+export declare function admitTurn(host: SessionCommandHost, args: {
+    readonly prompt: string;
+    readonly kind?: TurnKind;
+    readonly visuals?: readonly UserVisualIdentity[];
+}): TurnAdmitResult;
+export declare function admitCompact(host: SessionCommandHost, focus?: string): CompactAdmitResult;
+export declare function cancelTurnCommand(host: SessionCommandHost, args: CancelTurnArgs): {
+    readonly ok: true;
+};
+export declare function rewindTurn(host: SessionCommandHost, turnId: string): RewindResult;
+export declare function retryTurn(host: SessionCommandHost): {
+    readonly ok: true;
+};
+export declare function drainPromptQueue(host: SessionCommandHost): void;
+export {};
+//# sourceMappingURL=commands.d.ts.map

package/dist/session/commands.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../src/session/commands.ts"],"names":[],"mappings":"AAMA,OAAO,EAoBL,KAAK,kBAAkB,EACxB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAGrD,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,eAAe,GACvB;IACE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,CAAC;CACnE,GACD,WAAW,CAAC;AAEhB,MAAM,MAAM,kBAAkB,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GAAG,WAAW,CAAC;AAEhG,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,WAAW,CAAC;AAExF,MAAM,MAAM,cAAc,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1F,KAAK,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,CAAC;AAmG/C,wBAAgB,SAAS,CACvB,IAAI,EAAE,kBAAkB,EACxB,IAAI,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAA;CAAE,GAC5G,eAAe,CAuCjB;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,kBAAkB,EAAE,KAAK,SAAK,GAAG,kBAAkB,CAKrF;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,cAAc,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,CAmBvG;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,GAAG,YAAY,CAiBjF;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,kBAAkB,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAA;CAAE,CAWzE;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAqC/D"}

package/dist/session/commands.js

@@ -0,0 +1,241 @@
+/**
+ * Session commands: turn admit (mint/steer/queue/continue), compact, cancel,
+ * rewind, retry, and prompt-queue drain. Transport and document persistence
+ * stay on the host.
+ */
+import { asSystemPrompt, asUserPrompt } from "@inhuman.tools/harness-commons";
+import { admitQueue, admitSteer, CompactJob, findEvalTurnByRequestId, findTurnById, HOST_QUEUE_VERBS, isAtTip, isRewindPin, looksLikePath, onTipChain, reactChunks, ReACTChunk, refreshSystemPrompt, resolvedTip, SessionSystemPrompt, SessionTurn, skillMatchesVerb, tapeCompletion, userVisualsJson, } from "@inhuman.tools/harness-model";
+import { compactRejectReason, stampCompactInputs } from "../context/index.js";
+function requestTurnCancel(turn, requestId, cancelledEval) {
+    turn.cancelRequested = true;
+    if (requestId != null && requestId !== "" && cancelledEval != null) {
+        cancelledEval[requestId] = "1";
+    }
+}
+function refreshTurn(host, turn) {
+    refreshSystemPrompt(turn, {
+        constitution: asSystemPrompt(host.constitution),
+        env: host.env(),
+    });
+    host.applyBotNotice?.(turn);
+}
+/** R1: the policy in force when the turn is minted. A later config or kv edit applies from the next turn. */
+function retentionStamp(host) {
+    const json = host.retentionJson?.() ?? "";
+    return json === "" ? {} : { retentionJson: json };
+}
+function mintContinueTurn(host, head) {
+    const turn = new SessionTurn({
+        turnTail: head,
+        prompt: asUserPrompt(""),
+        queue: [new ReACTChunk()],
+        toolsDefinition: host.toolsFor(head),
+        ...retentionStamp(host),
+    });
+    host.session.seatHead(turn);
+    refreshTurn(host, turn);
+    host.log?.("continue admitted");
+}
+function skillSplit(host, text) {
+    host.syncSkills?.();
+    return host.expandSkill?.(text, host.session.skills, host.queuedVerbs()) ?? { prompt: text, derived: null };
+}
+function mintUserTurn(host, text, visuals = []) {
+    const split = skillSplit(host, text);
+    const tail = host.session.head ??
+        new SessionSystemPrompt({
+            constitution: asSystemPrompt(host.constitution),
+            env: host.env(),
+            skills: host.session.skills.map((skill) => skill.clone()),
+        });
+    const turn = new SessionTurn({
+        turnTail: tail,
+        prompt: split.prompt,
+        derivedMessage: split.derived,
+        toolsDefinition: host.toolsFor(tail),
+        ...retentionStamp(host),
+        ...(visuals.length === 0 ? {} : { visualsJson: userVisualsJson(visuals) }),
+    });
+    turn.markStarted();
+    host.session.seatHead(turn);
+    refreshTurn(host, turn);
+    host.log?.(`turn ${text}`);
+    return turn;
+}
+function mintCompactTurn(host, focus) {
+    if (host.session.head == null) {
+        host.log?.("compact no-head");
+        return { ok: false, reason: "no-head" };
+    }
+    const rejected = compactRejectReason(host.session.head);
+    if (rejected != null) {
+        host.log?.(`compact ${rejected}`);
+        return { ok: false, reason: rejected };
+    }
+    const job = new CompactJob({ reason: "user" });
+    // F8: the cut's inputs are facts of this job from here on, not live settings.
+    stampCompactInputs(job, host.compactKeepTurns?.() ?? 1, host.session.kvs);
+    const turn = new SessionTurn({
+        turnTail: host.session.head,
+        prompt: asUserPrompt(focus),
+        queue: [job],
+        reloadTools: true,
+    });
+    turn.pushChild(job);
+    turn.markStarted();
+    host.session.seatHead(turn);
+    refreshTurn(host, turn);
+    host.log?.("compact admitted");
+    return { ok: true, compacted: false };
+}
+export function admitTurn(host, args) {
+    const visuals = args.visuals ?? [];
+    const prompt = asUserPrompt(args.prompt.trim());
+    if (visuals.length > 0 && (args.kind === "steer" || args.kind === "queue" || args.kind === "continue")) {
+        return { ok: false, reason: "an image can't be sent with that", invalid: true };
+    }
+    if (args.kind === "continue") {
+        if (host.session.findRunningTurn() != null)
+            return { ok: true, action: "noop" };
+        if (!isAtTip(host.session.head, host.session.tip)) {
+            return { ok: false, reason: "off-tip", invalid: true };
+        }
+        const head = host.session.head;
+        if (!head?.lastTurnIncomplete)
+            return { ok: true, action: "noop" };
+        if ((host.session.kvs.connection ?? "").trim() === "") {
+            return { ok: false, reason: "connection is required", invalid: true };
+        }
+        mintContinueTurn(host, head);
+        return { ok: true, action: "continue" };
+    }
+    if (prompt === "" && visuals.length === 0)
+        return { ok: true, action: "noop" };
+    if ((host.session.kvs.connection ?? "").trim() === "") {
+        return { ok: false, reason: "connection is required", invalid: true };
+    }
+    const running = host.session.findRunningTurn();
+    if (running != null) {
+        if (visuals.length > 0)
+            return { ok: false, reason: "an image can't be sent with that", invalid: true };
+        // A steer is an expectation that the turn claims it at its next round.
+        // A turn that can't (stopped, an eval, a compact) won't, so the row is
+        // an expectation of a future turn instead: the queue lane, which the
+        // session mints from once that turn has exited.
+        const kind = args.kind !== "queue" && host.session.steerTurn === running ? "steer" : "queue";
+        const split = skillSplit(host, prompt);
+        if (kind === "queue")
+            admitQueue(host.session, split.prompt, running.uuid, split.derived);
+        else
+            admitSteer(host.session, split.prompt, running.uuid, split.derived);
+        host.log?.(`turn ${kind} ${prompt}`);
+        return { ok: true, action: kind };
+    }
+    mintUserTurn(host, prompt, visuals);
+    return { ok: true, action: "mint" };
+}
+export function admitCompact(host, focus = "") {
+    if (host.session.findRunningTurn() != null) {
+        return { ok: false, reason: "already running", invalid: true };
+    }
+    return mintCompactTurn(host, focus);
+}
+export function cancelTurnCommand(host, args) {
+    if ("requestId" in args) {
+        const existing = findEvalTurnByRequestId(host.session, args.requestId);
+        if (existing != null) {
+            requestTurnCancel(existing, args.requestId, host.session.cancelledEvalRequests);
+            host.cancelOwned(existing);
+        }
+        else {
+            host.session.cancelledEvalRequests[args.requestId] = "1";
+        }
+        host.log?.(`turn/cancel request ${args.requestId}`);
+        return { ok: true };
+    }
+    const turn = findTurnById(host.session, args.turnId) ?? host.loadTurn?.(args.turnId);
+    if (turn instanceof SessionTurn) {
+        requestTurnCancel(turn, turn.evalSpec?.requestId, host.session.cancelledEvalRequests);
+        host.cancelOwned(turn);
+    }
+    host.log?.(`turn/cancel turn ${args.turnId}`);
+    return { ok: true };
+}
+export function rewindTurn(host, turnId) {
+    const live = host.session.head;
+    if (live == null)
+        return { ok: false, reason: "no-head", invalid: true };
+    const loaded = host.loadTurn?.(turnId) ?? findTurnById(host.session, turnId);
+    if (!(loaded instanceof SessionTurn))
+        return { ok: false, reason: "unknown-id", invalid: true };
+    const ceiling = resolvedTip(live, host.session.tip);
+    if (!isRewindPin(loaded) && loaded !== ceiling)
+        return { ok: false, reason: "not-a-pin", invalid: true };
+    if (!onTipChain(loaded, ceiling, live))
+        return { ok: false, reason: "off-chain", invalid: true };
+    const open = host.session.liveChain.filter((turn) => turn.inLoop);
+    host.session.rewindHead(loaded, ceiling);
+    for (const turn of open) {
+        requestTurnCancel(turn, turn.evalSpec?.requestId, host.session.cancelledEvalRequests);
+        host.cancelOwned(turn);
+    }
+    host.restorePluginState?.();
+    host.log?.(`turn/rewind ${turnId}`);
+    return { ok: true, turnId: loaded.uuid };
+}
+export function retryTurn(host) {
+    const turn = host.session.findRunningTurn();
+    if (turn != null) {
+        const live = reactChunks(turn)
+            .map((chunk) => tapeCompletion(chunk))
+            .filter((pew) => pew != null && pew.outcome == null);
+        const completion = live.at(-1);
+        if (completion != null)
+            host.skipBackoff?.(completion);
+    }
+    host.log?.("turn/retry");
+    return { ok: true };
+}
+export function drainPromptQueue(host) {
+    if (host.closed)
+        return;
+    if (host.session.findRunningTurn() != null)
+        return;
+    const item = host.session.promptQueue[0];
+    if (item == null)
+        return;
+    host.syncSkills?.();
+    const trimmed = item.text.trim();
+    if (!looksLikePath(trimmed) && trimmed.startsWith("/")) {
+        const token = (trimmed.split("\n")[0] ?? "").trim().split(/\s/)[0] ?? "";
+        const verb = token.startsWith("/") && token.length >= 2 ? token.slice(1) : null;
+        if (verb === "compact") {
+            host.session.promptQueue.shift();
+            mintCompactTurn(host, trimmed.slice(trimmed.indexOf("compact") + "compact".length).trim());
+            return;
+        }
+        if (verb === "rename") {
+            host.session.promptQueue.shift();
+            const rest = trimmed.slice(trimmed.indexOf("rename") + "rename".length).trim();
+            host.rename?.(rest === "--auto" ? "" : rest);
+            drainPromptQueue(host);
+            return;
+        }
+        const verbs = new Set([...HOST_QUEUE_VERBS, ...host.queuedVerbs()]);
+        if (verb !== null && verbs.has(verb)) {
+            host.session.promptQueue.shift();
+            host.log?.(`queue reject host-verb ${item.text}`);
+            return;
+        }
+        if (verb !== null && !host.session.skills.some((skill) => skillMatchesVerb(skill, verb))) {
+            host.session.promptQueue.shift();
+            host.log?.(`queue reject unknown-command ${item.text}`);
+            return;
+        }
+    }
+    if ((host.session.kvs.connection ?? "").trim() === "")
+        return;
+    host.session.promptQueue.shift();
+    mintUserTurn(host, asUserPrompt(trimmed));
+}
+//# sourceMappingURL=commands.js.map

package/dist/session/commands.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commands.js","sourceRoot":"","sources":["../../src/session/commands.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,cAAc,EAAE,YAAY,EAAmB,MAAM,gCAAgC,CAAC;AAC/F,OAAO,EACL,UAAU,EACV,UAAU,EACV,UAAU,EACV,uBAAuB,EACvB,YAAY,EACZ,gBAAgB,EAChB,OAAO,EACP,WAAW,EACX,aAAa,EACb,UAAU,EACV,WAAW,EACX,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,mBAAmB,EACnB,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,eAAe,GAEhB,MAAM,8BAA8B,CAAC;AAGtC,OAAO,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAuB9E,SAAS,iBAAiB,CAAC,IAAiB,EAAE,SAAkB,EAAE,aAAsC;IACtG,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;IAC5B,IAAI,SAAS,IAAI,IAAI,IAAI,SAAS,KAAK,EAAE,IAAI,aAAa,IAAI,IAAI,EAAE,CAAC;QACnE,aAAa,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAwB,EAAE,IAAiB;IAC9D,mBAAmB,CAAC,IAAI,EAAE;QACxB,YAAY,EAAE,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC;QAC/C,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;KAChB,CAAC,CAAC;IACH,IAAI,CAAC,cAAc,EAAE,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED,6GAA6G;AAC7G,SAAS,cAAc,CAAC,IAAwB;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,CAAC;IAC1C,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAwB,EAAE,IAAiB;IACnE,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC;QAC3B,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;QACxB,KAAK,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpC,GAAG,cAAc,CAAC,IAAI,CAAC;KACxB,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,UAAU,CACjB,IAAwB,EACxB,IAAgB;IAEhB,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;IACpB,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC9G,CAAC;AAED,SAAS,YAAY,CACnB,IAAwB,EACxB,IAAgB,EAChB,UAAyC,EAAE;IAE3C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,IAAI,GACR,IAAI,CAAC,OAAO,CAAC,IAAI;QACjB,IAAI,mBAAmB,CAAC;YACtB,YAAY,EAAE,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC;YAC/C,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;SAC1D,CAAC,CAAC;IACL,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC;QAC3B,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,cAAc,EAAE,KAAK,CAAC,OAAO;QAC7B,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QACpC,GAAG,cAAc,CAAC,IAAI,CAAC;QACvB,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;KAC3E,CAAC,CAAC;IACH,IAAI,CAAC,WAAW,EAAE,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,IAAwB,EAAE,KAAa;IAC9D,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,CAAC;QAC9B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC1C,CAAC;IACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,QAAQ,EAAE,CAAC,CAAC;QAClC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACzC,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/C,8EAA8E;IAC9E,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,gBAAgB,EAAE,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC1E,MAAM,IAAI,GAAG,IAAI,WAAW,CAAC;QAC3B,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI;QAC3B,MAAM,EAAE,YAAY,CAAC,KAAK,CAAC;QAC3B,KAAK,EAAE,CAAC,GAAG,CAAC;QACZ,WAAW,EAAE,IAAI;KAClB,CAAC,CAAC;IACH,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpB,IAAI,CAAC,WAAW,EAAE,CAAC;IACnB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,CAAC;IAC/B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,IAAwB,EACxB,IAA6G;IAE7G,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAChD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,EAAE,CAAC;QACvG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAClF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAChF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAClD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACzD,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAC/B,IAAI,CAAC,IAAI,EAAE,kBAAkB;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACnE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACtD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACxE,CAAC;QACD,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC1C,CAAC;IACD,IAAI,MAAM,KAAK,EAAE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC/E,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACtD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxE,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;IAC/C,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QACxG,uEAAuE;QACvE,uEAAuE;QACvE,qEAAqE;QACrE,gDAAgD;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;QAC7F,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,IAAI,KAAK,OAAO;YAAE,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;;YACrF,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC;QACrC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACpC,CAAC;IACD,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAwB,EAAE,KAAK,GAAG,EAAE;IAC/D,IAAI,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,IAAI,EAAE,CAAC;QAC3C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACjE,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAwB,EAAE,IAAoB;IAC9E,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACvE,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;YAChF,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC;QAC3D,CAAC;QACD,IAAI,CAAC,GAAG,EAAE,CAAC,uBAAuB,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;QACpD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrF,IAAI,IAAI,YAAY,WAAW,EAAE,CAAC;QAChC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACtF,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,GAAG,EAAE,CAAC,oBAAoB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAwB,EAAE,MAAc;IACjE,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC/B,IAAI,IAAI,IAAI,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACzE,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7E,IAAI,CAAC,CAAC,MAAM,YAAY,WAAW,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAChG,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,MAAM,KAAK,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACzG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACjG,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACtF,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,kBAAkB,EAAE,EAAE,CAAC;IAC5B,IAAI,CAAC,GAAG,EAAE,CAAC,eAAe,MAAM,EAAE,CAAC,CAAC;IACpC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAwB;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;IAC5C,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACjB,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;aAC3B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;aACrC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,UAAU,IAAI,IAAI;YAAE,IAAI,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC;IACzB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAwB;IACvD,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO;IACxB,IAAI,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,IAAI;QAAE,OAAO;IACnD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACzC,IAAI,IAAI,IAAI,IAAI;QAAE,OAAO;IACzB,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;IACpB,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzE,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACjC,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3F,OAAO;QACT,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YAC/E,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7C,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACvB,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,gBAAgB,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC5E,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACjC,IAAI,CAAC,GAAG,EAAE,CAAC,0BAA0B,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAClD,OAAO;QACT,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACzF,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACjC,IAAI,CAAC,GAAG,EAAE,CAAC,gCAAgC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACxD,OAAO;QACT,CAAC;IACH,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO;IAC9D,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;IACjC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;AAC5C,CAAC"}

package/dist/session/compact-actor.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Compact cases of the turn loop. Calculations come from context; the
+ * Scheme compact is `applyCompact`.
+ */
+import type { PromptComplete } from "@inhuman.tools/env-capability-module-prompt";
+import { CompactJob, SessionRoot, SessionTurn } from "@inhuman.tools/harness-model";
+import { type CompactProgram } from "./compact.js";
+export type CompactHost = {
+    readonly turn: SessionTurn;
+    readonly session: SessionRoot;
+    readonly compactKeepTurns: number;
+    readonly compactStrategy: string;
+    readonly kernelFsRoot: string;
+    readonly connectionId: string;
+    readonly model: string;
+    complete?: PromptComplete;
+    loadProgram?: (spec: string | undefined, kernelFsRoot: string) => CompactProgram;
+    log?: (message: string) => void;
+    fail?: (label: string, error: unknown) => void;
+};
+/** Abort leaves the job open: an incomplete compact is not a cutoff, and its owner settles it. */
+export declare function runCompactJob(job: CompactJob, host: CompactHost, signal?: AbortSignal): Promise<void>;
+//# sourceMappingURL=compact-actor.d.ts.map

package/dist/session/compact-actor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compact-actor.d.ts","sourceRoot":"","sources":["../../src/session/compact-actor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EACL,UAAU,EAGV,WAAW,EACX,WAAW,EACZ,MAAM,8BAA8B,CAAC;AAGtC,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAcvE,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,EAAE,YAAY,EAAE,MAAM,KAAK,cAAc,CAAC;IACjF,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;CAChD,CAAC;AAuBF,kGAAkG;AAClG,wBAAsB,aAAa,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAmE3G"}

package/dist/session/compact-actor.js

@@ -0,0 +1,91 @@
+import { liveBackgroundJobs, liveJobsCheckIn, } from "@inhuman.tools/harness-model";
+import { applyCompact } from "./compact-env.js";
+import { loadCompactProgram } from "./compact.js";
+import { compactRejectReason, historyBehind, keepFloorsOfJob, sliceCompactZones, stampCompactInputs, textOfCell, Transcript, } from "../context/index.js";
+/** Human tape only. Not injected into the next model prompt. */
+const COMPACT_FAILED_NOTICE = "couldn't compact — try again later";
+function compactRead(configFloor, kv) {
+    return { configFloor: Math.max(configFloor, 1), kv };
+}
+function failCompact(job) {
+    job.failed = true;
+    job.notice = COMPACT_FAILED_NOTICE;
+    job.standIn = "";
+    job.markComplete();
+}
+function loadStrategy(host) {
+    return (host.loadProgram ?? loadCompactProgram)(host.compactStrategy, host.kernelFsRoot);
+}
+/** Abort leaves the job open: an incomplete compact is not a cutoff, and its owner settles it. */
+export async function runCompactJob(job, host, signal) {
+    const rejected = compactRejectReason(host.turn);
+    if (rejected != null) {
+        host.log?.(`compact ${rejected}`);
+        job.markComplete();
+        return;
+    }
+    try {
+        const session = host.session;
+        const read = compactRead(host.compactKeepTurns, session.kvs);
+        const eat = Transcript.fromCells(historyBehind(host.turn, read));
+        const need = host.turn.contextNeed;
+        // The job's cut comes from the settings recorded on it (F8). An unstamped
+        // job is stamped here, on its first run, and keeps that reading for good.
+        if (job.keepTurns == null)
+            stampCompactInputs(job, read.configFloor, session.kvs);
+        const floors = keepFloorsOfJob(job, need, { kv: session.kvs, configFloor: read.configFloor });
+        const zones = sliceCompactZones(eat, floors);
+        if (zones.prefix.cells.length === 0) {
+            host.log?.("compact keep-all");
+            job.markComplete();
+            return;
+        }
+        const focus = job.reason === "user" ? host.turn.prompt.trim() || need?.focus || "" : (need?.focus ?? "");
+        const strategy = loadStrategy(host);
+        if (strategy.failsafe != null) {
+            // Keep-first is a failsafe, not a strategy: it keeps one cell and drops the
+            // rest. Say so, or a broken install looks like a working compaction.
+            host.fail?.("compact failsafe", `no compaction program loaded (${strategy.failsafe}); using keep-first`);
+            host.log?.(`compact failsafe: ${strategy.failsafe}`);
+        }
+        const result = await applyCompact(strategy.source, zones.prefix, eat, {
+            reason: job.reason,
+            focus,
+            kv: session.kvs,
+            forced: job.reason === "user",
+            sourcePath: strategy.sourcePath,
+            job: host.turn,
+            complete: host.complete,
+            connectionId: host.connectionId === "" ? undefined : host.connectionId,
+            completionModel: host.model === "" ? undefined : host.model,
+            signal,
+        });
+        if (!result.ok) {
+            host.fail?.("compact strategy", result.reason);
+            failCompact(job);
+            return;
+        }
+        const jobs = liveJobsCheckIn(await liveBackgroundJobs(session.motionWork()));
+        const body = result.checkIn
+            .map((cell) => textOfCell(cell).trim())
+            .filter((line) => line !== "")
+            .join("\n\n");
+        const checkIn = [jobs, body].filter((line) => line !== "").join("\n\n");
+        if (checkIn === "") {
+            host.fail?.("compact strategy", "empty-check-in");
+            failCompact(job);
+            return;
+        }
+        job.standIn = checkIn;
+        job.failed = false;
+        job.notice = "";
+        job.markComplete();
+    }
+    catch (error) {
+        if (signal?.aborted)
+            return;
+        host.fail?.("compact strategy", error);
+        failCompact(job);
+    }
+}
+//# sourceMappingURL=compact-actor.js.map

package/dist/session/compact-actor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compact-actor.js","sourceRoot":"","sources":["../../src/session/compact-actor.ts"],"names":[],"mappings":"AAKA,OAAO,EAEL,kBAAkB,EAClB,eAAe,GAGhB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAuB,MAAM,cAAc,CAAC;AACvE,OAAO,EACL,mBAAmB,EACnB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,UAAU,GACX,MAAM,qBAAqB,CAAC;AAE7B,gEAAgE;AAChE,MAAM,qBAAqB,GAAG,oCAAoC,CAAC;AAgBnE,SAAS,WAAW,CAClB,WAAmB,EACnB,EAAoC;IAKpC,OAAO,EAAE,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,WAAW,CAAC,GAAe;IAClC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC;IAClB,GAAG,CAAC,MAAM,GAAG,qBAAqB,CAAC;IACnC,GAAG,CAAC,OAAO,GAAG,EAAE,CAAC;IACjB,GAAG,CAAC,YAAY,EAAE,CAAC;AACrB,CAAC;AAED,SAAS,YAAY,CAAC,IAAiB;IACrC,OAAO,CAAC,IAAI,CAAC,WAAW,IAAI,kBAAkB,CAAC,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;AAC3F,CAAC;AAED,kGAAkG;AAClG,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAe,EAAE,IAAiB,EAAE,MAAoB;IAC1F,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,GAAG,EAAE,CAAC,WAAW,QAAQ,EAAE,CAAC,CAAC;QAClC,GAAG,CAAC,YAAY,EAAE,CAAC;QACnB,OAAO;IACT,CAAC;IACD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,gBAAgB,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAC7D,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;QACnC,0EAA0E;QAC1E,0EAA0E;QAC1E,IAAI,GAAG,CAAC,SAAS,IAAI,IAAI;YAAE,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC9F,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,CAAC;YAC/B,GAAG,CAAC,YAAY,EAAE,CAAC;YACnB,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QACzG,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,QAAQ,CAAC,QAAQ,IAAI,IAAI,EAAE,CAAC;YAC9B,4EAA4E;YAC5E,qEAAqE;YACrE,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,EAAE,iCAAiC,QAAQ,CAAC,QAAQ,qBAAqB,CAAC,CAAC;YACzG,IAAI,CAAC,GAAG,EAAE,CAAC,qBAAqB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE;YACpE,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,KAAK;YACL,EAAE,EAAE,OAAO,CAAC,GAAG;YACf,MAAM,EAAE,GAAG,CAAC,MAAM,KAAK,MAAM;YAC7B,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,GAAG,EAAE,IAAI,CAAC,IAAI;YACd,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,YAAY,EAAE,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY;YACtE,eAAe,EAAE,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK;YAC3D,MAAM;SACP,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YAC/C,WAAW,CAAC,GAAG,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO;aACxB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;aACtC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;aAC7B,IAAI,CAAC,MAAM,CAAC,CAAC;QAChB,MAAM,OAAO,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxE,IAAI,OAAO,KAAK,EAAE,EAAE,CAAC;YACnB,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,EAAE,gBAAgB,CAAC,CAAC;YAClD,WAAW,CAAC,GAAG,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC;QACtB,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC;QACnB,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC;QAChB,GAAG,CAAC,YAAY,EAAE,CAAC;IACrB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,MAAM,EAAE,OAAO;YAAE,OAAO;QAC5B,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;QACvC,WAAW,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;AACH,CAAC"}

package/dist/session/compact-env.d.ts

@@ -0,0 +1,54 @@
+import { EnvCapability } from "@here.build/arrival";
+import { type PromptComplete } from "@inhuman.tools/env-capability-module-prompt";
+import { CompactJob, CompletionExpectation, CompletionJob, ProgrammaticJob, ToolCallJob, TurnApprovalNoteChunk, TurnNotificationChunk, TurnSteerChunk } from "@inhuman.tools/harness-model";
+import { Job } from "@inhuman.tools/plexus-expectations";
+import { z } from "zod";
+import { MessageChunk, Transcript, type EatCell } from "../context/index.js";
+export type CompactStrategyOpts = {
+    readonly reason?: string;
+    readonly focus?: string;
+    readonly kv?: Readonly<Record<string, string>>;
+    readonly plan?: string | null;
+    readonly forced?: boolean;
+    /**
+     * Absolute path the program source was read from. Enables `(require "…")` —
+     * `.prompt` pretreats ship next to the strategy — jailed under its dirname.
+     * Null for the inline fallback: no `require` surface.
+     */
+    readonly sourcePath?: string | null;
+    /**
+     * Live completion wiring for the summarizer call a `.prompt` performs. The
+     * prompt capability admits an agent/ask on this job; absent → the strategy
+     * renders but cannot run a model call (bench/stub path).
+     */
+    readonly job?: Job;
+    readonly complete?: PromptComplete;
+    readonly connectionId?: string;
+    readonly completionModel?: string;
+    /** Abort rejects at once and hands the abort to each summarizer round through `complete`. */
+    readonly signal?: AbortSignal;
+};
+export type CompactFailure = {
+    readonly ok: false;
+    readonly reason: "empty-check-in" | "did-not-shrink";
+};
+export type CompactSuccess = {
+    readonly ok: true;
+    readonly checkIn: EatCell[];
+};
+export type CompactApplyResult = CompactSuccess | CompactFailure;
+export declare const compactReducerCapability: EnvCapability<{
+    chunks: z.ZodDefault<z.ZodArray<z.ZodUnion<readonly [z.ZodCustom<CompactJob, CompactJob>, z.ZodCustom<CompletionExpectation, CompletionExpectation>, z.ZodCustom<CompletionJob, CompletionJob>, z.ZodCustom<ToolCallJob, ToolCallJob>, z.ZodCustom<ProgrammaticJob, ProgrammaticJob>, z.ZodCustom<TurnNotificationChunk, TurnNotificationChunk>, z.ZodCustom<TurnApprovalNoteChunk, TurnApprovalNoteChunk>, z.ZodCustom<TurnSteerChunk, TurnSteerChunk>, z.ZodCustom<MessageChunk, MessageChunk>, z.ZodString]>>>;
+    reason: z.ZodDefault<z.ZodString>;
+    focus: z.ZodDefault<z.ZodString>;
+    kv: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodString>>;
+    plan: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+}, Record<string, never>>;
+/**
+ * Load the strategy with `execState`, then call `compact` / `forced-compact`
+ * as host functions with the prefix and full transcripts as arguments. Empty or
+ * non-shrinking cards are typed failures — the kernel's "failed to compact"
+ * path is the caller's.
+ */
+export declare function applyCompact(program: string, compactTranscript: Transcript, fullTranscript: Transcript, opts?: CompactStrategyOpts): Promise<CompactApplyResult>;
+//# sourceMappingURL=compact-env.d.ts.map

package/dist/session/compact-env.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compact-env.d.ts","sourceRoot":"","sources":["../../src/session/compact-env.ts"],"names":[],"mappings":"AA4BA,OAAO,EACL,aAAa,EAOd,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EAA4B,KAAK,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAC5G,OAAO,EACL,UAAU,EACV,qBAAqB,EACrB,aAAa,EACb,eAAe,EAEf,WAAW,EACX,qBAAqB,EACrB,qBAAqB,EACrB,cAAc,EACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,MAAM,oCAAoC,CAAC;AAGzD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAEL,YAAY,EAIZ,UAAU,EACV,KAAK,OAAO,EACb,MAAM,qBAAqB,CAAC;AA0B7B,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC;;;;OAIG;IACH,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;IACnB,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,6FAA6F;IAC7F,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,gBAAgB,GAAG,gBAAgB,CAAC;CACtD,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,cAAc,GAAG,cAAc,CAAC;AAUjE,eAAO,MAAM,wBAAwB;;;;;;yBAiQnC,CAAC;AAEH;;;;;GAKG;AACH,wBAAsB,YAAY,CAChC,OAAO,EAAE,MAAM,EACf,iBAAiB,EAAE,UAAU,EAC7B,cAAc,EAAE,UAAU,EAC1B,IAAI,GAAE,mBAAwB,GAC7B,OAAO,CAAC,kBAAkB,CAAC,CAqD7B"}