loopforge 1.15.1 → 2.0.0

package/dist/round-driver.d.ts

@@ -0,0 +1,53 @@
+/** Shared round lifecycle used by Runtime and MCP adapters.
+ *
+ * The driver owns compile -> state projection -> before evidence and
+ * after evidence -> transaction evaluation. Transport-specific concerns such
+ * as heartbeats, executor deadlines, MCP leases, and response formatting stay
+ * in their adapters.
+ */
+import type { VaultBackend } from "./backends/interface.js";
+import { LoopForgeEngine } from "./engine.js";
+import type { ProviderSnapshot } from "./evidence-provider.js";
+import type { LoopForgeRequest, PromptArtifact, SelfEvaluation } from "./protocol.js";
+import type { RoundTransactionOutcome, RoundTransactionSnapshot } from "./round-transaction.js";
+export interface PreparedRound {
+    prompt: string;
+    artifact?: PromptArtifact;
+    level: "l0" | "l1" | "l2";
+    evidenceBaseline: ProviderSnapshot[];
+    snapshot: RoundTransactionSnapshot;
+    stateFileContent?: string;
+}
+export interface CompleteRoundInput {
+    snapshot: RoundTransactionSnapshot;
+    loopId: string;
+    task: string;
+    maxRounds: number;
+    selfEval: SelfEvaluation;
+    extractionSucceeded: boolean;
+    lastSelfEval?: SelfEvaluation;
+    consecutiveRejections: number;
+    successTrajectory: boolean[];
+}
+export interface CompletedRound {
+    outcome: RoundTransactionOutcome;
+    actualEvidence: ProviderSnapshot[];
+}
+export declare class RoundDriver {
+    private readonly engine;
+    private readonly backend;
+    constructor(engine: LoopForgeEngine, backend?: VaultBackend);
+    prepare(request: LoopForgeRequest, loopId: string, round: number): Promise<PreparedRound | null>;
+    /** Synchronous fallback for legacy embedding APIs. Async evidence providers
+     * are deliberately skipped by EvidenceCollector.collect(). */
+    prepareSync(request: LoopForgeRequest, loopId: string, round: number): PreparedRound | null;
+    private compile;
+    /** Compile a fresh prompt for a zero-commit enforcement retry. The logical
+     * round ID and before-evidence snapshot remain stable; only attempt changes. */
+    prepareRetry(request: LoopForgeRequest, rejected: RoundTransactionSnapshot, rejectionNotice: string, consecutiveRejections: number): Promise<PreparedRound | null>;
+    private finishPrepare;
+    complete(input: CompleteRoundInput): Promise<CompletedRound>;
+    recover(snapshot: RoundTransactionSnapshot): RoundTransactionOutcome | null;
+    private collectEvidence;
+}
+//# sourceMappingURL=round-driver.d.ts.map

package/dist/round-driver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-driver.d.ts","sourceRoot":"","sources":["../src/round-driver.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EACV,gBAAgB,EAEhB,cAAc,EACd,cAAc,EACf,MAAM,eAAe,CAAC;AAMvB,OAAO,KAAK,EACV,uBAAuB,EACvB,wBAAwB,EACzB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAC1B,gBAAgB,EAAE,gBAAgB,EAAE,CAAC;IACrC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,cAAc,CAAC;IACzB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,YAAY,CAAC,EAAE,cAAc,CAAC;IAC9B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,iBAAiB,EAAE,OAAO,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,uBAAuB,CAAC;IACjC,cAAc,EAAE,gBAAgB,EAAE,CAAC;CACpC;AAED,qBAAa,WAAW;IAGV,OAAO,CAAC,QAAQ,CAAC,MAAM;IAFnC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAe;gBAEV,MAAM,EAAE,eAAe,EAAE,OAAO,CAAC,EAAE,YAAY;IAItE,OAAO,CACX,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IAOhC;kEAC8D;IAC9D,WAAW,CACT,OAAO,EAAE,gBAAgB,EACzB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,GACZ,aAAa,GAAG,IAAI;IASvB,OAAO,CAAC,OAAO;IAgBf;oFACgF;IAC1E,YAAY,CAChB,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,wBAAwB,EAClC,eAAe,EAAE,MAAM,EACvB,qBAAqB,EAAE,MAAM,GAC5B,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IAsBhC,OAAO,CAAC,aAAa;IAuBf,QAAQ,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,cAAc,CAAC;IAoBlE,OAAO,CAAC,QAAQ,EAAE,wBAAwB,GAAG,uBAAuB,GAAG,IAAI;IAO3E,OAAO,CAAC,eAAe;CAMxB"}

