@namzu/sdk 62.6.1 → 62.8.0

package/dist/runtime/query/turn/completion-audit.d.ts

@@ -5,11 +5,29 @@
  *
  * It blocks at most once per turn. After the one reminder the turn may end
  * however it likes, so the audit can never trap a run.
+ *
+ * The one reminder has four wordings. The original says nothing was run; when
+ * the turn's outcome record says more, the reminder says exactly that: a check
+ * ran with its exit status hidden, a check passed and files then changed, or a
+ * check failed. Which wording is used never changes how often the audit fires.
  */
+import type { TurnOutcome } from '../../../types/session/outcome.js';
+/** Tools that write to the project regardless of their input. */
+export declare const WRITING_TOOLS: ReadonlySet<string>;
 /** Whether a shell command is one that checks work. */
 export declare function isVerificationCommand(command: string): boolean;
 /** Said to the model once, when it tries to end a turn that changed files and checked nothing. */
 export declare const COMPLETION_AUDIT_MESSAGE = "Files were changed in this turn and nothing was run afterwards to check them. Before you finish: rerun the reproduction of the defect, if there was one; run the project's tests and its lint or format check; confirm the diff holds only what was asked; name any throwaway file you made. Then give your answer, stating what you ran and what you did not run. If a check cannot be run here, say which and why.";
