looply-cli 0.5.5 → 0.5.6

package/dist/plan-recovery.js

@@ -0,0 +1,131 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.STATEMENT_CONTEXT = exports.DIRECT_STEP_PREFIX = void 0;
+exports.refusalContext = refusalContext;
+exports.directFixStep = directFixStep;
+exports.directFixOutcome = directFixOutcome;
+exports.withoutRefuted = withoutRefuted;
+exports.compileWithRecovery = compileWithRecovery;
+const node_crypto_1 = require("node:crypto");
+const goal_compile_1 = require("./goal-compile");
+/** The longest direct-step title: the verify pass and the phone both show it. */
+const DIRECT_TITLE_MAX = 240;
+exports.DIRECT_STEP_PREFIX = 'Do what this ticket asks, as written';
+/** The context for a re-plan after refusals: each refused step, and why. */
+function refusalContext(refused) {
+    const lines = refused.map((r) => `- ${JSON.stringify(r.step.title)}: ${r.verdict.ok ? 'admitted' : r.verdict.because}`);
+    return [
+        'These steps cited code that is not there at the current tree:',
+        ...lines,
+        'The repository has moved since you looked, or the citation was wrong. Open those files again at the',
+        'current tree and plan against what is there now. Cite a line only after reading it.',
+    ].join('\n');
+}
+/** The context for a re-plan after an empty plan: read the ticket as an instruction. */
+exports.STATEMENT_CONTEXT = [
+    'It came back with no steps. This goal is a ticket a person wrote, and people often word a',
+    'ticket as a remark, a complaint or a question ("X is only done manually", "Y is not tracking",',
+    '"shouldn\'t Z happen automatically?"). Read it as an instruction: make the code behave the way',
+    'the ticket implies it should. Return no steps only if the repository already does that, and',
+    'then cite the code that shows it.',
+].join('\n');
+/** The person's own first line, which is the ticket's title when AutoRyn sent it. */
+function firstLine(text) {
+    return (text.split(/\r?\n/).find((l) => l.trim() !== '') ?? '').trim();
+}
+/** The one step a ticket gets when structured planning produced nothing usable. */
+function directFixStep(goalText) {
+    const head = firstLine(goalText);
+    const title = head === '' ? exports.DIRECT_STEP_PREFIX : `${exports.DIRECT_STEP_PREFIX}: ${head}`;
+    return {
+        title: title.length > DIRECT_TITLE_MAX ? `${title.slice(0, DIRECT_TITLE_MAX - 1)}…` : title,
+        tag: 'goal',
+        evidence: [],
+    };
+}
+/** A compile answer made of the direct step alone, for a caller that needs a `CompileOutcome`. */
+function directFixOutcome(goalText) {
+    const step = directFixStep(goalText);
+    return {
+        ok: true,
+        steps: [step],
+        dropped: 0,
+        malformed: 0,
+        transcript: '',
+        requestDigest: (0, node_crypto_1.createHash)('sha256').update(`direct:${goalText}`, 'utf8').digest('hex'),
+    };
+}
+/** A refused step with the citations that failed taken off it. */
+function withoutRefuted(r) {
+    const refuted = r.verdict.ok ? [] : r.verdict.refuted;
+    return { ...r.step, evidence: r.step.evidence.filter((e) => !refuted.includes(e)) };
+}
+function dedupe(steps, max) {
+    const seen = new Set();
+    const out = [];
+    for (const s of steps) {
+        const k = (0, goal_compile_1.stepKey)(s.title);
+        if (seen.has(k))
+            continue;
+        seen.add(k);
+        out.push(s);
+    }
+    return out.slice(0, max);
+}
+/**
+ * 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.
+ */
+async function compileWithRecovery(input, deps, maxSteps) {
+    const notes = [];
+    const say = (line) => {
+        notes.push(line);
+        deps.log?.(line);
+    };
+    const first = await deps.compile(input);
+    // A failed or unreadable answer is not a plan to recover: it spends nothing and is asked again.
+    if (!first.ok || (first.steps.length === 0 && first.malformed > 0))
+        return { compiled: first, checked: null, notes };
+    const firstChecked = await deps.check(first.steps);
+    let answer = first;
+    let queued = [...firstChecked.admitted];
+    if (firstChecked.refused.length > 0) {
+        say(`${firstChecked.refused.length} step(s) cited code that is not at the tree — planning again against the current tree`);
+        const again = await deps.compile({ ...input, retryContext: refusalContext(firstChecked.refused) });
+        if (again.ok && again.steps.length > 0) {
+            const checkedAgain = await deps.check(again.steps);
+            answer = again;
+            queued = [...queued, ...checkedAgain.admitted, ...checkedAgain.refused.map(withoutRefuted)];
+            if (checkedAgain.refused.length > 0) {
+                say(`${checkedAgain.refused.length} re-planned step(s) still cite code that is not there — kept without those citations; the verify pass checks them`);
+            }
+        }
+        else {
+            queued = [...queued, ...firstChecked.refused.map(withoutRefuted)];
+            say('the re-plan gave nothing usable — keeping the refused steps without their citations; the verify pass checks them');
+        }
+    }
+    if (queued.length === 0) {
+        say('the plan came back empty — asking again with the ticket read as an instruction');
+        const again = await deps.compile({ ...input, retryContext: exports.STATEMENT_CONTEXT });
+        if (again.ok && again.steps.length > 0) {
+            const checkedAgain = await deps.check(again.steps);
+            answer = again;
+            queued = [...checkedAgain.admitted, ...checkedAgain.refused.map(withoutRefuted)];
+        }
+    }
+    if (queued.length === 0) {
+        say('still no plan — queuing one direct step: do what the ticket asks, with its full text');
+        const direct = directFixOutcome(input.goalText);
+        answer = { ...direct, requestDigest: answer.ok ? answer.requestDigest : direct.requestDigest };
+        queued = direct.ok ? direct.steps : [];
+    }
+    const steps = dedupe(queued, maxSteps);
+    const compiled = answer.ok ? { ...answer, steps } : answer;
+    return {
+        compiled,
+        checked: { admitted: steps, refused: firstChecked.refused, treeSha: firstChecked.treeSha },
+        notes,
+    };
+}
+//# sourceMappingURL=plan-recovery.js.map