package/dist/round-driver.js

@@ -0,0 +1,101 @@
+/** Shared round lifecycle used by Runtime and MCP adapters.
+ *
+ * The driver owns compile -> state projection -> before evidence and
+ * after evidence -> transaction evaluation. Transport-specific concerns such
+ * as heartbeats, executor deadlines, MCP leases, and response formatting stay
+ * in their adapters.
+ */
+import { EvidenceCollector } from "./evidence-provider.js";
+import { getPolicy, writeStateFile } from "./policy.js";
+import { prepareRejectedAttempt, prepareRoundTransaction, RoundTransactionCoordinator, } from "./round-transaction.js";
+export class RoundDriver {
+    engine;
+    backend;
+    constructor(engine, backend) {
+        this.engine = engine;
+        this.backend = backend ?? engine.getBackend();
+    }
+    async prepare(request, loopId, round) {
+        const response = this.compile(request, loopId, true);
+        if (!response)
+            return null;
+        const evidenceBaseline = await this.collectEvidence(loopId, "before");
+        return this.finishPrepare(response, loopId, round, evidenceBaseline);
+    }
+    /** Synchronous fallback for legacy embedding APIs. Async evidence providers
+     * are deliberately skipped by EvidenceCollector.collect(). */
+    prepareSync(request, loopId, round) {
+        const response = this.compile(request, loopId, true);
+        if (!response)
+            return null;
+        const evidenceBaseline = EvidenceCollector.fromProviderNames(getPolicy().evidence.providers).collect({ loopId });
+        return this.finishPrepare(response, loopId, round, evidenceBaseline);
+    }
+    compile(request, loopId, persistLineage) {
+        const compiled = this.engine.invokeLoopCompile(request, undefined, { persistLineage });
+        const response = compiled.response;
+        if (!response?.prompt)
+            return null;
+        writeStateFile(loopId, response.state_file_content);
+        return response;
+    }
+    /** Compile a fresh prompt for a zero-commit enforcement retry. The logical
+     * round ID and before-evidence snapshot remain stable; only attempt changes. */
+    async prepareRetry(request, rejected, rejectionNotice, consecutiveRejections) {
+        const retryRequest = {
+            ...request,
+            round: rejected.round,
+            attempt: rejected.attempt + 1,
+            consecutive_rejections: consecutiveRejections,
+            rejection_notice: rejectionNotice,
+            force_level: consecutiveRejections >= 2 ? "l2" : "l0",
+        };
+        const response = this.compile(retryRequest, rejected.loopId, false);
+        if (!response?.prompt_artifact)
+            return null;
+        const snapshot = prepareRejectedAttempt(rejected, response.prompt_artifact);
+        return {
+            prompt: response.prompt,
+            artifact: response.prompt_artifact,
+            level: response.prompt_artifact.level,
+            evidenceBaseline: rejected.beforeEvidence,
+            snapshot,
+            stateFileContent: response.state_file_content,
+        };
+    }
+    finishPrepare(response, loopId, round, evidenceBaseline) {
+        const artifact = response.prompt_artifact;
+        const snapshot = prepareRoundTransaction(loopId, round, evidenceBaseline, artifact);
+        return {
+            prompt: response.prompt,
+            artifact,
+            level: artifact?.level ?? "l2",
+            evidenceBaseline,
+            snapshot,
+            stateFileContent: response.state_file_content,
+        };
+    }
+    async complete(input) {
+        const actualEvidence = await this.collectEvidence(input.loopId, "after");
+        const transaction = new RoundTransactionCoordinator(this.engine, this.backend);
+        const outcome = transaction.process({
+            snapshot: input.snapshot,
+            task: input.task,
+            maxRounds: input.maxRounds,
+            selfEval: input.selfEval,
+            extractionSucceeded: input.extractionSucceeded,
+            lastSelfEval: input.lastSelfEval,
+            consecutiveRejections: input.consecutiveRejections,
+            successTrajectory: input.successTrajectory,
+            actualEvidence,
+        });
+        return { outcome, actualEvidence };
+    }
+    recover(snapshot) {
+        return new RoundTransactionCoordinator(this.engine, this.backend).recover(snapshot);
+    }
+    collectEvidence(loopId, phase) {
+        return EvidenceCollector.fromPolicy().collectAsync({ loopId, phase });
+    }
+}
+//# sourceMappingURL=round-driver.js.map