+/** The longest command a reminder repeats back, in characters. */
+export declare const COMPLETION_AUDIT_MAX_COMMAND_CHARS = 120;
+/** The command as a reminder may show it: one line, printable, backticks dropped, at most 120 characters. */
+export declare function auditCommandText(command: string): string;
+/** The reminder for a check that ran with its exit status hidden (a pipe, `;`, `||`, a trailing `&`). */
+export declare function maskedCheckMessage(command: string): string;
+/** The reminder for a check that passed before files changed again. */
+export declare function staleCheckMessage(command: string | undefined): string;
+/** The reminder for a check whose latest run failed. */
+export declare function failingCheckMessage(command: string | undefined): string;
 /** A finished tool call as the audit sees it. */
 export interface AuditedCall {
     readonly toolName: string;
@@ -23,9 +41,17 @@ export declare class CompletionAudit {
     private blocked;
     /** Feed the calls of one finished step, in order. */
     observe(calls: readonly AuditedCall[]): void;
+    /**
+     * The reminder to give, or `undefined` when the turn may end. At most one per
+     * turn across every wording: asking records the block. Nothing is said for a
+     * turn that changed no file through a write tool. `outcome` is read only
+     * when the audit has something to say.
+     */
+    takeReminder(outcome?: () => TurnOutcome | undefined): string | undefined;
     /**
      * Whether the turn must be held back from ending. True at most once: asking
-     * records the block.
+     * records the block. This is `takeReminder()` without an outcome record, kept
+     * for callers that only need the yes or no.
      */
     takeBlock(): boolean;
 }

package/dist/runtime/query/turn/completion-audit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"completion-audit.d.ts","sourceRoot":"","sources":["../../../../src/runtime/query/turn/completion-audit.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAcH,uDAAuD;AACvD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAE9D;AAED,kGAAkG;AAClG,eAAO,MAAM,wBAAwB,yZACkX,CAAA;AAEvZ,iDAAiD;AACjD,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,gDAAgD;IAChD,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,qBAAa,eAAe;IAC3B,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,gBAAgB,CAAQ;IAChC,OAAO,CAAC,OAAO,CAAQ;IAEvB,qDAAqD;IACrD,OAAO,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,IAAI;IAiB5C;;;OAGG;IACH,SAAS,IAAI,OAAO;CAKpB"}
+{"version":3,"file":"completion-audit.d.ts","sourceRoot":"","sources":["../../../../src/runtime/query/turn/completion-audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAA;AAEpE,iEAAiE;AACjE,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,CAK5C,CAAA;AAWF,uDAAuD;AACvD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAE9D;AAED,kGAAkG;AAClG,eAAO,MAAM,wBAAwB,yZACkX,CAAA;AAEvZ,kEAAkE;AAClE,eAAO,MAAM,kCAAkC,MAAM,CAAA;AAErD,6GAA6G;AAC7G,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CASxD;AAKD,yGAAyG;AACzG,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,uEAAuE;AACvE,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAGrE;AAED,wDAAwD;AACxD,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAGvE;AAED,iDAAiD;AACjD,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,gDAAgD;IAChD,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,qBAAa,eAAe;IAC3B,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,gBAAgB,CAAQ;IAChC,OAAO,CAAC,OAAO,CAAQ;IAEvB,qDAAqD;IACrD,OAAO,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,IAAI;IAiB5C;;;;;OAKG;IACH,YAAY,CAAC,OAAO,CAAC,EAAE,MAAM,WAAW,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS;IAmBzE;;;;OAIG;IACH,SAAS,IAAI,OAAO;CAGpB"}

package/dist/runtime/query/turn/completion-audit.js

@@ -5,9 +5,19 @@
  *
  * It blocks at most once per turn. After the one reminder the turn may end
  * however it likes, so the audit can never trap a run.
+ *
+ * The one reminder has four wordings. The original says nothing was run; when
+ * the turn's outcome record says more, the reminder says exactly that: a check
+ * ran with its exit status hidden, a check passed and files then changed, or a
+ * check failed. Which wording is used never changes how often the audit fires.
  */
 /** Tools that write to the project regardless of their input. */
-const WRITING_TOOLS = new Set(['edit', 'write', 'apply_patch', 'notebook_edit']);
+export const WRITING_TOOLS = new Set([
+    'edit',
+    'write',
+    'apply_patch',
+    'notebook_edit',
+]);
 /**
  * A command that checks work: a project runner invoked with a test, lint,
  * typecheck, format-check or build target, or a checker invoked directly.
@@ -20,6 +30,35 @@ export function isVerificationCommand(command) {
 }
 /** Said to the model once, when it tries to end a turn that changed files and checked nothing. */
 export const COMPLETION_AUDIT_MESSAGE = "Files were changed in this turn and nothing was run afterwards to check them. Before you finish: rerun the reproduction of the defect, if there was one; run the project's tests and its lint or format check; confirm the diff holds only what was asked; name any throwaway file you made. Then give your answer, stating what you ran and what you did not run. If a check cannot be run here, say which and why.";
+/** The longest command a reminder repeats back, in characters. */
+export const COMPLETION_AUDIT_MAX_COMMAND_CHARS = 120;
+/** The command as a reminder may show it: one line, printable, backticks dropped, at most 120 characters. */
+export function auditCommandText(command) {
+    let plain = '';
+    for (const ch of command) {
+        const code = ch.charCodeAt(0);
+        plain += code < 0x20 || code === 0x7f || ch === '`' ? ' ' : ch;
+    }
+    const flat = plain.replace(/\s+/g, ' ').trim();
+    if (flat.length <= COMPLETION_AUDIT_MAX_COMMAND_CHARS)
+        return flat;
+    return `${flat.slice(0, COMPLETION_AUDIT_MAX_COMMAND_CHARS - 3)}...`;
+}
+const AUDIT_TAIL = 'Then give your answer, stating what you ran and what you did not run. If a check cannot be run here, say which and why.';
+/** The reminder for a check that ran with its exit status hidden (a pipe, `;`, `||`, a trailing `&`). */
+export function maskedCheckMessage(command) {
+    return `Files were changed in this turn, and a check run, \`${auditCommandText(command)}\`, had its exit status hidden, so it cannot be told whether it passed. Run it again on its own, without the pipe or anything else attached to it; its output is already trimmed to the head and tail. ${AUDIT_TAIL}`;
+}
+/** The reminder for a check that passed before files changed again. */
+export function staleCheckMessage(command) {
+    const named = command === undefined ? 'A check' : `\`${auditCommandText(command)}\``;
+    return `${named} passed in this turn, but files were changed after it, so it says nothing about the files as they are now. Run the checks again. ${AUDIT_TAIL}`;
+}
+/** The reminder for a check whose latest run failed. */
+export function failingCheckMessage(command) {
+    const named = command === undefined ? 'A check' : `\`${auditCommandText(command)}\``;
+    return `${named} failed in this turn and has not passed since. Fix what it reports, or say why it cannot pass, and run it again. ${AUDIT_TAIL}`;
+}
 export class CompletionAudit {
     edited = false;
     checkedSinceEdit = false;
@@ -42,15 +81,41 @@ export class CompletionAudit {
             }
         }
     }
+    /**
+     * The reminder to give, or `undefined` when the turn may end. At most one per
+     * turn across every wording: asking records the block. Nothing is said for a
+     * turn that changed no file through a write tool. `outcome` is read only
+     * when the audit has something to say.
+     */
+    takeReminder(outcome) {
+        if (this.blocked || !this.edited)
+            return undefined;
+        const record = outcome?.();
+        let message;
+        const failed = record?.checks.find((check) => check.result === 'failed');
+        const masked = record?.checks.find((check) => check.result === 'masked');
+        if (record?.verdict === 'failing' && failed)
+            message = failingCheckMessage(failed.command);
+        else if (record?.verdict === 'stale') {
+            message = staleCheckMessage([...record.checks].reverse().find((c) => c.result === 'passed')?.command);
+        }
+        else if (record?.verdict === 'inconclusive' && masked) {
+            message = maskedCheckMessage(masked.command);
+        }
+        else if (!this.checkedSinceEdit)
+            message = COMPLETION_AUDIT_MESSAGE;
+        if (message === undefined)
+            return undefined;
+        this.blocked = true;
+        return message;
+    }
     /**
      * Whether the turn must be held back from ending. True at most once: asking
-     * records the block.
+     * records the block. This is `takeReminder()` without an outcome record, kept
+     * for callers that only need the yes or no.
      */
     takeBlock() {
-        if (this.blocked || !this.edited || this.checkedSinceEdit)
-            return false;
-        this.blocked = true;
-        return true;
+        return this.takeReminder() !== undefined;
     }
 }
 //# sourceMappingURL=completion-audit.js.map

