koneck 2.67.0 → 2.69.0

package/dist/cycle.d.ts

@@ -0,0 +1,107 @@
+/**
+ * Going round in circles, as opposed to repeating one call.
+ *
+ * The identical-command guard catches "the same thing twelve times". It does not catch the shape
+ * that cost 20.9 million tokens: kill the server, start the server, wait and read the log, curl the
+ * endpoint, read the log, kill the server — sixty-four times round, every individual call
+ * reasonable, none repeated back to back, and `lsof` and a one-off `node -e` probe spliced in at
+ * irregular intervals so there is no fixed period to match.
+ *
+ * ## What the data actually supports
+ *
+ * This was calibrated against the real sessions on the machine, not chosen. For each, the fewest
+ * distinct actions found in any window containing no file writes:
+ *
+ *     session                          W=12   W=20   W=30
+ *     finished properly (89 calls)        5      8     11
+ *     the runaway (290 calls)             1      5      8
+ *     a second loop (49 calls)            2      2     10
+ *     a third loop (20 calls)             1      7      –
+ *
+ * The honest reading is that the separation is thin. A long session that finished properly is
+ * genuinely repetitive — its worst twelve-call window held five distinct actions and seven repeats,
+ * which is *more* repetitive than the runaway's cycle phase, where six distinct actions accounted
+ * for twelve calls. No window size separates them cleanly, and the entire legitimate sample is one
+ * session.
+ *
+ * ## So this warns and never stops
+ *
+ * A signal this thin can identify something worth mentioning. It cannot justify ending somebody's
+ * work: the cost of being wrong is a run killed mid-task, and one legitimate session is not evidence
+ * enough to risk that. The identical-command guard stops runs because its evidence is unambiguous —
+ * the same command, unchanged, with nothing altered between. This one talks.
+ *
+ * Two conditions, both required. No file may have been written in the window, because iterating on a
+ * file is repetitive by nature and is the most valuable thing an agent does. And the window is
+ * twenty calls rather than twelve, where the numbers above leave a real gap: five and two for the
+ * loops against eight for the run that finished.
+ */
+/** One tool call, as much of it as this needs. */
+export interface Called {
+    name: string;
+    /** The one-line detail: a path, a command, a url. */
+    detail: string;
+    /** Files this call changed, when that is known. Empty or absent means it changed nothing. */
+    changed?: readonly string[] | undefined;
+}
+/**
+ * How many recent calls are considered.
+ *
+ * Twenty, from the table above: at twelve the loops and the legitimate run overlap, and at thirty
+ * the legitimate run's own figure falls to eleven while a known loop sits at ten.
+ */
+export declare const WINDOW = 20;
+/**
+ * How few distinct actions count as circling.
+ *
+ * Six. The loops measured five and two; the session that finished measured eight. Six leaves a
+ * margin on both sides of a boundary drawn from one legitimate sample, which is the most that sample
+ * can honestly carry.
+ */
+export declare const CHURN_DISTINCT = 6;
+/**
+ * A signature: the tool and what it was pointed at, tidied and nothing more.
+ *
+ * The first version stripped digits and long hex runs, reasoning that the same loop reappears with a
+ * different port, a fresh pid or a regenerated key. Two things settled that.
+ *
+ * It caught a false positive immediately: `grep pattern-1` through `grep pattern-8` collapsed into
+ * one action, so reading or searching eight numbered things — which is progress — read as a cycle of
+ * one. And it bought nothing. Measured across the real sessions, the fewest distinct actions in a
+ * no-write window came out identical with the stripping and without it: 8 for the run that finished,
+ * 5 and 7 and 2 for the loops. The variation it was written for does not appear in any session on
+ * the machine, while the harm it caused appeared in the first test.
+ *
+ * So it does what the evidence supports and stops. If a loop that varies a token every round turns
+ * up later, it can be handled then, with that loop to look at.
+ */
+export declare function signatureOf(call: Called): string;
+export interface Churn {
+    /** How many distinct actions accounted for the window. */
+    distinct: number;
+    /** How many calls were second-or-later occurrences of something already in the window. */
+    repeats: number;
+    /** The actions themselves, most-repeated first, for saying what is being circled. */
+    actions: Array<{
+        what: string;
+        times: number;
+    }>;
+}
+/**
+ * Whether the last stretch of calls is circling, or null when it is not.
+ *
+ * Null while there is not yet a full window: a judgement about whether somebody is going in circles
+ * cannot be made from four calls, and guessing early is how a guard becomes something people learn
+ * to ignore.
+ */
+export declare function findChurn(history: readonly Called[], window?: number, maxDistinct?: number): Churn | null;
+/**
+ * What to tell the model, naming what it is circling.
+ *
+ * The actions are quoted because a model that has lost its place is usually corrected by seeing the
+ * list: "you have been doing these four things" is actionable in a way that "you appear to be
+ * looping" is not. And it says what to do instead, because a complaint without an alternative is
+ * just a complaint.
+ */
+export declare function describeChurn(churn: Churn, window?: number): string;
+//# sourceMappingURL=cycle.d.ts.map

