loopforge 1.12.0 → 2.0.0

package/dist/round-transaction.js

@@ -0,0 +1,290 @@
+/** Schema-versioned round transaction shared by Runtime and MCP.
+ *
+ * A logical round has one deterministic roundId. Rejected attempts keep the
+ * same identity and before snapshot; only accepted decisions are committed to
+ * feedback storage. The committed feedback embeds the decision so replay after
+ * a process crash is idempotent.
+ */
+import { diffSnapshotCollections, extractFilesFromSnapshots, } from "./evidence-provider.js";
+import { RoundCoordinator, } from "./round-coordinator.js";
+import { logEvent, startSpan } from "./observability.js";
+import { policyMetrics } from "./policy-metrics.js";
+import { VaultRoundCommitStore } from "./storage.js";
+export const ROUND_TRANSACTION_SCHEMA_VERSION = 1;
+export function makeRoundId(loopId, round) {
+    if (!Number.isInteger(round) || round < 1) {
+        throw new Error(`Invalid round number: ${round}`);
+    }
+    return `loop:${loopId}:round:${round}`;
+}
+export function prepareRoundTransaction(loopId, round, beforeEvidence, promptArtifact) {
+    const now = Date.now();
+    return {
+        schemaVersion: ROUND_TRANSACTION_SCHEMA_VERSION,
+        roundId: makeRoundId(loopId, round),
+        loopId,
+        round,
+        attempt: 1,
+        phase: promptArtifact ? "prompted" : "prepared",
+        beforeEvidence,
+        createdAt: now,
+        updatedAt: now,
+        promptArtifact,
+    };
+}
+/** Attach the next prompt attempt to a rejected logical round without changing
+ * its identity or evidence baseline. Evaluation fields belong to the previous
+ * attempt and are cleared before the Agent receives the retry prompt. */
+export function prepareRejectedAttempt(rejected, promptArtifact) {
+    if (rejected.phase !== "rejected") {
+        throw new Error(`Cannot retry transaction in phase ${rejected.phase}`);
+    }
+    if (promptArtifact.roundId !== rejected.roundId) {
+        throw new Error(`Retry prompt identity mismatch: ${promptArtifact.roundId} !== ${rejected.roundId}`);
+    }
+    if (promptArtifact.attempt !== rejected.attempt + 1) {
+        throw new Error(`Retry prompt attempt mismatch: ${promptArtifact.attempt} !== ${rejected.attempt + 1}`);
+    }
+    return {
+        ...rejected,
+        attempt: promptArtifact.attempt,
+        phase: "prompted",
+        afterEvidence: undefined,
+        roundEvidence: undefined,
+        evaluation: undefined,
+        result: undefined,
+        promptArtifact,
+        updatedAt: Date.now(),
+    };
+}
+function isRecord(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+function isProcessResult(value) {
+    if (!isRecord(value))
+        return false;
+    return ["continue", "stop", "reject", "terminate"].includes(String(value.action)) && Array.isArray(value.verificationFlags);
+}
+function parseProviderSnapshots(value) {
+    if (!Array.isArray(value))
+        return null;
+    const snapshots = [];
+    for (const item of value) {
+        if (!isRecord(item))
+            return null;
+        if (typeof item.provider !== "string" ||
+            typeof item.timestamp !== "number" ||
+            !Array.isArray(item.files) ||
+            !item.files.every((file) => typeof file === "string") ||
+            !isRecord(item.data))
+            return null;
+        snapshots.push(item);
+    }
+    return snapshots;
+}
+/** Parse a persisted snapshot without trusting arbitrary vault data. */
+export function parseRoundTransactionSnapshot(value) {
+    if (!isRecord(value))
+        return null;
+    if (value.schemaVersion !== ROUND_TRANSACTION_SCHEMA_VERSION)
+        return null;
+    if (typeof value.roundId !== "string" || typeof value.loopId !== "string") {
+        return null;
+    }
+    if (!Number.isInteger(value.round) || value.round < 1)
+        return null;
+    if (!Number.isInteger(value.attempt) || value.attempt < 1)
+        return null;
+    if (!["prepared", "prompted", "evaluated", "rejected", "committed", "terminated"]
+        .includes(String(value.phase)))
+        return null;
+    const beforeEvidence = parseProviderSnapshots(value.beforeEvidence);
+    if (!beforeEvidence)
+        return null;
+    const afterEvidence = value.afterEvidence === undefined
+        ? undefined
+        : parseProviderSnapshots(value.afterEvidence);
+    if (value.afterEvidence !== undefined && !afterEvidence)
+        return null;
+    const roundEvidence = value.roundEvidence === undefined
+        ? undefined
+        : parseProviderSnapshots(value.roundEvidence);
+    if (value.roundEvidence !== undefined && !roundEvidence)
+        return null;
+    if (value.result !== undefined && !isProcessResult(value.result))
+        return null;
+    if (value.promptArtifact !== undefined) {
+        if (!isRecord(value.promptArtifact))
+            return null;
+        const artifact = value.promptArtifact;
+        if (artifact.schemaVersion !== 1 ||
+            typeof artifact.roundId !== "string" ||
+            typeof artifact.renderedPrompt !== "string" ||
+            typeof artifact.promptHash !== "string" ||
+            typeof artifact.stateHash !== "string" ||
+            !["l0", "l1", "l2"].includes(String(artifact.level)))
+            return null;
+    }
+    const snapshot = {
+        ...value,
+        beforeEvidence,
+        afterEvidence,
+        roundEvidence,
+    };
+    if (snapshot.roundId !== makeRoundId(snapshot.loopId, snapshot.round)) {
+        return null;
+    }
+    return snapshot;
+}
+export class RoundTransactionCoordinator {
+    engine;
+    backend;
+    commitStore;
+    constructor(engine, backend, commitStore) {
+        this.engine = engine;
+        this.backend = backend ?? engine.getBackend();
+        this.commitStore = commitStore ?? new VaultRoundCommitStore(this.backend);
+    }
+    process(input) {
+        const { snapshot } = input;
+        const span = startSpan("round.transaction", {
+            loopId: snapshot.loopId,
+            round: snapshot.round,
+            roundId: snapshot.roundId,
+            attempt: snapshot.attempt,
+        });
+        const finish = (outcome) => {
+            policyMetrics.recordRound(snapshot.loopId, outcome.result, outcome.replayed);
+            span.end("ok", {
+                action: outcome.result.action,
+                replayed: outcome.replayed,
+                phase: outcome.snapshot.phase,
+            });
+            return outcome;
+        };
+        try {
+            const expectedRoundId = makeRoundId(snapshot.loopId, snapshot.round);
+            if (snapshot.roundId !== expectedRoundId) {
+                throw new Error(`Round snapshot identity mismatch: ${snapshot.roundId} !== ${expectedRoundId}`);
+            }
+            const committed = this.readCommitted(snapshot);
+            if (committed) {
+                logEvent("round_transaction_replay", {
+                    loopId: snapshot.loopId,
+                    round: snapshot.round,
+                    roundId: snapshot.roundId,
+                });
+                return finish(committed);
+            }
+            const attempt = snapshot.phase === "rejected"
+                ? snapshot.attempt + 1
+                : snapshot.attempt;
+            const roundEvidence = diffSnapshotCollections(snapshot.beforeEvidence, input.actualEvidence);
+            const coordinator = new RoundCoordinator(this.backend);
+            const result = coordinator.processRound({
+                loopId: snapshot.loopId,
+                task: input.task,
+                currentRound: snapshot.round,
+                maxRounds: input.maxRounds,
+                selfEval: input.selfEval,
+                extractionSucceeded: input.extractionSucceeded,
+                lastSelfEval: input.lastSelfEval,
+                consecutiveRejections: input.consecutiveRejections,
+                runtimeFilesChanged: extractFilesFromSnapshots(roundEvidence),
+                evidenceSnapshots: roundEvidence,
+                successTrajectory: input.successTrajectory,
+            });
+            const evaluated = {
+                ...snapshot,
+                attempt,
+                phase: "evaluated",
+                afterEvidence: input.actualEvidence,
+                roundEvidence,
+                evaluation: input.selfEval,
+                result,
+                updatedAt: Date.now(),
+            };
+            if (result.action === "reject" || result.action === "terminate") {
+                const terminalPhase = result.action === "reject" ? "rejected" : "terminated";
+                return finish({
+                    snapshot: { ...evaluated, phase: terminalPhase, updatedAt: Date.now() },
+                    result,
+                    replayed: false,
+                });
+            }
+            const committedSnapshot = {
+                ...evaluated,
+                phase: "committed",
+                updatedAt: Date.now(),
+            };
+            const metadata = {
+                schema_version: ROUND_TRANSACTION_SCHEMA_VERSION,
+                round_id: snapshot.roundId,
+                snapshot: committedSnapshot,
+                result,
+            };
+            this.engine.autoFeedback(input.selfEval, snapshot.loopId, snapshot.round, input.task, metadata);
+            const persisted = this.readCommitted(committedSnapshot);
+            if (!persisted) {
+                throw new Error(`Round transaction commit failed: ${snapshot.roundId}`);
+            }
+            logEvent("round_transaction_commit", {
+                loopId: snapshot.loopId,
+                round: snapshot.round,
+                roundId: snapshot.roundId,
+                action: result.action,
+            });
+            return finish({ snapshot: committedSnapshot, result, replayed: false });
+        }
+        catch (error) {
+            span.end("error", { error: String(error) });
+            throw error;
+        }
+    }
+    /** Recover an already committed decision without evaluating or writing. */
+    recover(snapshot) {
+        const span = startSpan("round.transaction.recover", {
+            loopId: snapshot.loopId,
+            round: snapshot.round,
+            roundId: snapshot.roundId,
+        });
+        try {
+            const outcome = this.readCommitted(snapshot);
+            if (outcome) {
+                policyMetrics.recordRound(snapshot.loopId, outcome.result, true);
+            }
+            span.end("ok", { recovered: outcome !== null });
+            return outcome;
+        }
+        catch (error) {
+            span.end("error", { error: String(error) });
+            throw error;
+        }
+    }
+    readCommitted(expected) {
+        const taskId = `loop:${expected.loopId}:r${expected.round}:feedback`;
+        const entries = this.commitStore.find(expected.loopId, expected.round);
+        for (const entry of entries) {
+            if (entry.task_id !== taskId)
+                continue;
+            const outcome = this.outcomeFromEntry(entry, expected.roundId);
+            if (outcome)
+                return outcome;
+        }
+        return null;
+    }
+    outcomeFromEntry(entry, expectedRoundId) {
+        const lineage = isRecord(entry.loop_lineage) ? entry.loop_lineage : null;
+        const transaction = lineage && isRecord(lineage.round_transaction)
+            ? lineage.round_transaction
+            : null;
+        if (!transaction || transaction.round_id !== expectedRoundId)
+            return null;
+        const snapshot = parseRoundTransactionSnapshot(transaction.snapshot);
+        const result = transaction.result;
+        if (!snapshot || !isProcessResult(result))
+            return null;
+        return { snapshot, result, replayed: true };
+    }
+}
+//# sourceMappingURL=round-transaction.js.map

package/dist/round-transaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-transaction.js","sourceRoot":"","sources":["../src/round-transaction.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EACL,uBAAuB,EACvB,yBAAyB,GAC1B,MAAM,wBAAwB,CAAC;AAIhC,OAAO,EACL,gBAAgB,GAEjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAGrD,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAU,CAAC;AA+C3D,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAAa;IACvD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,QAAQ,MAAM,UAAU,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,MAAc,EACd,KAAa,EACb,cAAkC,EAClC,cAA+B;IAE/B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACvB,OAAO;QACL,aAAa,EAAE,gCAAgC;QAC/C,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC;QACnC,MAAM;QACN,KAAK;QACL,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;QAC/C,cAAc;QACd,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;QACd,cAAc;KACf,CAAC;AACJ,CAAC;AAED;;yEAEyE;AACzE,MAAM,UAAU,sBAAsB,CACpC,QAAkC,EAClC,cAA8B;IAE9B,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,qCAAqC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,cAAc,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CACb,mCAAmC,cAAc,CAAC,OAAO,QAAQ,QAAQ,CAAC,OAAO,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CACb,kCAAkC,cAAc,CAAC,OAAO,QAAQ,QAAQ,CAAC,OAAO,GAAG,CAAC,EAAE,CACvF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,QAAQ;QACX,OAAO,EAAE,cAAc,CAAC,OAAO;QAC/B,KAAK,EAAE,UAAU;QACjB,aAAa,EAAE,SAAS;QACxB,aAAa,EAAE,SAAS;QACxB,UAAU,EAAE,SAAS;QACrB,MAAM,EAAE,SAAS;QACjB,cAAc;QACd,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,QAAQ,CACzD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CACrB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACjC,IACE,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YACjC,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ;YAClC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YAC1B,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;YACrD,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YACpB,OAAO,IAAI,CAAC;QACd,SAAS,CAAC,IAAI,CAAC,IAAmC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,6BAA6B,CAC3C,KAAc;IAEd,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,IAAI,KAAK,CAAC,aAAa,KAAK,gCAAgC;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,IAAK,KAAK,CAAC,KAAgB,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,IAAK,KAAK,CAAC,OAAkB,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,IACE,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,CAAC;SAC1E,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,MAAM,cAAc,GAAG,sBAAsB,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACpE,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,KAAK,SAAS;QACrD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAChD,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,KAAK,SAAS;QACrD,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,sBAAsB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAChD,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IACrE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACvC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC;YAAE,OAAO,IAAI,CAAC;QACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC;QACtC,IACE,QAAQ,CAAC,aAAa,KAAK,CAAC;YAC5B,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;YACpC,OAAO,QAAQ,CAAC,cAAc,KAAK,QAAQ;YAC3C,OAAO,QAAQ,CAAC,UAAU,KAAK,QAAQ;YACvC,OAAO,QAAQ,CAAC,SAAS,KAAK,QAAQ;YACtC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACpD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,QAAQ,GAAG;QACf,GAAG,KAAK;QACR,cAAc;QACd,aAAa;QACb,aAAa;KACyB,CAAC;IACzC,IAAI,QAAQ,CAAC,OAAO,KAAK,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,OAAO,2BAA2B;IAKnB;IAJF,OAAO,CAAe;IACtB,WAAW,CAAmB;IAE/C,YACmB,MAAuB,EACxC,OAAsB,EACtB,WAA8B;QAFb,WAAM,GAAN,MAAM,CAAiB;QAIxC,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,CAAC,WAAW,GAAG,WAAW,IAAI,IAAI,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5E,CAAC;IAED,OAAO,CAAC,KAA4B;QAClC,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;QAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,mBAAmB,EAAE;YAC1C,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,OAAO,EAAE,QAAQ,CAAC,OAAO;SAC1B,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,OAAgC,EAA2B,EAAE;YAC3E,aAAa,CAAC,WAAW,CACvB,QAAQ,CAAC,MAAM,EACf,OAAO,CAAC,MAAM,EACd,OAAO,CAAC,QAAQ,CACjB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE;gBACb,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM;gBAC7B,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK;aAC9B,CAAC,CAAC;YACH,OAAO,OAAO,CAAC;QACjB,CAAC,CAAC;QACF,IAAI,CAAC;YACL,MAAM,eAAe,GAAG,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;YACrE,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CACb,qCAAqC,QAAQ,CAAC,OAAO,QAAQ,eAAe,EAAE,CAC/E,CAAC;YACJ,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC/C,IAAI,SAAS,EAAE,CAAC;gBACd,QAAQ,CAAC,0BAA0B,EAAE;oBACnC,MAAM,EAAE,QAAQ,CAAC,MAAM;oBACvB,KAAK,EAAE,QAAQ,CAAC,KAAK;oBACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;iBAC1B,CAAC,CAAC;gBACH,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC;YAC3B,CAAC;YAED,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,KAAK,UAAU;gBAC3C,CAAC,CAAC,QAAQ,CAAC,OAAO,GAAG,CAAC;gBACtB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;YACrB,MAAM,aAAa,GAAG,uBAAuB,CAC3C,QAAQ,CAAC,cAAc,EACvB,KAAK,CAAC,cAAc,CACrB,CAAC;YACF,MAAM,WAAW,GAAG,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC;gBACtC,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,YAAY,EAAE,QAAQ,CAAC,KAAK;gBAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;gBAC9C,YAAY,EAAE,KAAK,CAAC,YAAY;gBAChC,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;gBAClD,mBAAmB,EAAE,yBAAyB,CAAC,aAAa,CAAC;gBAC7D,iBAAiB,EAAE,aAAa;gBAChC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;aAC3C,CAAC,CAAC;YAEH,MAAM,SAAS,GAA6B;gBAC1C,GAAG,QAAQ;gBACX,OAAO;gBACP,KAAK,EAAE,WAAW;gBAClB,aAAa,EAAE,KAAK,CAAC,cAAc;gBACnC,aAAa;gBACb,UAAU,EAAE,KAAK,CAAC,QAAQ;gBAC1B,MAAM;gBACN,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC;YAEF,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBAChE,MAAM,aAAa,GACjB,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC;gBACzD,OAAO,MAAM,CAAC;oBACZ,QAAQ,EAAE,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE;oBACvE,MAAM;oBACN,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;YAED,MAAM,iBAAiB,GAA6B;gBAClD,GAAG,SAAS;gBACZ,KAAK,EAAE,WAAW;gBAClB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC;YACF,MAAM,QAAQ,GAA4B;gBACxC,cAAc,EAAE,gCAAgC;gBAChD,QAAQ,EAAE,QAAQ,CAAC,OAAO;gBAC1B,QAAQ,EAAE,iBAAiB;gBAC3B,MAAM;aACP,CAAC;YAEF,IAAI,CAAC,MAAM,CAAC,YAAY,CACtB,KAAK,CAAC,QAAQ,EACd,QAAQ,CAAC,MAAM,EACf,QAAQ,CAAC,KAAK,EACd,KAAK,CAAC,IAAI,EACV,QAAQ,CACT,CAAC;YAEF,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC;YACxD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CAAC,oCAAoC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;YAC1E,CAAC;YACD,QAAQ,CAAC,0BAA0B,EAAE;gBACnC,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,MAAM,EAAE,MAAM,CAAC,MAAM;aACtB,CAAC,CAAC;YACH,OAAO,MAAM,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACxE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,OAAO,CAAC,QAAkC;QACxC,MAAM,IAAI,GAAG,SAAS,CAAC,2BAA2B,EAAE;YAClD,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;SAC1B,CAAC,CAAC;QACH,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAI,OAAO,EAAE,CAAC;gBACZ,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACnE,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,OAAO,KAAK,IAAI,EAAE,CAAC,CAAC;YAChD,OAAO,OAAO,CAAC;QACjB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAEO,aAAa,CACnB,QAAkC;QAElC,MAAM,MAAM,GAAG,QAAQ,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,WAAW,CAAC;QACrE,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM;gBAAE,SAAS;YACvC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC/D,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,gBAAgB,CACtB,KAAiB,EACjB,eAAuB;QAEvB,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,MAAM,WAAW,GAAG,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,iBAAiB,CAAC;YAChE,CAAC,CAAC,OAAO,CAAC,iBAAiB;YAC3B,CAAC,CAAC,IAAI,CAAC;QACT,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,QAAQ,KAAK,eAAe;YAAE,OAAO,IAAI,CAAC;QAC1E,MAAM,QAAQ,GAAG,6BAA6B,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC;QAClC,IAAI,CAAC,QAAQ,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC9C,CAAC;CACF"}

package/dist/runtime.d.ts

@@ -17,6 +17,7 @@ import { RuntimeStatus, type RuntimeConfig, type RunResult } from "./protocol.js
 export declare class LoopRuntime extends EventEmitter {
     private config;
     private engine;
+    private roundDriver;
     private _status;
     private currentRound;
     private successTrajectory;
@@ -25,37 +26,54 @@ export declare class LoopRuntime extends EventEmitter {
     private sigtermHandler;
     private lastSelfEval;
     private pendingVerificationFlags;
-    private injectionCount;
-    private lastInjectionRound;
-    private injectedContexts;
-    private phase2Triggered;
-    private phase3Triggered;
+    private consecutiveRejections;
+    /** Which enforcement check triggered the last rejection.
+     *  Only same-check rejections accumulate; a different check resets the counter. */
+    private lastRejectionCheck;
+    private pendingRejectionNotice;
+    private roundSnapshot;
+    private pauseTimestamp;
+    private pauseRequested;
+    private driverPromise;
     private pendingExternalContext;
     private roundStartTime;
     private lastProgressTime;
     private activeCtx;
+    private activeAbortController;
     private timedOut;
     constructor(rawConfig: RuntimeConfig);
     get status(): RuntimeStatus;
     getCurrentRound(): number;
     getSuccessTrajectory(): boolean[];
-    /** Derive the current progress estimate from the last self evaluation.
-     *  Returns -1 if no progress data is available. */
-    private getCurrentProgress;
-    /** Determine whether memory should be injected this round based on
-     *  tier-based allowed phases, progress thresholds, and round spacing. */
-    private shouldInjectMemory;
-    /** Build the accumulated context for constructing a targeted memory query. */
-    private buildAccumulatedContext;
-    /** Deduplicate external context against previously injected contexts.
-     *  Returns empty string if the new context is too similar to any prior. */
-    private dedupAndStoreContext;
     /** Start the loop. Returns when the loop terminates (task complete,
-     *  circuit breaker, max rounds, stalled, or manual stop). */
+     *  circuit breaker, max rounds, stalled, paused, or manual stop).
+     *  Can only be called from IDLE state. */
     start(): Promise<RunResult>;
+    /** Start the one allowed loop driver and clear its ownership on exit. */
+    private launchDriver;
+    /** Internal loop driver. Called by both start() (isResume=false) and
+     *  resume() (isResume=true). When resuming, skips the currentRound=1
+     *  reset — the loop picks up exactly where it left off. */
+    private _continue;
+    /** Execute one round with a hard driver deadline. The AbortSignal lets a
+     *  cooperative executor stop early; the race guarantees the runtime itself
+     *  still resolves when an executor ignores cancellation. */
+    private executeWithDeadline;
+    private triggerTimeout;
+    private triggerStall;
     /** Stop the loop gracefully. Safe to call from any thread/timer. */
     stop(): void;
+    /** Pause the loop gracefully. Completes the current round, then suspends.
+     *  Safe to call from signal handlers or callbacks.
+     *  Only has effect when the loop is RUNNING. */
+    pause(): void;
+    /** Resume a paused loop. Re-enters the main loop from currentRound.
+     *  The loop continues exactly where it was suspended. */
+    resume(): Promise<RunResult>;
     private buildCompileRequest;
+    /** Adapt the typed compiler request to the engine envelope once for both
+     * normal rounds and enforcement retry attempts. */
+    private buildEngineCompileRequest;
     private startHeartbeat;
     private heartbeatTick;
     private stopHeartbeat;

package/dist/runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../src/runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAQ3C,OAAO,EAEL,aAAa,EAab,KAAK,aAAa,EAClB,KAAK,SAAS,EAKf,MAAM,eAAe,CAAC;AAuKvB,qBAAa,WAAY,SAAQ,YAAY;IAC3C,OAAO,CAAC,MAAM,CAAiB;IAC/B,OAAO,CAAC,MAAM,CAAkB;IAChC,OAAO,CAAC,OAAO,CAAqC;IACpD,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,iBAAiB,CAAiB;IAC1C,OAAO,CAAC,cAAc,CAA+C;IACrE,OAAO,CAAC,aAAa,CAA6B;IAClD,OAAO,CAAC,cAAc,CAA6B;IAGnD,OAAO,CAAC,YAAY,CAA+B;IACnD,OAAO,CAAC,wBAAwB,CAA0B;IAG1D,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,kBAAkB,CAAK;IAC/B,OAAO,CAAC,gBAAgB,CAAgB;IACxC,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,sBAAsB,CAAM;IAGpC,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,SAAS,CAA6B;IAC9C,OAAO,CAAC,QAAQ,CAAS;gBAEb,SAAS,EAAE,aAAa;IAMpC,IAAI,MAAM,IAAI,aAAa,CAE1B;IAED,eAAe,IAAI,MAAM;IAIzB,oBAAoB,IAAI,OAAO,EAAE;IAMjC;uDACmD;IACnD,OAAO,CAAC,kBAAkB;IAM1B;6EACyE;IACzE,OAAO,CAAC,kBAAkB;IA+C1B,8EAA8E;IAC9E,OAAO,CAAC,uBAAuB;IAgC/B;+EAC2E;IAC3E,OAAO,CAAC,oBAAoB;IAmB5B;iEAC6D;IACvD,KAAK,IAAI,OAAO,CAAC,SAAS,CAAC;IA6TjC,oEAAoE;IACpE,IAAI,IAAI,IAAI;IAWZ,OAAO,CAAC,mBAAmB;IAqD3B,OAAO,CAAC,cAAc;IAatB,OAAO,CAAC,aAAa;IAiErB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,sBAAsB;IAW9B,OAAO,CAAC,wBAAwB;CAUjC;AAMD;;;;;;;;;GASG;AACH,wBAAsB,GAAG,CAAC,SAAS,EAAE,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAGtE"}
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../src/runtime.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAO3C,OAAO,EAEL,aAAa,EAab,KAAK,aAAa,EAClB,KAAK,SAAS,EAMf,MAAM,eAAe,CAAC;AAmFvB,qBAAa,WAAY,SAAQ,YAAY;IAC3C,OAAO,CAAC,MAAM,CAAiB;IAC/B,OAAO,CAAC,MAAM,CAAkB;IAChC,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,OAAO,CAAqC;IACpD,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,iBAAiB,CAAiB;IAC1C,OAAO,CAAC,cAAc,CAA+C;IACrE,OAAO,CAAC,aAAa,CAA6B;IAClD,OAAO,CAAC,cAAc,CAA6B;IAGnD,OAAO,CAAC,YAAY,CAA+B;IACnD,OAAO,CAAC,wBAAwB,CAA0B;IAG1D,OAAO,CAAC,qBAAqB,CAAK;IAClC;uFACmF;IACnF,OAAO,CAAC,kBAAkB,CAAM;IAChC,OAAO,CAAC,sBAAsB,CAAM;IACpC,OAAO,CAAC,aAAa,CAAyC;IAG9D,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,cAAc,CAAS;IAC/B,OAAO,CAAC,aAAa,CAAmC;IAGxD,OAAO,CAAC,sBAAsB,CAAM;IAGpC,OAAO,CAAC,cAAc,CAAK;IAC3B,OAAO,CAAC,gBAAgB,CAAK;IAC7B,OAAO,CAAC,SAAS,CAA6B;IAC9C,OAAO,CAAC,qBAAqB,CAAgC;IAC7D,OAAO,CAAC,QAAQ,CAAS;gBAEb,SAAS,EAAE,aAAa;IAOpC,IAAI,MAAM,IAAI,aAAa,CAE1B;IAED,eAAe,IAAI,MAAM;IAIzB,oBAAoB,IAAI,OAAO,EAAE;IAMjC;;8CAE0C;IACpC,KAAK,IAAI,OAAO,CAAC,SAAS,CAAC;IAWjC,yEAAyE;IACzE,OAAO,CAAC,YAAY;IAepB;;+DAE2D;YAC7C,SAAS;IA2UvB;;gEAE4D;YAC9C,mBAAmB;IA0BjC,OAAO,CAAC,cAAc;IAYtB,OAAO,CAAC,YAAY;IAYpB,oEAAoE;IACpE,IAAI,IAAI,IAAI;IAiBZ;;oDAEgD;IAChD,KAAK,IAAI,IAAI;IAQb;6DACyD;IACnD,MAAM,IAAI,OAAO,CAAC,SAAS,CAAC;IAuBlC,OAAO,CAAC,mBAAmB;IAoD3B;uDACmD;IACnD,OAAO,CAAC,yBAAyB;IA0BjC,OAAO,CAAC,cAAc;IAatB,OAAO,CAAC,aAAa;IAiDrB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,sBAAsB;IAgC9B,OAAO,CAAC,wBAAwB;CAUjC;AAMD;;;;;;;;;GASG;AACH,wBAAsB,GAAG,CAAC,SAAS,EAAE,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,CAGtE"}