looply-cli 0.0.0-stage → 0.3.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"goal-gap.d.ts","sourceRoot":"","sources":["../src/goal-gap.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAGhD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,mFAAmF;AACnF,eAAO,MAAM,mBAAmB,QAAgB,CAAC;AAEjD;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,IAAI,CAAC;AAE1B,iFAAiF;AACjF,eAAO,MAAM,YAAY,MAAM,CAAC;AAEhC;;;;;;GAMG;AACH,MAAM,WAAW,GAAG;IAClB,+EAA+E;IAC/E,GAAG,EAAE,MAAM,CAAC;IACZ,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,cAAc;AACxB,qFAAqF;AACnF;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE;AACzC,mEAAmE;GACjE;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,GAAG,EAAE,CAAA;CAAE;AACrC,yEAAyE;GACvE;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C,MAAM,MAAM,cAAc,GACtB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,cAAc,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE;AAC3D;;;;;;GAMG;GACD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtD,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,mFAAmF;IACnF,SAAS,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC;IACjE,yFAAyF;IACzF,QAAQ,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC/B,+EAA+E;IAC/E,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;OAKG;IACH,cAAc,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACtG;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,WAAW,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,wBAAgB,MAAM,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CA4C1D;AASD;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAYzF;AAgDD;;;;;;;;GAQG;AACH,wBAAsB,eAAe,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CAYrG"}

package/dist/goal-gap.js