package/dist/round-driver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-driver.js","sourceRoot":"","sources":["../src/round-driver.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAE3D,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAOxD,OAAO,EACL,sBAAsB,EACtB,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,wBAAwB,CAAC;AAgChC,MAAM,OAAO,WAAW;IAGO;IAFZ,OAAO,CAAe;IAEvC,YAA6B,MAAuB,EAAE,OAAsB;QAA/C,WAAM,GAAN,MAAM,CAAiB;QAClD,IAAI,CAAC,OAAO,GAAG,OAAO,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;IAChD,CAAC;IAED,KAAK,CAAC,OAAO,CACX,OAAyB,EACzB,MAAc,EACd,KAAa;QAEb,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtE,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;IACvE,CAAC;IAED;kEAC8D;IAC9D,WAAW,CACT,OAAyB,EACzB,MAAc,EACd,KAAa;QAEb,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,iBAAiB,CAC1D,SAAS,EAAE,CAAC,QAAQ,CAAC,SAAS,CAC/B,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACtB,OAAO,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;IACvE,CAAC;IAEO,OAAO,CACb,OAAyB,EACzB,MAAc,EACd,cAAuB;QAEvB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAC5C,OAAO,EACP,SAAS,EACT,EAAE,cAAc,EAAE,CACnB,CAAC;QACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACnC,IAAI,CAAC,QAAQ,EAAE,MAAM;YAAE,OAAO,IAAI,CAAC;QACnC,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC,CAAC;QACpD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;oFACgF;IAChF,KAAK,CAAC,YAAY,CAChB,OAAyB,EACzB,QAAkC,EAClC,eAAuB,EACvB,qBAA6B;QAE7B,MAAM,YAAY,GAAG;YACnB,GAAG,OAAO;YACV,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,OAAO,EAAE,QAAQ,CAAC,OAAO,GAAG,CAAC;YAC7B,sBAAsB,EAAE,qBAAqB;YAC7C,gBAAgB,EAAE,eAAe;YACjC,WAAW,EAAE,qBAAqB,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;SAClC,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACpE,IAAI,CAAC,QAAQ,EAAE,eAAe;YAAE,OAAO,IAAI,CAAC;QAC5C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,EAAE,QAAQ,CAAC,eAAe,CAAC,CAAC;QAC5E,OAAO;YACL,MAAM,EAAE,QAAQ,CAAC,MAAO;YACxB,QAAQ,EAAE,QAAQ,CAAC,eAAe;YAClC,KAAK,EAAE,QAAQ,CAAC,eAAe,CAAC,KAAK;YACrC,gBAAgB,EAAE,QAAQ,CAAC,cAAc;YACzC,QAAQ;YACR,gBAAgB,EAAE,QAAQ,CAAC,kBAAkB;SAC9C,CAAC;IACJ,CAAC;IAEO,aAAa,CACnB,QAA2B,EAC3B,MAAc,EACd,KAAa,EACb,gBAAoC;QAEpC,MAAM,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC;QAC1C,MAAM,QAAQ,GAAG,uBAAuB,CACtC,MAAM,EACN,KAAK,EACL,gBAAgB,EAChB,QAAQ,CACT,CAAC;QACF,OAAO;YACL,MAAM,EAAE,QAAQ,CAAC,MAAO;YACxB,QAAQ;YACR,KAAK,EAAE,QAAQ,EAAE,KAAK,IAAI,IAAI;YAC9B,gBAAgB;YAChB,QAAQ;YACR,gBAAgB,EAAE,QAAQ,CAAC,kBAAkB;SAC9C,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,KAAyB;QACtC,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzE,MAAM,WAAW,GAAG,IAAI,2BAA2B,CACjD,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,OAAO,CACb,CAAC;QACF,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC;YAClC,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;YAC9C,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;YAClD,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;YAC1C,cAAc;SACf,CAAC,CAAC;QACH,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC;IACrC,CAAC;IAED,OAAO,CAAC,QAAkC;QACxC,OAAO,IAAI,2BAA2B,CACpC,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,OAAO,CACb,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACtB,CAAC;IAEO,eAAe,CACrB,MAAc,EACd,KAAyB;QAEzB,OAAO,iBAAiB,CAAC,UAAU,EAAE,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IACxE,CAAC;CACF"}

