@mobrienv/autoloop-harness 0.7.4 → 0.9.1

package/dist/intent.js

@@ -0,0 +1,127 @@
+import { spawnSync } from "node:child_process";
+import { jsonBool, jsonField, jsonFieldRaw } from "@mobrienv/autoloop-core";
+import { appendEvent, appendOperatorEvent, } from "@mobrienv/autoloop-core/journal";
+const CHECK_SEP = " :: ";
+/** Parse one criterion line into text + optional bound check. */
+export function parseCriterion(line) {
+    const idx = line.indexOf(CHECK_SEP);
+    if (idx === -1)
+        return { text: line.trim() };
+    return {
+        text: line.slice(0, idx).trim(),
+        check: line.slice(idx + CHECK_SEP.length).trim() || undefined,
+    };
+}
+/**
+ * Extract acceptance criteria from an objective's "Acceptance criteria" (or
+ * "Acceptance Criteria") section: the bullet/numbered lines following the
+ * heading, up to the next blank line or heading. Returns [] when absent.
+ */
+export function parseObjectiveCriteria(objective) {
+    const lines = objective.split("\n");
+    const out = [];
+    let inSection = false;
+    for (const raw of lines) {
+        const line = raw.trim();
+        if (/^#{0,6}\s*acceptance\s+criteria\b/i.test(line.replace(/[:*_]/g, ""))) {
+            inSection = true;
+            continue;
+        }
+        if (!inSection)
+            continue;
+        if (line === "")
+            break;
+        // A new markdown heading ends the section.
+        if (/^#{1,6}\s/.test(line))
+            break;
+        const bullet = line.match(/^(?:[-*+]|\d+[.)])\s+(.*)$/);
+        if (bullet)
+            out.push(bullet[1].trim());
+        else
+            break; // non-bullet line ends a bullet list
+    }
+    return out;
+}
+/**
+ * Capture the intent-binding contract at loop start: config criteria first,
+ * then any parsed from the objective (deduped by text). This is the bound
+ * record of "what was asked" the deterministic gate keys off.
+ */
+export function captureAcceptanceContract(loop) {
+    const raw = [
+        ...(loop.acceptance.criteria ?? []),
+        ...parseObjectiveCriteria(loop.objective ?? ""),
+    ];
+    const seen = new Set();
+    const criteria = [];
+    for (const line of raw) {
+        const c = parseCriterion(line);
+        if (!c.text || seen.has(c.text))
+            continue;
+        seen.add(c.text);
+        criteria.push(c);
+    }
+    return criteria;
+}
+/** Journal the bound acceptance contract once at loop start (audit/durability). */
+export function journalAcceptanceContract(loop) {
+    const criteria = captureAcceptanceContract(loop);
+    if (criteria.length === 0)
+        return;
+    appendEvent(loop.paths.journalFile, loop.runtime.runId, "", "acceptance.contract", jsonField("count", String(criteria.length)) +
+        ", " +
+        jsonField("criteria", criteria.map((c) => c.text).join(" | ")) +
+        ", " +
+        jsonFieldRaw("checked", String(criteria.filter((c) => c.check).length)));
+}
+/**
+ * Evaluate the intent-binding criteria at the acceptance gate. Criteria that
+ * bind a deterministic check (`text :: cmd`) are run HARNESS-side in the work
+ * dir; a non-zero exit fails acceptance so a run that passes its tests but does
+ * not satisfy the stated intent is still rejected. Criteria without a check are
+ * advisory (recorded in the contract, not a hard blocker).
+ */
+export function runIntentCriteria(loop, iteration) {
+    const checked = captureAcceptanceContract(loop).filter((c) => c.check);
+    if (checked.length === 0)
+        return { ran: false, passed: true, failures: [] };
+    const iter = String(iteration);
+    const failures = [];
+    for (const c of checked) {
+        const check = c.check;
+        const res = spawnSync(check, {
+            shell: "/bin/sh",
+            cwd: loop.paths.workDir,
+            encoding: "utf-8",
+            timeout: loop.acceptance.timeoutMs,
+            maxBuffer: 50 * 1024 * 1024,
+        });
+        const timedOut = res.signal === "SIGTERM" ||
+            res.error?.code === "ETIMEDOUT";
+        const exitCode = timedOut ? 124 : (res.status ?? 1);
+        const tail = `${res.stdout ?? ""}${res.stderr ?? ""}`.slice(-1000);
+        appendEvent(loop.paths.journalFile, loop.runtime.runId, iter, "acceptance.criterion", jsonField("text", c.text) +
+            ", " +
+            jsonField("check", check) +
+            ", " +
+            jsonField("exit_code", String(exitCode)));
+        if (exitCode !== 0)
+            failures.push({ text: c.text, check, exitCode, tail });
+    }
+    const passed = failures.length === 0;
+    appendEvent(loop.paths.journalFile, loop.runtime.runId, iter, "acceptance.intent_result", jsonFieldRaw("passed", jsonBool(passed)) +
+        ", " +
+        jsonField("failed", String(failures.length)));
+    return { ran: true, passed, failures };
+}
+/** Re-inject failed intent criteria as operator guidance. */
+export function reinjectIntentFailure(loop, iteration, result) {
+    const detail = result.failures
+        .map((f) => `- "${f.text}" (check \`${f.check}\` exited ${f.exitCode}):\n${f.tail}`)
+        .join("\n\n");
+    const message = "Completion was blocked: the build does not satisfy the stated acceptance " +
+        "criteria (intent-binding), even if tests pass. Satisfy these before " +
+        `claiming completion:\n\n${detail}`;
+    appendOperatorEvent(loop.paths.journalFile, loop.runtime.runId, String(iteration), "operator.guidance", message);
+}
+//# sourceMappingURL=intent.js.map