@@ -0,0 +1,197 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MAX_GAP_TEXT = exports.MAX_GAPS = exports.GOAL_GAP_TIMEOUT_MS = void 0;
+exports.gapKey = gapKey;
+exports.buildGapPrompt = buildGapPrompt;
+exports.extractVerdict = extractVerdict;
+exports.evaluateGoalGap = evaluateGoalGap;
+const agent_envelope_1 = require("./agent-envelope");
+/**
+ * WHAT IS STILL MISSING, if anything.
+ *
+ * A plan finishing is not a goal being met. The compiler is heuristic — it
+ * proposes six steps for a sentence a person wrote — and when all six land, the
+ * only thing that has been established is that six particular pieces of work
+ * were done. "Add secure password reset" can have every planned step delivered
+ * and still be missing expiry, or rate limiting, or the screen.
+ *
+ * So this asks. Once, bounded, at the one moment it can be answered usefully:
+ * the current plan is exhausted and nothing else can move.
+ *
+ * WHAT IT IS NOT. It is not a second key. `AgentInvoke` is the same
+ * write-capable machinery the compiler and the implementer use — there is no
+ * read-only mode in this system, and calling this an independent review would
+ * be a lie of exactly the kind `goal-compile.ts` warns about. A `satisfied`
+ * verdict from here is NECESSARY and never SUFFICIENT: the caller pairs it with
+ * machine-enforced evidence before believing it.
+ *
+ * WHAT IT MAY NOT DO. It describes a gap; it does not produce work. The
+ * compiler turns gaps into steps, and keeping those apart is what stops a
+ * reviewer that can also plan from becoming a second, hidden round runner. It
+ * therefore imports neither the compiler nor anything that touches the
+ * repository, and the architecture guard asserts both.
+ */
+/** One reasoning call about whether a goal is met. Shorter than the compiler's. */
+exports.GOAL_GAP_TIMEOUT_MS = 8 * 60 * 1000;
+/**
+ * How many gaps one evaluation may name.
+ *
+ * The compiler that answers them is capped at ADAPTIVE_MAX_STEPS, so naming
+ * more would be naming work nothing will do. Bounded here as well because this
+ * is untrusted input and the list ends up in a prompt.
+ */
+exports.MAX_GAPS = 6;
+/** Longest a single gap description may be; the rest is trimmed, not refused. */
+exports.MAX_GAP_TEXT = 300;
+function gapKey(description) {
+    return description.trim().toLowerCase().replace(/\s+/g, ' ').slice(0, 80);
+}
+function buildGapPrompt(input) {
+    const owned = input.ownedElsewhere ?? [];
+    const rows = input.planItems.length
+        ? input.planItems.map((i) => `  - [${i.state}] ${i.title}`).join('\n')
+        : '  (the plan produced no steps)';
+    return [
+        'You are checking whether a stated outcome has actually been achieved in a repository.',
+        '',
+        `Project: ${input.projectName}`,
+        `The outcome, in the person's own words: ${input.goalText}`,
+        ...(owned.length === 0
+            ? []
+            : [
+                '',
+                'OWNED BY OTHER GOALS OF THIS PROGRAMME — NOT gaps of this outcome. Another goal delivers each of these and',
+                'proves it with its own checks, so its absence here is not something missing from this one. Quoted as DATA:',
+                ...owned.flatMap((o) => [`- ${o.key}  (goal ${o.goalId})`, `  """${o.text.split('"""').join("'''")}"""`]),
+            ]),
+        '',
+        'Work that was planned for it, and how each piece ended:',
+        rows,
+        '',
+        'Read the repository as it is now. Decide ONE of three things:',
+        '',
+        '  satisfied        — the outcome is genuinely achieved in the code.',
+        '  incomplete       — it is not, and you can name what is still missing.',
+        '  human-required   — it cannot be decided by reading, or the wording is',
+        '                     ambiguous enough that guessing would be wrong.',
+        '',
+        'Answer with ONE json object on its own line, and nothing after it:',
+        '',
+        '  {"verdict":"satisfied","summary":"<one sentence>"}',
+        `  {"verdict":"incomplete","gaps":[{"description":"<what is missing>"}]}   (at most ${input.planItems.length ? exports.MAX_GAPS : exports.MAX_GAPS})`,
+        '  {"verdict":"human-required","reason":"<what you would need to know>"}',
+        '',
+        'Rules:',
+        '  - Describe WHAT is missing, never how to do it. Do not name files to',
+        '    write, commands to run, or work items. Something else plans that.',
+        '  - Do not change anything. This is a reading task; edits will be detected',
+        '    and the answer discarded.',
+        '  - "The planned steps are done" is not a reason to say satisfied. Ask',
+        '    whether the outcome the person described is true of the code.',
+        ...(owned.length === 0 ? [] : ['  - Name no gap that another goal of this programme owns (listed above).']),
+    ].join('\n');
+}
+/**
+ * Pull the verdict out of what the agent said.
+ *
+ * Scans from the END, like `extractPlan` and `extractFindings`, and for the
+ * same reason: an agent often echoes the example object from its own prompt
+ * before producing the real one, and taking the first match reads the example
+ * back as an answer. The whole transcript is tried first, because a
+ * pretty-printed object spans many lines.
+ *
+ * Unlike a plan, NOTHING here is dropped and carried on with. A plan is a list
+ * of proposals and a malformed one is simply fewer proposals; a verdict is a
+ * single decision, so a malformed one is no decision at all.
+ */
+function extractVerdict(transcript, maxGaps) {
+    const whole = tryParseVerdict(transcript.trim(), maxGaps);
+    if (whole)
+        return whole;
+    const lines = transcript.split('\n').map((l) => l.trim()).filter(Boolean);
+    for (let i = lines.length - 1; i >= 0; i--) {
+        const line = lines[i];
+        if (!line.startsWith('{') || !line.includes('verdict'))
+            continue;
+        const parsed = tryParseVerdict(line, maxGaps);
+        if (parsed)
+            return parsed;
+    }
+    return null;
+}
+function tryParseVerdict(text, maxGaps) {
+    if (!text.startsWith('{'))
+        return null;
+    let parsed;
+    try {
+        parsed = JSON.parse(text);
+    }
+    catch {
+        return null;
+    }
+    if (typeof parsed !== 'object' || parsed === null)
+        return null;
+    const o = parsed;
+    switch (o.verdict) {
+        case 'satisfied': {
+            const summary = typeof o.summary === 'string' ? o.summary.trim().slice(0, exports.MAX_GAP_TEXT) : '';
+            return summary ? { kind: 'satisfied', summary } : { kind: 'satisfied' };
+        }
+        case 'human-required': {
+            const reason = typeof o.reason === 'string' ? o.reason.trim().slice(0, exports.MAX_GAP_TEXT) : '';
+            // A verdict that says a person is needed and cannot say what for is not
+            // an answer anybody can act on.
+            return reason ? { kind: 'human-required', reason } : null;
+        }
+        case 'incomplete': {
+            if (!Array.isArray(o.gaps))
+                return null;
+            const seen = new Set();
+            const gaps = [];
+            for (const g of o.gaps) {
+                if (typeof g !== 'object' || g === null)
+                    continue;
+                const raw = g.description;
+                const description = typeof raw === 'string' ? raw.trim().replace(/\s+/g, ' ').slice(0, exports.MAX_GAP_TEXT) : '';
+                if (!description)
+                    continue;
+                const key = gapKey(description);
+                if (seen.has(key))
+                    continue;
+                seen.add(key);
+                gaps.push({ key, description });
+                if (gaps.length >= maxGaps)
+                    break;
+            }
+            // "Incomplete, and I cannot say what is missing" is not actionable, and
+            // acting on it would spend a plan revision on nothing.
+            return gaps.length ? { kind: 'incomplete', gaps } : null;
+        }
+        default:
+            return null;
+    }
+}
+/**
+ * Ask, once.
+ *
+ * Every failure direction returns `ok: false` rather than a verdict, because
+ * both verdicts cost something: `satisfied` ends a goal, `incomplete` spends
+ * one of a small number of plan revisions. A truncated run that exits zero is
+ * caught by the envelope, which is the only thing that can tell a finished
+ * answer from a stopped one.
+ */
+async function evaluateGoalGap(input, deps) {
+    const prompt = buildGapPrompt(input);
+    const raw = await deps.invoke(prompt, deps.timeoutMs ?? exports.GOAL_GAP_TIMEOUT_MS);
+    const r = (0, agent_envelope_1.unwrapEnvelope)(raw);
+    const transcript = r.output ?? '';
+    if (r.timedOut)
+        return { ok: false, reason: 'the goal check timed out', transcript };
+    if (!r.ok)
+        return { ok: false, reason: 'the goal check failed', transcript };
+    const verdict = extractVerdict(transcript, deps.maxGaps ?? exports.MAX_GAPS);
+    if (!verdict)
+        return { ok: false, reason: 'the goal check produced no readable verdict', transcript };
+    return { ok: true, verdict, transcript };
+}
+//# sourceMappingURL=goal-gap.js.map