package/dist/plan-recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-recovery.js","sourceRoot":"","sources":["../src/plan-recovery.ts"],"names":[],"mappings":";;;AAgEA,wCAQC;AAiBD,sCAQC;AAGD,4CAUC;AAGD,wCAGC;AAkBD,kDAsDC;AA5LD,6CAAyC;AAEzC,iDAAoG;AAwDpG,iFAAiF;AACjF,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAEhB,QAAA,kBAAkB,GAAG,sCAAsC,CAAC;AAEzE,4EAA4E;AAC5E,SAAgB,cAAc,CAAC,OAA+B;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IACxH,OAAO;QACL,+DAA+D;QAC/D,GAAG,KAAK;QACR,qGAAqG;QACrG,qFAAqF;KACtF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,wFAAwF;AAC3E,QAAA,iBAAiB,GAAG;IAC/B,2FAA2F;IAC3F,gGAAgG;IAChG,gGAAgG;IAChG,6FAA6F;IAC7F,mCAAmC;CACpC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,qFAAqF;AACrF,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACzE,CAAC;AAED,mFAAmF;AACnF,SAAgB,aAAa,CAAC,QAAgB;IAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,0BAAkB,CAAC,CAAC,CAAC,GAAG,0BAAkB,KAAK,IAAI,EAAE,CAAC;IAClF,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK;QAC3F,GAAG,EAAE,MAAM;QACX,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,SAAgB,gBAAgB,CAAC,QAAgB;IAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACrC,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,CAAC,IAAI,CAAC;QACb,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,EAAE;QACd,aAAa,EAAE,IAAA,wBAAU,EAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,QAAQ,EAAE,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KACvF,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,SAAgB,cAAc,CAAC,CAAc;IAC3C,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACtD,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,MAAM,CAAC,KAA0B,EAAE,GAAW;IACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,sBAAO,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,mBAAmB,CAAC,KAAuB,EAAE,IAAkB,EAAE,QAAgB;IACrG,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,GAAG,GAAG,CAAC,IAAY,EAAQ,EAAE;QACjC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACxC,gGAAgG;IAChG,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACrH,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAEnD,IAAI,MAAM,GAAmB,KAAK,CAAC;IACnC,IAAI,MAAM,GAAe,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAEpD,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,GAAG,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,uFAAuF,CAAC,CAAC;QAC3H,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,cAAc,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnG,IAAI,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACnD,MAAM,GAAG,KAAK,CAAC;YACf,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;YAC5F,IAAI,YAAY,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,GAAG,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,mHAAmH,CAAC,CAAC;YACzJ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;YAClE,GAAG,CAAC,kHAAkH,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,GAAG,CAAC,gFAAgF,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,yBAAiB,EAAE,CAAC,CAAC;QAChF,IAAI,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACnD,MAAM,GAAG,KAAK,CAAC;YACf,MAAM,GAAG,CAAC,GAAG,YAAY,CAAC,QAAQ,EAAE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,GAAG,CAAC,sFAAsF,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAC/F,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACzC,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAmB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;IAC3E,OAAO;QACL,QAAQ;QACR,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE;QAC1F,KAAK;KACN,CAAC;AACJ,CAAC"}