package/dist/intent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent.js","sourceRoot":"","sources":["../src/intent.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5E,OAAO,EACL,WAAW,EACX,mBAAmB,GACpB,MAAM,iCAAiC,CAAC;AAuBzC,MAAM,SAAS,GAAG,MAAM,CAAC;AAEzB,iEAAiE;AACjE,MAAM,UAAU,cAAc,CAAC,IAAY;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;IAC7C,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE;QAC/B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS;KAC9D,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,SAAiB;IACtD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YAC1E,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,IAAI,IAAI,KAAK,EAAE;YAAE,MAAM;QACvB,2CAA2C;QAC3C,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;QACxD,IAAI,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;;YAClC,MAAM,CAAC,qCAAqC;IACnD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,IAAiB;IAEjB,MAAM,GAAG,GAAG;QACV,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC;QACnC,GAAG,sBAAsB,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;KAChD,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAA0B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,yBAAyB,CAAC,IAAiB;IACzD,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAClC,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,EAAE,EACF,qBAAqB,EACrB,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI;QACJ,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI;QACJ,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAiB,EACjB,SAAiB;IAEjB,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACvE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAE5E,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAA6B,EAAE,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAe,CAAC;QAChC,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,EAAE;YAC3B,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO;YACvB,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,SAAS;YAClC,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAC;QACH,MAAM,QAAQ,GACZ,GAAG,CAAC,MAAM,KAAK,SAAS;YACvB,GAAG,CAAC,KAA2C,EAAE,IAAI,KAAK,WAAW,CAAC;QACzE,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;QACnE,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,IAAI,EACJ,sBAAsB,EACtB,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC;YACvB,IAAI;YACJ,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC;YACzB,IAAI;YACJ,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAC3C,CAAC;QACF,IAAI,QAAQ,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;IACrC,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,IAAI,EACJ,0BAA0B,EAC1B,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAC/C,CAAC;IACF,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACzC,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,qBAAqB,CACnC,IAAiB,EACjB,SAAiB,EACjB,MAAoB;IAEpB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ;SAC3B,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,MAAM,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,IAAI,EAAE,CAC1E;SACA,IAAI,CAAC,MAAM,CAAC,CAAC;IAChB,MAAM,OAAO,GACX,2EAA2E;QAC3E,sEAAsE;QACtE,2BAA2B,MAAM,EAAE,CAAC;IACtC,mBAAmB,CACjB,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,SAAS,CAAC,EACjB,mBAAmB,EACnB,OAAO,CACR,CAAC;AACJ,CAAC"}

package/dist/iteration-diff.d.ts