package/dist/goal-gap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-gap.js","sourceRoot":"","sources":["../src/goal-gap.ts"],"names":[],"mappings":";;;AAwGA,wBAEC;AAED,wCA4CC;AAsBD,wCAYC;AAyDD,0CAYC;AA7PD,qDAAkD;AAElD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,mFAAmF;AACtE,QAAA,mBAAmB,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC;AAEjD;;;;;;GAMG;AACU,QAAA,QAAQ,GAAG,CAAC,CAAC;AAE1B,iFAAiF;AACpE,QAAA,YAAY,GAAG,GAAG,CAAC;AA6DhC,SAAgB,MAAM,CAAC,WAAmB;IACxC,OAAO,WAAW,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED,SAAgB,cAAc,CAAC,KAAmB;IAChD,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM;QACjC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACtE,CAAC,CAAC,gCAAgC,CAAC;IACrC,OAAO;QACL,uFAAuF;QACvF,EAAE;QACF,YAAY,KAAK,CAAC,WAAW,EAAE;QAC/B,2CAA2C,KAAK,CAAC,QAAQ,EAAE;QAC3D,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YACpB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,EAAE;gBACF,4GAA4G;gBAC5G,4GAA4G;gBAC5G,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,MAAM,GAAG,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;aAC1G,CAAC;QACN,EAAE;QACF,yDAAyD;QACzD,IAAI;QACJ,EAAE;QACF,+DAA+D;QAC/D,EAAE;QACF,qEAAqE;QACrE,yEAAyE;QACzE,yEAAyE;QACzE,qEAAqE;QACrE,EAAE;QACF,oEAAoE;QACpE,EAAE;QACF,sDAAsD;QACtD,sFAAsF,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAQ,CAAC,CAAC,CAAC,gBAAQ,GAAG;QACrI,yEAAyE;QACzE,EAAE;QACF,QAAQ;QACR,wEAAwE;QACxE,uEAAuE;QACvE,4EAA4E;QAC5E,+BAA+B;QAC/B,wEAAwE;QACxE,mEAAmE;QACnE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,0EAA0E,CAAC,CAAC;KAC5G,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AASD;;;;;;;;;;;;GAYG;AACH,SAAgB,cAAc,CAAC,UAAkB,EAAE,OAAe;IAChE,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1E,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,SAAS;QACjE,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,OAAe;IACpD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/D,MAAM,CAAC,GAAG,MAAoB,CAAC;IAE/B,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC;QAClB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,oBAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7F,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC1E,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,oBAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1F,wEAAwE;YACxE,gCAAgC;YAChC,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,MAAM,IAAI,GAAU,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBACvB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;oBAAE,SAAS;gBAClD,MAAM,GAAG,GAAI,CAA+B,CAAC,WAAW,CAAC;gBACzD,MAAM,WAAW,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,oBAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1G,IAAI,CAAC,WAAW;oBAAE,SAAS;gBAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;gBAChC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC,CAAC;gBAChC,IAAI,IAAI,CAAC,MAAM,IAAI,OAAO;oBAAE,MAAM;YACpC,CAAC;YACD,wEAAwE;YACxE,uDAAuD;YACvD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3D,CAAC;QACD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACI,KAAK,UAAU,eAAe,CAAC,KAAmB,EAAE,IAAiB;IAC1E,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,IAAI,2BAAmB,CAAC,CAAC;IAC7E,MAAM,CAAC,GAAG,IAAA,+BAAc,EAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;IAElC,IAAI,CAAC,CAAC,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,0BAA0B,EAAE,UAAU,EAAE,CAAC;IACrF,IAAI,CAAC,CAAC,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,UAAU,EAAE,CAAC;IAE7E,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,IAAI,gBAAQ,CAAC,CAAC;IACrE,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,6CAA6C,EAAE,UAAU,EAAE,CAAC;IACtG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC3C,CAAC"}