package/dist/cycle.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle.d.ts","sourceRoot":"","sources":["../src/cycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,kDAAkD;AAClD,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,qDAAqD;IACrD,MAAM,EAAE,MAAM,CAAC;IACf,6FAA6F;IAC7F,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;CACzC;AAED;;;;;GAKG;AACH,eAAO,MAAM,MAAM,KAAK,CAAC;AAEzB;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,IAAI,CAAC;AAOhC;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMhD;AAED,MAAM,WAAW,KAAK;IACpB,0DAA0D;IAC1D,QAAQ,EAAE,MAAM,CAAC;IACjB,0FAA0F;IAC1F,OAAO,EAAE,MAAM,CAAC;IAChB,qFAAqF;IACrF,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACjD;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CACvB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,MAAM,SAAS,EACf,WAAW,SAAiB,GAC3B,KAAK,GAAG,IAAI,CA4Bd;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,GAAG,MAAM,CAUnE"}

package/dist/cycle.js

@@ -0,0 +1,136 @@
+/**
+ * Going round in circles, as opposed to repeating one call.
+ *
+ * The identical-command guard catches "the same thing twelve times". It does not catch the shape
+ * that cost 20.9 million tokens: kill the server, start the server, wait and read the log, curl the
+ * endpoint, read the log, kill the server — sixty-four times round, every individual call
+ * reasonable, none repeated back to back, and `lsof` and a one-off `node -e` probe spliced in at
+ * irregular intervals so there is no fixed period to match.
+ *
+ * ## What the data actually supports
+ *
+ * This was calibrated against the real sessions on the machine, not chosen. For each, the fewest
+ * distinct actions found in any window containing no file writes:
+ *
+ *     session                          W=12   W=20   W=30
+ *     finished properly (89 calls)        5      8     11
+ *     the runaway (290 calls)             1      5      8
+ *     a second loop (49 calls)            2      2     10
+ *     a third loop (20 calls)             1      7      –
+ *
+ * The honest reading is that the separation is thin. A long session that finished properly is
+ * genuinely repetitive — its worst twelve-call window held five distinct actions and seven repeats,
+ * which is *more* repetitive than the runaway's cycle phase, where six distinct actions accounted
+ * for twelve calls. No window size separates them cleanly, and the entire legitimate sample is one
+ * session.
+ *
+ * ## So this warns and never stops
+ *
+ * A signal this thin can identify something worth mentioning. It cannot justify ending somebody's
+ * work: the cost of being wrong is a run killed mid-task, and one legitimate session is not evidence
+ * enough to risk that. The identical-command guard stops runs because its evidence is unambiguous —
+ * the same command, unchanged, with nothing altered between. This one talks.
+ *
+ * Two conditions, both required. No file may have been written in the window, because iterating on a
+ * file is repetitive by nature and is the most valuable thing an agent does. And the window is
+ * twenty calls rather than twelve, where the numbers above leave a real gap: five and two for the
+ * loops against eight for the run that finished.
+ */
+/**
+ * How many recent calls are considered.
+ *
+ * Twenty, from the table above: at twelve the loops and the legitimate run overlap, and at thirty
+ * the legitimate run's own figure falls to eleven while a known loop sits at ten.
+ */
+export const WINDOW = 20;
+/**
+ * How few distinct actions count as circling.
+ *
+ * Six. The loops measured five and two; the session that finished measured eight. Six leaves a
+ * margin on both sides of a boundary drawn from one legitimate sample, which is the most that sample
+ * can honestly carry.
+ */
+export const CHURN_DISTINCT = 6;
+/** Tools that change files. A window containing one of these is progress, whatever its shape. */
+const WRITES = new Set([
+    'write_file', 'search_replace', 'apply_diff', 'delete_file', 'move_file',
+]);
+/**
+ * A signature: the tool and what it was pointed at, tidied and nothing more.
+ *
+ * The first version stripped digits and long hex runs, reasoning that the same loop reappears with a
+ * different port, a fresh pid or a regenerated key. Two things settled that.
+ *
+ * It caught a false positive immediately: `grep pattern-1` through `grep pattern-8` collapsed into
+ * one action, so reading or searching eight numbered things — which is progress — read as a cycle of
+ * one. And it bought nothing. Measured across the real sessions, the fewest distinct actions in a
+ * no-write window came out identical with the stripping and without it: 8 for the run that finished,
+ * 5 and 7 and 2 for the loops. The variation it was written for does not appear in any session on
+ * the machine, while the harm it caused appeared in the first test.
+ *
+ * So it does what the evidence supports and stops. If a loop that varies a token every round turns
+ * up later, it can be handled then, with that loop to look at.
+ */
+export function signatureOf(call) {
+    const detail = String(call.detail ?? '')
+        .replace(/\s+/g, ' ')
+        .trim()
+        .slice(0, 80);
+    return `${call.name}::${detail}`;
+}
+/**
+ * Whether the last stretch of calls is circling, or null when it is not.
+ *
+ * Null while there is not yet a full window: a judgement about whether somebody is going in circles
+ * cannot be made from four calls, and guessing early is how a guard becomes something people learn
+ * to ignore.
+ */
+export function findChurn(history, window = WINDOW, maxDistinct = CHURN_DISTINCT) {
+    if (history.length < window)
+        return null;
+    const recent = history.slice(-window);
+    /*
+     * Anything written is progress, whatever shape the calls make.
+     *
+     * This is the condition that makes the thin signal safe to act on at all: write, test, write, test
+     * is the most repetitive thing an agent does and the most valuable, and it is exempt by
+     * construction rather than by a threshold that might or might not hold.
+     */
+    if (recent.some(call => WRITES.has(call.name) || (call.changed?.length ?? 0) > 0))
+        return null;
+    const counts = new Map();
+    for (const call of recent) {
+        const sig = signatureOf(call);
+        counts.set(sig, (counts.get(sig) ?? 0) + 1);
+    }
+    if (counts.size > maxDistinct)
+        return null;
+    const actions = [...counts.entries()]
+        .map(([what, times]) => ({ what, times }))
+        .sort((a, b) => b.times - a.times || a.what.localeCompare(b.what));
+    return {
+        distinct: counts.size,
+        repeats: window - counts.size,
+        actions,
+    };
+}
+/**
+ * What to tell the model, naming what it is circling.
+ *
+ * The actions are quoted because a model that has lost its place is usually corrected by seeing the
+ * list: "you have been doing these four things" is actionable in a way that "you appear to be
+ * looping" is not. And it says what to do instead, because a complaint without an alternative is
+ * just a complaint.
+ */
+export function describeChurn(churn, window = WINDOW) {
+    // All of them, not the top few: there are at most six by definition, and the one left off the end
+    // of a truncated list was the one that made the cycle recognisable.
+    const listed = churn.actions
+        .map(action => `${action.what.replace('::', ' ')} (${action.times}×)`)
+        .join('; ');
+    return `Your last ${window} tool calls were ${churn.distinct} distinct actions repeated, and `
+        + `nothing has been written to disk in that time: ${listed}. Restarting something and checking `
+        + `it again is not progress. Use what the last attempt told you, try a different approach, or `
+        + `say plainly what is blocking you — the answer is not going to arrive on the next round.`;
+}
+//# sourceMappingURL=cycle.js.map