@@ -0,0 +1,32 @@
+export interface TextDelta {
+    aChars: number;
+    bChars: number;
+    charDelta: number;
+    linesAdded: number;
+    linesRemoved: number;
+    changed: boolean;
+}
+export interface IterationDiff {
+    iterA: number;
+    iterB: number;
+    prompt: TextDelta;
+    output: TextDelta;
+    cost: {
+        aUsd: number;
+        bUsd: number;
+        deltaUsd: number;
+    };
+    /** Event topics emitted in one iteration but not the other (structural). */
+    events: {
+        onlyInA: string[];
+        onlyInB: string[];
+    };
+}
+/**
+ * Structural diff between two journaled iterations of a run: prompt (assembled
+ * context), backend output, cost, and the emitted-event topic set. Pure over
+ * the run's journal lines — the durable journal is the trustworthy source.
+ */
+export declare function diffIterations(runLines: string[], iterA: number, iterB: number): IterationDiff;
+/** Render a structural iteration diff as a human-readable report. */
+export declare function renderIterationDiff(runId: string, d: IterationDiff): string;

package/dist/iteration-diff.js

@@ -0,0 +1,92 @@
+import { extractField, extractIteration, extractTopic, } from "@mobrienv/autoloop-core/journal";
+function linesOf(runLines, iter) {
+    const want = String(iter);
+    return runLines.filter((l) => extractIteration(l) === want);
+}
+function fieldFor(lines, topic, field) {
+    // Last matching line wins (the final value journaled for that iteration).
+    for (let i = lines.length - 1; i >= 0; i--) {
+        if (extractTopic(lines[i]) === topic)
+            return extractField(lines[i], field);
+    }
+    return "";
+}
+function topicsOf(lines) {
+    return new Set(lines.map((l) => extractTopic(l)).filter(Boolean));
+}
+function costOf(lines) {
+    let sum = 0;
+    for (const l of lines) {
+        if (extractTopic(l) !== "backend.usage")
+            continue;
+        const v = Number(extractField(l, "cost_usd"));
+        if (Number.isFinite(v))
+            sum += v;
+    }
+    return Math.round(sum * 1e6) / 1e6;
+}
+/** Multiset line diff: counts of lines present in b-not-a (added) / a-not-b (removed). */
+function textDelta(a, b) {
+    const aLines = a ? a.split("\n") : [];
+    const bLines = b ? b.split("\n") : [];
+    const count = (xs) => {
+        const m = new Map();
+        for (const x of xs)
+            m.set(x, (m.get(x) ?? 0) + 1);
+        return m;
+    };
+    const am = count(aLines);
+    const bm = count(bLines);
+    let added = 0;
+    let removed = 0;
+    for (const [line, n] of bm)
+        added += Math.max(0, n - (am.get(line) ?? 0));
+    for (const [line, n] of am)
+        removed += Math.max(0, n - (bm.get(line) ?? 0));
+    return {
+        aChars: a.length,
+        bChars: b.length,
+        charDelta: b.length - a.length,
+        linesAdded: added,
+        linesRemoved: removed,
+        changed: a !== b,
+    };
+}
+/**
+ * Structural diff between two journaled iterations of a run: prompt (assembled
+ * context), backend output, cost, and the emitted-event topic set. Pure over
+ * the run's journal lines — the durable journal is the trustworthy source.
+ */
+export function diffIterations(runLines, iterA, iterB) {
+    const a = linesOf(runLines, iterA);
+    const b = linesOf(runLines, iterB);
+    const aTopics = topicsOf(a);
+    const bTopics = topicsOf(b);
+    const aUsd = costOf(a);
+    const bUsd = costOf(b);
+    return {
+        iterA,
+        iterB,
+        prompt: textDelta(fieldFor(a, "iteration.start", "prompt"), fieldFor(b, "iteration.start", "prompt")),
+        output: textDelta(fieldFor(a, "iteration.finish", "output"), fieldFor(b, "iteration.finish", "output")),
+        cost: { aUsd, bUsd, deltaUsd: Math.round((bUsd - aUsd) * 1e6) / 1e6 },
+        events: {
+            onlyInA: [...aTopics].filter((t) => !bTopics.has(t)).sort(),
+            onlyInB: [...bTopics].filter((t) => !aTopics.has(t)).sort(),
+        },
+    };
+}
+/** Render a structural iteration diff as a human-readable report. */
+export function renderIterationDiff(runId, d) {
+    const t = (label, x) => `${label}: ${x.changed ? "changed" : "identical"} (${x.aChars}→${x.bChars} chars, Δ${x.charDelta >= 0 ? "+" : ""}${x.charDelta}; +${x.linesAdded}/-${x.linesRemoved} lines)`;
+    return [
+        `## Diff ${runId}: iter ${d.iterA} → ${d.iterB}`,
+        "",
+        t("prompt/context", d.prompt),
+        t("output", d.output),
+        `cost: $${d.cost.aUsd} → $${d.cost.bUsd} (Δ${d.cost.deltaUsd >= 0 ? "+" : ""}${d.cost.deltaUsd})`,
+        `events only in ${d.iterA}: ${d.events.onlyInA.join(", ") || "(none)"}`,
+        `events only in ${d.iterB}: ${d.events.onlyInB.join(", ") || "(none)"}`,
+    ].join("\n");
+}
+//# sourceMappingURL=iteration-diff.js.map