package/dist/goal-met-target.d.ts

@@ -0,0 +1,98 @@
+import type { Item, RunScope } from '@looply/core';
+import { type Publication } from './completion';
+import { type DeliveredTip } from './goal-execution-evidence';
+import type { GitDriver } from './git-driver';
+/**
+ * F33: WHAT A GOAL-MET START SAYS BEFORE IT MOVES HEAD. The lease is written once and never
+ * rewritten, and it names the branch the run was on; after `switchDetached` the checkout is on no
+ * branch, so a run that died mid-evaluation left a checkout recovery would BLOCK for ever (the
+ * goal's home, under F28). This names the run and the exact commit it moved to, so recovery can
+ * tell "where that run left it" from "somebody moved it".
+ */
+export declare const JUDGING_MARKER = "judging.json";
+export declare function writeJudgingMarker(stateDir: string, m: {
+    readonly runId: string;
+    readonly sha: string;
+}): void;
+export declare function readJudgingMarker(stateDir: string): {
+    readonly runId: string;
+    readonly sha: string;
+} | null;
+/**
+ * WHERE A GOAL-MET START LOOKS (F27) — a programme whose lane integrates.
+ *
+ * 🔴 THE VERDICT WAS TAKEN ON THE WRONG TREE, AND THREE STALLS FOLLOWED FROM IT.
+ * A Start with nothing left to pick asks the evaluator whether the goal is met,
+ * on whatever HEAD the checkout has, and KEY 2 then needs that HEAD to be a
+ * committed round of the plan. In a programme that is the wrong question in
+ * three ways (live2/REVIEW-GROUP-A-74fa1bd.json):
+ *   - the lane CARRIED the branch onto a moved base, and where the change
+ *     overlapped what the base moved it owes a fresh verdict on the carried
+ *     commit — which no Start could take, because every Start judged the run
+ *     branch again, so the goal held for ever;
+ *   - the lane could NOT carry it (the patch no longer applies): the controller
+ *     bought a Start to re-cut, and that Start judged the same refused tree,
+ *     said "met" again, and spent the grant's Starts in a loop (corr-6);
+ *   - another goal's run had moved this checkout's HEAD in between, so KEY 2
+ *     found the code "moved on" and the goal ended `human_required` (B13).
+ *
+ * So the Start judges the tree the lane HOLDS for this goal's delivered work:
+ *   - the delivered round itself, while the lane has not answered for it or
+ *     published it as it stands;
+ *   - the lane's replay of it, when it was carried;
+ *   - the moved integration tip, when it could not be carried. The goal's work
+ *     is absent there, so the evaluator finds the gap and the next revision is
+ *     cut from the moved base, which is the re-cut the lane asked for.
+ *
+ * ⚠️ KEY 2 PROVES WHAT IT ALWAYS PROVED. For a carried commit it is asked about
+ * the round the lane carried — the lane's own attempt names that branch and its
+ * tip — so "this plan delivered it" still rests on this checkout's ledger, and
+ * the evaluator's verdict is about the commit the lane actually published.
+ */
+export type EvaluationTarget = 
+/** Leave HEAD where it is — the only answer outside a programme workspace. */
+{
+    readonly kind: 'as-is';
+    readonly because: string;
+}
+/** The newest committed round of this plan, as delivered. */
+ | {
+    readonly kind: 'delivered';
+    readonly sha: string;
+}
+/** The lane's replay `sha` of the delivered round `of`, published on `branch`. */
+ | {
+    readonly kind: 'carried';
+    readonly sha: string;
+    readonly of: string;
+    readonly branch: string;
+}
+/** The integration tip: the lane could not carry the delivered round onto it. */
+ | {
+    readonly kind: 'moved-base';
+    readonly sha: string;
+    readonly because: string;
+};
+export interface TargetInput {
+    /** The plan's newest committed round, and the branch its run delivered on (null when unrecorded). */
+    readonly delivered: (DeliveredTip & {
+        readonly branch: string | null;
+    }) | null;
+    /** The lane's answer for that branch. */
+    readonly publication: Publication | null;
+    /** The integration tip, or null when there is none. */
+    readonly integrationTip: string | null;
+    /** F33: the delivering branch's tip now (null: the ref is gone). A replay carries the round only if this IS the round. */
+    readonly branchTip?: string | null;
+}
+export declare function evaluationTargetOf(input: TargetInput): EvaluationTarget;
+export declare function describeTarget(t: EvaluationTarget): string;
+/** The target for this checkout's plan, read from the ledger, the lane's claims and attempts, and git. */
+export declare function goalMetTarget(input: {
+    readonly cwd: string;
+    readonly git: GitDriver;
+    readonly stateDir: string;
+    readonly scope: NonNullable<RunScope>;
+    readonly items: readonly Item[];
+}): Promise<EvaluationTarget>;
+//# sourceMappingURL=goal-met-target.d.ts.map

