looply-cli 0.5.4 → 0.5.6

package/dist/goal-execution-evidence.d.ts

@@ -1,4 +1,4 @@
-import { type Item, type RunScope } from '@looply/core';
+import { type GateStepResult, type Item, type RunScope } from '@looply/core';
 import type { RoundRecord } from './round-records';
 /**
  * KEY 2 — THE HALF OF "THIS GOAL IS MET" THAT CANNOT BE TALKED INTO AN ANSWER.
@@ -96,6 +96,24 @@ export interface GoalExecutionInput {
      * a person's own `git commit` can never qualify.
      */
     countManualWork?: boolean;
+    /**
+     * THE GATES, RUN AGAIN AT THE CURRENT HEAD, when the tree moved on since this
+     * plan was delivered (`goal-reproof.ts`).
+     *
+     * 🔴 WHY: TAB-B-57, 63 and 64 (2026-10-15) delivered every step of their plans,
+     * and the next Start found another ticket's run had moved this checkout's HEAD
+     * in between — stacked on top of their own commits. KEY 2 answered "the code
+     * has moved on … what is here now was never checked", which was TRUE, and the
+     * goal went back to a person for it. The honest repair is not to relax (2)
+     * above but to do the checking: run every required step at the tree that is
+     * here now. Accepted only when a committed round of this plan is CONTAINED in
+     * that tree (`contains`: the plan's committed shas that are ancestors of HEAD),
+     * so a re-proof can never vouch for a tree that lacks the work.
+     */
+    rechecked?: {
+        readonly contains: ReadonlySet<string>;
+        readonly steps: readonly GateStepResult[];
+    };
 }
 export type GoalExecutionOutcome = {
     ok: true;
@@ -116,11 +134,19 @@ export type GoalExecutionOutcome = {
      * gate record is the only one that can speak for it.
      */
     delivered: readonly string[];
-} | {
+    /** Set when the answer rests on a re-proof at HEAD: the steps that ran there, which speak for this tree. */
+    reproved?: readonly GateStepResult[];
+}
+/** `moved`: the only refusal a re-proof at the current tree can answer (see `rechecked`). */
+ | {
     ok: false;
     because: string;
+    moved?: true;
 };
+export declare const CODE_MOVED_ON = "the code has moved on since this plan was delivered, so what is here now was never checked";
 export declare function confirmGoalExecutionEvidence(input: GoalExecutionInput): GoalExecutionOutcome;
+/** The commits this plan's delivered work made — what a re-proof asks git about (`rechecked.contains`). */
+export declare function committedShasOf(input: Pick<GoalExecutionInput, 'scope' | 'items' | 'rounds' | 'countManualWork'>): string[];
 /** A committed round, as a goal-met Start locates it: its commit and the run that made it. */
 export interface DeliveredTip {
     readonly sha: string;

package/dist/goal-execution-evidence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"goal-execution-evidence.d.ts","sourceRoot":"","sources":["../src/goal-execution-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,MAAM,cAAc,CAAC;AAErF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEG;AAEH,MAAM,WAAW,kBAAkB;IACjC;;;;;;;;;OASG;IACH,KAAK,EAAE,QAAQ,CAAC;IAChB,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IACvB,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC;;;;;;;;;OASG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,MAAM,oBAAoB,GAC5B;IACE,EAAE,EAAE,IAAI,CAAC;IACT,KAAK,EAAE,WAAW,CAAC;IACnB;;;;;;;;;;;;;;OAcG;IACH,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,GACD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnC,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,kBAAkB,GAAG,oBAAoB,CAuG5F;AA8CD,8FAA8F;AAC9F,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,iBAAiB,CAAC,GAChF,YAAY,GAAG,IAAI,CAOrB"}
+{"version":3,"file":"goal-execution-evidence.d.ts","sourceRoot":"","sources":["../src/goal-execution-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,KAAK,cAAc,EAAE,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,MAAM,cAAc,CAAC;AAE1G,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEG;AAEH,MAAM,WAAW,kBAAkB;IACjC;;;;;;;;;OASG;IACH,KAAK,EAAE,QAAQ,CAAC;IAChB,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IACvB,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC;;;;;;;;;OASG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;;;;;;;;;;OAaG;IACH,SAAS,CAAC,EAAE;QACV,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;KAC3C,CAAC;CACH;AAED,MAAM,MAAM,oBAAoB,GAC5B;IACE,EAAE,EAAE,IAAI,CAAC;IACT,KAAK,EAAE,WAAW,CAAC;IACnB;;;;;;;;;;;;;;OAcG;IACH,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,4GAA4G;IAC5G,QAAQ,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CACtC;AACH,6FAA6F;GAC3F;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAEjD,eAAO,MAAM,aAAa,+FACoE,CAAC;AAE/F,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,kBAAkB,GAAG,oBAAoB,CAkH5F;AA8CD,2GAA2G;AAC3G,wBAAgB,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,iBAAiB,CAAC,GAAG,MAAM,EAAE,CAM3H;AAED,8FAA8F;AAC9F,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,iBAAiB,CAAC,GAChF,YAAY,GAAG,IAAI,CAOrB"}

package/dist/goal-execution-evidence.js

@@ -1,9 +1,12 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.CODE_MOVED_ON = void 0;
 exports.confirmGoalExecutionEvidence = confirmGoalExecutionEvidence;
+exports.committedShasOf = committedShasOf;
 exports.deliveredTipOf = deliveredTipOf;
 const core_1 = require("@looply/core");
 const goal_compile_1 = require("./goal-compile");
+exports.CODE_MOVED_ON = 'the code has moved on since this plan was delivered, so what is here now was never checked';
 function confirmGoalExecutionEvidence(input) {
     const { scope, currentHead } = input;
     if (scope === null)
@@ -49,11 +52,23 @@ function confirmGoalExecutionEvidence(input) {
     const atHead = committed.filter((r) => r.sha === currentHead);
     if (atHead.length === 0) {
         // Deliberately not "close enough". Something has moved the repository since
-        // this plan landed, and nothing here has checked that the goal survived it.
-        return {
-            ok: false,
-            because: 'the code has moved on since this plan was delivered, so what is here now was never checked',
-        };
+        // this plan landed, and nothing here has checked that the goal survived it —
+        // unless the gates were run again at this tree, and the plan's work is in it.
+        const rechecked = input.rechecked;
+        if (rechecked === undefined)
+            return { ok: false, because: exports.CODE_MOVED_ON, moved: true };
+        const contained = committed.filter((r) => {
+            const item = mineById.get(r.itemId);
+            return r.sha !== undefined && rechecked.contains.has(r.sha) && item !== undefined && !(0, goal_compile_1.isPlanMarker)(item);
+        });
+        if (contained.length === 0) {
+            return { ok: false, because: 'the code has moved on since this plan was delivered, and its work is not in the tree that is here now' };
+        }
+        const permitted = (0, core_1.mayCommit)({ steps: [...rechecked.steps], requiredSteps: input.requiredSteps, proofEnabled: false });
+        if (!permitted.ok) {
+            return { ok: false, because: `the gates were run again at the current tree, and ${permitted.reason ?? 'they did not pass'}` };
+        }
+        return { ok: true, round: contained[contained.length - 1], delivered: [...deliveredIds], reproved: rechecked.steps };
     }
     // An EXISTS, not a FOR-ALL, and that is the whole reachability argument: a
     // plan of five steps produces five commits and only the last is HEAD, so
@@ -141,6 +156,16 @@ function committedOfPlan(input, scope) {
     }
     return { ok: true, committed, deliveredIds, mineById };
 }
+/** The commits this plan's delivered work made — what a re-proof asks git about (`rechecked.contains`). */
+function committedShasOf(input) {
+    const { scope } = input;
+    if (scope === null || scope.planRevision === undefined)
+        return [];
+    const plan = committedOfPlan(input, scope);
+    if (!plan.ok)
+        return [];
+    return plan.committed.flatMap((r) => (r.sha === undefined ? [] : [r.sha]));
+}
 /**
  * The plan's NEWEST committed round — the delivered tree a goal-met Start judges while the
  * lane has not moved it (F27). Null wherever KEY 2 would find nothing to confirm, and when

package/dist/goal-execution-evidence.js.map

@@ -1 +1 @@
-{"version":3,"file":"goal-execution-evidence.js","sourceRoot":"","sources":["../src/goal-execution-evidence.ts"],"names":[],"mappings":";;AA8HA,oEAuGC;AAyDD,wCASC;AAvSD,uCAAqF;AACrF,iDAA8C;AA6H9C,SAAgB,4BAA4B,CAAC,KAAyB;IACpE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACrC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC;IACrF,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrC,wEAAwE;QACxE,wEAAwE;QACxE,mCAAmC;QACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uEAAuE,EAAE,CAAC;IACzG,CAAC;IACD,IAAI,WAAW,KAAK,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC;IAE9F;;;;;;;;;;;;;;;;;;OAkBG;IACH,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,6EAA6E;gBAC7E,+DAA+D;SAClE,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAEnD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,4EAA4E;QAC5E,4EAA4E;QAC5E,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,4FAA4F;SACtG,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,mCAAmC;IACnC,IAAI,UAAU,GAAG,+DAA+D,CAAC;IACjF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC;;;;;;;;;;;;;;;;;;;;;;;;WAwBG;QACH,IAAI,IAAI,KAAK,SAAS,IAAI,IAAA,2BAAY,EAAC,IAAI,CAAC;YAAE,SAAS;QACvD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAEvC,qEAAqE;QACrE,yEAAyE;QACzE,2EAA2E;QAC3E,2EAA2E;QAC3E,2CAA2C;QAC3C,MAAM,SAAS,GAAG,IAAA,gBAAS,EAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;YACvB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;QACH,IAAI,SAAS,CAAC,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC;QAC3E,UAAU,GAAG,SAAS,CAAC,MAAM,IAAI,uBAAuB,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,KAAuE,EACvE,KAA4B;IAI5B,MAAM,WAAW,GAAG,KAAK,CAAC,eAAe,IAAI,IAAI,CAAC;IAElD,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACvC,MAAM,OAAO,GAAG,IAAA,uBAAgB,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC;QAC5C,OAAO,WAAW,IAAI,OAAO,KAAK,QAAQ,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAC5E,8EAA8E;IAC9E,+EAA+E;IAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IACzD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC;IAC/E,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IAE9D,uDAAuD;IACvD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACpE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,8DAA8D,EAAE,CAAC;IAChG,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC;IAChE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AACzD,CAAC;AAQD;;;;GAIG;AACH,SAAgB,cAAc,CAC5B,KAAiF;IAEjF,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;IAC9E,OAAO,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AACrF,CAAC"}
+{"version":3,"file":"goal-execution-evidence.js","sourceRoot":"","sources":["../src/goal-execution-evidence.ts"],"names":[],"mappings":";;;AAsJA,oEAkHC;AA+CD,0CAMC;AAaD,wCASC;AAnVD,uCAA0G;AAC1G,iDAA8C;AAkJjC,QAAA,aAAa,GACxB,4FAA4F,CAAC;AAE/F,SAAgB,4BAA4B,CAAC,KAAyB;IACpE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACrC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC;IACrF,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrC,wEAAwE;QACxE,wEAAwE;QACxE,mCAAmC;QACnC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uEAAuE,EAAE,CAAC;IACzG,CAAC;IACD,IAAI,WAAW,KAAK,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC;IAE9F;;;;;;;;;;;;;;;;;;OAkBG;IACH,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,6EAA6E;gBAC7E,+DAA+D;SAClE,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAEnD,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,4EAA4E;QAC5E,6EAA6E;QAC7E,8EAA8E;QAC9E,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;QAClC,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,qBAAa,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACvF,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACpC,OAAO,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAA,2BAAY,EAAC,IAAI,CAAC,CAAC;QAC3G,CAAC,CAAC,CAAC;QACH,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uGAAuG,EAAE,CAAC;QACzI,CAAC;QACD,MAAM,SAAS,GAAG,IAAA,gBAAS,EAAC,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC;QACtH,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;YAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,qDAAqD,SAAS,CAAC,MAAM,IAAI,mBAAmB,EAAE,EAAE,CAAC;QAChI,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,SAAS,EAAE,CAAC,GAAG,YAAY,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IACxH,CAAC;IAED,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,mCAAmC;IACnC,IAAI,UAAU,GAAG,+DAA+D,CAAC;IACjF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC;;;;;;;;;;;;;;;;;;;;;;;;WAwBG;QACH,IAAI,IAAI,KAAK,SAAS,IAAI,IAAA,2BAAY,EAAC,IAAI,CAAC;YAAE,SAAS;QACvD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAEvC,qEAAqE;QACrE,yEAAyE;QACzE,2EAA2E;QAC3E,2EAA2E;QAC3E,2CAA2C;QAC3C,MAAM,SAAS,GAAG,IAAA,gBAAS,EAAC;YAC1B,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;YACvB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,YAAY,EAAE,KAAK;SACpB,CAAC,CAAC;QACH,IAAI,SAAS,CAAC,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC;QAC3E,UAAU,GAAG,SAAS,CAAC,MAAM,IAAI,uBAAuB,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC5C,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,KAAuE,EACvE,KAA4B;IAI5B,MAAM,WAAW,GAAG,KAAK,CAAC,eAAe,IAAI,IAAI,CAAC;IAElD,4EAA4E;IAC5E,yEAAyE;IACzE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;QACvC,MAAM,OAAO,GAAG,IAAA,uBAAgB,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC;QAC5C,OAAO,WAAW,IAAI,OAAO,KAAK,QAAQ,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAC5E,8EAA8E;IAC9E,+EAA+E;IAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;IACzD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC;IAC/E,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IAE9D,uDAAuD;IACvD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACpE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,8DAA8D,EAAE,CAAC;IAChG,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC;IAChE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,CAAC;AACzD,CAAC;AAED,2GAA2G;AAC3G,SAAgB,eAAe,CAAC,KAAiF;IAC/G,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClE,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACxB,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAQD;;;;GAIG;AACH,SAAgB,cAAc,CAC5B,KAAiF;IAEjF,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IACxB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAC1B,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;IAC9E,OAAO,MAAM,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;AACrF,CAAC"}

package/dist/goal-reproof.d.ts

@@ -0,0 +1,42 @@
+import type { GateStepResult } from '@looply/core';
+/**
+ * RE-CHECK THE TREE THAT IS HERE NOW, RATHER THAN HAND A DELIVERED GOAL BACK.
+ *
+ * KEY 2 (`goal-execution-evidence.ts`) refuses a "goal met" verdict when HEAD is
+ * not the commit the plan's last round made: nothing has checked the tree that
+ * is here now. On 2026-10-15 that refusal ended three Tabsy tickets whose every
+ * step had been delivered, gated and proved (TAB-B-57, 63, 64) — another
+ * ticket's run had been cut on top of their commits in the same checkout, so
+ * HEAD had moved on and the goal went back to a person.
+ *
+ * This does the missing check instead: when the plan's work is contained in
+ * HEAD and the working tree is clean, every gate step runs again at HEAD, and
+ * KEY 2 is asked again with what those steps say. A tree without the work, a
+ * dirty tree, or a red gate still refuses — with the reason.
+ *
+ * Every verb is injected, so production and the tests run this same code.
+ */
+export interface ReproofDeps {
+    /** Uncommitted paths in the working tree. */
+    changedPaths(): Promise<readonly string[]>;
+    isAncestor(ancestor: string, of: string): Promise<boolean>;
+    changedPathsBetween(fromSha: string, toSha: string): Promise<readonly string[]>;
+    /** Run the project's gate at the current tree; `changedPaths` feeds the steps' `when:` filters. */
+    runGates(changedPaths: readonly string[]): Promise<readonly GateStepResult[]>;
+}
+export type ReproofOutcome = {
+    readonly ok: true;
+    readonly contains: ReadonlySet<string>;
+    readonly steps: readonly GateStepResult[];
+} | {
+    readonly ok: false;
+    readonly because: string;
+};
+/**
+ * `committed` is the plan's committed shas in ledger order (`committedShasOf`).
+ * The `when:` paths are everything from the parent of the plan's first
+ * contained commit to HEAD, so a step filtered to the files this plan touched
+ * still runs.
+ */
+export declare function reproveAtHead(head: string, committed: readonly string[], deps: ReproofDeps): Promise<ReproofOutcome>;
+//# sourceMappingURL=goal-reproof.d.ts.map

package/dist/goal-reproof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-reproof.d.ts","sourceRoot":"","sources":["../src/goal-reproof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,WAAW,WAAW;IAC1B,6CAA6C;IAC7C,YAAY,IAAI,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAC3C,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3D,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAChF,mGAAmG;IACnG,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,cAAc,EAAE,CAAC,CAAC;CAC/E;AAED,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAA;CAAE,GACxG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAErD;;;;;GAKG;AACH,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CAoB1H"}

package/dist/goal-reproof.js

@@ -0,0 +1,35 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.reproveAtHead = reproveAtHead;
+/**
+ * `committed` is the plan's committed shas in ledger order (`committedShasOf`).
+ * The `when:` paths are everything from the parent of the plan's first
+ * contained commit to HEAD, so a step filtered to the files this plan touched
+ * still runs.
+ */
+async function reproveAtHead(head, committed, deps) {
+    if (head === '')
+        return { ok: false, because: 'the current commit could not be read' };
+    const dirty = await deps.changedPaths();
+    if (dirty.length > 0) {
+        return { ok: false, because: `the working tree has ${dirty.length} uncommitted change(s), so it is not the tree a gate would check` };
+    }
+    const contains = [];
+    for (const sha of committed) {
+        if (sha === head || (await deps.isAncestor(sha, head).catch(() => false)))
+            contains.push(sha);
+    }
+    if (contains.length === 0)
+        return { ok: false, because: 'none of this plan’s commits is in the tree that is here now' };
+    let paths = [];
+    try {
+        paths = await deps.changedPathsBetween(`${contains[0]}~1`, head);
+    }
+    catch {
+        // A plan whose first commit is the repository's root has no parent: the plan's own commits still name its files.
+        paths = await deps.changedPathsBetween(contains[0], head).catch(() => []);
+    }
+    const steps = await deps.runGates(paths);
+    return { ok: true, contains: new Set(contains), steps };
+}
+//# sourceMappingURL=goal-reproof.js.map

package/dist/goal-reproof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-reproof.js","sourceRoot":"","sources":["../src/goal-reproof.ts"],"names":[],"mappings":";;AAsCA,sCAoBC;AA1BD;;;;;GAKG;AACI,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,SAA4B,EAAE,IAAiB;IAC/F,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;IACxC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,wBAAwB,KAAK,CAAC,MAAM,kEAAkE,EAAE,CAAC;IACxI,CAAC;IACD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6DAA6D,EAAE,CAAC;IACxH,IAAI,KAAK,GAAsB,EAAE,CAAC;IAClC,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,iHAAiH;QACjH,KAAK,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC;AAC1D,CAAC"}

package/dist/index-for-head.js

@@ -75,7 +75,7 @@ async function indexForHead(cwd) {
 async function indexForTree(cwd, treeSha) {
     const git = new git_driver_1.GitDriver((0, git_driver_1.nodeGitExec)(cwd));
     const packages = packagesFor(cwd);
-    const store = new project_index_store_1.ProjectIndexStore((0, git_driver_1.executionStateDir)(cwd), ledger_store_1.nodeLedgerFs);
+    const store = new project_index_store_1.ProjectIndexStore((0, git_driver_1.executionStateDir)(cwd), ledger_store_1.nodeLedgerFs, (0, git_driver_1.projectStateDir)(cwd));
     const cached = await store.load(treeSha, packages.map((pkg) => pkg.name));
     if (cached !== null)
         return { ok: true, treeSha, snapshot: cached, cached: true };

package/dist/index-for-head.js.map

@@ -1 +1 @@
-{"version":3,"file":"index-for-head.js","sourceRoot":"","sources":["../src/index-for-head.ts"],"names":[],"mappings":";;;AAuCA,8CAOC;AAcD,oCAUC;AAMD,oCAgBC;AA5FD,qCAAmD;AACnD,yCAAiC;AAEjC,qCAA0D;AAC1D,6CAAyE;AACzE,iDAA8C;AAC9C,mEAA8E;AAC9E,+DAA0D;AAE1D;;;;;;;;;;;;;;;GAeG;AAEH,6EAA6E;AAChE,QAAA,WAAW,GAAG,qBAAqB,CAAC;AAEjD;;;;;;;;;GASG;AACH,SAAgB,iBAAiB,CAAC,MAAoB;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9D,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAC7D,CAAC;AAMD;;;;;;;GAOG;AACI,KAAK,UAAU,YAAY,CAAC,GAAW;IAC5C,MAAM,GAAG,GAAG,IAAI,sBAAS,CAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,GAAG,CAAC,WAAW,EAAE,CAAC;IACpC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,MAAM,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,yCAAyC,GAAG,KAAK,MAAM,GAAG,EAAE,CAAC;IAC5F,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,YAAY,CAAC,GAAW,EAAE,OAAe;IAC7D,MAAM,GAAG,GAAG,IAAI,sBAAS,CAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,uCAAiB,CAAC,IAAA,8BAAiB,EAAC,GAAG,CAAC,EAAE,2BAAY,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAC7B,OAAO,EACP,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAChC,CAAC;IACF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAClF,MAAM,KAAK,GAAG,MAAM,IAAA,yCAAiB,EAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,gEAAgE;IAClE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC/D,CAAC;AAED,0FAA0F;AAC1F,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,GAAG,EAAE,mBAAW,CAAC,CAAC;IACpC,IAAI,CAAC,IAAA,oBAAU,EAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,CAAC;QACH,OAAO,iBAAiB,CAAC,IAAA,oBAAW,EAAC,IAAA,sBAAY,EAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC"}
+{"version":3,"file":"index-for-head.js","sourceRoot":"","sources":["../src/index-for-head.ts"],"names":[],"mappings":";;;AAuCA,8CAOC;AAcD,oCAUC;AAMD,oCAgBC;AA5FD,qCAAmD;AACnD,yCAAiC;AAEjC,qCAA0D;AAC1D,6CAA0F;AAC1F,iDAA8C;AAC9C,mEAA8E;AAC9E,+DAA0D;AAE1D;;;;;;;;;;;;;;;GAeG;AAEH,6EAA6E;AAChE,QAAA,WAAW,GAAG,qBAAqB,CAAC;AAEjD;;;;;;;;;GASG;AACH,SAAgB,iBAAiB,CAAC,MAAoB;IACpD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9D,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAC7D,CAAC;AAMD;;;;;;;GAOG;AACI,KAAK,UAAU,YAAY,CAAC,GAAW;IAC5C,MAAM,GAAG,GAAG,IAAI,sBAAS,CAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,GAAG,CAAC,WAAW,EAAE,CAAC;IACpC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,MAAM,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,yCAAyC,GAAG,KAAK,MAAM,GAAG,EAAE,CAAC;IAC5F,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,YAAY,CAAC,GAAW,EAAE,OAAe;IAC7D,MAAM,GAAG,GAAG,IAAI,sBAAS,CAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,uCAAiB,CAAC,IAAA,8BAAiB,EAAC,GAAG,CAAC,EAAE,2BAAY,EAAE,IAAA,4BAAe,EAAC,GAAG,CAAC,CAAC,CAAC;IAChG,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAC7B,OAAO,EACP,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAChC,CAAC;IACF,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAClF,MAAM,KAAK,GAAG,MAAM,IAAA,yCAAiB,EAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,gEAAgE;IAClE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC/D,CAAC;AAED,0FAA0F;AAC1F,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,GAAG,EAAE,mBAAW,CAAC,CAAC;IACpC,IAAI,CAAC,IAAA,oBAAU,EAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,CAAC;QACH,OAAO,iBAAiB,CAAC,IAAA,oBAAW,EAAC,IAAA,sBAAY,EAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC"}

package/dist/machine-run-slots.d.ts

@@ -0,0 +1,59 @@
+import { type ProbeFn } from './run-lease';
+/**
+ * HOW MANY AUTONOMOUS RUNS THIS COMPUTER HAS, ACROSS EVERY REPOSITORY IT SERVES.
+ *
+ * `looply serve` runs one daemon per repository, and each daemon's coordinator
+ * bounds only its own project (`machine.max_parallel_runs`). A PC serving 27
+ * repositories at 3 each could otherwise launch 81 agent sessions at once. This
+ * is the one number they share: `machine.max_runs_on_machine` (default 4).
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * ONE FILE PER SLOT, IN `~/.looply/machine-runs/`.
+ *
+ * A slot is CLAIMED before a launch (pending, holding the daemon's pid) and
+ * BOUND to the child's pid once it is spawned. A slot frees itself: a bound
+ * slot whose pid is dead, or a pending slot older than `PENDING_TTL_MS`, is not
+ * counted and is swept on the next claim. Nothing has to remember to release,
+ * so a crashed run or daemon cannot leak capacity for longer than one probe.
+ *
+ * Claims are serialised by the shared exclusive lock, so two daemons cannot
+ * both see the last free slot and both take it.
+ *
+ * ⚠️ A CLAIM IS ASKED BEFORE A TRY IS SPENT. The launcher's `busyFor` takes it
+ * (see `run-launcher.ts`), and `busyFor` runs before `reserveLaunch` in the
+ * tick, so "the machine is full" is a queue — never a failed attempt. A claim
+ * is idempotent per request: asking again for the same request refreshes it.
+ *
+ * ⚠️ AN UNKNOWN LIVENESS COUNTS AS ALIVE, the direction that cannot overshoot.
+ */
+/** A claim that never became a run stops holding a slot after this. */
+export declare const PENDING_TTL_MS: number;
+export interface MachineSlot {
+    readonly key: string;
+    readonly pid: number;
+    readonly pending: boolean;
+    readonly at: string;
+    /** Which repository the run is for — for a person reading the directory. */
+    readonly repo?: string;
+}
+export interface MachineRunSlots {
+    /** Take (or refresh) a slot for `key`; null when taken, else why the machine is full. */
+    claim(key: string): string | null;
+    /** The launch happened: the slot now lives as long as `pid` does. */
+    bind(key: string, pid: number): void;
+    /** The launch did not happen. */
+    release(key: string): void;
+    /** Live slots right now, `key` excluded when given. */
+    inUse(except?: string): number;
+    readonly cap: number;
+}
+export interface MachineRunSlotDeps {
+    readonly home?: string;
+    readonly now?: () => number;
+    readonly probe?: ProbeFn;
+    readonly pid?: number;
+    readonly repo?: string;
+}
+export declare function machineSlotsDir(home?: string): string;
+export declare function machineRunSlots(cap: number, deps?: MachineRunSlotDeps): MachineRunSlots;
+//# sourceMappingURL=machine-run-slots.d.ts.map

package/dist/machine-run-slots.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"machine-run-slots.d.ts","sourceRoot":"","sources":["../src/machine-run-slots.ts"],"names":[],"mappings":"AAKA,OAAO,EAAa,KAAK,OAAO,EAAE,MAAM,aAAa,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,uEAAuE;AACvE,eAAO,MAAM,cAAc,QAAa,CAAC;AAEzC,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,yFAAyF;IACzF,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAClC,qEAAqE;IACrE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,iCAAiC;IACjC,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,uDAAuD;IACvD,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,wBAAgB,eAAe,CAAC,IAAI,GAAE,MAAkB,GAAG,MAAM,CAEhE;AAID,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,kBAAuB,GAAG,eAAe,CA8F3F"}

package/dist/machine-run-slots.js

@@ -0,0 +1,140 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PENDING_TTL_MS = void 0;
+exports.machineSlotsDir = machineSlotsDir;
+exports.machineRunSlots = machineRunSlots;
+const node_crypto_1 = require("node:crypto");
+const node_fs_1 = require("node:fs");
+const node_os_1 = require("node:os");
+const node_path_1 = require("node:path");
+const exclusive_lock_1 = require("./exclusive-lock");
+const run_lease_1 = require("./run-lease");
+/**
+ * HOW MANY AUTONOMOUS RUNS THIS COMPUTER HAS, ACROSS EVERY REPOSITORY IT SERVES.
+ *
+ * `looply serve` runs one daemon per repository, and each daemon's coordinator
+ * bounds only its own project (`machine.max_parallel_runs`). A PC serving 27
+ * repositories at 3 each could otherwise launch 81 agent sessions at once. This
+ * is the one number they share: `machine.max_runs_on_machine` (default 4).
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * ONE FILE PER SLOT, IN `~/.looply/machine-runs/`.
+ *
+ * A slot is CLAIMED before a launch (pending, holding the daemon's pid) and
+ * BOUND to the child's pid once it is spawned. A slot frees itself: a bound
+ * slot whose pid is dead, or a pending slot older than `PENDING_TTL_MS`, is not
+ * counted and is swept on the next claim. Nothing has to remember to release,
+ * so a crashed run or daemon cannot leak capacity for longer than one probe.
+ *
+ * Claims are serialised by the shared exclusive lock, so two daemons cannot
+ * both see the last free slot and both take it.
+ *
+ * ⚠️ A CLAIM IS ASKED BEFORE A TRY IS SPENT. The launcher's `busyFor` takes it
+ * (see `run-launcher.ts`), and `busyFor` runs before `reserveLaunch` in the
+ * tick, so "the machine is full" is a queue — never a failed attempt. A claim
+ * is idempotent per request: asking again for the same request refreshes it.
+ *
+ * ⚠️ AN UNKNOWN LIVENESS COUNTS AS ALIVE, the direction that cannot overshoot.
+ */
+/** A claim that never became a run stops holding a slot after this. */
+exports.PENDING_TTL_MS = 3 * 60_000;
+function machineSlotsDir(home = (0, node_os_1.homedir)()) {
+    return (0, node_path_1.join)(home, '.looply', 'machine-runs');
+}
+const fileOf = (key) => `${(0, node_crypto_1.createHash)('sha256').update(key).digest('hex').slice(0, 32)}.json`;
+function machineRunSlots(cap, deps = {}) {
+    const dir = machineSlotsDir(deps.home);
+    const now = deps.now ?? (() => Date.now());
+    const probe = deps.probe ?? run_lease_1.nodeProbe;
+    const me = deps.pid ?? process.pid;
+    const limit = Math.max(1, Math.floor(cap));
+    const read = () => {
+        let names;
+        try {
+            names = (0, node_fs_1.readdirSync)(dir).filter((n) => n.endsWith('.json'));
+        }
+        catch {
+            return [];
+        }
+        const out = [];
+        for (const file of names) {
+            try {
+                const raw = JSON.parse((0, node_fs_1.readFileSync)((0, node_path_1.join)(dir, file), 'utf8'));
+                if (typeof raw.key !== 'string' || typeof raw.pid !== 'number' || typeof raw.at !== 'string')
+                    continue;
+                out.push({ file, slot: { key: raw.key, pid: raw.pid, pending: raw.pending === true, at: raw.at, ...(raw.repo === undefined ? {} : { repo: raw.repo }) } });
+            }
+            catch {
+                // A torn write is not a run. The claim that wrote it rewrites it.
+            }
+        }
+        return out;
+    };
+    const live = (s) => {
+        if (s.pending) {
+            const at = Date.parse(s.at);
+            if (!Number.isFinite(at) || now() - at > exports.PENDING_TTL_MS)
+                return false;
+        }
+        return probe(s.pid) !== 'dead';
+    };
+    const write = (slot) => {
+        (0, node_fs_1.mkdirSync)(dir, { recursive: true });
+        const target = (0, node_path_1.join)(dir, fileOf(slot.key));
+        const tmp = `${target}.${me}.tmp`;
+        (0, node_fs_1.writeFileSync)(tmp, `${JSON.stringify(slot)}\n`, 'utf8');
+        (0, node_fs_1.renameSync)(tmp, target);
+    };
+    const inUse = (except) => read().filter(({ slot }) => slot.key !== except && live(slot)).length;
+    return {
+        cap: limit,
+        inUse,
+        claim(key) {
+            try {
+                (0, node_fs_1.mkdirSync)(dir, { recursive: true });
+            }
+            catch {
+                // Fall through: the lock below refuses, and a refusal is a wait.
+            }
+            return (0, exclusive_lock_1.withExclusiveLock)((0, node_path_1.join)(dir, 'claim.lock'), () => {
+                const all = read();
+                for (const { file, slot } of all) {
+                    if (!live(slot)) {
+                        try {
+                            (0, node_fs_1.rmSync)((0, node_path_1.join)(dir, file), { force: true });
+                        }
+                        catch {
+                            /* swept next time */
+                        }
+                    }
+                }
+                const mine = all.find(({ slot }) => slot.key === key);
+                if (mine !== undefined && !mine.slot.pending && live(mine.slot))
+                    return null; // already running
+                const others = all.filter(({ slot }) => slot.key !== key && live(slot)).length;
+                if (others >= limit) {
+                    return `this computer already has ${others} autonomous run(s) going across its repositories and its ceiling is ${limit} (machine.max_runs_on_machine)`;
+                }
+                write({ key, pid: me, pending: true, at: new Date(now()).toISOString(), ...(deps.repo === undefined ? {} : { repo: deps.repo }) });
+                return null;
+            }, (why) => `the machine-wide run count could not be checked (${why})`);
+        },
+        bind(key, pid) {
+            try {
+                write({ key, pid, pending: false, at: new Date(now()).toISOString(), ...(deps.repo === undefined ? {} : { repo: deps.repo }) });
+            }
+            catch {
+                // A slot that cannot be bound expires as pending; the run goes on.
+            }
+        },
+        release(key) {
+            try {
+                (0, node_fs_1.rmSync)((0, node_path_1.join)(dir, fileOf(key)), { force: true });
+            }
+            catch {
+                /* expires on its own */
+            }
+        },
+    };
+}
+//# sourceMappingURL=machine-run-slots.js.map

package/dist/machine-run-slots.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"machine-run-slots.js","sourceRoot":"","sources":["../src/machine-run-slots.ts"],"names":[],"mappings":";;;AAmEA,0CAEC;AAID,0CA8FC;AAvKD,6CAAyC;AACzC,qCAAkG;AAClG,qCAAkC;AAClC,yCAAiC;AACjC,qDAAqD;AACrD,2CAAsD;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,uEAAuE;AAC1D,QAAA,cAAc,GAAG,CAAC,GAAG,MAAM,CAAC;AA+BzC,SAAgB,eAAe,CAAC,OAAe,IAAA,iBAAO,GAAE;IACtD,OAAO,IAAA,gBAAI,EAAC,IAAI,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,MAAM,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,GAAG,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC;AAE9G,SAAgB,eAAe,CAAC,GAAW,EAAE,OAA2B,EAAE;IACxE,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,qBAAS,CAAC;IACtC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAE3C,MAAM,IAAI,GAAG,GAA+C,EAAE;QAC5D,IAAI,KAAe,CAAC;QACpB,IAAI,CAAC;YACH,KAAK,GAAG,IAAA,qBAAW,EAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAC9D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,MAAM,GAAG,GAA+C,EAAE,CAAC;QAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAA,sBAAY,EAAC,IAAA,gBAAI,EAAC,GAAG,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAyB,CAAC;gBACtF,IAAI,OAAO,GAAG,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ;oBAAE,SAAS;gBACvG,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7J,CAAC;YAAC,MAAM,CAAC;gBACP,kEAAkE;YACpE,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,CAAc,EAAW,EAAE;QACvC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACd,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,sBAAc;gBAAE,OAAO,KAAK,CAAC;QACxE,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC;IACjC,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,IAAiB,EAAQ,EAAE;QACxC,IAAA,mBAAS,EAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAA,gBAAI,EAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,EAAE,MAAM,CAAC;QAClC,IAAA,uBAAa,EAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxD,IAAA,oBAAU,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC1B,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,MAAe,EAAU,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IAEjH,OAAO;QACL,GAAG,EAAE,KAAK;QACV,KAAK;QACL,KAAK,CAAC,GAAG;YACP,IAAI,CAAC;gBACH,IAAA,mBAAS,EAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACtC,CAAC;YAAC,MAAM,CAAC;gBACP,iEAAiE;YACnE,CAAC;YACD,OAAO,IAAA,kCAAiB,EACtB,IAAA,gBAAI,EAAC,GAAG,EAAE,YAAY,CAAC,EACvB,GAAG,EAAE;gBACH,MAAM,GAAG,GAAG,IAAI,EAAE,CAAC;gBACnB,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChB,IAAI,CAAC;4BACH,IAAA,gBAAM,EAAC,IAAA,gBAAI,EAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;wBAC3C,CAAC;wBAAC,MAAM,CAAC;4BACP,qBAAqB;wBACvB,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;gBACtD,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC,CAAC,kBAAkB;gBAChG,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC/E,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;oBACpB,OAAO,6BAA6B,MAAM,uEAAuE,KAAK,gCAAgC,CAAC;gBACzJ,CAAC;gBACD,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACnI,OAAO,IAAI,CAAC;YACd,CAAC,EACD,CAAC,GAAG,EAAE,EAAE,CAAC,oDAAoD,GAAG,GAAG,CACpE,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,EAAE,GAAG;YACX,IAAI,CAAC;gBACH,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAClI,CAAC;YAAC,MAAM,CAAC;gBACP,mEAAmE;YACrE,CAAC;QACH,CAAC;QACD,OAAO,CAAC,GAAG;YACT,IAAI,CAAC;gBACH,IAAA,gBAAM,EAAC,IAAA,gBAAI,EAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAClD,CAAC;YAAC,MAAM,CAAC;gBACP,wBAAwB;YAC1B,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/plan-recovery.d.ts

@@ -0,0 +1,70 @@
+import type { CheckedPlan, CheckedStep } from './compile-check';
+import { type CompileGoalInput, type CompileOutcome, type PlanStep } from './goal-compile';
+/**
+ * A PLAN THAT CANNOT BE USED AS IT CAME BACK IS ASKED AGAIN, NOT HANDED TO A PERSON.
+ *
+ * ─────────────────────────────────────────────────────────────────────────────
+ * WHY (Tabsy, 2026-10-15)
+ *
+ * A ticket pasted into a chat with the same model is fixed nine times in ten.
+ * The same tickets given to Looply ended `human_required` for reasons that had
+ * nothing to do with the work:
+ *   - TAB-B-60: the one step of the plan cited `TableBillLink.tsx:201`, the line
+ *     did not exist at the committed tree, the step was refused, nothing was
+ *     queued, and the run had nothing to do;
+ *   - TAB-B-45: "shouldn't a fully paid table automatically become closed? —
+ *     closing a session is only done manually as of now" was read as a remark,
+ *     the plan came back empty, and "nothing here can move without you".
+ *
+ * Neither is a question only a person can answer. So:
+ *   1. a step whose citation does not hold is RE-PLANNED: the compiler is asked
+ *      once more, shown each refusal, and told to read the current tree;
+ *   2. a step refused again keeps its place WITHOUT the citation that failed —
+ *      a citation is a pointer, not the work, and the verify pass still confirms
+ *      every draft against the code before a round may pick it;
+ *   3. an empty plan is asked again with the ticket read as an instruction;
+ *   4. an empty plan after that becomes ONE direct step — "do what this ticket
+ *      asks" — and the implementer is handed the person's full wording (it
+ *      always is, see `buildImplementerPrompt`). It is gated and proved like
+ *      every other round, so nothing here lowers the bar for what lands.
+ *
+ * ⚠️ WHAT IS NOT RECOVERED: a compiler that failed, timed out or answered in a
+ * shape nobody could read. Those already spend nothing and the next Start asks
+ * again, which is the right answer to a transport problem.
+ *
+ * PURE apart from the two injected calls, so production and the tests run the
+ * same code.
+ */
+export interface RecoveryDeps {
+    compile(input: CompileGoalInput): Promise<CompileOutcome>;
+    check(steps: readonly PlanStep[]): Promise<CheckedPlan>;
+    log?(line: string): void;
+}
+export interface RecoveredPlan {
+    /** The answer whose steps are the ones to queue (`steps` already recovered). */
+    readonly compiled: CompileOutcome;
+    /**
+     * `admitted` is every step to queue; `refused` is what the FIRST check refused,
+     * kept so the compile record shows the claim beside what was there.
+     */
+    readonly checked: CheckedPlan | null;
+    /** What recovery did, for the log; empty when the first answer was used as it came. */
+    readonly notes: readonly string[];
+}
+export declare const DIRECT_STEP_PREFIX = "Do what this ticket asks, as written";
+/** The context for a re-plan after refusals: each refused step, and why. */
+export declare function refusalContext(refused: readonly CheckedStep[]): string;
+/** The context for a re-plan after an empty plan: read the ticket as an instruction. */
+export declare const STATEMENT_CONTEXT: string;
+/** The one step a ticket gets when structured planning produced nothing usable. */
+export declare function directFixStep(goalText: string): PlanStep;
+/** A compile answer made of the direct step alone, for a caller that needs a `CompileOutcome`. */
+export declare function directFixOutcome(goalText: string): CompileOutcome;
+/** A refused step with the citations that failed taken off it. */
+export declare function withoutRefuted(r: CheckedStep): PlanStep;
+/**
+ * Compile, check, and recover. `maxSteps` bounds what is queued, whatever the
+ * recovery added, so a re-plan never makes a plan bigger than the cap it was asked under.
+ */
+export declare function compileWithRecovery(input: CompileGoalInput, deps: RecoveryDeps, maxSteps: number): Promise<RecoveredPlan>;
+//# sourceMappingURL=plan-recovery.d.ts.map

package/dist/plan-recovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-recovery.d.ts","sourceRoot":"","sources":["../src/plan-recovery.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAW,KAAK,gBAAgB,EAAE,KAAK,cAAc,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAEpG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,MAAM,WAAW,YAAY;IAC3B,OAAO,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1D,KAAK,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxD,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,aAAa;IAC5B,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IACrC,uFAAuF;IACvF,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAKD,eAAO,MAAM,kBAAkB,yCAAyC,CAAC;AAEzE,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAQtE;AAED,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,QAMlB,CAAC;AAOb,mFAAmF;AACnF,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAQxD;AAED,kGAAkG;AAClG,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,CAUjE;AAED,kEAAkE;AAClE,wBAAgB,cAAc,CAAC,CAAC,EAAE,WAAW,GAAG,QAAQ,CAGvD;AAcD;;;GAGG;AACH,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CAsD/H"}