package/dist/iteration-diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"iteration-diff.js","sourceRoot":"","sources":["../src/iteration-diff.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,YAAY,EACZ,gBAAgB,EAChB,YAAY,GACb,MAAM,iCAAiC,CAAC;AAqBzC,SAAS,OAAO,CAAC,QAAkB,EAAE,IAAY;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,QAAQ,CAAC,KAAe,EAAE,KAAa,EAAE,KAAa;IAC7D,0EAA0E;IAC1E,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAe;IAC/B,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,MAAM,CAAC,KAAe;IAC7B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,YAAY,CAAC,CAAC,CAAC,KAAK,eAAe;YAAE,SAAS;QAClD,MAAM,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,GAAG,IAAI,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;AACrC,CAAC;AAED,0FAA0F;AAC1F,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,CAAC,EAAY,EAAE,EAAE;QAC7B,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;QAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1E,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;QAAE,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5E,OAAO;QACL,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,SAAS,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM;QAC9B,UAAU,EAAE,KAAK;QACjB,YAAY,EAAE,OAAO;QACrB,OAAO,EAAE,CAAC,KAAK,CAAC;KACjB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,QAAkB,EAClB,KAAa,EACb,KAAa;IAEb,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnC,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACvB,OAAO;QACL,KAAK;QACL,KAAK;QACL,MAAM,EAAE,SAAS,CACf,QAAQ,CAAC,CAAC,EAAE,iBAAiB,EAAE,QAAQ,CAAC,EACxC,QAAQ,CAAC,CAAC,EAAE,iBAAiB,EAAE,QAAQ,CAAC,CACzC;QACD,MAAM,EAAE,SAAS,CACf,QAAQ,CAAC,CAAC,EAAE,kBAAkB,EAAE,QAAQ,CAAC,EACzC,QAAQ,CAAC,CAAC,EAAE,kBAAkB,EAAE,QAAQ,CAAC,CAC1C;QACD,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,EAAE;QACrE,MAAM,EAAE;YACN,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YAC3D,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;SAC5D;KACF,CAAC;AACJ,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,CAAgB;IACjE,MAAM,CAAC,GAAG,CAAC,KAAa,EAAE,CAAY,EAAE,EAAE,CACxC,GAAG,KAAK,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,YAAY,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,UAAU,KAAK,CAAC,CAAC,YAAY,SAAS,CAAC;IAC/K,OAAO;QACL,WAAW,KAAK,UAAU,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,KAAK,EAAE;QAChD,EAAE;QACF,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,MAAM,CAAC;QAC7B,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC;QACrB,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,GAAG;QACjG,kBAAkB,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE;QACvE,kBAAkB,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE;KACxE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/iteration.d.ts

@@ -10,7 +10,27 @@ export declare function resolveOutcome(ctx: {
     completionEvent: string;
     requiredEvents: string[];
     completionPromise: string;
+    hasBlockingTasks: boolean;
+    /**
+     * Ralph-parity ordering policy. When true, a completion claim is rejected
+     * (falls through to the routed/promise/continue branches) unless
+     * `completionOrderOk` confirms no other event followed completionEvent in
+     * its own turn. Optional/false = order-insensitive set-membership check
+     * (unchanged default behavior).
+     */
+    mustBeLast?: boolean;
+    /** Precomputed by the caller from full journal ordering (see completionEmittedLast). */
+    completionOrderOk?: boolean;
 }): {
     action: string;
     outcome: string;
 };
+/**
+ * True iff `completionEvent`, wherever it was last emitted in the run, was
+ * the last non-system topic emitted in that same turn (iteration). Used to
+ * enforce `completion.must_be_last`: ralph rejects completion if other
+ * events follow it within the same turn, rather than autoloop's default
+ * order-insensitive set-membership check. Returns true (not applicable) if
+ * the completion event has not been emitted at all.
+ */
+export declare function completionEmittedLast(runLines: string[], completionEvent: string): boolean;