package/dist/goal-met-target.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-met-target.d.ts","sourceRoot":"","sources":["../src/goal-met-target.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAmB,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAkB,KAAK,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAS9C;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,iBAAiB,CAAC;AAE7C,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAE9G;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAO3G;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,MAAM,MAAM,gBAAgB;AAC1B,8EAA8E;AAC5E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE;AACtD,6DAA6D;GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE;AACtD,kFAAkF;GAChF;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE;AAClG,iFAAiF;GAC/E;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpF,MAAM,WAAW,WAAW;IAC1B,qGAAqG;IACrG,QAAQ,CAAC,SAAS,EAAE,CAAC,YAAY,GAAG;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,GAAG,IAAI,CAAC;IAC/E,yCAAyC;IACzC,QAAQ,CAAC,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IACzC,uDAAuD;IACvD,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,0HAA0H;IAC1H,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAyBvE;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAW1D;AAED,0GAA0G;AAC1G,wBAAsB,aAAa,CAAC,KAAK,EAAE;IACzC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;CACjC,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAU5B"}

package/dist/goal-met-target.js

@@ -0,0 +1,92 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.JUDGING_MARKER = void 0;
+exports.writeJudgingMarker = writeJudgingMarker;
+exports.readJudgingMarker = readJudgingMarker;
+exports.evaluationTargetOf = evaluationTargetOf;
+exports.describeTarget = describeTarget;
+exports.goalMetTarget = goalMetTarget;
+const completion_1 = require("./completion");
+const goal_execution_evidence_1 = require("./goal-execution-evidence");
+const integration_1 = require("./integration");
+const lane_claims_1 = require("./lane-claims");
+const ledger_store_1 = require("./ledger-store");
+const round_records_1 = require("./round-records");
+const run_delivery_1 = require("./run-delivery");
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+/**
+ * F33: WHAT A GOAL-MET START SAYS BEFORE IT MOVES HEAD. The lease is written once and never
+ * rewritten, and it names the branch the run was on; after `switchDetached` the checkout is on no
+ * branch, so a run that died mid-evaluation left a checkout recovery would BLOCK for ever (the
+ * goal's home, under F28). This names the run and the exact commit it moved to, so recovery can
+ * tell "where that run left it" from "somebody moved it".
+ */
+exports.JUDGING_MARKER = 'judging.json';
+function writeJudgingMarker(stateDir, m) {
+    (0, node_fs_1.writeFileSync)((0, node_path_1.join)(stateDir, exports.JUDGING_MARKER), JSON.stringify(m) + '\n', 'utf8');
+}
+function readJudgingMarker(stateDir) {
+    try {
+        const m = JSON.parse((0, node_fs_1.readFileSync)((0, node_path_1.join)(stateDir, exports.JUDGING_MARKER), 'utf8'));
+        return typeof m.runId === 'string' && typeof m.sha === 'string' ? { runId: m.runId, sha: m.sha } : null;
+    }
+    catch {
+        return null;
+    }
+}
+function evaluationTargetOf(input) {
+    const d = input.delivered;
+    if (d === null)
+        return { kind: 'as-is', because: 'no round of this plan reached a commit in this checkout' };
+    const p = input.publication;
+    if (d.branch === null || p === null)
+        return { kind: 'delivered', sha: d.sha };
+    switch (p.kind) {
+        case 'published':
+            // `publicationOf` answers for the REPLAY when it followed one: another branch, another commit.
+            // F33: …and only when the branch's tip is the round KEY 2 confirms — a replay of any other tip is not its carried form.
+            return p.branch !== d.branch && input.branchTip === d.sha
+                ? { kind: 'carried', sha: p.sha, of: d.sha, branch: p.branch }
+                : { kind: 'delivered', sha: d.sha };
+        case 'refused':
+            // A red gate is a person's to read and buys no Start; only a base that moved is re-cut.
+            return p.rebase && input.integrationTip !== null
+                ? { kind: 'moved-base', sha: input.integrationTip, because: `the lane could not carry ${p.branch}: ${p.because}` }
+                : { kind: 'delivered', sha: d.sha };
+        case 'pending':
+        case 'unknown':
+            return { kind: 'delivered', sha: d.sha };
+        default: {
+            const never = p;
+            throw new Error(`no evaluation target for publication ${String(never)}`);
+        }
+    }
+}
+function describeTarget(t) {
+    switch (t.kind) {
+        case 'as-is':
+            return `the checkout as it stands (${t.because})`;
+        case 'delivered':
+            return `the delivered round ${t.sha.slice(0, 12)}`;
+        case 'carried':
+            return `the lane's replay ${t.sha.slice(0, 12)} of the delivered round ${t.of.slice(0, 12)} (${t.branch})`;
+        case 'moved-base':
+            return `the integration tip ${t.sha.slice(0, 12)} — ${t.because}`;
+    }
+}
+/** The target for this checkout's plan, read from the ledger, the lane's claims and attempts, and git. */
+async function goalMetTarget(input) {
+    const read = await (0, round_records_1.readRoundRecords)(input.stateDir, ledger_store_1.nodeLedgerFs);
+    if (!read.ok)
+        return { kind: 'as-is', because: read.because };
+    const tip = (0, goal_execution_evidence_1.deliveredTipOf)({ scope: input.scope, items: input.items, rounds: read.rounds });
+    if (tip === null)
+        return { kind: 'as-is', because: 'no round of this plan reached a commit in this checkout' };
+    const branch = (0, run_delivery_1.deliveringBranchOf)((0, lane_claims_1.readLaneClaims)(input.cwd), tip.runId);
+    const publication = branch === null ? null : await (0, completion_1.nodePublication)(input.cwd)(branch);
+    const integrationTip = (await input.git.refExists(integration_1.INTEGRATION_BRANCH)) ? await input.git.commitOf(integration_1.INTEGRATION_BRANCH) : null;
+    const branchTip = branch !== null && (await input.git.refExists(branch)) ? await input.git.commitOf(branch) : null;
+    return evaluationTargetOf({ delivered: { ...tip, branch }, publication, integrationTip, branchTip });
+}
+//# sourceMappingURL=goal-met-target.js.map

