@mikode13/harness 11.1.0 → 11.2.0

package/dist/engines/domain/model/recentCompaction.js

@@ -0,0 +1,119 @@
+/**
+ * Where the recent compactor cuts `context`, the context the model was last sent with what the
+ * run added since: everything before the cut is summarized, and the run's prompt and its last
+ * answers, each with its tool results, are kept word for word after the summary. Answers of
+ * earlier runs are always summarized, so what is kept starts at the prompt and keeps its order.
+ * `undefined` when there is no answer to summarize.
+ *
+ * @param prompt the run's prompt. Found by identity; when it is not there, an earlier compaction
+ * of this run kept it, first, so it is in the summary's message, which is summarized again.
+ */
+export function recentCut(context, prompt, keptSteps) {
+    const found = context.indexOf(prompt);
+    const promptAt = Math.max(found, 0);
+    const answers = context.flatMap((message, index) => message.role === 'assistant' && index > promptAt ? [index] : []);
+    const earlier = context.slice(0, promptAt).some(message => message.role === 'assistant');
+    // At least one answer is summarized, or compacting would only add a summary.
+    const kept = Math.max(0, Math.min(keptSteps, earlier ? answers.length : answers.length - 1));
+    // A step starts at an answer, so each call keeps its results, which follow it.
+    const cut = kept === 0 ? context.length : (answers[answers.length - kept] ?? context.length);
+    const summarized = found === -1
+        ? context.slice(0, cut)
+        : [...context.slice(0, found), ...context.slice(found + 1, cut)];
+    if (!summarized.some(message => message.role === 'assistant'))
+        return undefined;
+    return {
+        summarized,
+        kept: withoutReplayedReasoning([prompt, ...context.slice(cut)]),
+    };
+}
+/**
+ * Copies of `messages` without what only a provider reads back, which a changed context before
+ * it may no longer accept: its signed reasoning and its compactions. The last answer keeps its
+ * reasoning, since the provider needs it to go on with that answer's tool calls.
+ */
+export function withoutReplayedReasoning(messages) {
+    const last = messages.findLastIndex(message => message.role === 'assistant');
+    return messages.flatMap((message, index) => {
+        const content = structuredClone(message.content).filter(part => part.type !== 'compaction' &&
+            part.type !== 'contextSummary' &&
+            (part.type !== 'providerData' || index === last));
+        return content.length > 0 ? [{ role: message.role, content }] : [];
+    });
+}
+/** What the recent compactor keeps, as its summary requests tell the model. */
+export function recentlyKept(keptSteps) {
+    return `the user's request for this run and your last ${String(keptSteps)} answers, with their tool results,`;
+}
+/**
+ * What the model is asked once its context passed the threshold, after that whole context.
+ *
+ * @param kept what is kept word for word after the summary, as `recentlyKept` says it.
+ */
+export function summaryRequest(kept) {
+    return {
+        role: 'user',
+        content: [
+            {
+                type: 'text',
+                text: `Your context is about to be compacted. Write a summary of this conversation so far that lets you go on without it: what the user asked, what you found and decided, what you changed and why, what is left to do, and what you would need to read again. After your summary, only ${kept} are kept word for word, and not your reasoning in them: say what you were thinking and planning there too. Answer with the summary alone, in plain text, and call no tool.`,
+            },
+        ],
+    };
+}
+// A context that no longer fits cannot be sent again to ask for its summary, so the model reads
+// it as text, bounded to fit any model the harness offers.
+const transcriptCharacters = 300_000;
+const partCharacters = 3_000;
+/**
+ * What the model is asked when the context no longer fit: the part to summarize, as text, since
+ * it can no longer be sent as it was.
+ */
+export function transcriptSummaryRequest(summarized, kept) {
+    return {
+        role: 'user',
+        content: [
+            {
+                type: 'text',
+                text: [
+                    `Below is the start of a conversation in which you, an agent, work on a task for the user. It no longer fits your context, so write a summary of it that lets you go on without it: what the user asked, what you found and decided, what you changed and why, what is left to do, and what you would need to read again. Only ${kept} are kept word for word after your summary. Answer with the summary alone, in plain text.`,
+                    '',
+                    messagesAsText(summarized, transcriptCharacters, partCharacters),
+                ].join('\n'),
+            },
+        ],
+    };
+}
+/**
+ * `messages` as plain text, for a model to summarize: who said or did what, each part cut at
+ * `partChars`, and the whole at `maxChars`, marked when cut.
+ */
+export function messagesAsText(messages, maxChars, partChars) {
+    const lines = messages.flatMap(message => message.content.flatMap(part => partAsText(message, part, partChars)));
+    const text = lines.join('\n');
+    return text.length <= maxChars ? text : `${text.slice(0, maxChars)}\n[the rest was cut]`;
+}
+function partAsText(message, part, partChars) {
+    switch (part.type) {
+        case 'text':
+            return [`${message.role}: ${shorten(part.text, partChars)}`];
+        case 'toolCall':
+            return [
+                `${message.role} called ${part.name} ${shorten(JSON.stringify(part.input), partChars)}`,
+            ];
+        case 'toolResult':
+            return [
+                `${part.name} ${part.isError ? 'failed' : 'returned'}: ${shorten(part.output, partChars)}`,
+            ];
+        // Readable reasoning, signed blocks and summaries only a provider reads are not the work.
+        case 'reasoning':
+        case 'providerData':
+        case 'compaction':
+        case 'contextSummary':
+            return [];
+    }
+}
+function shorten(text, max) {
+    return text.length <= max ? text : `${text.slice(0, max)}…`;
+}
+//# sourceMappingURL=recentCompaction.js.map

