loopforge 1.8.0 → 1.15.1

package/dist/enforcement-gate.js

@@ -0,0 +1,253 @@
+/** Enforcement Gate — Layer 2 round-boundary runtime enforcement (v1.13).
+ *
+ * Pure-function module. Receives the verification gate's findings plus
+ * round-level context and decides whether to accept the round, reject it
+ * (force the agent to redo), or terminate the loop.
+ *
+ * This is the "runtime" that prompt-only constraint systems lack.
+ * Verification gate detects WHAT is wrong; enforcement gate decides
+ * what to DO about it.
+ *
+ * Decision semantics:
+ * - accept:    round passes all checks; advance to next round as normal.
+ * - reject:    agent's self-evaluation or round output is invalid; the
+ *              agent receives a rejection prompt and must redo the SAME
+ *              round. Round counter does NOT increment.
+ * - terminate: loop has reached an unrecoverable state; stop immediately
+ *              with stopReason "enforcement_terminated".
+ */
+import { makeEnforcementResult } from "./protocol.js";
+import { entryRound } from "./verification-gate.js";
+// ═══════════════════════════════════════════════════════════════════════════
+// Helpers
+// ═══════════════════════════════════════════════════════════════════════════
+/** Extract progress_estimate from a vault entry's execution_evidence.
+ *  Returns null if no execution evidence is available. */
+function entryProgress(entry) {
+    const evidence = entry.execution_evidence;
+    if (!evidence)
+        return null;
+    const pe = evidence.progress_estimate;
+    return typeof pe === "number" ? pe : null;
+}
+// ═══════════════════════════════════════════════════════════════════════════
+// Individual enforcement rules — each returns EnforcementResult | null
+// Rules are ordered by priority. The first non-null result wins.
+// ═══════════════════════════════════════════════════════════════════════════
+/** R1: Agent claims success but success_criteria_remaining has items.
+ *  This is a lie — the agent must either finish the criteria or
+ *  set success=false honestly. Triggered by the verification gate's
+ *  "success_with_remaining_criteria" error flag. */
+function enforceSuccessWithRemainingCriteria(flags) {
+    const flag = flags.find((f) => f.check === "success_with_remaining_criteria" && f.severity === "error");
+    if (!flag)
+        return null;
+    return makeEnforcementResult({
+        action: "reject",
+        reason: flag.detail,
+        fix_instructions: "You set success=true but success criteria remain unmet. " +
+            "Either: (a) complete the remaining criteria and re-submit your self-evaluation, " +
+            "or (b) set success=false and honestly report what remains to be done.",
+    });
+}
+/** R2: Same constraint violation appears in 3 consecutive rounds.
+ *  The agent is repeating the same mistake. Triggered by the verification
+ *  gate's "recurring_violation" error flag. */
+function enforceRecurringViolation(flags) {
+    const flag = flags.find((f) => f.check === "recurring_violation" && f.severity === "error");
+    if (!flag)
+        return null;
+    return makeEnforcementResult({
+        action: "reject",
+        reason: flag.detail,
+        fix_instructions: "The same constraint violation has appeared in 3 consecutive rounds. " +
+            "You must: (a) explain WHY this violation keeps occurring, " +
+            "and (b) propose a DIFFERENT approach than what you used in the last 3 rounds. " +
+            "Do NOT retry the same strategy — it has failed 3 times.",
+    });
+}
+/** R3: Agent claims success but did nothing verifiable.
+ *  Only fires when execution_evidence IS provided (structured self-eval path)
+ *  but shows no files changed AND no tests run AND success=true.
+ *  Skips when execution_evidence is undefined (heuristic fallback) —
+ *  heuristic evaluations have no evidence by definition. */
+function enforceEmptySuccess(selfEval, _flags) {
+    if (!selfEval.success)
+        return null;
+    const ev = selfEval.execution_evidence;
+    // Skip if no execution_evidence at all — this is the heuristic fallback
+    // case where the agent didn't provide structured evidence.
+    if (!ev)
+        return null;
+    const filesEmpty = ev.files_changed.length === 0;
+    const testsNotRun = ev.test_results === null;
+    if (!filesEmpty || !testsNotRun)
+        return null;
+    return makeEnforcementResult({
+        action: "reject",
+        reason: "Agent claims success but execution_evidence shows no files changed " +
+            "and no tests were run. There is no verifiable evidence of work.",
+        fix_instructions: "You must provide verifiable evidence: " +
+            "(a) list the files you changed in execution_evidence.files_changed, " +
+            "and (b) run tests and report results in execution_evidence.test_results. " +
+            "If you genuinely completed the task without file changes or tests, " +
+            "explain why in detail in your output_summary.",
+    });
+}
+/** R4: Progress has stalled for 3+ consecutive rounds.
+ *  Detected by checking progress_estimate deltas across vault entries.
+ *  First occurrence → REJECT (agent must change approach).
+ *  Second consecutive occurrence → TERMINATE (agent cannot recover). */
+function enforceProgressStall(_selfEval, _flags, currentRound, vaultEntries, consecutiveRejections) {
+    // Need at least 3 rounds of history
+    if (currentRound < 3)
+        return null;
+    // Collect progress estimates for the last 3 completed rounds from vault
+    const progressByRound = new Map();
+    for (const entry of vaultEntries) {
+        const rnd = entryRound(entry);
+        // Only consider rounds before the current one
+        if (rnd < 1 || rnd >= currentRound)
+            continue;
+        const pe = entryProgress(entry);
+        if (pe !== null)
+            progressByRound.set(rnd, pe);
+    }
+    // Need at least 3 data points
+    if (progressByRound.size < 3)
+        return null;
+    // Get the three most recent rounds with progress data
+    const sortedRounds = [...progressByRound.keys()].sort((a, b) => a - b);
+    const last3 = sortedRounds.slice(-3);
+    if (last3.length < 3)
+        return null;
+    // Verify these are the actual last 3 rounds (contiguous with current)
+    // Accept rounds that are within [currentRound-3, currentRound-1]
+    const expectedMin = currentRound - 3;
+    const actualMin = last3[0];
+    // Allow up to 1 round gap (some rounds may not have progress data)
+    if (actualMin < expectedMin - 1 || last3[2] > currentRound - 1)
+        return null;
+    const p1 = progressByRound.get(last3[0]);
+    const p2 = progressByRound.get(last3[1]);
+    const p3 = progressByRound.get(last3[2]);
+    const stallThreshold = 0.05;
+    const delta12 = p2 - p1;
+    const delta23 = p3 - p2;
+    // Both deltas must be below threshold AND not near completion
+    const isStalling = delta12 < stallThreshold &&
+        delta23 < stallThreshold &&
+        p3 < 0.95;
+    if (!isStalling)
+        return null;
+    // If already rejected once for stall → escalate to terminate
+    if (consecutiveRejections >= 1) {
+        return makeEnforcementResult({
+            action: "terminate",
+            reason: `Progress stalled for 3+ rounds ` +
+                `(${(p1 * 100).toFixed(0)}% → ${(p2 * 100).toFixed(0)}% → ${(p3 * 100).toFixed(0)}%) ` +
+                `and agent did not resolve after previous rejection. Terminating loop.`,
+        });
+    }
+    return makeEnforcementResult({
+        action: "reject",
+        reason: `Progress has stalled: ${(p1 * 100).toFixed(0)}% → ` +
+            `${(p2 * 100).toFixed(0)}% → ${(p3 * 100).toFixed(0)}% over the ` +
+            `last 3 rounds (delta < ${(stallThreshold * 100).toFixed(0)}% each round).`,
+        fix_instructions: "Your progress has been flat for 3 rounds. You must: " +
+            "(a) explain what is blocking progress, " +
+            "(b) propose a DIFFERENT technique or task decomposition, and " +
+            "(c) set a concrete, verifiable goal for the redo of this round. " +
+            "Do NOT repeat the same approach — it has not moved progress forward.",
+    });
+}
+/** R5: Two consecutive rejections → terminate.
+ *  The agent has been unable or unwilling to fix the identified issues
+ *  across two consecutive enforcement rejections. */
+function enforceMaxRejections(consecutiveRejections) {
+    if (consecutiveRejections < 2)
+        return null;
+    return makeEnforcementResult({
+        action: "terminate",
+        reason: `${consecutiveRejections} consecutive enforcement rejections without ` +
+            `resolution. The agent has been unable to correct the identified issues.`,
+    });
+}
+// ═══════════════════════════════════════════════════════════════════════════
+// Main entry point
+// ═══════════════════════════════════════════════════════════════════════════
+/** Enforce round-boundary rules based on the verification gate's findings
+ *  and the agent's self-evaluation integrity.
+ *
+ *  Rules run in priority order (R1 → R5). The first rule that fires wins.
+ *
+ * @param selfEval              The agent's self-evaluation for the current round.
+ * @param verifyResult          The verification gate's output (from verifySelfEvaluation).
+ * @param currentRound          Current round number (1-based, BEFORE increment).
+ * @param vaultEntries          Vault entries for this loop (used for progress tracking).
+ * @param consecutiveRejections How many consecutive rounds have already been rejected.
+ *                              Starts at 0; increments on each reject; resets on accept.
+ */
+export function enforceRound(selfEval, verifyResult, currentRound, vaultEntries, consecutiveRejections = 0) {
+    const { flags } = verifyResult;
+    // Run enforcement rules in priority order.
+    // Earlier rules take higher precedence.
+    const rules = [
+        () => enforceSuccessWithRemainingCriteria(flags),
+        () => enforceRecurringViolation(flags),
+        () => enforceEmptySuccess(selfEval, flags),
+        () => enforceProgressStall(selfEval, flags, currentRound, vaultEntries, consecutiveRejections),
+        () => enforceMaxRejections(consecutiveRejections),
+    ];
+    for (const rule of rules) {
+        const result = rule();
+        if (result)
+            return result;
+    }
+    // All rules passed — accept the round
+    return makeEnforcementResult({
+        action: "accept",
+        reason: "",
+        fix_instructions: "",
+    });
+}
+/** Build a rejection prompt for the agent.
+ *
+ *  The prompt clearly states the round was rejected, why, what the agent
+ *  must fix, and that the agent must redo the SAME round (not advance).
+ *
+ * @param currentRound  The round number that was rejected (NOT incremented).
+ * @param task          The original loop task description.
+ * @param enforceResult The enforcement decision with reason and fix instructions.
+ */
+export function buildRejectionPrompt(currentRound, task, enforceResult) {
+    const lines = [
+        "## ⛔ Round " + currentRound + " — REJECTED",
+        "",
+        "Your self-evaluation for Round " + currentRound +
+            " was **rejected** by the enforcement gate.",
+        "",
+        "### Reason",
+        "",
+        enforceResult.reason,
+        "",
+    ];
+    if (enforceResult.fix_instructions) {
+        lines.push("### Required Fix");
+        lines.push("");
+        lines.push(enforceResult.fix_instructions);
+        lines.push("");
+    }
+    lines.push("### Your Task (Round " + currentRound + " — Retry)");
+    lines.push("");
+    lines.push(task);
+    lines.push("");
+    lines.push("### Instructions");
+    lines.push("");
+    lines.push("1. Read and address each issue in **Required Fix** above.", "2. Re-execute **Round " + currentRound +
+        "** — do NOT advance to the next round.", "3. Submit a corrected self-evaluation via `loopforge_next`.", "4. Be honest in your self-evaluation — " +
+        "claiming success when criteria are unmet will be rejected again.", "5. If you believe this rejection is incorrect, " +
+        "explain why in your output_summary and the enforcement gate will re-evaluate.");
+    return lines.join("\n");
+}
+//# sourceMappingURL=enforcement-gate.js.map