package/dist/runtime/query/turn/completion-audit.js.map

@@ -1 +1 @@
-{"version":3,"file":"completion-audit.js","sourceRoot":"","sources":["../../../../src/runtime/query/turn/completion-audit.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,iEAAiE;AACjE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC,CAAA;AAEhF;;;GAGG;AACH,MAAM,MAAM,GACX,4MAA4M,CAAA;AAC7M,MAAM,MAAM,GACX,0JAA0J,CAAA;AAE3J,uDAAuD;AACvD,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACpD,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;AACpD,CAAC;AAED,kGAAkG;AAClG,MAAM,CAAC,MAAM,wBAAwB,GACpC,sZAAsZ,CAAA;AAUvZ,MAAM,OAAO,eAAe;IACnB,MAAM,GAAG,KAAK,CAAA;IACd,gBAAgB,GAAG,KAAK,CAAA;IACxB,OAAO,GAAG,KAAK,CAAA;IAEvB,qDAAqD;IACrD,OAAO,CAAC,KAA6B;QACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,OAAO;gBAAE,SAAQ;YAC1B,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;gBAClB,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAA;gBAC7B,SAAQ;YACT,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC7C,MAAM,OAAO,GAAI,IAAI,CAAC,KAA2C,EAAE,OAAO,CAAA;gBAC1E,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnE,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;gBAC7B,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED;;;OAGG;IACH,SAAS;QACR,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,gBAAgB;YAAE,OAAO,KAAK,CAAA;QACvE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAA;QACnB,OAAO,IAAI,CAAA;IACZ,CAAC;CACD"}
+{"version":3,"file":"completion-audit.js","sourceRoot":"","sources":["../../../../src/runtime/query/turn/completion-audit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,iEAAiE;AACjE,MAAM,CAAC,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC;IACzD,MAAM;IACN,OAAO;IACP,aAAa;IACb,eAAe;CACf,CAAC,CAAA;AAEF;;;GAGG;AACH,MAAM,MAAM,GACX,4MAA4M,CAAA;AAC7M,MAAM,MAAM,GACX,0JAA0J,CAAA;AAE3J,uDAAuD;AACvD,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACpD,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;AACpD,CAAC;AAED,kGAAkG;AAClG,MAAM,CAAC,MAAM,wBAAwB,GACpC,sZAAsZ,CAAA;AAEvZ,kEAAkE;AAClE,MAAM,CAAC,MAAM,kCAAkC,GAAG,GAAG,CAAA;AAErD,6GAA6G;AAC7G,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC/C,IAAI,KAAK,GAAG,EAAE,CAAA;IACd,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QAC7B,KAAK,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;IAC/D,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;IAC9C,IAAI,IAAI,CAAC,MAAM,IAAI,kCAAkC;QAAE,OAAO,IAAI,CAAA;IAClE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,kCAAkC,GAAG,CAAC,CAAC,KAAK,CAAA;AACrE,CAAC;AAED,MAAM,UAAU,GACf,yHAAyH,CAAA;AAE1H,yGAAyG;AACzG,MAAM,UAAU,kBAAkB,CAAC,OAAe;IACjD,OAAO,uDAAuD,gBAAgB,CAAC,OAAO,CAAC,0MAA0M,UAAU,EAAE,CAAA;AAC9S,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,OAA2B;IAC5D,MAAM,KAAK,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAA;IACpF,OAAO,GAAG,KAAK,oIAAoI,UAAU,EAAE,CAAA;AAChK,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,mBAAmB,CAAC,OAA2B;IAC9D,MAAM,KAAK,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAA;IACpF,OAAO,GAAG,KAAK,oHAAoH,UAAU,EAAE,CAAA;AAChJ,CAAC;AAUD,MAAM,OAAO,eAAe;IACnB,MAAM,GAAG,KAAK,CAAA;IACd,gBAAgB,GAAG,KAAK,CAAA;IACxB,OAAO,GAAG,KAAK,CAAA;IAEvB,qDAAqD;IACrD,OAAO,CAAC,KAA6B;QACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,OAAO;gBAAE,SAAQ;YAC1B,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;gBAClB,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAA;gBAC7B,SAAQ;YACT,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC7C,MAAM,OAAO,GAAI,IAAI,CAAC,KAA2C,EAAE,OAAO,CAAA;gBAC1E,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnE,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAA;gBAC7B,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;IAED;;;;;OAKG;IACH,YAAY,CAAC,OAAuC;QACnD,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAA;QAClD,MAAM,MAAM,GAAG,OAAO,EAAE,EAAE,CAAA;QAC1B,IAAI,OAA2B,CAAA;QAC/B,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAA;QACxE,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAA;QACxE,IAAI,MAAM,EAAE,OAAO,KAAK,SAAS,IAAI,MAAM;YAAE,OAAO,GAAG,mBAAmB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;aACrF,IAAI,MAAM,EAAE,OAAO,KAAK,OAAO,EAAE,CAAC;YACtC,OAAO,GAAG,iBAAiB,CAC1B,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,EAAE,OAAO,CACxE,CAAA;QACF,CAAC;aAAM,IAAI,MAAM,EAAE,OAAO,KAAK,cAAc,IAAI,MAAM,EAAE,CAAC;YACzD,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAC7C,CAAC;aAAM,IAAI,CAAC,IAAI,CAAC,gBAAgB;YAAE,OAAO,GAAG,wBAAwB,CAAA;QACrE,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QAC3C,IAAI,CAAC,OAAO,GAAG,IAAI,CAAA;QACnB,OAAO,OAAO,CAAA;IACf,CAAC;IAED;;;;OAIG;IACH,SAAS;QACR,OAAO,IAAI,CAAC,YAAY,EAAE,KAAK,SAAS,CAAA;IACzC,CAAC;CACD"}

package/dist/runtime/query/turn/outcome-ledger.d.ts

@@ -0,0 +1,113 @@
+/**
+ * The turn's outcome record: what changed in the workspace, what was run to
+ * check it, and whether the last word of each check was said about the
+ * workspace as the turn left it.
+ *
+ * It is derived from the turn's own tool calls and, when the host supplies a
+ * change detector, from the workspace itself. Never from what the model says.
+ * Nothing here blocks or prolongs a turn; the completion audit keeps its own
+ * rule. Every uncertainty is reported as uncertainty: a check whose exit status
+ * something else may have decided is `masked`, not `passed`; a detector that
+ * cannot answer is `null`, never a match.
+ */
+import { type TurnOutcome, type TurnOutcomeCheckResult, type TurnOutcomeConfig } from '../../../types/session/outcome.js';
+import type { ToolFacts } from '../../../types/tool/index.js';
+/** A finished tool call as the ledger sees it. */
+export interface OutcomeCall {
+    readonly toolName: string;
+    /** The call's parsed input, when it had one. */
+    readonly input?: unknown;
+    readonly isError?: boolean;
+    /** A hook stopped it before it ran. */
+    readonly skipped?: boolean;
+    /** The tool declared this call read-only (or it only keeps the task list). */
+    readonly readOnly?: boolean;
+    /** What the call did, as typed fields. Absent when a hook replaced the output. */
+    readonly facts?: ToolFacts;
+}
+/** A call about to run: enough to tell whether it could change the workspace. */
+export interface PendingOutcomeCall {
+    readonly toolName: string;
+    readonly input?: unknown;
+    readonly readOnly?: boolean;
+}
+declare const SNAPSHOT_VERSION = 1;
+/** The part of the ledger a checkpoint keeps, so a resumed turn does not forget what came before it. */
+export interface OutcomeLedgerSnapshot {
+    readonly v: typeof SNAPSHOT_VERSION;
+    readonly started: boolean;
+    readonly startFingerprint: string | null;
+    readonly paths: readonly string[];
+    readonly writes: number;
+    /** Absent in a snapshot written before it existed. */
+    readonly unseen?: boolean;
+    /** Absent in a snapshot written before it existed. */
+    readonly pathless?: number;
+    readonly checks: readonly {
+        readonly key: string;
+        readonly command: string;
+        readonly step: number;
+        readonly result: TurnOutcomeCheckResult;
+        readonly exitCode?: number;
+        readonly afterWrite: boolean;
+        readonly afterUnknown: boolean;
+        readonly fingerprint: string | null;
+    }[];
+}
+export declare class OutcomeLedger {
+    private readonly config;
+    private started;
+    private startFingerprint;
+    private readonly paths;
+    private extraPaths;
+    /** Successful writes whose path could not be read; each is a change that cannot be named. */
+    private pathless;
+    /** A call ran that could change the workspace and is not a write tool: only the detector could say whether it did. */
+    private couldHaveChangedUnseen;
+    private writes;
+    private readonly checks;
+    private unrecorded;
+    private settled;
+    constructor(config?: TurnOutcomeConfig);
+    /** False once the record is known to be missing what came before a resume. */
+    get recorded(): boolean;
+    /**
+     * The turn resumed from a checkpoint that carries no ledger. What happened
+     * before it is unknown, and a record that began as `unchanged` would be a
+     * lie, so the turn reports no outcome at all.
+     */
+    markUnrecorded(): void;
+    /** Take back what a checkpoint kept. A snapshot that does not parse leaves the turn unrecorded. */
+    restore(snapshot: unknown): void;
+    /** What a checkpoint should keep. */
+    snapshot(): OutcomeLedgerSnapshot;
+    /**
+     * Whether the call could change the workspace. Anything not provably
+     * read-only counts: a tool that does not say, a shell line that is not on
+     * the read-only list.
+     */
+    private couldChange;
+    private detect;
+    /**
+     * Called with a step's calls before any of them runs. The first call of the
+     * turn that could change the workspace takes the starting fingerprint; a turn
+     * of provably read-only calls never asks the detector anything.
+     */
+    before(calls: readonly PendingOutcomeCall[]): Promise<void>;
+    /** Feed the calls of one finished step, in order. */
+    observe(step: number, calls: readonly OutcomeCall[]): Promise<void>;
+    private afterEveryCheck;
+    private recordWrite;
+    private recordCheck;
+    private judge;
+    /** The outcome, once, when the turn ends. `undefined` when the record is not whole. */
+    finish(): Promise<TurnOutcome | undefined>;
+    /**
+     * The record as it stands, on the calls basis, without asking the detector
+     * and without settling: the turn goes on and `finish` still answers once.
+     */
+    peek(): TurnOutcome | undefined;
+    private compute;
+}
+export {};
+//# sourceMappingURL=outcome-ledger.d.ts.map

package/dist/runtime/query/turn/outcome-ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome-ledger.d.ts","sourceRoot":"","sources":["../../../../src/runtime/query/turn/outcome-ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAMN,KAAK,WAAW,EAEhB,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EAEtB,MAAM,mCAAmC,CAAA;AAC1C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAA;AAG7D,kDAAkD;AAClD,MAAM,WAAW,WAAW;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,gDAAgD;IAChD,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,uCAAuC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,8EAA8E;IAC9E,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;IAC3B,kFAAkF;IAClF,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAA;CAC1B;AAED,iFAAiF;AACjF,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAC3B;AA8DD,QAAA,MAAM,gBAAgB,IAAI,CAAA;AAgB1B,wGAAwG;AACxG,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,CAAC,EAAE,OAAO,gBAAgB,CAAA;IACnC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAA;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;IACzB,sDAAsD;IACtD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS;QACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;QACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAA;QACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;QAC5B,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;QAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;KACnC,EAAE,CAAA;CACH;AAsHD,qBAAa,aAAa;IACzB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAmB;IAC1C,OAAO,CAAC,OAAO,CAAQ;IACvB,OAAO,CAAC,gBAAgB,CAAsB;IAC9C,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAoB;IAC1C,OAAO,CAAC,UAAU,CAAI;IACtB,6FAA6F;IAC7F,OAAO,CAAC,QAAQ,CAAI;IACpB,sHAAsH;IACtH,OAAO,CAAC,sBAAsB,CAAQ;IACtC,OAAO,CAAC,MAAM,CAAI;IAClB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAgC;IACvD,OAAO,CAAC,UAAU,CAAQ;IAC1B,OAAO,CAAC,OAAO,CAAyB;gBAE5B,MAAM,GAAE,iBAAsB;IAI1C,8EAA8E;IAC9E,IAAI,QAAQ,IAAI,OAAO,CAEtB;IAED;;;;OAIG;IACH,cAAc,IAAI,IAAI;IAItB,mGAAmG;IACnG,OAAO,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI;IAkBhC,qCAAqC;IACrC,QAAQ,IAAI,qBAAqB;IAsBjC;;;;OAIG;IACH,OAAO,CAAC,WAAW;YASL,MAAM;IAqBpB;;;;OAIG;IACG,MAAM,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAOjE,qDAAqD;IAC/C,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IA4CzE,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,WAAW;IAgBnB,OAAO,CAAC,WAAW;IAiCnB,OAAO,CAAC,KAAK;IAgCb,uFAAuF;IACjF,MAAM,IAAI,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;IAUhD;;;OAGG;IACH,IAAI,IAAI,WAAW,GAAG,SAAS;IAK/B,OAAO,CAAC,OAAO;CAmDf"}