package/dist/round-transaction.d.ts

@@ -0,0 +1,70 @@
+/** 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 type { VaultBackend } from "./backends/interface.js";
+import { LoopForgeEngine } from "./engine.js";
+import type { ProviderSnapshot } from "./evidence-provider.js";
+import type { SelfEvaluation } from "./protocol.js";
+import type { PromptArtifact } from "./protocol.js";
+import { type RoundProcessResult } from "./round-coordinator.js";
+import type { RoundCommitStore } from "./storage.js";
+export declare const ROUND_TRANSACTION_SCHEMA_VERSION: 1;
+export type RoundTransactionPhase = "prepared" | "prompted" | "evaluated" | "rejected" | "committed" | "terminated";
+export interface RoundTransactionSnapshot {
+    schemaVersion: typeof ROUND_TRANSACTION_SCHEMA_VERSION;
+    roundId: string;
+    loopId: string;
+    round: number;
+    attempt: number;
+    phase: RoundTransactionPhase;
+    beforeEvidence: ProviderSnapshot[];
+    afterEvidence?: ProviderSnapshot[];
+    roundEvidence?: ProviderSnapshot[];
+    evaluation?: SelfEvaluation;
+    result?: RoundProcessResult;
+    createdAt: number;
+    updatedAt: number;
+    /** Exact prompt delivered for the current attempt. */
+    promptArtifact?: PromptArtifact;
+}
+export interface RoundTransactionInput {
+    snapshot: RoundTransactionSnapshot;
+    task: string;
+    maxRounds: number;
+    selfEval: SelfEvaluation;
+    extractionSucceeded: boolean;
+    lastSelfEval?: SelfEvaluation;
+    consecutiveRejections: number;
+    successTrajectory: boolean[];
+    actualEvidence: ProviderSnapshot[];
+}
+export interface RoundTransactionOutcome {
+    snapshot: RoundTransactionSnapshot;
+    result: RoundProcessResult;
+    /** true when a prior committed decision was replayed from the vault. */
+    replayed: boolean;
+}
+export declare function makeRoundId(loopId: string, round: number): string;
+export declare function prepareRoundTransaction(loopId: string, round: number, beforeEvidence: ProviderSnapshot[], promptArtifact?: PromptArtifact): RoundTransactionSnapshot;
+/** 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 declare function prepareRejectedAttempt(rejected: RoundTransactionSnapshot, promptArtifact: PromptArtifact): RoundTransactionSnapshot;
+/** Parse a persisted snapshot without trusting arbitrary vault data. */
+export declare function parseRoundTransactionSnapshot(value: unknown): RoundTransactionSnapshot | null;
+export declare class RoundTransactionCoordinator {
+    private readonly engine;
+    private readonly backend;
+    private readonly commitStore;
+    constructor(engine: LoopForgeEngine, backend?: VaultBackend, commitStore?: RoundCommitStore);
+    process(input: RoundTransactionInput): RoundTransactionOutcome;
+    /** Recover an already committed decision without evaluating or writing. */
+    recover(snapshot: RoundTransactionSnapshot): RoundTransactionOutcome | null;
+    private readCommitted;
+    private outcomeFromEntry;
+}
+//# sourceMappingURL=round-transaction.d.ts.map