package/dist/enforcement-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enforcement-gate.js","sourceRoot":"","sources":["../src/enforcement-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AASH,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;0DAC0D;AAC1D,SAAS,aAAa,CAAC,KAAiB;IACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,kBAAyD,CAAC;IACjF,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,EAAE,GAAG,QAAQ,CAAC,iBAAiB,CAAC;IACtC,OAAO,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5C,CAAC;AAED,8EAA8E;AAC9E,uEAAuE;AACvE,iEAAiE;AACjE,8EAA8E;AAE9E;;;oDAGoD;AACpD,SAAS,mCAAmC,CAC1C,KAAyB;IAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,iCAAiC,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,CAC/E,CAAC;IACF,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,OAAO,qBAAqB,CAAC;QAC3B,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,gBAAgB,EACd,0DAA0D;YAC1D,kFAAkF;YAClF,uEAAuE;KAC1E,CAAC,CAAC;AACL,CAAC;AAED;;+CAE+C;AAC/C,SAAS,yBAAyB,CAChC,KAAyB;IAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,qBAAqB,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,CACnE,CAAC;IACF,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEvB,OAAO,qBAAqB,CAAC;QAC3B,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,gBAAgB,EACd,sEAAsE;YACtE,4DAA4D;YAC5D,gFAAgF;YAChF,yDAAyD;KAC5D,CAAC,CAAC;AACL,CAAC;AAED;;;;4DAI4D;AAC5D,SAAS,mBAAmB,CAC1B,QAAwB,EACxB,MAA0B;IAE1B,IAAI,CAAC,QAAQ,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAEnC,MAAM,EAAE,GAAG,QAAQ,CAAC,kBAAkB,CAAC;IACvC,wEAAwE;IACxE,2DAA2D;IAC3D,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAErB,MAAM,UAAU,GAAG,EAAE,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,EAAE,CAAC,YAAY,KAAK,IAAI,CAAC;IAE7C,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAE7C,OAAO,qBAAqB,CAAC;QAC3B,MAAM,EAAE,QAAQ;QAChB,MAAM,EACJ,qEAAqE;YACrE,iEAAiE;QACnE,gBAAgB,EACd,wCAAwC;YACxC,sEAAsE;YACtE,2EAA2E;YAC3E,qEAAqE;YACrE,+CAA+C;KAClD,CAAC,CAAC;AACL,CAAC;AAED;;;wEAGwE;AACxE,SAAS,oBAAoB,CAC3B,SAAyB,EACzB,MAA0B,EAC1B,YAAoB,EACpB,YAA0B,EAC1B,qBAA6B;IAE7B,oCAAoC;IACpC,IAAI,YAAY,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAElC,wEAAwE;IACxE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC9B,8CAA8C;QAC9C,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,YAAY;YAAE,SAAS;QAC7C,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,EAAE,KAAK,IAAI;YAAE,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,8BAA8B;IAC9B,IAAI,eAAe,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1C,sDAAsD;IACtD,MAAM,YAAY,GAAG,CAAC,GAAG,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAElC,sEAAsE;IACtE,iEAAiE;IACjE,MAAM,WAAW,GAAG,YAAY,GAAG,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,mEAAmE;IACnE,IAAI,SAAS,GAAG,WAAW,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,YAAY,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAE5E,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC;IAC1C,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC;IAC1C,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,CAAC;IAE1C,MAAM,cAAc,GAAG,IAAI,CAAC;IAC5B,MAAM,OAAO,GAAG,EAAE,GAAG,EAAE,CAAC;IACxB,MAAM,OAAO,GAAG,EAAE,GAAG,EAAE,CAAC;IAExB,8DAA8D;IAC9D,MAAM,UAAU,GACd,OAAO,GAAG,cAAc;QACxB,OAAO,GAAG,cAAc;QACxB,EAAE,GAAG,IAAI,CAAC;IAEZ,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAE7B,6DAA6D;IAC7D,IAAI,qBAAqB,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,qBAAqB,CAAC;YAC3B,MAAM,EAAE,WAAW;YACnB,MAAM,EACJ,iCAAiC;gBACjC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK;gBACtF,uEAAuE;SAC1E,CAAC,CAAC;IACL,CAAC;IAED,OAAO,qBAAqB,CAAC;QAC3B,MAAM,EAAE,QAAQ;QAChB,MAAM,EACJ,yBAAyB,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;YACpD,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa;YACjE,0BAA0B,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB;QAC7E,gBAAgB,EACd,sDAAsD;YACtD,yCAAyC;YACzC,+DAA+D;YAC/D,kEAAkE;YAClE,sEAAsE;KACzE,CAAC,CAAC;AACL,CAAC;AAED;;qDAEqD;AACrD,SAAS,oBAAoB,CAC3B,qBAA6B;IAE7B,IAAI,qBAAqB,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAE3C,OAAO,qBAAqB,CAAC;QAC3B,MAAM,EAAE,WAAW;QACnB,MAAM,EACJ,GAAG,qBAAqB,8CAA8C;YACtE,yEAAyE;KAC5E,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAC1B,QAAwB,EACxB,YAAgC,EAChC,YAAoB,EACpB,YAA0B,EAC1B,wBAAgC,CAAC;IAEjC,MAAM,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC;IAE/B,2CAA2C;IAC3C,wCAAwC;IACxC,MAAM,KAAK,GAA0C;QACnD,GAAG,EAAE,CAAC,mCAAmC,CAAC,KAAK,CAAC;QAChD,GAAG,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;QACtC,GAAG,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC;QAC1C,GAAG,EAAE,CAAC,oBAAoB,CAAC,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,qBAAqB,CAAC;QAC9F,GAAG,EAAE,CAAC,oBAAoB,CAAC,qBAAqB,CAAC;KAClD,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC;QACtB,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IAED,sCAAsC;IACtC,OAAO,qBAAqB,CAAC;QAC3B,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,EAAE;QACV,gBAAgB,EAAE,EAAE;KACrB,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,YAAoB,EACpB,IAAY,EACZ,aAAgC;IAEhC,MAAM,KAAK,GAAa;QACtB,aAAa,GAAG,YAAY,GAAG,aAAa;QAC5C,EAAE;QACF,iCAAiC,GAAG,YAAY;YAChD,4CAA4C;QAC5C,EAAE;QACF,YAAY;QACZ,EAAE;QACF,aAAa,CAAC,MAAM;QACpB,EAAE;KACH,CAAC;IAEF,IAAI,aAAa,CAAC,gBAAgB,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,uBAAuB,GAAG,YAAY,GAAG,WAAW,CAAC,CAAC;IACjE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CACR,2DAA2D,EAC3D,wBAAwB,GAAG,YAAY;QACvC,wCAAwC,EACxC,6DAA6D,EAC7D,yCAAyC;QACzC,kEAAkE,EAClE,iDAAiD;QACjD,+EAA+E,CAChF,CAAC;IAEF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/engine.d.ts