package/dist/run-cmd.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run-cmd.d.ts","sourceRoot":"","sources":["../src/run-cmd.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAOvD,OAAO,EAGL,KAAK,cAAc,EAKnB,KAAK,IAAI,EAaT,KAAK,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAc,KAAK,YAAY,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAA6B,KAAK,aAAa,EAAE,MAAM,gBAAgB,CAAC;AA+B/E,OAAO,EAGL,KAAK,aAAa,EAIlB,KAAK,UAAU,EAChB,MAAM,gBAAgB,CAAC;AAoBxB,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAiB9E,OAAO,EAGL,KAAK,yBAAyB,EAE/B,MAAM,uBAAuB,CAAC;AAe/B,OAAO,EAaL,KAAK,cAAc,EAEpB,MAAM,cAAc,CAAC;AAgCtB,OAAO,EAIL,KAAK,2BAA2B,EAEjC,MAAM,gBAAgB,CAAC;AAIxB;;;;;;;;GAQG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,YAAY,GACpB,iBAAiB,GACjB,YAAY,GACZ,gBAAgB,GAChB,eAAe,GACf,iBAAiB,GACjB,qBAAqB,CAAC;AAE1B,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,YAAY,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAAC;IAC5D,oEAAoE;IACpE,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,wEAAwE;IACxE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2DAA2D;IAC3D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;;OAQG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;;;;;;;;;;;;OAiBG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;;;;;;;;OAUG;IACH,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,qBAAa,UAAW,SAAQ,KAAK;IAcjC,QAAQ,CAAC,IAAI,EAAE,cAAc;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM;IACxB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW;IA1BjC;;;;;;;;;;OAUG;gBAED,OAAO,EAAE,MAAM,EACN,IAAI,GAAE,cAA8B;IAC7C;;;;;OAKG;IACM,MAAM,CAAC,EAAE,MAAM,YAAA;IACxB;;;;OAIG;IACM,QAAQ,CAAC,EAAE,WAAW,YAAA;CAIlC;AAED,6DAA6D;AAC7D,eAAO,MAAM,YAAY,IAAI,CAAC;AAE9B;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE;IAAE,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAAE,EACxD,KAAK,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;CAAE,EAC5G,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,GAC1B,OAAO,CAAC,IAAI,CAAC,CAmCf;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAYtC,4EAA4E;AAC5E,eAAO,MAAM,8BAA8B,QAAY,CAAC;AACxD,iGAAiG;AACjG,eAAO,MAAM,6BAA6B,QAAY,CAAC;AAEvD;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CA+D5D;AA6MD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,YAAY;AACjB;;;;;;;;GAQG;AACH,UAAU,CAAC,EAAE,yBAAyB;AACtC;;;;;;GAMG;AACH,QAAQ,CAAC,EAAE,2BAA2B;AACtC;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;AACtB;;;;;;;;GAQG;AACH,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI;AACzB;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,EAAE,aAAa;AACtB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;AACpB;;;;;;;;;;;;GAYG;AACH,IAAI,CAAC,EAAE,cAAc,GACpB,MAAM,CA4FR;AAED;;;;;;;;;;;GAWG;AACH;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC,GAAG,CAAC,IAAI,EAAE,mBAAmB,GAAG;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAAC;CACnF;AAiID;;;GAGG;AACH,wBAAsB,OAAO,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAu2HnE"}
+{"version":3,"file":"run-cmd.d.ts","sourceRoot":"","sources":["../src/run-cmd.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAOvD,OAAO,EAGL,KAAK,cAAc,EAKnB,KAAK,IAAI,EAaT,KAAK,oBAAoB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAc,KAAK,YAAY,EAAE,MAAM,UAAU,CAAC;AACzD,OAAO,EAA6B,KAAK,aAAa,EAAE,MAAM,gBAAgB,CAAC;AA+B/E,OAAO,EAGL,KAAK,aAAa,EAIlB,KAAK,UAAU,EAChB,MAAM,gBAAgB,CAAC;AAoBxB,OAAO,KAAK,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAmB9E,OAAO,EAGL,KAAK,yBAAyB,EAE/B,MAAM,uBAAuB,CAAC;AAe/B,OAAO,EAaL,KAAK,cAAc,EAEpB,MAAM,cAAc,CAAC;AAgCtB,OAAO,EAIL,KAAK,2BAA2B,EAEjC,MAAM,gBAAgB,CAAC;AAIxB;;;;;;;;GAQG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,YAAY,GACpB,iBAAiB,GACjB,YAAY,GACZ,gBAAgB,GAChB,eAAe,GACf,iBAAiB,GACjB,qBAAqB,CAAC;AAE1B,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,YAAY,CAAC;IACrB;;;;;;;;;;;OAWG;IACH,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,oBAAoB,GAAG,SAAS,CAAC,CAAC;IAC5D,oEAAoE;IACpE,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,wEAAwE;IACxE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2DAA2D;IAC3D,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;;OAQG;IACH,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;;;;;;;;;;;;OAiBG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;;OAIG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;;;;;;;;OAUG;IACH,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,qBAAa,UAAW,SAAQ,KAAK;IAcjC,QAAQ,CAAC,IAAI,EAAE,cAAc;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM;IACxB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW;IA1BjC;;;;;;;;;;OAUG;gBAED,OAAO,EAAE,MAAM,EACN,IAAI,GAAE,cAA8B;IAC7C;;;;;OAKG;IACM,MAAM,CAAC,EAAE,MAAM,YAAA;IACxB;;;;OAIG;IACM,QAAQ,CAAC,EAAE,WAAW,YAAA;CAIlC;AAED,6DAA6D;AAC7D,eAAO,MAAM,YAAY,IAAI,CAAC;AAE9B;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE;IAAE,MAAM,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAAE,EACxD,KAAK,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;CAAE,EAC5G,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,GAC1B,OAAO,CAAC,IAAI,CAAC,CAmCf;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB,IAAI,CAAC;AAYtC,4EAA4E;AAC5E,eAAO,MAAM,8BAA8B,QAAY,CAAC;AACxD,iGAAiG;AACjG,eAAO,MAAM,6BAA6B,QAAY,CAAC;AAEvD;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CA+D5D;AA6MD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,YAAY;AACjB;;;;;;;;GAQG;AACH,UAAU,CAAC,EAAE,yBAAyB;AACtC;;;;;;GAMG;AACH,QAAQ,CAAC,EAAE,2BAA2B;AACtC;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI;AACtB;;;;;;;;GAQG;AACH,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI;AACzB;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,EAAE,aAAa;AACtB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;AACpB;;;;;;;;;;;;GAYG;AACH,IAAI,CAAC,EAAE,cAAc,GACpB,MAAM,CA4FR;AAED;;;;;;;;;;;GAWG;AACH;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC,GAAG,CAAC,IAAI,EAAE,mBAAmB,GAAG;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAAC;CACnF;AAiID;;;GAGG;AACH,wBAAsB,OAAO,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAi6HnE"}

package/dist/run-cmd.js

@@ -61,7 +61,9 @@ const programme_mode_1 = require("./programme-mode");
 const partial_asker_1 = require("./partial-asker");
 const goal_ownership_1 = require("./goal-ownership");
 const goal_compile_1 = require("./goal-compile");
+const plan_recovery_1 = require("./plan-recovery");
 const goal_execution_evidence_1 = require("./goal-execution-evidence");
+const goal_reproof_1 = require("./goal-reproof");
 const round_records_1 = require("./round-records");
 const goal_gap_1 = require("./goal-gap");
 const goal_adaptive_1 = require("./goal-adaptive");
@@ -2853,7 +2855,10 @@ async function runLoop(opts) {
         if (verdict.compile && scope !== null && binding.kind === 'bound') {
             compiledThisRun = true;
             log(`compile : ${binding.goal.text}`);
-            const compiled = await (0, goal_compile_1.compileGoal)({
+            // Read before the compile: the compiler is told not to change anything, and every check of its
+            // answer (the first and any re-plan) is made against the same committed tree.
+            const compiledAt = await git.headTreeSha().catch(() => null);
+            const recovered = await (0, plan_recovery_1.compileWithRecovery)({
                 goalId: binding.goal.id,
                 goalVersion: binding.goal.version,
                 goalText: binding.goal.text,
@@ -2885,10 +2890,16 @@ async function runLoop(opts) {
                         // acceptance map `produceClaims` holds `provenBy` against.
                         checks: config.gates.map((g) => g.name),
                     }),
-            }, { invoke: planAgent });
-            // M3-2: checked at the committed tree before any step becomes an item; the compile recorded either way.
-            const compiledAt = await git.headTreeSha().catch(() => null);
-            const checked = compiled.ok ? await (0, compile_check_1.checkCompiledPlan)(compiled.steps, compileReaders, compiledAt) : null;
+            }, {
+                compile: (i) => (0, goal_compile_1.compileGoal)(i, { invoke: planAgent }),
+                // M3-2: checked at the committed tree before any step becomes an item; the compile recorded either way.
+                check: (steps) => (0, compile_check_1.checkCompiledPlan)(steps, compileReaders, compiledAt),
+                log: (line) => log(`compile : ${line}`),
+            }, goal_compile_1.COMPILE_MAX_STEPS);
+            // A step whose citation did not hold is re-planned, an empty plan is asked again as an instruction,
+            // and only then does a ticket get one direct step (`plan-recovery.ts`) — never a hand-back.
+            const compiled = recovered.compiled;
+            const checked = recovered.checked;
             for (const r of checked?.refused ?? [])
                 log(`compile : ${(0, compile_check_1.describeRefusal)(r)}`);
             await recordCompile(binding.goal.id, binding.goal.version, compiledAt, compiled, checked);
@@ -3181,7 +3192,17 @@ async function runLoop(opts) {
                         .filter((i) => !(0, goal_compile_1.isPlanMarker)(i)),
                 }, {
                     evaluate: (i) => (0, goal_gap_1.evaluateGoalGap)(i, { invoke: planAgent }),
-                    compile: (i, maxSteps) => (0, goal_compile_1.compileGoal)(i, { invoke: planAgent, maxSteps }),
+                    // The same recovery as the first plan: re-plan refused steps, read an empty answer as
+                    // an instruction, and fall back to one direct step before this revision is empty.
+                    compile: async (i, maxSteps) => {
+                        const at = await git.headTreeSha().catch(() => null);
+                        const recovered = await (0, plan_recovery_1.compileWithRecovery)(i, {
+                            compile: (j) => (0, goal_compile_1.compileGoal)(j, { invoke: planAgent, maxSteps }),
+                            check: (steps) => (0, compile_check_1.checkCompiledPlan)(steps, compileReaders, at),
+                            log: (line) => log(`goal    : ${line}`),
+                        }, maxSteps);
+                        return recovered.compiled;
+                    },
                     changedPaths: () => git.changedPaths(),
                     headSha: () => git.headSha(),
                     /**
@@ -3199,14 +3220,33 @@ async function runLoop(opts) {
                         // retryable and says what actually happened.
                         if (!read.ok)
                             return { ok: false, reason: read.because, unknown: true };
-                        const confirmed = (0, goal_execution_evidence_1.confirmGoalExecutionEvidence)({
+                        const key2Input = {
                             scope: askedScope,
                             items: owned,
                             rounds: read.rounds,
                             // F27: a carried commit is confirmed as the round the lane carried.
                             currentHead: judged.kind === 'carried' ? judged.of : head,
                             requiredSteps: (0, gate_1.requiredSteps)(config.gates),
-                        });
+                        };
+                        let confirmed = (0, goal_execution_evidence_1.confirmGoalExecutionEvidence)(key2Input);
+                        /**
+                         * THE CODE MOVED ON: CHECK WHAT IS HERE NOW, DON'T HAND IT BACK (`goal-reproof.ts`).
+                         * Another ticket's run cut on top of this goal's commits is the common case in a
+                         * person's own checkout; the gates run again at HEAD, and KEY 2 is asked again.
+                         */
+                        if (!confirmed.ok && confirmed.moved === true && judged.kind !== 'carried') {
+                            log('goal    : the code moved on since this plan was delivered — running the gates again at the current tree');
+                            const again = await (0, goal_reproof_1.reproveAtHead)(head, (0, goal_execution_evidence_1.committedShasOf)(key2Input), {
+                                changedPaths: () => git.changedPaths(),
+                                isAncestor: (a, of) => git.isAncestor(a, of),
+                                changedPathsBetween: (from, to) => git.changedPathsBetween(from, to),
+                                runGates: async (paths) => (await (0, gate_1.runGate)({ steps: config.gates, changedPaths: paths, runner: (0, untrusted_gate_1.makeUntrustedGateRunner)(cwd) })).steps,
+                            });
+                            confirmed = again.ok
+                                ? (0, goal_execution_evidence_1.confirmGoalExecutionEvidence)({ ...key2Input, rechecked: { contains: again.contains, steps: again.steps } })
+                                : { ok: false, because: `${goal_execution_evidence_1.CODE_MOVED_ON}, and it could not be checked again: ${again.because}` };
+                            log(`goal    : ${confirmed.ok ? 'the gates pass at the current tree, and this plan’s work is in it' : confirmed.because}`);
+                        }
                         /**
                          * 🔴 WHAT KEY 2 SAW, KEPT FOR THE FOURTH KEY.
                          *
@@ -3222,7 +3262,7 @@ async function runLoop(opts) {
                             deliveringSha = confirmed.round.sha ?? null;
                             key2Saw = {
                                 delivered: new Set(confirmed.delivered),
-                                checks: new Map((confirmed.round.gate?.steps ?? []).map((st) => [
+                                checks: new Map((confirmed.reproved ?? confirmed.round.gate?.steps ?? []).map((st) => [
                                     st.step,
                                     // A `when:` filter that matched nothing is SKIPPED, which
                                     // is a different answer from passing — and the whole
@@ -3378,6 +3418,9 @@ async function runLoop(opts) {
         const left = scope === null ? null : (0, core_1.workLeft)(runQueue.list());
         if (left === 'finished')
             return `this goal's work is done — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`;
+        if (left === 'stalled' && compiledThisRun && !runQueue.list().some((i) => i.state === 'draft')) {
+            return `nothing in the first plan is ready to work on — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}; the next Start checks this goal against the code`;
+        }
         if (left === 'stalled')
             return `nothing here can move without you — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`;
         return `nothing to do — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`;
@@ -3508,7 +3551,19 @@ async function runLoop(opts) {
             throw new RunRefused(`this goal's work is done — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`, 'run_refused');
         }
         if (left === 'stalled') {
+            /**
+             * NOT A PERSON'S YET, WHEN THIS START ONLY JUST MADE THE PLAN.
+             *
+             * The verify pass can set a fresh plan's steps aside (stale, duplicate, blocked) and leave
+             * nothing to pick. Nobody has asked the goal check yet: the next Start does — it measures
+             * the goal against the code and re-plans what is missing (TAB-B-45 ended here). Retryable.
+             * Items that wait on a person's decision (an `unclear` draft) still say so.
+             */
+            const firstPlanOnly = compiledThisRun && !runQueue.list().some((i) => i.state === 'draft');
+            const stalledBecause = (0, queue_summary_1.describeNoReady)(runQueue.list());
             await releaseHold();
+            if (firstPlanOnly)
+                throw new Error(`nothing in the first plan is ready to work on — ${stalledBecause}; the next Start checks this goal against the code`);
             throw new RunRefused(`nothing here can move without you — ${(0, queue_summary_1.describeNoReady)(runQueue.list())}`, 'human_required');
         }
         await releaseHold();