package/dist/round-transaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-transaction.d.ts","sourceRoot":"","sources":["../src/round-transaction.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAc,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAK9C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,eAAO,MAAM,gCAAgC,EAAG,CAAU,CAAC;AAE3D,MAAM,MAAM,qBAAqB,GAC7B,UAAU,GACV,UAAU,GACV,WAAW,GACX,UAAU,GACV,WAAW,GACX,YAAY,CAAC;AAEjB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,OAAO,gCAAgC,CAAC;IACvD,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,qBAAqB,CAAC;IAC7B,cAAc,EAAE,gBAAgB,EAAE,CAAC;IACnC,aAAa,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACnC,aAAa,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACnC,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,MAAM,CAAC,EAAE,kBAAkB,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,cAAc,CAAC;IACzB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,YAAY,CAAC,EAAE,cAAc,CAAC;IAC9B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,iBAAiB,EAAE,OAAO,EAAE,CAAC;IAC7B,cAAc,EAAE,gBAAgB,EAAE,CAAC;CACpC;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,wBAAwB,CAAC;IACnC,MAAM,EAAE,kBAAkB,CAAC;IAC3B,wEAAwE;IACxE,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAKjE;AAED,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,gBAAgB,EAAE,EAClC,cAAc,CAAC,EAAE,cAAc,GAC9B,wBAAwB,CAc1B;AAED;;yEAEyE;AACzE,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,wBAAwB,EAClC,cAAc,EAAE,cAAc,GAC7B,wBAAwB,CAyB1B;AA8BD,wEAAwE;AACxE,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,OAAO,GACb,wBAAwB,GAAG,IAAI,CA8CjC;AAED,qBAAa,2BAA2B;IAKpC,OAAO,CAAC,QAAQ,CAAC,MAAM;IAJzB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAe;IACvC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAmB;gBAG5B,MAAM,EAAE,eAAe,EACxC,OAAO,CAAC,EAAE,YAAY,EACtB,WAAW,CAAC,EAAE,gBAAgB;IAMhC,OAAO,CAAC,KAAK,EAAE,qBAAqB,GAAG,uBAAuB;IAuH9D,2EAA2E;IAC3E,OAAO,CAAC,QAAQ,EAAE,wBAAwB,GAAG,uBAAuB,GAAG,IAAI;IAmB3E,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,gBAAgB;CAczB"}

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;
@@ -26,40 +27,53 @@ export declare class LoopRuntime extends EventEmitter {
     private lastSelfEval;
     private pendingVerificationFlags;
     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 injectionCount;
-    private lastInjectionRound;
-    private injectedContexts;
-    private phase2Triggered;
-    private phase3Triggered;
+    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 which memory injection phase (0/1/2/3) should fire this round.
-     *  Returns 0 if no injection should occur. Phase tracking (phase2Triggered /
-     *  phase3Triggered) is updated by the caller based on the returned phase. */
-    private getInjectionPhase;
-    /** Build the accumulated context for constructing a targeted memory query.
-     *  Delegates to the shared buildAccumulatedMemoryContext() utility. */
-    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;AAU3C,OAAO,EAEL,aAAa,EAab,KAAK,aAAa,EAClB,KAAK,SAAS,EAKf,MAAM,eAAe,CAAC;AA2IvB,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,qBAAqB,CAAK;IAClC,OAAO,CAAC,sBAAsB,CAAM;IAGpC,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;;iFAE6E;IAC7E,OAAO,CAAC,iBAAiB;IA+BzB;2EACuE;IACvE,OAAO,CAAC,uBAAuB;IAO/B;+EAC2E;IAC3E,OAAO,CAAC,oBAAoB;IAmB5B;iEAC6D;IACvD,KAAK,IAAI,OAAO,CAAC,SAAS,CAAC;IA4XjC,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"}