package/dist/engines/domain/model/recentCompaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recentCompaction.js","sourceRoot":"","sources":["../../../../src/engines/domain/model/recentCompaction.ts"],"names":[],"mappings":"AAEA;;;;;;;;;GASG;AACH,MAAM,UAAU,SAAS,CACxB,OAAkB,EAClB,MAAe,EACf,SAAiB;IAEjB,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAClD,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAC/D,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACzF,6EAA6E;IAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7F,+EAA+E;IAC/E,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7F,MAAM,UAAU,GACf,KAAK,KAAK,CAAC,CAAC;QACX,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QACvB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACnE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAChF,OAAO;QACN,UAAU;QACV,IAAI,EAAE,wBAAwB,CAAC,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;KAC/D,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,QAAmB;IAC3D,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAC7E,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAC1C,MAAM,OAAO,GAAG,eAAe,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CACtD,IAAI,CAAC,EAAE,CACN,IAAI,CAAC,IAAI,KAAK,YAAY;YAC1B,IAAI,CAAC,IAAI,KAAK,gBAAgB;YAC9B,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,KAAK,KAAK,IAAI,CAAC,CACjD,CAAC;QACF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpE,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,SAAiB;IAC7C,OAAO,iDAAiD,MAAM,CAAC,SAAS,CAAC,oCAAoC,CAAC;AAC/G,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAY;IAC1C,OAAO;QACN,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE;YACR;gBACC,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,qRAAqR,IAAI,6KAA6K;aAC5c;SACD;KACD,CAAC;AACH,CAAC;AAED,gGAAgG;AAChG,2DAA2D;AAC3D,MAAM,oBAAoB,GAAG,OAAO,CAAC;AACrC,MAAM,cAAc,GAAG,KAAK,CAAC;AAE7B;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CAAC,UAAqB,EAAE,IAAY;IAC3E,OAAO;QACN,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE;YACR;gBACC,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE;oBACL,iUAAiU,IAAI,2FAA2F;oBACha,EAAE;oBACF,cAAc,CAAC,UAAU,EAAE,oBAAoB,EAAE,cAAc,CAAC;iBAChE,CAAC,IAAI,CAAC,IAAI,CAAC;aACZ;SACD;KACD,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,QAAmB,EAAE,QAAgB,EAAE,SAAiB;IACtF,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CACxC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CACrE,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,OAAO,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,sBAAsB,CAAC;AAC1F,CAAC;AAED,SAAS,UAAU,CAAC,OAAgB,EAAE,IAAiB,EAAE,SAAiB;IACzE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACV,OAAO,CAAC,GAAG,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;QAC9D,KAAK,UAAU;YACd,OAAO;gBACN,GAAG,OAAO,CAAC,IAAI,WAAW,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,EAAE;aACvF,CAAC;QACH,KAAK,YAAY;YAChB,OAAO;gBACN,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,KAAK,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE;aAC1F,CAAC;QACH,0FAA0F;QAC1F,KAAK,WAAW,CAAC;QACjB,KAAK,cAAc,CAAC;QACpB,KAAK,YAAY,CAAC;QAClB,KAAK,gBAAgB;YACpB,OAAO,EAAE,CAAC;IACZ,CAAC;AACF,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,GAAW;IACzC,OAAO,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;AAC7D,CAAC","sourcesContent":["import type { Message, MessagePart } from '#src/llm/domain/message';\n\n/**\n * Where the recent compactor cuts `context`, the context the model was last sent with what the\n * run added since: everything before the cut is summarized, and the run's prompt and its last\n * answers, each with its tool results, are kept word for word after the summary. Answers of\n * earlier runs are always summarized, so what is kept starts at the prompt and keeps its order.\n * `undefined` when there is no answer to summarize.\n *\n * @param prompt the run's prompt. Found by identity; when it is not there, an earlier compaction\n * of this run kept it, first, so it is in the summary's message, which is summarized again.\n */\nexport function recentCut(\n\tcontext: Message[],\n\tprompt: Message,\n\tkeptSteps: number,\n): { summarized: Message[]; kept: Message[] } | undefined {\n\tconst found = context.indexOf(prompt);\n\tconst promptAt = Math.max(found, 0);\n\tconst answers = context.flatMap((message, index) =>\n\t\tmessage.role === 'assistant' && index > promptAt ? [index] : [],\n\t);\n\tconst earlier = context.slice(0, promptAt).some(message => message.role === 'assistant');\n\t// At least one answer is summarized, or compacting would only add a summary.\n\tconst kept = Math.max(0, Math.min(keptSteps, earlier ? answers.length : answers.length - 1));\n\t// A step starts at an answer, so each call keeps its results, which follow it.\n\tconst cut = kept === 0 ? context.length : (answers[answers.length - kept] ?? context.length);\n\tconst summarized =\n\t\tfound === -1\n\t\t\t? context.slice(0, cut)\n\t\t\t: [...context.slice(0, found), ...context.slice(found + 1, cut)];\n\tif (!summarized.some(message => message.role === 'assistant')) return undefined;\n\treturn {\n\t\tsummarized,\n\t\tkept: withoutReplayedReasoning([prompt, ...context.slice(cut)]),\n\t};\n}\n\n/**\n * Copies of `messages` without what only a provider reads back, which a changed context before\n * it may no longer accept: its signed reasoning and its compactions. The last answer keeps its\n * reasoning, since the provider needs it to go on with that answer's tool calls.\n */\nexport function withoutReplayedReasoning(messages: Message[]): Message[] {\n\tconst last = messages.findLastIndex(message => message.role === 'assistant');\n\treturn messages.flatMap((message, index) => {\n\t\tconst content = structuredClone(message.content).filter(\n\t\t\tpart =>\n\t\t\t\tpart.type !== 'compaction' &&\n\t\t\t\tpart.type !== 'contextSummary' &&\n\t\t\t\t(part.type !== 'providerData' || index === last),\n\t\t);\n\t\treturn content.length > 0 ? [{ role: message.role, content }] : [];\n\t});\n}\n\n/** What the recent compactor keeps, as its summary requests tell the model. */\nexport function recentlyKept(keptSteps: number): string {\n\treturn `the user's request for this run and your last ${String(keptSteps)} answers, with their tool results,`;\n}\n\n/**\n * What the model is asked once its context passed the threshold, after that whole context.\n *\n * @param kept what is kept word for word after the summary, as `recentlyKept` says it.\n */\nexport function summaryRequest(kept: string): Message {\n\treturn {\n\t\trole: 'user',\n\t\tcontent: [\n\t\t\t{\n\t\t\t\ttype: 'text',\n\t\t\t\ttext: `Your context is about to be compacted. Write a summary of this conversation so far that lets you go on without it: what the user asked, what you found and decided, what you changed and why, what is left to do, and what you would need to read again. After your summary, only ${kept} are kept word for word, and not your reasoning in them: say what you were thinking and planning there too. Answer with the summary alone, in plain text, and call no tool.`,\n\t\t\t},\n\t\t],\n\t};\n}\n\n// A context that no longer fits cannot be sent again to ask for its summary, so the model reads\n// it as text, bounded to fit any model the harness offers.\nconst transcriptCharacters = 300_000;\nconst partCharacters = 3_000;\n\n/**\n * What the model is asked when the context no longer fit: the part to summarize, as text, since\n * it can no longer be sent as it was.\n */\nexport function transcriptSummaryRequest(summarized: Message[], kept: string): Message {\n\treturn {\n\t\trole: 'user',\n\t\tcontent: [\n\t\t\t{\n\t\t\t\ttype: 'text',\n\t\t\t\ttext: [\n\t\t\t\t\t`Below is the start of a conversation in which you, an agent, work on a task for the user. It no longer fits your context, so write a summary of it that lets you go on without it: what the user asked, what you found and decided, what you changed and why, what is left to do, and what you would need to read again. Only ${kept} are kept word for word after your summary. Answer with the summary alone, in plain text.`,\n\t\t\t\t\t'',\n\t\t\t\t\tmessagesAsText(summarized, transcriptCharacters, partCharacters),\n\t\t\t\t].join('\\n'),\n\t\t\t},\n\t\t],\n\t};\n}\n\n/**\n * `messages` as plain text, for a model to summarize: who said or did what, each part cut at\n * `partChars`, and the whole at `maxChars`, marked when cut.\n */\nexport function messagesAsText(messages: Message[], maxChars: number, partChars: number): string {\n\tconst lines = messages.flatMap(message =>\n\t\tmessage.content.flatMap(part => partAsText(message, part, partChars)),\n\t);\n\tconst text = lines.join('\\n');\n\treturn text.length <= maxChars ? text : `${text.slice(0, maxChars)}\\n[the rest was cut]`;\n}\n\nfunction partAsText(message: Message, part: MessagePart, partChars: number): string[] {\n\tswitch (part.type) {\n\t\tcase 'text':\n\t\t\treturn [`${message.role}: ${shorten(part.text, partChars)}`];\n\t\tcase 'toolCall':\n\t\t\treturn [\n\t\t\t\t`${message.role} called ${part.name} ${shorten(JSON.stringify(part.input), partChars)}`,\n\t\t\t];\n\t\tcase 'toolResult':\n\t\t\treturn [\n\t\t\t\t`${part.name} ${part.isError ? 'failed' : 'returned'}: ${shorten(part.output, partChars)}`,\n\t\t\t];\n\t\t// Readable reasoning, signed blocks and summaries only a provider reads are not the work.\n\t\tcase 'reasoning':\n\t\tcase 'providerData':\n\t\tcase 'compaction':\n\t\tcase 'contextSummary':\n\t\t\treturn [];\n\t}\n}\n\nfunction shorten(text: string, max: number): string {\n\treturn text.length <= max ? text : `${text.slice(0, max)}…`;\n}\n"]}

package/dist/engines/domain/model/stepContext.js

@@ -39,6 +39,9 @@ export function measureContext({ instructions, providerDataSource, tools, contex
                     measured.reasoning += JSON.stringify(part.data).length;
                 }
                 break;
+            // The agent sends the context derived from it, where the summary is text.
+            case 'contextSummary':
+                break;
             case 'toolCall':
                 calls.set(part.id, part);
                 measured.toolCalls += JSON.stringify(part.input).length;

package/dist/engines/domain/model/stepContext.js.map

@@ -1 +1 @@
-{"version":3,"file":"stepContext.js","sourceRoot":"","sources":["../../../../src/engines/domain/model/stepContext.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,WAAW,EAAqB,MAAM,yBAAyB,CAAC;AAGvF,kFAAkF;AAClF,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,EAC9B,YAAY,EACZ,kBAAkB,EAClB,KAAK,EACL,OAAO,EACP,SAAS,GAQT;IACA,MAAM,QAAQ,GAAgB;QAC7B,YAAY,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;QACvC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM;QACnC,QAAQ,EAAE,CAAC;QACX,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,EAAE;QACf,cAAc,EAAE,EAAE;KAClB,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiD,CAAC;IACxE,MAAM,OAAO,GAAkC,EAAE,CAAC;IAElD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACjG,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,MAAM;gBACV,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,MAAM;YACP,8EAA8E;YAC9E,KAAK,YAAY;gBAChB,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB,EAAE,CAAC;oBACxC,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;gBACvD,CAAC;gBACD,MAAM;YACP,mFAAmF;YACnF,wCAAwC;YACxC,KAAK,WAAW;gBACf,MAAM;YACP,KAAK,cAAc;gBAClB,IAAI,kBAAkB,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB,EAAE,CAAC;oBAC5E,QAAQ,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;gBACxD,CAAC;gBACD,MAAM;YACP,KAAK,UAAU;gBACd,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACzB,QAAQ,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;gBACxD,MAAM;YACP,KAAK,YAAY,CAAC,CAAC,CAAC;gBACnB,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBAClE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC;gBAC9B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpC,MAAM,OAAO,GAAG,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC;gBACxC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC/E,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IAED,QAAQ,CAAC,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC;SAChC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;SACrE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IAC9C,QAAQ,CAAC,cAAc,GAAG,OAAO;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;SAC3C,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IAC3B,OAAO,QAAQ,CAAC;AACjB,CAAC","sourcesContent":["import type { StepContext } from '#src/agent/domain/agent';\nimport { type Message, sentContext, type ToolCallPart } from '#src/llm/domain/message';\nimport type { ToolDefinition } from '#src/llm/domain/tool';\n\n// Enough to name what fills a context without listing every result of a long run.\nconst largestResults = 5;\n\n/**\n * What one call to the model sends, in characters, by where it comes from. Characters, not\n * tokens: the harness does not tokenize, and the provider's count arrives with the answer.\n * `summarize` names a tool call as its tool does, or gives nothing.\n */\nexport function measureContext({\n\tinstructions,\n\tproviderDataSource,\n\ttools,\n\tcontext,\n\tsummarize,\n}: {\n\tinstructions: string | undefined;\n\t/** The only `providerData` the client sends back; every other is dropped. */\n\tproviderDataSource: string | undefined;\n\ttools: ToolDefinition[];\n\tcontext: Message[];\n\tsummarize: (call: ToolCallPart) => string | undefined;\n}): StepContext {\n\tconst measured: StepContext = {\n\t\tinstructions: instructions?.length ?? 0,\n\t\ttools: JSON.stringify(tools).length,\n\t\tmessages: 0,\n\t\treasoning: 0,\n\t\ttoolCalls: 0,\n\t\ttoolResults: [],\n\t\tlargestResults: [],\n\t};\n\tconst calls = new Map<string, ToolCallPart>();\n\tconst byTool = new Map<string, { characters: number; calls: number }>();\n\tconst results: StepContext['largestResults'] = [];\n\n\tfor (const part of sentContext(context, providerDataSource).flatMap(message => message.content)) {\n\t\tswitch (part.type) {\n\t\t\tcase 'text':\n\t\t\t\tmeasured.messages += part.text.length;\n\t\t\t\tbreak;\n\t\t\t// The provider's summary of the turns before it stands in for their messages.\n\t\t\tcase 'compaction':\n\t\t\t\tif (part.source === providerDataSource) {\n\t\t\t\t\tmeasured.messages += JSON.stringify(part.data).length;\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t\t// Readable reasoning is never sent back: only the provider's own blocks are, which\n\t\t\t// already hold it, signed or encrypted.\n\t\t\tcase 'reasoning':\n\t\t\t\tbreak;\n\t\t\tcase 'providerData':\n\t\t\t\tif (providerDataSource === undefined || part.source === providerDataSource) {\n\t\t\t\t\tmeasured.reasoning += JSON.stringify(part.data).length;\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t\tcase 'toolCall':\n\t\t\t\tcalls.set(part.id, part);\n\t\t\t\tmeasured.toolCalls += JSON.stringify(part.input).length;\n\t\t\t\tbreak;\n\t\t\tcase 'toolResult': {\n\t\t\t\tconst characters = part.output.length;\n\t\t\t\tconst tool = byTool.get(part.name) ?? { characters: 0, calls: 0 };\n\t\t\t\ttool.characters += characters;\n\t\t\t\ttool.calls += 1;\n\t\t\t\tbyTool.set(part.name, tool);\n\t\t\t\tconst call = calls.get(part.callId);\n\t\t\t\tconst summary = call && summarize(call);\n\t\t\t\tresults.push({ tool: part.name, characters, ...(summary ? { summary } : {}) });\n\t\t\t\tbreak;\n\t\t\t}\n\t\t}\n\t}\n\n\tmeasured.toolResults = [...byTool]\n\t\t.map(([tool, { characters, calls }]) => ({ tool, characters, calls }))\n\t\t.sort((a, b) => b.characters - a.characters);\n\tmeasured.largestResults = results\n\t\t.sort((a, b) => b.characters - a.characters)\n\t\t.slice(0, largestResults);\n\treturn measured;\n}\n"]}
+{"version":3,"file":"stepContext.js","sourceRoot":"","sources":["../../../../src/engines/domain/model/stepContext.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,WAAW,EAAqB,MAAM,yBAAyB,CAAC;AAGvF,kFAAkF;AAClF,MAAM,cAAc,GAAG,CAAC,CAAC;AAEzB;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,EAC9B,YAAY,EACZ,kBAAkB,EAClB,KAAK,EACL,OAAO,EACP,SAAS,GAQT;IACA,MAAM,QAAQ,GAAgB;QAC7B,YAAY,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;QACvC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM;QACnC,QAAQ,EAAE,CAAC;QACX,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;QACZ,WAAW,EAAE,EAAE;QACf,cAAc,EAAE,EAAE;KAClB,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiD,CAAC;IACxE,MAAM,OAAO,GAAkC,EAAE,CAAC;IAElD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACjG,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,MAAM;gBACV,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;gBACtC,MAAM;YACP,8EAA8E;YAC9E,KAAK,YAAY;gBAChB,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB,EAAE,CAAC;oBACxC,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;gBACvD,CAAC;gBACD,MAAM;YACP,mFAAmF;YACnF,wCAAwC;YACxC,KAAK,WAAW;gBACf,MAAM;YACP,KAAK,cAAc;gBAClB,IAAI,kBAAkB,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB,EAAE,CAAC;oBAC5E,QAAQ,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;gBACxD,CAAC;gBACD,MAAM;YACP,0EAA0E;YAC1E,KAAK,gBAAgB;gBACpB,MAAM;YACP,KAAK,UAAU;gBACd,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBACzB,QAAQ,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;gBACxD,MAAM;YACP,KAAK,YAAY,CAAC,CAAC,CAAC;gBACnB,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACtC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;gBAClE,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC;gBAC9B,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;gBAChB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpC,MAAM,OAAO,GAAG,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC;gBACxC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC/E,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IAED,QAAQ,CAAC,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC;SAChC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;SACrE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IAC9C,QAAQ,CAAC,cAAc,GAAG,OAAO;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;SAC3C,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IAC3B,OAAO,QAAQ,CAAC;AACjB,CAAC","sourcesContent":["import type { StepContext } from '#src/agent/domain/agent';\nimport { type Message, sentContext, type ToolCallPart } from '#src/llm/domain/message';\nimport type { ToolDefinition } from '#src/llm/domain/tool';\n\n// Enough to name what fills a context without listing every result of a long run.\nconst largestResults = 5;\n\n/**\n * What one call to the model sends, in characters, by where it comes from. Characters, not\n * tokens: the harness does not tokenize, and the provider's count arrives with the answer.\n * `summarize` names a tool call as its tool does, or gives nothing.\n */\nexport function measureContext({\n\tinstructions,\n\tproviderDataSource,\n\ttools,\n\tcontext,\n\tsummarize,\n}: {\n\tinstructions: string | undefined;\n\t/** The only `providerData` the client sends back; every other is dropped. */\n\tproviderDataSource: string | undefined;\n\ttools: ToolDefinition[];\n\tcontext: Message[];\n\tsummarize: (call: ToolCallPart) => string | undefined;\n}): StepContext {\n\tconst measured: StepContext = {\n\t\tinstructions: instructions?.length ?? 0,\n\t\ttools: JSON.stringify(tools).length,\n\t\tmessages: 0,\n\t\treasoning: 0,\n\t\ttoolCalls: 0,\n\t\ttoolResults: [],\n\t\tlargestResults: [],\n\t};\n\tconst calls = new Map<string, ToolCallPart>();\n\tconst byTool = new Map<string, { characters: number; calls: number }>();\n\tconst results: StepContext['largestResults'] = [];\n\n\tfor (const part of sentContext(context, providerDataSource).flatMap(message => message.content)) {\n\t\tswitch (part.type) {\n\t\t\tcase 'text':\n\t\t\t\tmeasured.messages += part.text.length;\n\t\t\t\tbreak;\n\t\t\t// The provider's summary of the turns before it stands in for their messages.\n\t\t\tcase 'compaction':\n\t\t\t\tif (part.source === providerDataSource) {\n\t\t\t\t\tmeasured.messages += JSON.stringify(part.data).length;\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t\t// Readable reasoning is never sent back: only the provider's own blocks are, which\n\t\t\t// already hold it, signed or encrypted.\n\t\t\tcase 'reasoning':\n\t\t\t\tbreak;\n\t\t\tcase 'providerData':\n\t\t\t\tif (providerDataSource === undefined || part.source === providerDataSource) {\n\t\t\t\t\tmeasured.reasoning += JSON.stringify(part.data).length;\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t\t// The agent sends the context derived from it, where the summary is text.\n\t\t\tcase 'contextSummary':\n\t\t\t\tbreak;\n\t\t\tcase 'toolCall':\n\t\t\t\tcalls.set(part.id, part);\n\t\t\t\tmeasured.toolCalls += JSON.stringify(part.input).length;\n\t\t\t\tbreak;\n\t\t\tcase 'toolResult': {\n\t\t\t\tconst characters = part.output.length;\n\t\t\t\tconst tool = byTool.get(part.name) ?? { characters: 0, calls: 0 };\n\t\t\t\ttool.characters += characters;\n\t\t\t\ttool.calls += 1;\n\t\t\t\tbyTool.set(part.name, tool);\n\t\t\t\tconst call = calls.get(part.callId);\n\t\t\t\tconst summary = call && summarize(call);\n\t\t\t\tresults.push({ tool: part.name, characters, ...(summary ? { summary } : {}) });\n\t\t\t\tbreak;\n\t\t\t}\n\t\t}\n\t}\n\n\tmeasured.toolResults = [...byTool]\n\t\t.map(([tool, { characters, calls }]) => ({ tool, characters, calls }))\n\t\t.sort((a, b) => b.characters - a.characters);\n\tmeasured.largestResults = results\n\t\t.sort((a, b) => b.characters - a.characters)\n\t\t.slice(0, largestResults);\n\treturn measured;\n}\n"]}

package/dist/engines/domain/model/triagedCompaction.d.ts

@@ -0,0 +1,27 @@
+import type { TriagedResult } from '#src/llm/domain/contextTriage';
+import type { Message } from '#src/llm/domain/message';
+/** A tool result before the model's last answer, which a triage judges. */
+export interface TriageCandidate extends TriagedResult {
+    callId: string;
+}
+/**
+ * The tool results of `context` a triage judges: each one before the model's last answer whose
+ * call is there too. The last answer's own results are always kept.
+ */
+export declare function triageCandidates(context: Message[]): TriageCandidate[];
+/**
+ * Where a triaged compaction cuts `context`: the run's prompt, each tool call the triage kept
+ * with its result, and the model's last answer with everything after it are kept word for word,
+ * in their order; everything else is summarized. `undefined` when the model has answered once
+ * at most, or the triage kept every answer whole, so a summary would replace nothing.
+ *
+ * @param prompt the run's prompt, found by identity as in `recentCut`; when it is not there, it
+ * is kept first.
+ * @param kept the ids of the tool calls kept with their results.
+ */
+export declare function triagedCut(context: Message[], prompt: Message, kept: ReadonlySet<string>): {
+    summarized: Message[];
+    kept: Message[];
+} | undefined;
+/** What a triaged compaction keeps, as its summary requests tell the model. */
+export declare function triagedKept(kept: TriageCandidate[]): string;

package/dist/engines/domain/model/triagedCompaction.js

@@ -0,0 +1,60 @@
+import { withoutReplayedReasoning } from "./recentCompaction.js";
+/**
+ * The tool results of `context` a triage judges: each one before the model's last answer whose
+ * call is there too. The last answer's own results are always kept.
+ */
+export function triageCandidates(context) {
+    const last = context.findLastIndex(message => message.role === 'assistant');
+    const before = context.slice(0, Math.max(last, 0));
+    const calls = new Map(before.flatMap(message => message.content.flatMap(part => (part.type === 'toolCall' ? [[part.id, part]] : []))));
+    return before.flatMap(message => message.content.flatMap(part => {
+        const call = part.type === 'toolResult' ? calls.get(part.callId) : undefined;
+        return part.type === 'toolResult' && call
+            ? [{ callId: part.callId, tool: call.name, input: call.input, output: part.output }]
+            : [];
+    }));
+}
+/**
+ * Where a triaged compaction cuts `context`: the run's prompt, each tool call the triage kept
+ * with its result, and the model's last answer with everything after it are kept word for word,
+ * in their order; everything else is summarized. `undefined` when the model has answered once
+ * at most, or the triage kept every answer whole, so a summary would replace nothing.
+ *
+ * @param prompt the run's prompt, found by identity as in `recentCut`; when it is not there, it
+ * is kept first.
+ * @param kept the ids of the tool calls kept with their results.
+ */
+export function triagedCut(context, prompt, kept) {
+    const last = context.findLastIndex(message => message.role === 'assistant');
+    const found = context.indexOf(prompt);
+    const isKept = (part) => (part.type === 'toolCall' && kept.has(part.id)) ||
+        (part.type === 'toolResult' && kept.has(part.callId));
+    const keptMessages = found === -1 ? [prompt] : [];
+    const summarized = [];
+    context.slice(0, Math.max(last, 0)).forEach((message, index) => {
+        if (index === found) {
+            keptMessages.push(prompt);
+            return;
+        }
+        const keptParts = message.content.filter(isKept);
+        const rest = message.content.filter(part => !isKept(part));
+        if (keptParts.length > 0)
+            keptMessages.push({ role: message.role, content: keptParts });
+        if (rest.length > 0)
+            summarized.push({ role: message.role, content: rest });
+    });
+    if (!summarized.some(message => message.role === 'assistant'))
+        return undefined;
+    return { summarized, kept: withoutReplayedReasoning([...keptMessages, ...context.slice(last)]) };
+}
+/** What a triaged compaction keeps, as its summary requests tell the model. */
+export function triagedKept(kept) {
+    const calls = kept.map(({ tool, input }) => `${tool} ${shorten(JSON.stringify(input), 200)}`);
+    return calls.length === 0
+        ? "the user's request for this run and your last answer, with its tool results,"
+        : `the user's request for this run, your last answer with its tool results, and the results of these earlier tool calls: ${calls.join('; ')},`;
+}
+function shorten(text, max) {
+    return text.length <= max ? text : `${text.slice(0, max)}…`;
+}
+//# sourceMappingURL=triagedCompaction.js.map

package/dist/engines/domain/model/triagedCompaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"triagedCompaction.js","sourceRoot":"","sources":["../../../../src/engines/domain/model/triagedCompaction.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAC;AAOjE;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAkB;IAClD,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,CACpB,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CACxB,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAC7F,CACD,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAC/B,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7E,OAAO,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI;YACxC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YACpF,CAAC,CAAC,EAAE,CAAC;IACP,CAAC,CAAC,CACF,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CACzB,OAAkB,EAClB,MAAe,EACf,IAAyB;IAEzB,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,CAAC,IAAiB,EAAE,EAAE,CACpC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,MAAM,YAAY,GAAc,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7D,MAAM,UAAU,GAAc,EAAE,CAAC;IACjC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAC9D,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;YACrB,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;QACR,CAAC;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3D,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;QACxF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC;QAAE,OAAO,SAAS,CAAC;IAChF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,wBAAwB,CAAC,CAAC,GAAG,YAAY,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AAClG,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,IAAuB;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;QACxB,CAAC,CAAC,8EAA8E;QAChF,CAAC,CAAC,yHAAyH,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACjJ,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,GAAW;IACzC,OAAO,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC;AAC7D,CAAC","sourcesContent":["import type { TriagedResult } from '#src/llm/domain/contextTriage';\nimport type { Message, MessagePart } from '#src/llm/domain/message';\nimport { withoutReplayedReasoning } from './recentCompaction.ts';\n\n/** A tool result before the model's last answer, which a triage judges. */\nexport interface TriageCandidate extends TriagedResult {\n\tcallId: string;\n}\n\n/**\n * The tool results of `context` a triage judges: each one before the model's last answer whose\n * call is there too. The last answer's own results are always kept.\n */\nexport function triageCandidates(context: Message[]): TriageCandidate[] {\n\tconst last = context.findLastIndex(message => message.role === 'assistant');\n\tconst before = context.slice(0, Math.max(last, 0));\n\tconst calls = new Map(\n\t\tbefore.flatMap(message =>\n\t\t\tmessage.content.flatMap(part => (part.type === 'toolCall' ? [[part.id, part] as const] : [])),\n\t\t),\n\t);\n\treturn before.flatMap(message =>\n\t\tmessage.content.flatMap(part => {\n\t\t\tconst call = part.type === 'toolResult' ? calls.get(part.callId) : undefined;\n\t\t\treturn part.type === 'toolResult' && call\n\t\t\t\t? [{ callId: part.callId, tool: call.name, input: call.input, output: part.output }]\n\t\t\t\t: [];\n\t\t}),\n\t);\n}\n\n/**\n * Where a triaged compaction cuts `context`: the run's prompt, each tool call the triage kept\n * with its result, and the model's last answer with everything after it are kept word for word,\n * in their order; everything else is summarized. `undefined` when the model has answered once\n * at most, or the triage kept every answer whole, so a summary would replace nothing.\n *\n * @param prompt the run's prompt, found by identity as in `recentCut`; when it is not there, it\n * is kept first.\n * @param kept the ids of the tool calls kept with their results.\n */\nexport function triagedCut(\n\tcontext: Message[],\n\tprompt: Message,\n\tkept: ReadonlySet<string>,\n): { summarized: Message[]; kept: Message[] } | undefined {\n\tconst last = context.findLastIndex(message => message.role === 'assistant');\n\tconst found = context.indexOf(prompt);\n\tconst isKept = (part: MessagePart) =>\n\t\t(part.type === 'toolCall' && kept.has(part.id)) ||\n\t\t(part.type === 'toolResult' && kept.has(part.callId));\n\tconst keptMessages: Message[] = found === -1 ? [prompt] : [];\n\tconst summarized: Message[] = [];\n\tcontext.slice(0, Math.max(last, 0)).forEach((message, index) => {\n\t\tif (index === found) {\n\t\t\tkeptMessages.push(prompt);\n\t\t\treturn;\n\t\t}\n\t\tconst keptParts = message.content.filter(isKept);\n\t\tconst rest = message.content.filter(part => !isKept(part));\n\t\tif (keptParts.length > 0) keptMessages.push({ role: message.role, content: keptParts });\n\t\tif (rest.length > 0) summarized.push({ role: message.role, content: rest });\n\t});\n\tif (!summarized.some(message => message.role === 'assistant')) return undefined;\n\treturn { summarized, kept: withoutReplayedReasoning([...keptMessages, ...context.slice(last)]) };\n}\n\n/** What a triaged compaction keeps, as its summary requests tell the model. */\nexport function triagedKept(kept: TriageCandidate[]): string {\n\tconst calls = kept.map(({ tool, input }) => `${tool} ${shorten(JSON.stringify(input), 200)}`);\n\treturn calls.length === 0\n\t\t? \"the user's request for this run and your last answer, with its tool results,\"\n\t\t: `the user's request for this run, your last answer with its tool results, and the results of these earlier tool calls: ${calls.join('; ')},`;\n}\n\nfunction shorten(text: string, max: number): string {\n\treturn text.length <= max ? text : `${text.slice(0, max)}…`;\n}\n"]}

package/dist/factory/infrastructure/agentLLMFactory.d.ts

@@ -55,12 +55,27 @@ export interface CreateLLMAgentOptions {
      */
     maxSteps?: number;
     /**
-     * The input tokens at which the provider compacts the conversation on its side: it replaces
-     * every turn before that call with its own summary, which only its model reads back. The
-     * conversation keeps every original turn. Without it, the conversation is never compacted.
-     * At least 50,000 on Anthropic.
-     */
-    compactAt?: number;
+     * The tokens of context at which the provider compacts it on its side: it replaces every turn
+     * before that call with its own summary, which only its model reads back. The conversation
+     * keeps every original turn. Defaults to the model's threshold: 450,000 for Claude Opus,
+     * Fable and Sonnet and GPT astra, sol and terra, and 125,000 for Claude Haiku and GPT luna.
+     * `false` turns compaction off. Either way, a context that no longer fits the model is
+     * compacted once, and the call tried again. At least 50,000 on Anthropic.
+     */
+    compactAt?: number | false;
+    /**
+     * Who compacts the context once it passes `compactAt`. `provider`, the default, has the
+     * model's provider compact it on its side. `recent` has the agent's own model summarize it
+     * before the next call, from its provider's cache, and keeps the run's prompt and the run's
+     * last 10 answers, each with its tool results, word for word after the summary, without
+     * their signed reasoning. Earlier runs are always summarized. `jev` summarizes the same way,
+     * but TypeSafe's Jev chooses what is kept: the run's prompt, the model's last answer with its
+     * tool results, and each earlier tool result Jev judges the agent still needs word for word,
+     * with its call. Jev is sent the run's prompt, the model's last answer and each of those tool
+     * results, so what the tools read leaves for TypeSafe. It reads the key from `TYPESAFE_API_KEY`; without it, or when Jev fails, the
+     * `recent` choice is made instead, and logged.
+     */
+    compaction?: CompactionMode;
     /**
      * Runs every tool call without asking, `destructive` ones included, for CI where no one can
      * answer. Without it, a `destructive` call goes to the run's `approve`, or is denied.
@@ -74,10 +89,14 @@ export interface CreateLLMAgentOptions {
      */
     onTranscript?: TranscriptCallback;
 }
+/** Who compacts an agent's context; see `CreateLLMAgentOptions.compaction`. */
+export type CompactionMode = 'provider' | 'recent' | 'jev';
 /** A limit per role of `createLLMOrchestrator`; a role left out keeps its default. */
 export type RoleSteps = Partial<Record<OrchestratorRole, number>>;
 /** A number of tokens per role of `createLLMOrchestrator`; a role left out keeps its default. */
 export type RoleTokens = Partial<Record<OrchestratorRole, number>>;
+/** The consumer's agents, from `agentAsTool`, that each role of `createLLMOrchestrator` may call. */
+export type RoleAgents = Partial<Record<OrchestratorRole, DelegationTool[]>>;
 type OrchestratorRole = CommandRole;
 export interface CreateLLMOrchestratorOptions extends CreateOrchestratorOptions {
     /**
@@ -94,11 +113,14 @@ export interface CreateLLMOrchestratorOptions extends CreateOrchestratorOptions
      */
     maxSteps?: number | RoleSteps;
     /**
-     * The input tokens at which each role's provider compacts its conversation, as
-     * `CreateLLMAgentOptions.compactAt`: one number for every role, or a number per role. Without
-     * it, no role compacts.
+     * The tokens of context at which each role's provider compacts it, as
+     * `CreateLLMAgentOptions.compactAt`: one number for every role, or a number per role. A role
+     * left out compacts at its model's threshold, as do the explorers. `false` turns compaction
+     * off for every role.
      */
-    compactAt?: number | RoleTokens;
+    compactAt?: number | false | RoleTokens;
+    /** Who compacts every agent's context, as `CreateLLMAgentOptions.compaction`. */
+    compaction?: CompactionMode;
     /**
      * Commands the roles may run, such as the project's tests, through `runCommand`. Each goes to
      * the roles its `roles` names, the executor by default. See `createFileTools`. Each needs a
@@ -125,6 +147,12 @@ export interface CreateLLMOrchestratorOptions extends CreateOrchestratorOptions
      * root is in when the user asks. See `createFileTools`.
      */
     removeWorktree?: boolean;
+    /**
+     * The consumer's agents, from `agentAsTool`, that each role may hand a task to, beside its own
+     * tools: the planner and the reviewer keep their explorers. An agent never writes more than
+     * the role that calls it, so only the executor's may write, within the `write` roots.
+     */
+    agents?: RoleAgents;
 }
 /**
  * Builds an agent whose conversation MiKode owns, on a provider's model API, already wrapped in
@@ -138,7 +166,7 @@ export interface CreateLLMOrchestratorOptions extends CreateOrchestratorOptions
  * `OPENAI_API_KEY` is missing. The Anthropic SDK resolves credentials lazily, so a missing
  * `ANTHROPIC_API_KEY` fails the first run instead, with an `UnrecoverableError`.
  */
-export declare function createLLMAgent(provider: AgentProvider, { model, reasoningEffort, systemPrompt, tools, workspace, summarizeUndone, maxSteps, compactAt, autoApprove, logger, onTranscript, }: CreateLLMAgentOptions): Agent;
+export declare function createLLMAgent(provider: AgentProvider, { model, reasoningEffort, systemPrompt, tools, workspace, summarizeUndone, maxSteps, compactAt, compaction, autoApprove, logger, onTranscript, }: CreateLLMAgentOptions): Agent;
 /**
  * The file tools for an agent from `createLLMAgent` on `provider`, over `workspace`, in the
  * provider's own format:
@@ -211,5 +239,5 @@ export declare function createFileTools(provider: AgentProvider, workspace: Work
  * @throws {UnrecoverableError} when a role cannot be set up, for example because
  * `OPENAI_API_KEY` is missing, or when no program can read the repository.
  */
-export declare function createLLMOrchestrator({ provider, autoApprove, systemPrompts, workspace, maxSteps, compactAt, commands, formatter, summarizeUndone, logger, onTranscript, removeWorktree, }?: CreateLLMOrchestratorOptions): Promise<Agent>;
+export declare function createLLMOrchestrator({ provider, autoApprove, systemPrompts, workspace, maxSteps, compactAt, compaction: compactionMode, commands, formatter, summarizeUndone, logger, onTranscript, removeWorktree, agents, }?: CreateLLMOrchestratorOptions): Promise<Agent>;
 export {};

package/dist/factory/infrastructure/agentLLMFactory.js

@@ -1,5 +1,7 @@
 import { resolve } from 'node:path';
+import { recentKeptSteps } from '#src/engines/domain/model/compactor';
 import { LLMAgent } from '#src/engines/domain/model/llmAgent';
+import { JevContextTriage } from '#src/llm/infrastructure/jevContextTriage';
 import { ClaudeLLMClient, claudeLLMModels, claudeLLMReasoningEfforts, } from '#src/llm/infrastructure/claudeLLMClient';
 import { OpenAILLMClient, openAIModels, openAIReasoningEfforts, } from '#src/llm/infrastructure/openAILLMClient';
 import { executorInstructions, executorInstructionsWithoutCommands, OrchestratorAgent, plannerInstructions, reviewerInstructions, reviewerInstructionsWithoutCommands, } from '#src/orchestration/domain/model/orchestratorAgent';
@@ -36,13 +38,14 @@ export function isLLMModelOf(provider, value) {
 export function isLLMReasoningEffortOf(provider, value) {
     return isOneOf(llmReasoningEfforts[provider], value);
 }
+const compactionModes = ['provider', 'recent', 'jev'];
 // The executor reads, edits and checks, so it needs more calls than the roles that only read.
 const defaultRoleSteps = {
     planner: 65,
     executor: 80,
     reviewer: 65,
 };
-// No role compacts unless asked to.
+// Each role compacts at its model's threshold unless told otherwise.
 const defaultRoleCompaction = {
     planner: undefined,
     executor: undefined,
@@ -76,24 +79,68 @@ const defaultLLMAgentModels = {
     anthropic: 'sonnet',
     openai: 'gpt-5.6-luna',
 };
+// The tokens of context at which each model compacts by default, the small ones sooner. The
+// margins are wide on purpose: compacting at 64k cleared file reads the executor then read again.
+const compactionThresholds = {
+    opus: 450_000,
+    fable: 450_000,
+    sonnet: 450_000,
+    haiku: 125_000,
+    'gpt-6-astra': 450_000,
+    'gpt-5.6-sol': 450_000,
+    'gpt-5.6-terra': 450_000,
+    'gpt-5.6-luna': 125_000,
+};
+/**
+ * The compactor `mode` names for an agent on `model`: at `compactAt`, at the model's threshold
+ * without it, or off with `false`, when only a context that no longer fits is compacted.
+ *
+ * @throws {InvalidAgentConfigError} for a mode that does not exist, from untyped input.
+ */
+function compactorFor(model, compactAt, mode = 'provider') {
+    // Checked whatever it is, as untyped input can hold anything here.
+    if (typeof mode !== 'string' || !isOneOf(compactionModes, mode)) {
+        throw new InvalidAgentConfigError(`compaction must be one of: ${compactionModes.join(', ')}; got ${String(mode)}`);
+    }
+    // A model with no threshold was already refused by its client.
+    const at = compactAt === false
+        ? undefined
+        : (compactAt ?? compactionThresholds[model]);
+    switch (mode) {
+        case 'provider':
+            return { by: 'provider', at };
+        case 'recent':
+            return { by: 'harness', at, keptSteps: recentKeptSteps };
+        case 'jev':
+            return { by: 'harness', at, keptSteps: recentKeptSteps, triage: new JevContextTriage() };
+    }
+}
+function defaultModelOf(provider) {
+    switch (provider) {
+        case 'anthropic':
+        case 'openai':
+            return defaultLLMAgentModels[provider];
+        default:
+            // Reachable from untyped input.
+            throw unknownProvider(provider);
+    }
+}
 function unknownProvider(provider) {
     return new InvalidAgentConfigError(`"${String(provider)}" is not an agent provider; expected one of: ${agentProviders.join(', ')}`);
 }
-function llmClientFor(provider, { model, reasoningEffort, compactAt, systemPrompt, logger, }) {
+function llmClientFor(provider, { model, reasoningEffort, systemPrompt, logger, }) {
     switch (provider) {
         case 'anthropic':
             return new ClaudeLLMClient({
-                model: model ?? defaultLLMAgentModels.anthropic,
+                model,
                 reasoningEffort,
-                compactAt,
                 systemPrompt,
                 logger,
             });
         case 'openai':
             return new OpenAILLMClient({
-                model: model ?? defaultLLMAgentModels.openai,
+                model,
                 reasoningEffort,
-                compactAt,
                 systemPrompt,
                 logger,
             });
@@ -159,11 +206,11 @@ function withGuidance(systemPrompt, guidance) {
     return guidance === '' ? systemPrompt : `${systemPrompt}\n\n${guidance}`;
 }
 /** An `LLMAgent` on `provider`, wrapped in the harness's retry policy. */
-function buildLLMAgent(provider, { model, reasoningEffort, systemPrompt, tools, history, summarizer, maxSteps, compactAt, autoApprove, logger, onTranscript, }) {
+function buildLLMAgent(provider, { model, reasoningEffort, systemPrompt, tools, history, summarizer, maxSteps, compactAt, compaction, autoApprove, logger, onTranscript, writeRoots, }) {
+    const chosen = model ?? defaultModelOf(provider);
     const llmClient = llmClientFor(provider, {
-        model,
+        model: chosen,
         reasoningEffort,
-        compactAt,
         systemPrompt,
         logger,
     });
@@ -178,6 +225,8 @@ function buildLLMAgent(provider, { model, reasoningEffort, systemPrompt, tools,
             ...(summarizer ? { summarizer } : {}),
             ...(maxSteps === undefined ? {} : { maxSteps }),
             ...(onTranscript ? { onTranscript } : {}),
+            ...(writeRoots ? { writeRoots } : {}),
+            compactor: compactorFor(chosen, compactAt, compaction),
         }),
         logger,
         noteFailures: false,
@@ -195,7 +244,7 @@ function buildLLMAgent(provider, { model, reasoningEffort, systemPrompt, tools,
  * `OPENAI_API_KEY` is missing. The Anthropic SDK resolves credentials lazily, so a missing
  * `ANTHROPIC_API_KEY` fails the first run instead, with an `UnrecoverableError`.
  */
-export function createLLMAgent(provider, { model, reasoningEffort, systemPrompt, tools = [], workspace, summarizeUndone = true, maxSteps, compactAt, autoApprove, logger = new Logger(), onTranscript, }) {
+export function createLLMAgent(provider, { model, reasoningEffort, systemPrompt, tools = [], workspace, summarizeUndone = true, maxSteps, compactAt, compaction, autoApprove, logger = new Logger(), onTranscript, }) {
     // Told where to work with nothing to work with, the model would only pretend: it writes its
     // tool calls as text, and the run returns them as its answer.
     if (workspace && tools.length === 0) {
@@ -213,11 +262,17 @@ export function createLLMAgent(provider, { model, reasoningEffort, systemPrompt,
         ...(workspace && summarizeUndone ? { summarizer: summarizerFor(provider, logger) } : {}),
         maxSteps,
         compactAt,
+        compaction,
         autoApprove,
         logger,
         onTranscript,
+        // An agent it delegates to writes only where its workspace lets it.
+        ...(workspace ? { writeRoots: writeRootsOf(workspace.roots) } : {}),
     });
 }
+function writeRootsOf(roots) {
+    return roots.filter(({ access }) => access === 'write').map(({ path }) => path);
+}
 /**
  * The file tools for an agent from `createLLMAgent` on `provider`, over `workspace`, in the
  * provider's own format:
@@ -285,6 +340,32 @@ async function removeWorktreeToolFor({ base, roots, stateDirectory, }) {
     });
     return createRemoveWorktreeTool({ base, roots, stateDirectory });
 }
+/**
+ * Each role's agents from `agentAsTool`, as the harness's tools.
+ *
+ * @throws {InvalidAgentConfigError} for a role that does not exist, or a role's agents that are
+ * not a list.
+ */
+function roleAgents(agents) {
+    // Untyped input, such as the CLI's configuration file, can hold anything here.
+    if (typeof agents !== 'object' || agents === null || Array.isArray(agents)) {
+        throw new InvalidAgentConfigError('agents must be an object of agentAsTool tools per role, such as { executor: [committer] }');
+    }
+    const byRole = { planner: [], executor: [], reviewer: [] };
+    for (const [role, tools] of Object.entries(agents)) {
+        if (!Object.hasOwn(byRole, role)) {
+            throw new InvalidAgentConfigError(`agents names "${role}", which is not a role; expected one of: ${Object.keys(byRole).join(', ')}`);
+        }
+        if (tools === undefined)
+            continue;
+        if (!Array.isArray(tools)) {
+            throw new InvalidAgentConfigError(`agents.${role} must be a list of agentAsTool tools`);
+        }
+        // A delegation tool is a harness tool under its public name.
+        byRole[role] = tools;
+    }
+    return byRole;
+}
 /** What an explorer finds and reads with: no edits, no changes, no commands. */
 function explorerTools({ read, policy }) {
     const finding = createWorkspaceTools(read).filter(tool => tool.name !== 'readFile' && tool.name !== 'readFiles');
@@ -355,22 +436,30 @@ const repositoryGuidance = {
  * @throws {UnrecoverableError} when a role cannot be set up, for example because
  * `OPENAI_API_KEY` is missing, or when no program can read the repository.
  */
-export async function createLLMOrchestrator({ provider, autoApprove, systemPrompts = {}, workspace = { roots: [{ path: process.cwd(), access: 'read' }] }, maxSteps, compactAt, commands, formatter, summarizeUndone = true, logger = new Logger(), onTranscript, removeWorktree = false, } = {}) {
+export async function createLLMOrchestrator({ provider, autoApprove, systemPrompts = {}, workspace = { roots: [{ path: process.cwd(), access: 'read' }] }, maxSteps, compactAt, compaction: compactionMode, commands, formatter, summarizeUndone = true, logger = new Logger(), onTranscript, removeWorktree = false, agents = {}, } = {}) {
     const roles = orchestratorRolesFor(provider);
+    const agentsOf = roleAgents(agents);
     const steps = perRole('maxSteps', maxSteps, defaultRoleSteps, {
         unit: 'steps',
         example: '{ "executor": 120 }',
     });
-    const compaction = perRole('compactAt', compactAt, defaultRoleCompaction, {
-        unit: 'tokens',
-        example: '{ "executor": 200000 }',
-    });
+    const compaction = compactAt === false
+        ? { planner: false, executor: false, reviewer: false }
+        : perRole('compactAt', compactAt, defaultRoleCompaction, {
+            unit: 'tokens',
+            example: '{ "executor": 200000 }',
+        });
     if (formatter !== undefined)
         validateFormatter(formatter);
     const opened = await openWorkspace(workspace, logger, formatter ? { formatter } : {});
     const guidance = workspaceGuidance(workspace.roots);
     const summarizer = summarizeUndone ? summarizerFor(roles.planner.provider, logger) : undefined;
-    const shared = { history: opened.store, ...(summarizer ? { summarizer } : {}), logger };
+    const shared = {
+        history: opened.store,
+        ...(summarizer ? { summarizer } : {}),
+        compaction: compactionMode,
+        logger,
+    };
     // A caller's own prompt replaces our instructions and guidance, not the workspace: the model
     // needs the roots to name a file, as `createLLMAgent` gives them.
     const prompt = (role, own, instructions) => own === undefined
@@ -388,6 +477,7 @@ export async function createLLMOrchestrator({ provider, autoApprove, systemPromp
         systemPrompt: withGuidance(explorerInstructions, guidance),
         tools: explorerToolset,
         maxSteps: explorerSteps,
+        compaction: compactionMode,
         logger,
         onTranscript: transcriptsOf('explorer'),
     });
@@ -395,10 +485,15 @@ export async function createLLMOrchestrator({ provider, autoApprove, systemPromp
         model,
         reasoningEffort,
         systemPrompt,
-        tools: await readingTools(opened, role, commands, explorer(provider)),
+        tools: [
+            ...(await readingTools(opened, role, commands, explorer(provider))),
+            ...agentsOf[role],
+        ],
         maxSteps: steps[role],
         compactAt: compaction[role],
         onTranscript: transcriptsOf(role),
+        // It only reads, so the agents it calls only read too.
+        writeRoots: [],
         ...shared,
     });
     const { executor } = roles;
@@ -412,11 +507,12 @@ export async function createLLMOrchestrator({ provider, autoApprove, systemPromp
             model: executor.model,
             reasoningEffort: executor.reasoningEffort,
             systemPrompt: prompt('executor', systemPrompts.executor, executorRuns ? executorInstructions : executorInstructionsWithoutCommands),
-            tools: executorToolset,
+            tools: [...executorToolset, ...agentsOf.executor],
             maxSteps: steps.executor,
             compactAt: compaction.executor,
             autoApprove,
             onTranscript: transcriptsOf('executor'),
+            writeRoots: writeRootsOf(workspace.roots),
             ...shared,
         }),
         reviewerAgent: await reader(roles.reviewer, 'reviewer', prompt('reviewer', systemPrompts.reviewer, executorRuns ? reviewerInstructions : reviewerInstructionsWithoutCommands)),