package/dist/cycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle.js","sourceRoot":"","sources":["../src/cycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAWH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,EAAE,CAAC;AAEzB;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC;AAEhC,iGAAiG;AACjG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC;IACrB,YAAY,EAAE,gBAAgB,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW;CACzE,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC;SACrC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,IAAI,EAAE;SACN,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChB,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;AACnC,CAAC;AAWD;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CACvB,OAA0B,EAC1B,MAAM,GAAG,MAAM,EACf,WAAW,GAAG,cAAc;IAE5B,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;IAEtC;;;;;;OAMG;IACH,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAE/F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,GAAG,WAAW;QAAE,OAAO,IAAI,CAAC;IAE3C,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SAClC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;SACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACrE,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,IAAI;QACrB,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,IAAI;QAC7B,OAAO;KACR,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,KAAY,EAAE,MAAM,GAAG,MAAM;IACzD,kGAAkG;IAClG,oEAAoE;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO;SACzB,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,MAAM,CAAC,KAAK,IAAI,CAAC;SACrE,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,aAAa,MAAM,oBAAoB,KAAK,CAAC,QAAQ,kCAAkC;UAC1F,kDAAkD,MAAM,sCAAsC;UAC9F,6FAA6F;UAC7F,yFAAyF,CAAC;AAChG,CAAC"}