@@ -6,7 +6,16 @@
  * EngineMetrics tracks silent-failure counters for observability.
  */
 import type { VaultBackend } from "./backends/interface.js";
-import { type AgentLoopResult, type LoopForgeRequest, type SelfEvaluation, type SessionState } from "./protocol.js";
+import { type AgentLoopResult, type CriterionRevision, type ExecutionEvidence, type LoopForgeRequest, type SelfEvaluation, type SessionState } from "./protocol.js";
+/** Parse ExecutionEvidence from a raw JSON object. Shared by buildSelfEvaluation
+ *  and invokeLoopCompile — both parse the same execution_evidence shape. */
+export declare function parseExecutionEvidence(raw: Record<string, unknown> | undefined | null): ExecutionEvidence | undefined;
+/** Parse CriterionRevision[] from a raw JSON array. Shared by buildSelfEvaluation
+ *  and invokeLoopCompile — both parse the same revised_success_criteria shape. */
+export declare function parseCriterionRevisions(raw: unknown): CriterionRevision[];
+/** Parse WorkerResult[] from a raw JSON array. Shared by buildSelfEvaluation
+ *  and invokeLoopCompile — both parse the same worker_results shape. */
+export declare function parseWorkerResults(raw: unknown): import("./protocol.js").WorkerResult[];
 /** Extract a structured SelfEvaluation from agent output text.
  *  Returns null if no valid self-eval block is found.
  *  The agent is instructed to output JSON between the delimiters. */