package/dist/goal-met-target.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-met-target.js","sourceRoot":"","sources":["../src/goal-met-target.ts"],"names":[],"mappings":";;;AAqBA,gDAEC;AAED,8CAOC;AAuDD,gDAyBC;AAED,wCAWC;AAGD,sCAgBC;AA/ID,6CAAiE;AACjE,uEAA8E;AAE9E,+CAAmD;AACnD,+CAA+C;AAC/C,iDAA8C;AAC9C,mDAAmD;AACnD,iDAAoD;AACpD,qCAAsD;AACtD,yCAAiC;AAEjC;;;;;;GAMG;AACU,QAAA,cAAc,GAAG,cAAc,CAAC;AAE7C,SAAgB,kBAAkB,CAAC,QAAgB,EAAE,CAAmD;IACtG,IAAA,uBAAa,EAAC,IAAA,gBAAI,EAAC,QAAQ,EAAE,sBAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;AAClF,CAAC;AAED,SAAgB,iBAAiB,CAAC,QAAgB;IAChD,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAA,sBAAY,EAAC,IAAA,gBAAI,EAAC,QAAQ,EAAE,sBAAc,CAAC,EAAE,MAAM,CAAC,CAAuC,CAAC;QACjH,OAAO,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1G,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAuDD,SAAgB,kBAAkB,CAAC,KAAkB;IACnD,MAAM,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC;IAC1B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,yDAAyD,EAAE,CAAC;IAC7G,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC;IAC5B,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;IAC9E,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW;YACd,+FAA+F;YAC/F,wHAAwH;YACxH,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,CAAC,CAAC,GAAG;gBACvD,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;gBAC9D,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QACxC,KAAK,SAAS;YACZ,wFAAwF;YACxF,OAAO,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI;gBAC9C,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,EAAE,4BAA4B,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClH,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QACxC,KAAK,SAAS,CAAC;QACf,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;QAC3C,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,KAAK,GAAU,CAAC,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,wCAAwC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,cAAc,CAAC,CAAmB;IAChD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,8BAA8B,CAAC,CAAC,OAAO,GAAG,CAAC;QACpD,KAAK,WAAW;YACd,OAAO,uBAAuB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;QACrD,KAAK,SAAS;YACZ,OAAO,qBAAqB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,2BAA2B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;QAC7G,KAAK,YAAY;YACf,OAAO,uBAAuB,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC;IACtE,CAAC;AACH,CAAC;AAED,0GAA0G;AACnG,KAAK,UAAU,aAAa,CAAC,KAMnC;IACC,MAAM,IAAI,GAAG,MAAM,IAAA,gCAAgB,EAAC,KAAK,CAAC,QAAQ,EAAE,2BAAY,CAAC,CAAC;IAClE,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IAC9D,MAAM,GAAG,GAAG,IAAA,wCAAc,EAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5F,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,yDAAyD,EAAE,CAAC;IAC/G,MAAM,MAAM,GAAG,IAAA,iCAAkB,EAAC,IAAA,4BAAc,EAAC,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAA,4BAAe,EAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACtF,MAAM,cAAc,GAAG,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,gCAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,gCAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7H,MAAM,SAAS,GAAG,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnH,OAAO,kBAAkB,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,GAAG,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,CAAC;AACvG,CAAC"}