package/dist/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,QAAQ,CAAC;AAc5B,OAAO,EAA0C,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AAmB9E,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAMvD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAWtC,OAAO,EAA2B,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,EAIL,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAWlB,OAAO,EAAE,kBAAkB,EAAuD,MAAM,iBAAiB,CAAC;AAI1G,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,OAAO,EACP,WAAW,EAEX,UAAU,EAKX,MAAM,YAAY,CAAC;AAIpB;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;AAC7C;;;;GAIG;AACH,KAAK,GAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAO,GACtD,MAAM,CAmFR;AAED,qGAAqG;AACrG,MAAM,WAAW,aAAa;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAEpF;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE;IAAE,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GACxG,IAAI,CAQN;AAsBD;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAyC9D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,eAAc,GAAG,MAAM,CAuBxF;AAED;;;;;;;GAOG;AACH;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGzD;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAI5D;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAG/D;AAsED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAkB7D;AAMD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,GAAG,OAAO,CAExF;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAcvD;AAID,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAQvD;AAID;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,SAAK,GAAG,MAAM,CAOrE;AAiDD,kEAAkE;AAClE,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,SAAM,GAAG,MAAM,CAG/D;AAED,uEAAuE;AACvE,eAAO,MAAM,gBAAgB,OAAQ,CAAC;AAEtC,6FAA6F;AAC7F,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,WAAW,CAAC,aAAa,CAAC,GAAG,MAAM,CAStF;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,SAAmB,GAAG,MAAM,CAK/E;AAyID;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,GAAG,EAAE,OAAO,CAAC;IACb,gDAAgD;IAChD,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,SAAS,EAAE,gBAAgB,GAC1B,MAAM,EAAE,CAMV;AAED,wBAAgB,eAAe,CAAC,GAAG,GAAE,MAAM,CAAC,UAAwB,GAAG,OAAO,CAE7E;AA+DD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAG7E;AAQD;;;;GAIG;AACH,wBAAsB,YAAY,CAAC,CAAC,EAAE,CAAC,EACrC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,GACzC,OAAO,CAAC,CAAC,EAAE,CAAC,CAad;AAkJD;;;;;GAKG;AACH;;;;;;;GAOG;AACH,0FAA0F;AAC1F,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAM1E;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,CAGlE;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,MAAM,CAevD;AAGD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CASpE;AAGD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,OAAO,EACpB,QAAQ,CAAC,EAAE,MAAM,GAChB,MAAM,CAiDR;AAED,wBAAsB,YAAY,CAChC,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,WAAW,EACnB,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,cAAc,EAAE,EAC5B,OAAO,EAAE,WAAW,EAAE,EAEtB,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,kBAAkB,EAAE,EAC7C,UAAU,SAAI,EACd,WAAW,CAAC,EAAE,WAAW,EACzB,UAAU,CAAC,EAAE,kBAAkB;AAC/B;;;;;;GAMG;AACH,OAAO,GAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAA4B;AACpD,2FAA2F;AAC3F,UAAU,CAAC,EAAE,UAAU;AACvB,4FAA4F;AAC5F,eAAe,GAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAmB,GACpD,OAAO,CAAC,OAAO,CAAC,CAqjDlB;AAID,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,kEAAkE;IAClE,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,8FAA8F;IAC9F,QAAQ,CAAC,UAAU,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,SAAS;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,WAAW,CAAC,EAAE,MAAM,CAAA;SAAE,EAAE,CAAA;KAAE,EAAE,CAAC;IAC3G,6FAA6F;IAC7F,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/F;;;;;;OAMG;IACH,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;CAC3B;AAGD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAarE;AAED,wBAAsB,kBAAkB,CACtC,MAAM,EAAE,WAAW,EACnB,eAAe,CAAC,EAAE,OAAO,EAAE;AAC3B;;;;;;;GAOG;AACH,YAAY,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC;AAClC,iGAAiG;AACjG,WAAW,CAAC,EAAE,IAAI,GACjB,OAAO,CAAC,YAAY,CAAC,CAwRvB;AAwBD;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,sFAAsF;IACtF,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAGD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAExD;AAED,wBAAsB,QAAQ,CAC5B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,WAAW,EACnB,eAAe,CAAC,EAAE,OAAO,EAAE,EAC3B,MAAM,CAAC,EAAE,YAAY,GACpB,OAAO,CAAC,YAAY,CAAC,CAwKvB"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,QAAQ,CAAC;AAc5B,OAAO,EAA0C,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AAoB9E,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAMvD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAWtC,OAAO,EAA2B,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,EAIL,KAAK,cAAc,EACpB,MAAM,UAAU,CAAC;AAWlB,OAAO,EAAE,kBAAkB,EAAuD,MAAM,iBAAiB,CAAC;AAI1G,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,OAAO,EACP,WAAW,EAEX,UAAU,EAKX,MAAM,YAAY,CAAC;AAIpB;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;AAC7C;;;;GAIG;AACH,KAAK,GAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAO,GACtD,MAAM,CAmFR;AAED,qGAAqG;AACrG,MAAM,WAAW,aAAa;IAAG,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAEpF;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,aAAa,EACvB,KAAK,EAAE;IAAE,aAAa,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,GACxG,IAAI,CAQN;AAsBD;;;;;;;;GAQG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAyC9D;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,eAAc,GAAG,MAAM,CAuBxF;AAED;;;;;;;GAOG;AACH;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGzD;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAI5D;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAG/D;AAsED;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAkB7D;AAMD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,GAAG,OAAO,CAExF;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAcvD;AAID,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAQvD;AAID;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,SAAK,GAAG,MAAM,CAOrE;AAiDD,kEAAkE;AAClE,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,SAAM,GAAG,MAAM,CAG/D;AAED,uEAAuE;AACvE,eAAO,MAAM,gBAAgB,OAAQ,CAAC;AAEtC,6FAA6F;AAC7F,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,WAAW,CAAC,aAAa,CAAC,GAAG,MAAM,CAStF;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,SAAmB,GAAG,MAAM,CAK/E;AAyID;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,GAAG,EAAE,OAAO,CAAC;IACb,gDAAgD;IAChD,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,SAAS,EAAE,gBAAgB,GAC1B,MAAM,EAAE,CAMV;AAED,wBAAgB,eAAe,CAAC,GAAG,GAAE,MAAM,CAAC,UAAwB,GAAG,OAAO,CAE7E;AA+DD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAG7E;AAQD;;;;GAIG;AACH,wBAAsB,YAAY,CAAC,CAAC,EAAE,CAAC,EACrC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,GACzC,OAAO,CAAC,CAAC,EAAE,CAAC,CAad;AAkJD;;;;;GAKG;AACH;;;;;;;GAOG;AACH,0FAA0F;AAC1F,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAM1E;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,CAGlE;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,MAAM,CAevD;AAGD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CASpE;AAGD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,OAAO,EACpB,QAAQ,CAAC,EAAE,MAAM,GAChB,MAAM,CAiDR;AAED,wBAAsB,YAAY,CAChC,QAAQ,EAAE,OAAO,EAAE,EACnB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,WAAW,EACnB,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,cAAc,EAAE,EAC5B,OAAO,EAAE,WAAW,EAAE,EAEtB,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,kBAAkB,EAAE,EAC7C,UAAU,SAAI,EACd,WAAW,CAAC,EAAE,WAAW,EACzB,UAAU,CAAC,EAAE,kBAAkB;AAC/B;;;;;;GAMG;AACH,OAAO,GAAE;IAAE,OAAO,EAAE,IAAI,CAAA;CAA4B;AACpD,2FAA2F;AAC3F,UAAU,CAAC,EAAE,UAAU;AACvB,4FAA4F;AAC5F,eAAe,GAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAmB,GACpD,OAAO,CAAC,OAAO,CAAC,CAmnDlB;AAID,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,0DAA0D;IAC1D,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,kEAAkE;IAClE,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,8FAA8F;IAC9F,QAAQ,CAAC,UAAU,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,SAAS;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,WAAW,CAAC,EAAE,MAAM,CAAA;SAAE,EAAE,CAAA;KAAE,EAAE,CAAC;IAC3G,6FAA6F;IAC7F,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/F;;;;;;OAMG;IACH,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;CAC3B;AAGD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAarE;AAED,wBAAsB,kBAAkB,CACtC,MAAM,EAAE,WAAW,EACnB,eAAe,CAAC,EAAE,OAAO,EAAE;AAC3B;;;;;;;GAOG;AACH,YAAY,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC;AAClC,iGAAiG;AACjG,WAAW,CAAC,EAAE,IAAI,GACjB,OAAO,CAAC,YAAY,CAAC,CAwRvB;AAwBD;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,uFAAuF;IACvF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,sFAAsF;IACtF,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAGD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAExD;AAED,wBAAsB,QAAQ,CAC5B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,WAAW,EACnB,eAAe,CAAC,EAAE,OAAO,EAAE,EAC3B,MAAM,CAAC,EAAE,YAAY,GACpB,OAAO,CAAC,YAAY,CAAC,CAwKvB"}