@@ -42,14 +51,12 @@ export interface EngineMetrics {
     sessionStart: number;
 }
 export declare class LoopForgeEngine {
-    skillsDir: string;
     state: SessionState | null;
     private backend;
     private metrics;
     private feedbackWriteBuffer;
     lastTask: string | null;
-    private seenConstraints;
-    constructor(skillsDir?: string, backend?: VaultBackend);
+    constructor(_skillsDir?: string, backend?: VaultBackend);
     private resolveBackend;
     /** Public accessor for the vault backend — used by runtime/verification gate. */
     getBackend(): VaultBackend;
@@ -70,8 +77,8 @@ export declare class LoopForgeEngine {
      *  P0–P2: Also persists discovered_constraints, objective_refinement,
      *  and emerged_subtasks for the compiler to consume next round.
      *  Call this BEFORE invokeLoopCompile for the next round so that
-     *  hydrateLoopContext picks up the latest quality scores. */
-    autoFeedback(selfEval: SelfEvaluation, loopId: string, round: number, task: string): number;
+     *  hydrateLoopContext picks up the latest success flags. */
+    autoFeedback(selfEval: SelfEvaluation, loopId: string, round: number, task: string): boolean;
     invokeLoopCompile(request: LoopForgeRequest, hydrateResults?: Record<string, unknown> | null): AgentLoopResult;
     shouldBreak(): boolean;
 }

package/dist/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,KAAK,EAAE,YAAY,EAAc,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAcL,KAAK,eAAe,EAMpB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,YAAY,EAClB,MAAM,eAAe,CAAC;AASvB;;qEAEqE;AACrE,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAezE;AAED;;;8CAG8C;AAC9C,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,cAAc,CAiGhB;AAED;;;0DAG0D;AAC1D,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAqB3E;AAMD,oEAAoE;AACpE,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;IACjB,qBAAqB,EAAE,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,aAAa;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,YAAY,EAAE,MAAM,CAAC;CACtB;AAmBD,qBAAa,eAAe;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,YAAY,GAAG,IAAI,CAAQ;IAClC,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,OAAO,CAA8B;IAC7C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAQ;IAC/B,OAAO,CAAC,eAAe,CAAqB;gBAEhC,SAAS,SAAW,EAAE,OAAO,CAAC,EAAE,YAAY;IAKxD,OAAO,CAAC,cAAc;IAOtB,iFAAiF;IACjF,UAAU,IAAI,YAAY;IAI1B,6EAA6E;IAC7E,UAAU,IAAI,aAAa;IAO3B,OAAO,CAAC,UAAU;IAelB,OAAO,CAAC,sBAAsB;IAkB9B,mBAAmB,IAAI,MAAM;IA8D7B,OAAO,CAAC,kBAAkB;IA4F1B;;yEAEqE;IACrE,gBAAgB,CACd,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,eAAe,EAAE,GACzB,IAAI;IAoCP,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IAyFlE,cAAc,CACZ,OAAO,EAAE,gBAAgB,EACzB,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAC/C,eAAe;IAiGlB;;;;;iEAK6D;IAC7D,YAAY,CACV,QAAQ,EAAE,cAAc,EACxB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,GACX,MAAM;IA6FT,iBAAiB,CACf,OAAO,EAAE,gBAAgB,EACzB,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAC9C,eAAe;IA4PlB,WAAW,IAAI,OAAO;CAmBvB;AAMD,wBAAgB,YAAY,CAC1B,SAAS,SAAW,EACpB,OAAO,CAAC,EAAE,YAAY,GACrB,eAAe,CAEjB"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH,OAAO,KAAK,EAAE,YAAY,EAAc,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAcL,KAAK,eAAe,EACpB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAItB,KAAK,gBAAgB,EACrB,KAAK,cAAc,EACnB,KAAK,YAAY,EAClB,MAAM,eAAe,CAAC;AAQvB;4EAC4E;AAC5E,wBAAgB,sBAAsB,CACpC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,IAAI,GAC9C,iBAAiB,GAAG,SAAS,CAwB/B;AAED;kFACkF;AAClF,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,OAAO,GACX,iBAAiB,EAAE,CAWrB;AAED;wEACwE;AACxE,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,OAAO,GACX,OAAO,eAAe,EAAE,YAAY,EAAE,CAqBxC;AAMD;;qEAEqE;AACrE,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAezE;AAED;;;8CAG8C;AAC9C,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC3B,cAAc,CAiDhB;AAED;;;0DAG0D;AAC1D,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAqB3E;AAMD,oEAAoE;AACpE,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,OAAO,CAAC;IACjB,qBAAqB,EAAE,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,aAAa;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,YAAY,EAAE,MAAM,CAAC;CACtB;AAmBD,qBAAa,eAAe;IAC1B,KAAK,EAAE,YAAY,GAAG,IAAI,CAAQ;IAClC,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,OAAO,CAA8B;IAC7C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAQ;gBAInB,UAAU,SAAW,EAAE,OAAO,CAAC,EAAE,YAAY;IAIzD,OAAO,CAAC,cAAc;IAOtB,iFAAiF;IACjF,UAAU,IAAI,YAAY;IAI1B,6EAA6E;IAC7E,UAAU,IAAI,aAAa;IAO3B,OAAO,CAAC,UAAU;IAelB,OAAO,CAAC,sBAAsB;IAkB9B,mBAAmB,IAAI,MAAM;IA8D7B,OAAO,CAAC,kBAAkB;IAyF1B;;yEAEqE;IACrE,gBAAgB,CACd,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,eAAe,EAAE,GACzB,IAAI;IAoCP,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IAoFlE,cAAc,CACZ,OAAO,EAAE,gBAAgB,EACzB,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAC/C,eAAe;IA2FlB;;;;;gEAK4D;IAC5D,YAAY,CACV,QAAQ,EAAE,cAAc,EACxB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,GACX,OAAO;IAuFV,iBAAiB,CACf,OAAO,EAAE,gBAAgB,EACzB,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAC9C,eAAe;IAmNlB,WAAW,IAAI,OAAO;CAkBvB;AAMD,wBAAgB,YAAY,CAC1B,SAAS,SAAW,EACpB,OAAO,CAAC,EAAE,YAAY,GACrB,eAAe,CAEjB"}