package/dist/engine.js

@@ -10,6 +10,7 @@ import { hasWorkspaceOwnedGitRepo, gitScope, createWorktree, mergeWorktree, pres
 import { resolveProvider, getApiKey, keyProvenance, servesLocally, servesOwnWeights, isPrivateHost } from './providers.js';
 import { wireEffort, looksLikeEffortUnsupported } from './pace.js';
 import { triggerFor, pickNext, describeSwitch, askSwitch, keyOf as failoverKey } from './failover.js';
+import { findChurn, describeChurn, WINDOW as CHURN_WINDOW } from './cycle.js';
 import { claim, release, describeClaims } from './claims.js';
 import { handoffFrom, describeHandoff, worthSaying } from './handoff.js';
 import { readAll as readLedger, relevant as relevantFindings, withStaleness, describeFindings, deriveFindings, record as recordFindings, changedSince, currentSha } from './ledger.js';
@@ -1026,6 +1027,16 @@ detectedContext = { current: 0 }) {
      * no files, which is exactly why running it sixty-four times is a loop.
      */
     const commandRuns = new Map();
+    /*
+     * A rolling record of what has been called, for noticing a cycle rather than a repeat.
+     *
+     * The identical-command guard catches "the same thing twelve times". It cannot catch kill, start,
+     * wait, curl, read, kill — sixty-four times round, no call repeated back to back. This holds
+     * enough history to see that shape, and nothing more: it is trimmed to the window it is read over.
+     */
+    const callHistory = [];
+    /** Whether the model has already been told it is circling, so it is said once and not per turn. */
+    let churnMentioned = false;
     /**
      * What each call returned, so a repeat can be answered rather than refused.
      *
@@ -1979,6 +1990,34 @@ detectedContext = { current: 0 }) {
                 tui.printWarning(`${config.model} repeated itself ${looping.count} times — cut short.`);
             config.onLooping?.(looping.count);
         }
+        /*
+         * Circling, as opposed to repeating: said once, and never used to end the run.
+         *
+         * Calibrated against the real sessions on this machine rather than chosen. In any window with no
+         * file writes, the fewest distinct actions were: five for a long session that finished properly,
+         * one and two for two known loops. The separation is thin — the finished session's worst
+         * twelve-call window was *more* repetitive than the runaway's cycle phase — and the entire
+         * legitimate sample is one session.
+         *
+         * A signal that thin can identify something worth mentioning. It cannot justify ending somebody's
+         * work, because the cost of being wrong is a run killed mid-task. So this talks and the
+         * identical-command guard stops, which is the right division: that one's evidence is
+         * unambiguous, and this one's is a judgement call made on four sessions.
+         */
+        if (!churnMentioned) {
+            const circling = findChurn(callHistory);
+            if (circling) {
+                churnMentioned = true;
+                const said = describeChurn(circling);
+                messages.push({ role: 'system', content: said });
+                trajectory?.add({ t: 'stop', at: Date.now(),
+                    reason: `noticed ${circling.distinct} actions repeated over ${CHURN_WINDOW} calls with `
+                        + `nothing written` });
+                config.onCircling?.(said, circling);
+                if (!silent)
+                    tui.printWarning(said);
+            }
+        }
         if (toolCalls.length === 0) {
             // A model may narrate its next step ("Now let me read X…") without attaching the
             // tool call, which used to end the run mid-investigation. When the text clearly
@@ -2145,6 +2184,18 @@ detectedContext = { current: 0 }) {
         });
         for (const tc of toolCalls) {
             const sig = tc.name + '::' + tc.arguments;
+            /*
+             * Recorded on attempt, not on execution.
+             *
+             * The first wiring pushed to this record after a call ran, so every call a guard suppressed
+             * was invisible to the cycle check — and the cycle check needs exactly those. Measured: a
+             * six-step cycle had eighteen calls executed out of thirty-seven attempted, so a window of
+             * twenty never filled and the check never ran once. What is being judged is what the model
+             * keeps trying, which is the thing it attempted.
+             */
+            callHistory.push({ name: tc.name, detail: toolDetailFor(tc.name, tc.arguments) });
+            while (callHistory.length > CHURN_WINDOW * 2)
+                callHistory.shift();
             /*
              * The same command, again, with nothing changed since.
              *
@@ -2555,6 +2606,18 @@ detectedContext = { current: 0 }) {
                 detail: toolDetailFor(effectiveName, tc.arguments),
                 resultChars: result.length,
             });
+            /*
+             * What this call changed, added to the record made when it was attempted.
+             *
+             * The change list is what makes the cycle check safe to act on: a window containing a write is
+             * progress whatever shape the calls make, so iterating on a file can never be mistaken for
+             * going round in circles.
+             */
+            if (changedByCommand && changedByCommand.length > 0) {
+                const last = callHistory[callHistory.length - 1];
+                if (last && last.name === effectiveName)
+                    last.changed = changedByCommand;
+            }
             resultsBySignature.set(sig, spilled.text.slice(0, 20_000));
             messages.push({ role: 'tool', tool_call_id: tc.id, content: spilled.text });
         }