loopforge 3.0.0 → 3.6.0

package/dist/round-contract.js

@@ -0,0 +1,80 @@
+import { deriveItemId, jaccardSimilarity } from "./token-utils.js";
+import { getPolicy } from "./policy.js";
+// ── Criterion reference matching ──────────────────────────────────────────
+// Mirrors criteriaMatch (loop-compiler.ts) without importing loop-compiler
+// (round-contract is imported BY loop-compiler — importing back would be a
+// cycle). Parity is locked by round-contract.test.ts.
+const CRITERION_ID_RE = /^cr-[a-f0-9]{8}$/;
+function isCriterionId(ref) {
+    return CRITERION_ID_RE.test(ref);
+}
+function deriveCriterionId(text) {
+    return "cr-" + deriveItemId(text);
+}
+/** Match two done_when / met-claim references for completion testing.
+ *  cr-ID-aware + Jaccard fallback, identical to criteriaMatch. */
+export function contractItemMatches(a, b) {
+    const aIsId = isCriterionId(a);
+    const bIsId = isCriterionId(b);
+    if (aIsId && bIsId)
+        return a === b;
+    if (aIsId)
+        return a === deriveCriterionId(b);
+    if (bIsId)
+        return deriveCriterionId(a) === b;
+    return jaccardSimilarity(a, b) >= getPolicy().evolution.criteria_dedup_threshold;
+}
+/** Whether every done_when item of `contract` matches a claim in `met`.
+ *  Vacuous when done_when is empty (such contracts were already warned
+ *  round_underspecified at declaration; they close at the first eval
+ *  committed while active). */
+export function contractDoneWhenSatisfied(contract, met) {
+    if (contract.done_when.length === 0)
+        return true;
+    return contract.done_when.every((item) => met.some((claim) => contractItemMatches(item, claim)));
+}
+/** Walk committed evals (ASCENDING by round; the caller already restricts
+ *  them to rounds earlier than the compile/verify round) and return the
+ *  ACTIVE contract for the round after the last committed one — null means
+ *  the Current Task falls back to the original task text.
+ *
+ *  State machine per committed eval r, with `active` the contract carried
+ *  into r (null = whole-task round):
+ *    - active && r.outcome === "blocked"          → active = r.proposal
+ *    - active && all done_when in r.met           → active = r.proposal
+ *    - active && neither                          → active unchanged (r's
+ *      different proposal is a premature replacement and is ignored)
+ *    - !active                                    → active = r.proposal
+ *  (a proposal never activates on its own declaration round — it becomes
+ *  active only for the rounds that follow the commit). */
+export function deriveActiveRoundContract(committed) {
+    let active = null;
+    for (const r of committed) {
+        if (active === null) {
+            active = r.proposal ?? null;
+            continue;
+        }
+        if (r.outcome === "blocked") {
+            active = r.proposal ?? null;
+            continue;
+        }
+        if (contractDoneWhenSatisfied(active, r.met)) {
+            active = r.proposal ?? null;
+            continue;
+        }
+        // active !== null and not closed — it continues; r's proposal (if any)
+        // is a premature replacement and is ignored.
+    }
+    return active;
+}
+/** Narrow the shared committed-round view to the contract state machine's
+ * inputs. Contract code never interprets persistence envelopes itself. */
+export function contractRoundEvaluations(rounds) {
+    return rounds.map((view) => ({
+        round: view.round,
+        proposal: view.contractProposal,
+        outcome: view.outcome,
+        met: view.executionEvidence?.success_criteria_met ?? [],
+    }));
+}
+//# sourceMappingURL=round-contract.js.map

package/dist/round-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"round-contract.js","sourceRoot":"","sources":["../src/round-contract.ts"],"names":[],"mappings":"AA2BA,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAaxC,6EAA6E;AAC7E,2EAA2E;AAC3E,2EAA2E;AAC3E,sDAAsD;AAEtD,MAAM,eAAe,GAAG,kBAAkB,CAAC;AAE3C,SAAS,aAAa,CAAC,GAAW;IAChC,OAAO,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED;kEACkE;AAClE,MAAM,UAAU,mBAAmB,CAAC,CAAS,EAAE,CAAS;IACtD,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,KAAK,IAAI,KAAK;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,KAAK;QAAE,OAAO,CAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,KAAK;QAAE,OAAO,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC,SAAS,CAAC,wBAAwB,CAAC;AACnF,CAAC;AAED;;;+BAG+B;AAC/B,MAAM,UAAU,yBAAyB,CACvC,QAAuB,EACvB,GAAa;IAEb,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CACvC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CACtD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;0DAa0D;AAC1D,MAAM,UAAU,yBAAyB,CACvC,SAAkD;IAElD,IAAI,MAAM,GAAyB,IAAI,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,GAAG,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,GAAG,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,IAAI,yBAAyB,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,MAAM,GAAG,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC;YAC5B,SAAS;QACX,CAAC;QACD,uEAAuE;QACvE,6CAA6C;IAC/C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;0EAC0E;AAC1E,MAAM,UAAU,wBAAwB,CACtC,MAAyC;IAEzC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,QAAQ,EAAE,IAAI,CAAC,gBAAgB;QAC/B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,GAAG,EAAE,IAAI,CAAC,iBAAiB,EAAE,oBAAoB,IAAI,EAAE;KACxD,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/round-coordinator.d.ts

@@ -5,8 +5,10 @@
  *
  *   verify → enforce → stop decision
  *
- * The RoundCoordinator is the single source of truth for this pipeline;
- * transport adapters only prepare input and route the resulting decision.
+ * Before this module, runtime.ts and session.ts each maintained their
+ * own copy of the pipeline (~60 lines each). Drift between the two
+ * paths (e.g. git verification only wired into one side) was a known
+ * risk. The RoundCoordinator is the single source of truth.
  *
  * State transitions:
  *   RoundStarted → EvidenceCaptured → EvaluationSubmitted
@@ -17,17 +19,17 @@
  */
 import type { LoopStore } from "./loop-store.js";
 import type { ProviderSnapshot } from "./evidence-provider.js";
-import type { CompilerRoundProjection, RoundReport, StopReason, VerificationFlag } from "./protocol.js";
+import type { SelfEvaluation, StopReason, VerificationFlag } from "./protocol.js";
 /** Input to a single round processing step. */
 export interface RoundProcessInput {
     loopId: string;
     task: string;
     currentRound: number;
     maxRounds: number;
-    /** The normalized Agent report for this round. */
-    roundReport: RoundReport;
-    /** Previous accepted compiler projection (null for round 1). */
-    previousProjection?: CompilerRoundProjection;
+    /** The agent's self-evaluation for this round. */
+    selfEval: SelfEvaluation;
+    /** The previous round's validated SelfEvaluation (null for round 1). */
+    lastSelfEval?: SelfEvaluation;
     /** How many consecutive rounds have been rejected by enforcement. */
     consecutiveRejections: number;
     /** v1.18: Evidence snapshots from configured providers. */
@@ -37,15 +39,9 @@ export interface RoundProcessInput {
     /** v2.13: Files from skipped backtrack rounds. Passed to verification
      *  gate for post-backtrack workspace restore check. */
     backtrackSkippedFiles?: string[];
-    /** v2.13: Git HEAD of the active backtrack restore point. Passed to the
-     *  verification gate; the post-backtrack round must match it. */
+    /** v2.12: Git HEAD of the backtrack restore point. The verification gate
+     *  checks the workspace returns to this commit before accepting work. */
     backtrackTargetGitHead?: string;
-    /** Runtime-derived action from the prompt being completed. */
-    expectedAction?: string;
-    /** Terminal enforcement checks that already consumed their guided retry. */
-    escalatedRejectionChecks?: string[];
-    /** Criteria still open when the report was compiled. */
-    remainingCriteria?: string[];
 }
 /** Result of processing a round through the coordinator. */
 export interface RoundProcessResult {
@@ -69,7 +65,7 @@ export interface RoundProcessResult {
     enforcementAction?: "accept" | "reject" | "terminate" | "backtrack";
     /** Enforcement reason (set when rejected or terminated). */
     enforcementReason?: string;
-    /** Whether this round was successful according to the canonical report. */
+    /** Whether this round was successful (from selfEval.success). */
     roundSuccess: boolean;
     /** Whether the verification gate returned "contradicted". */
     gateContradicted: boolean;
@@ -78,17 +74,19 @@ export interface RoundProcessResult {
     /** Which enforcement check fired (set when action is "reject" or "terminate").
      *  Used by callers to track per-rule rejection counters. */
     rejectionCheck?: string;
-    /** The compiler view to store as lastRoundView for the next round
+    /** The selfEval to store as lastSelfEval for the next round
      *  (undefined when action is "reject" — caller should NOT update). */
-    newRoundProjection?: CompilerRoundProjection;
+    newLastSelfEval?: SelfEvaluation;
     /** Whether the caller should push roundSuccess onto the success trajectory.
      *  false when gateContradicted or when action is "reject". */
     shouldPushSuccessTrajectory: boolean;
     /** v2.12: True when this round's intent_drift was waived via substantive
-     *  drift_clarification. The caller uses this to track clarification streaks. */
+     *  drift_clarification. The caller uses this to track clarification streaks.
+     *  v3.3.1: false when R7 itself rejected/terminated on a weak or missing
+     *  clarification (the caller increments the streak); undefined when R7 did
+     *  not participate in the decision — a higher-priority rule's rejection
+     *  must never touch the streak. */
     clarificationAccepted?: boolean;
-    /** True when a terminal enforcement rule was converted into one final reject. */
-    escalationIssued?: boolean;
     /** v2.13: Git HEAD commit hash of the backtrack target round.
      *  Set when action is "backtrack". The verification gate uses this
      *  to check that the agent restored the workspace before working. */
@@ -99,9 +97,9 @@ export interface RoundProcessResult {
     backtrackSkippedFiles?: string[];
 }
 export declare class RoundCoordinator {
-    private backend;
-    constructor(backend?: LoopStore);
-    /** Process a single round's round report through the decision pipeline:
+    private store;
+    constructor(store?: LoopStore);
+    /** Process a single round's self-evaluation through the decision pipeline:
      *  verify → enforce → stop decision.
      *
      *  This is the single entry point called by SessionManager.
@@ -109,7 +107,7 @@ export declare class RoundCoordinator {
      *  - Compiling the next prompt (if action is "continue")
      *  - Managing heartbeat / signal handlers (runtime only)
      *  - Memory injection (both paths, before calling processRound)
-     *  - Transactional round-event commit (accepted rounds only)
+     *  - Transactional feedback commit (accepted rounds only)
      *  - State file I/O (both paths, after compiling)
      *
      * @param driftClarificationStreak v2.12: Current clarification streak

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

@@ -1 +1 @@
-{"version":3,"file":"round-coordinator.d.ts","sourceRoot":"","sources":["../src/round-coordinator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EACV,uBAAuB,EAEvB,WAAW,EACX,UAAU,EACV,gBAAgB,EAEjB,MAAM,eAAe,CAAC;AAiBvB,+CAA+C;AAC/C,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,kDAAkD;IAClD,WAAW,EAAE,WAAW,CAAC;IACzB,gEAAgE;IAChE,kBAAkB,CAAC,EAAE,uBAAuB,CAAC;IAC7C,qEAAqE;IACrE,qBAAqB,EAAE,MAAM,CAAC;IAC9B,2DAA2D;IAC3D,iBAAiB,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACvC,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,OAAO,EAAE,CAAC;IAC9B;2DACuD;IACvD,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC;qEACiE;IACjE,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,8DAA8D;IAC9D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,wBAAwB,CAAC,EAAE,MAAM,EAAE,CAAC;IACpC,wDAAwD;IACxD,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB;IACjC,sCAAsC;IACtC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;IACnE,kEAAkE;IAClE,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,sDAAsD;IACtD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gEAAgE;IAChE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,2EAA2E;IAC3E,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,qEAAqE;IACrE,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAC;IACvC,6DAA6D;IAC7D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,2EAA2E;IAC3E,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,4CAA4C;IAC5C,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;IACpE,4DAA4D;IAC5D,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,2EAA2E;IAC3E,YAAY,EAAE,OAAO,CAAC;IACtB,6DAA6D;IAC7D,gBAAgB,EAAE,OAAO,CAAC;IAC1B,iEAAiE;IACjE,wBAAwB,EAAE,MAAM,CAAC;IACjC;gEAC4D;IAC5D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;0EACsE;IACtE,kBAAkB,CAAC,EAAE,uBAAuB,CAAC;IAC7C;kEAC8D;IAC9D,2BAA2B,EAAE,OAAO,CAAC;IACrC;oFACgF;IAChF,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC,iFAAiF;IACjF,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B;;yEAEqE;IACrE,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC;;gEAE4D;IAC5D,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AAID,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,OAAO,CAAwB;gBAE3B,OAAO,CAAC,EAAE,SAAS;IAI/B;;;;;;;;;;;;gFAY4E;IAC5E,YAAY,CACV,KAAK,EAAE,iBAAiB,EACxB,wBAAwB,GAAE,MAAU,GACnC,kBAAkB;CAgStB"}
+{"version":3,"file":"round-coordinator.d.ts","sourceRoot":"","sources":["../src/round-coordinator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAc,MAAM,iBAAiB,CAAC;AAC7D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAEV,cAAc,EACd,UAAU,EACV,gBAAgB,EAEjB,MAAM,eAAe,CAAC;AAgBvB,+CAA+C;AAC/C,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,kDAAkD;IAClD,QAAQ,EAAE,cAAc,CAAC;IACzB,wEAAwE;IACxE,YAAY,CAAC,EAAE,cAAc,CAAC;IAC9B,qEAAqE;IACrE,qBAAqB,EAAE,MAAM,CAAC;IAC9B,2DAA2D;IAC3D,iBAAiB,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACvC,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,OAAO,EAAE,CAAC;IAC9B;2DACuD;IACvD,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC;6EACyE;IACzE,sBAAsB,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB;IACjC,sCAAsC;IACtC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;IACnE,kEAAkE;IAClE,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,sDAAsD;IACtD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gEAAgE;IAChE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,2EAA2E;IAC3E,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,qEAAqE;IACrE,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAC;IACvC,6DAA6D;IAC7D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,2EAA2E;IAC3E,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,4CAA4C;IAC5C,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,CAAC;IACpE,4DAA4D;IAC5D,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,iEAAiE;IACjE,YAAY,EAAE,OAAO,CAAC;IACtB,6DAA6D;IAC7D,gBAAgB,EAAE,OAAO,CAAC;IAC1B,iEAAiE;IACjE,wBAAwB,EAAE,MAAM,CAAC;IACjC;gEAC4D;IAC5D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;0EACsE;IACtE,eAAe,CAAC,EAAE,cAAc,CAAC;IACjC;kEAC8D;IAC9D,2BAA2B,EAAE,OAAO,CAAC;IACrC;;;;;uCAKmC;IACnC,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC;;yEAEqE;IACrE,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC;;gEAE4D;IAC5D,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AAsBD,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,KAAK,CAAwB;gBAEzB,KAAK,CAAC,EAAE,SAAS;IAI7B;;;;;;;;;;;;gFAY4E;IAC5E,YAAY,CACV,KAAK,EAAE,iBAAiB,EACxB,wBAAwB,GAAE,MAAU,GACnC,kBAAkB;CAsRtB"}

package/dist/round-coordinator.js

@@ -5,8 +5,10 @@
  *
  *   verify → enforce → stop decision
  *
- * The RoundCoordinator is the single source of truth for this pipeline;
- * transport adapters only prepare input and route the resulting decision.
+ * Before this module, runtime.ts and session.ts each maintained their
+ * own copy of the pipeline (~60 lines each). Drift between the two
+ * paths (e.g. git verification only wired into one side) was a known
+ * risk. The RoundCoordinator is the single source of truth.
  *
  * State transitions:
  *   RoundStarted → EvidenceCaptured → EvaluationSubmitted
@@ -15,18 +17,31 @@
  * Persistence is owned by round-transaction.ts so reject paths remain
  * side-effect free and accepted decisions can be replayed idempotently.
  */
-import { makeRoundGateContext, verifyRoundReport, enforceRoundReport } from "./round-gate.js";
-import { buildRejectionPrompt, collectSkippedRoundFiles, findSafeRestorePoint, buildBacktrackPrompt, findBacktrackTargetGitHead, } from "./round-recovery.js";
+import { queryLoopEntries } from "./loop-store.js";
+import { CHECK_SUCCESS_WITHOUT_VERIFIED_EVIDENCE, verifySelfEvaluation, entryRound } from "./verification-gate.js";
+import { effectiveSuccess } from "./self-eval.js";
+import { enforceRound, buildRejectionPrompt, findSafeRestorePoint, buildBacktrackPrompt, findBacktrackTargetGitHead, } from "./enforcement-gate.js";
 import { logEvent } from "./observability.js";
 import { getPolicy } from "./policy.js";
-import { deriveCompilerProjection } from "./round-report.js";
+/** v3.2/v3.6: Whether a round's success enters the success trajectory.
+ *  Excluded when the gate contradicted the round, or when the success claim
+ *  carries no machine-verified observation — the merged R8 check fires a
+ *  warn under machine_backed_success "warn" (v3.6: success_unverified merged
+ *  into R8; its warn-level trajectory exclusion moved with it) — an
+ *  accepted-but-unverified round is not evidence of progress. */
+function shouldPushSuccess(gateContradicted, verificationFlags) {
+    if (gateContradicted)
+        return false;
+    return !verificationFlags.some((flag) => flag.severity === "warn" &&
+        flag.check === CHECK_SUCCESS_WITHOUT_VERIFIED_EVIDENCE);
+}
 // ── RoundCoordinator ───────────────────────────────────────────────────────
 export class RoundCoordinator {
-    backend;
-    constructor(backend) {
-        this.backend = backend;
+    store;
+    constructor(store) {
+        this.store = store;
     }
-    /** Process a single round's round report through the decision pipeline:
+    /** Process a single round's self-evaluation through the decision pipeline:
      *  verify → enforce → stop decision.
      *
      *  This is the single entry point called by SessionManager.
@@ -34,36 +49,30 @@ export class RoundCoordinator {
      *  - Compiling the next prompt (if action is "continue")
      *  - Managing heartbeat / signal handlers (runtime only)
      *  - Memory injection (both paths, before calling processRound)
-     *  - Transactional round-event commit (accepted rounds only)
+     *  - Transactional feedback commit (accepted rounds only)
      *  - State file I/O (both paths, after compiling)
      *
      * @param driftClarificationStreak v2.12: Current clarification streak
      *  from session state. Passed through to enforceRound for R7 escalation. */
     processRound(input, driftClarificationStreak = 0) {
-        const { loopId, task, currentRound, maxRounds, roundReport: suppliedReport, previousProjection, consecutiveRejections, evidenceSnapshots, } = input;
-        const roundReport = suppliedReport;
-        const roundSuccess = roundReport.outcome === "success";
+        const { loopId, task, currentRound, maxRounds, selfEval, lastSelfEval, consecutiveRejections, evidenceSnapshots, } = input;
+        const roundSuccess = selfEval.success ?? false;
         // ── 1. Query vault entries ──────────────────────────────────────────
-        // Merge lineage and canonical RoundEvent entries for replayable checks.
+        // Lineage entries (constraint violations, output summaries) and feedback
+        // entries (execution_evidence, progress estimates) are both needed by
+        // the enforcement gate. queryLoopEntries excludes feedback by default,
+        // so we issue a second query and merge both result sets.
         const prefix = `loop:${loopId}:r`;
-        const vaultEntries = this.backend
-            ? this.backend.queryLoopEvents(loopId).filter((entry) => String(entry.task_id ?? "").startsWith(prefix))
+        const vaultEntries = this.store
+            ? [
+                ...queryLoopEntries(this.store, loopId, { prefix }),
+                ...queryLoopEntries(this.store, loopId, { prefix, feedbackOnly: true }),
+            ]
             : [];
         // ── 2. Verification gate ────────────────────────────────────────────
-        const gateContext = makeRoundGateContext(roundReport, currentRound, vaultEntries, evidenceSnapshots ?? [], input.remainingCriteria ?? [], {
-            previous: previousProjection ?? null,
-            expectedAction: input.expectedAction,
-            backtrackSkippedFiles: input.backtrackSkippedFiles,
-            backtrackTargetGitHead: input.backtrackTargetGitHead,
-            consecutiveRejections,
-            driftClarificationStreak,
-            escalatedRejectionChecks: input.escalatedRejectionChecks,
-        });
-        const currentProjection = deriveCompilerProjection(roundReport, currentRound, input.remainingCriteria ?? [], evidenceSnapshots ?? []);
-        const verifyResult = verifyRoundReport(gateContext);
+        const verifyResult = verifySelfEvaluation(selfEval, currentRound, vaultEntries, lastSelfEval ?? null, evidenceSnapshots ?? [], input.backtrackSkippedFiles ?? [], input.backtrackTargetGitHead);
         const verificationFlags = verifyResult.flags;
         const gateContradicted = verifyResult.verdict === "contradicted";
-        const clarificationAccepted = verificationFlags.some((item) => item.check === "intent_drift" && item.severity === "warn");
         if (gateContradicted) {
             logEvent("gate_contradicted", {
                 loopId,
@@ -72,8 +81,12 @@ export class RoundCoordinator {
             });
         }
         // ── 3. Enforcement gate ──────────────────────────────────────────
-        // Enforcement consumes the same normalized Gate context as verification.
-        const enforceResult = enforceRoundReport(gateContext, verifyResult);
+        // v3.3.1: extraction failures stall the round upstream (round-lifecycle,
+        // v2.6 design — the runtime never guesses state from text), so every
+        // transaction reaches enforcement with a fully extracted self-evaluation.
+        // The old v2.5 "heuristic partial enforcement" plumbing (extractionSucceeded
+        // flag, enforcement skipEvidenceRules mode) was removed as unreachable.
+        const enforceResult = enforceRound(selfEval, verifyResult, currentRound, vaultEntries, consecutiveRejections, driftClarificationStreak);
         if (enforceResult.action === "reject") {
             const newRejections = consecutiveRejections + 1;
             const rejectionPrompt = buildRejectionPrompt(currentRound, task, enforceResult, verificationFlags);
@@ -91,13 +104,22 @@ export class RoundCoordinator {
                 enforcementAction: "reject",
                 enforcementReason: enforceResult.reason,
                 rejectionCheck: enforceResult.check,
+                // v3.3.1: an R7-participated reject (weak or missing
+                // drift_clarification) echoes clarificationAccepted: false so the
+                // caller's streak tracking increments — without this the
+                // drift_clarification_max_streak terminate ladder was unreachable
+                // (the increment branch required the field, and only the continue
+                // path ever set it). Higher-priority rules' rejects keep it
+                // undefined, preserving the v3.2.1 "R7-only streak" semantics.
+                ...(enforceResult.check === "intent_drift"
+                    ? { clarificationAccepted: false }
+                    : {}),
                 roundSuccess,
                 gateContradicted,
                 newConsecutiveRejections: newRejections,
-                // Don't update lastRoundView on reject — the agent redoes the same round
-                newRoundProjection: undefined,
+                // Don't update lastSelfEval on reject — the agent redoes the same round
+                newLastSelfEval: undefined,
                 shouldPushSuccessTrajectory: false,
-                escalationIssued: enforceResult.escalation_issued ?? false,
             };
         }
         if (enforceResult.action === "terminate") {
@@ -113,10 +135,16 @@ export class RoundCoordinator {
                 enforcementAction: "terminate",
                 enforcementReason: enforceResult.reason,
                 rejectionCheck: enforceResult.check,
+                // v3.3.1: same echo as the reject branch — R7-participated
+                // terminates keep the streak contract consistent for the
+                // snapshot/audit record (harmless: the session is ending).
+                ...(enforceResult.check === "intent_drift"
+                    ? { clarificationAccepted: false }
+                    : {}),
                 roundSuccess,
                 gateContradicted,
                 newConsecutiveRejections: 0,
-                newRoundProjection: currentProjection,
+                newLastSelfEval: selfEval,
                 shouldPushSuccessTrajectory: false,
             };
         }
@@ -141,18 +169,34 @@ export class RoundCoordinator {
                     roundSuccess,
                     gateContradicted,
                     newConsecutiveRejections: 0,
-                    newRoundProjection: currentProjection,
+                    newLastSelfEval: selfEval,
                     shouldPushSuccessTrajectory: false,
                 };
             }
-            // Collect files changed in skipped rounds for the restore prompt.
-            const skippedFiles = collectSkippedRoundFiles(restorePoint.round, currentRound, vaultEntries);
-            // v2.13: Git HEAD the workspace must be restored to. Taken from the
-            // restore round's committed transaction snapshot.
-            const backtrackTargetGitHead = findBacktrackTargetGitHead(restorePoint.round, vaultEntries);
+            // v2.13: Collect files changed in skipped rounds for the restore prompt
+            const skippedFiles = [];
+            for (let r = restorePoint.round + 1; r < currentRound; r++) {
+                // v3.2.1: match the feedback entry (execution_evidence lives there) —
+                // the compile-time lineage entry for the same round precedes it in
+                // the flat view and carries no evidence.
+                const entry = vaultEntries.find((e) => entryRound(e) === r && e.task_type !== "loop_lineage");
+                if (entry?.execution_evidence) {
+                    const ev = entry.execution_evidence;
+                    const files = Array.isArray(ev.files_changed)
+                        ? ev.files_changed.filter((f) => typeof f === "string")
+                        : [];
+                    for (const f of files) {
+                        if (!skippedFiles.includes(f))
+                            skippedFiles.push(f);
+                    }
+                }
+            }
+            // v2.12: Capture the restore point's git HEAD so the next round's
+            // verification can confirm the workspace returned to this commit.
+            const targetGitHead = findBacktrackTargetGitHead(restorePoint.round, vaultEntries);
             const backtrackPrompt = buildBacktrackPrompt(currentRound, restorePoint.round, enforceResult.check ?? "progress_stall", getPolicy().engine.backtrack_preserve_discoveries
                 ? restorePoint.skippedDiscoveries
-                : [], skippedFiles);
+                : [], skippedFiles, targetGitHead ?? undefined);
             logEvent("enforcement_backtrack", {
                 loopId,
                 round: currentRound,
@@ -165,11 +209,11 @@ export class RoundCoordinator {
                 action: "backtrack",
                 backtrackPrompt,
                 backtrackTarget: restorePoint.round,
-                backtrackTargetGitHead,
                 backtrackSkippedDiscoveries: getPolicy().engine.backtrack_preserve_discoveries
                     ? restorePoint.skippedDiscoveries
                     : [],
                 backtrackSkippedFiles: skippedFiles,
+                backtrackTargetGitHead: targetGitHead ?? undefined,
                 backtrackTriggerRule: enforceResult.check,
                 verificationFlags,
                 enforcementAction: "backtrack",
@@ -178,22 +222,22 @@ export class RoundCoordinator {
                 roundSuccess,
                 gateContradicted,
                 newConsecutiveRejections: 0, // reset — fresh start
-                newRoundProjection: undefined,
+                newLastSelfEval: undefined,
                 shouldPushSuccessTrajectory: false,
             };
         }
         // Accept: reset rejection counter
         // (consecutiveRejections reset to 0 — caller persists)
-        // ── 4. Canonical round-report commit (AFTER enforcement) ────────────
+        // ── 4. Auto-feedback (AFTER enforcement, only if accepted) ──────────
         // ── 5. Stop condition checks ────────────────────────────────────────
-        // 5a. The Agent requests a stop. Runtime evidence and gate checks have
-        // already decided whether that stop can be accepted as completion.
-        if (roundReport.continuation === "stop") {
+        // 5b. Agent says stop
+        if (!selfEval.should_continue) {
             let reason;
-            if (roundSuccess) {
+            if (effectiveSuccess(selfEval)) {
                 reason = "completed";
             }
-            else if (roundReport.outcome === "blocked") {
+            else if (selfEval.outcome === "blocked" ||
+                selfEval.stop_reason === "blocked" || selfEval.stop_reason === "needs_human_input") {
                 reason = "blocked";
             }
             else {
@@ -206,47 +250,14 @@ export class RoundCoordinator {
                 roundSuccess,
                 gateContradicted,
                 newConsecutiveRejections: 0,
-                newRoundProjection: currentProjection,
-                clarificationAccepted,
-                shouldPushSuccessTrajectory: !gateContradicted,
+                newLastSelfEval: selfEval,
+                shouldPushSuccessTrajectory: shouldPushSuccess(gateContradicted, verificationFlags),
             };
         }
-        // 5b. Circuit breaker — max consecutive failed rounds.
-        //
-        // When the last N accepted rounds (including this one) all reported
-        // failure with no recovery, the loop is failing faster than it can
-        // self-correct. Stop before errors compound (p^N). The trajectory only
-        // contains committed, non-contradicted rounds, so this never fires on
-        // an enforcement-rejected round (those never reach this point).
-        const breakerMax = getPolicy().engine.max_circuit_breaker;
-        if (breakerMax > 0) {
-            const breakerWindow = [...(input.successTrajectory ?? []), roundSuccess]
-                .slice(-breakerMax);
-            if (breakerWindow.length === breakerMax &&
-                breakerWindow.every((value) => value === false)) {
-                logEvent("session_end", {
-                    loopId,
-                    stopReason: "circuit_breaker",
-                    round: currentRound,
-                });
-                return {
-                    action: "stop",
-                    stopReason: "circuit_breaker",
-                    verificationFlags,
-                    roundSuccess,
-                    gateContradicted,
-                    newConsecutiveRejections: 0,
-                    newRoundProjection: currentProjection,
-                    clarificationAccepted,
-                    shouldPushSuccessTrajectory: false,
-                };
-            }
-        }
         // 5c. Max rounds reached
         //
-        // Genuine agent stalls are detected by the enforcement gate. The
-        // coordinator deliberately does not infer completion from a binary
-        // success flag or from an agent-supplied progress estimate.
+        // Progress stalls are handled before this point by the R4 delta tier and
+        // R5 flatline tier. Max rounds is an independent hard boundary.
         if (currentRound >= maxRounds) {
             return {
                 action: "stop",
@@ -255,9 +266,8 @@ export class RoundCoordinator {
                 roundSuccess,
                 gateContradicted,
                 newConsecutiveRejections: 0,
-                newRoundProjection: currentProjection,
-                clarificationAccepted,
-                shouldPushSuccessTrajectory: !gateContradicted,
+                newLastSelfEval: selfEval,
+                shouldPushSuccessTrajectory: shouldPushSuccess(gateContradicted, verificationFlags),
             };
         }
         // ── 6. Continue — caller compiles next round ────────────────────────
@@ -268,9 +278,10 @@ export class RoundCoordinator {
             roundSuccess,
             gateContradicted,
             newConsecutiveRejections: 0,
-            newRoundProjection: currentProjection,
-            shouldPushSuccessTrajectory: !gateContradicted,
-            clarificationAccepted,
+            newLastSelfEval: selfEval,
+            shouldPushSuccessTrajectory: shouldPushSuccess(gateContradicted, verificationFlags),
+            // v2.12: Propagate clarification acceptance signal for streak tracking
+            clarificationAccepted: enforceResult.clarification_accepted ?? false,
         };
     }
 }

package/dist/round-coordinator.js.map

@@ -1 +1 @@
-{"version":3,"file":"round-coordinator.js","sourceRoot":"","sources":["../src/round-coordinator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAcH,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAC9F,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,wBAAwB,EAAwC,MAAM,mBAAmB,CAAC;AAuFnG,8EAA8E;AAE9E,MAAM,OAAO,gBAAgB;IACnB,OAAO,CAAwB;IAEvC,YAAY,OAAmB;QAC7B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED;;;;;;;;;;;;gFAY4E;IAC5E,YAAY,CACV,KAAwB,EACxB,2BAAmC,CAAC;QAEpC,MAAM,EACJ,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EACrC,WAAW,EAAE,cAAc,EAAE,kBAAkB,EAAE,qBAAqB,EACtE,iBAAiB,GAClB,GAAG,KAAK,CAAC;QAEV,MAAM,WAAW,GAAG,cAAc,CAAC;QACnC,MAAM,YAAY,GAAG,WAAW,CAAC,OAAO,KAAK,SAAS,CAAC;QAEvD,uEAAuE;QACvE,wEAAwE;QACxE,MAAM,MAAM,GAAG,QAAQ,MAAM,IAAI,CAAC;QAClC,MAAM,YAAY,GAAiB,IAAI,CAAC,OAAO;YAC7C,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACxG,CAAC,CAAC,EAAE,CAAC;QAEP,uEAAuE;QACvE,MAAM,WAAW,GAAG,oBAAoB,CACtC,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,iBAAiB,IAAI,EAAE,EACvB,KAAK,CAAC,iBAAiB,IAAI,EAAE,EAC7B;YACE,QAAQ,EAAE,kBAAkB,IAAI,IAAI;YACpC,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,qBAAqB,EAAE,KAAK,CAAC,qBAAqB;YAClD,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;YACpD,qBAAqB;YACrB,wBAAwB;YACxB,wBAAwB,EAAE,KAAK,CAAC,wBAAwB;SACzD,CACF,CAAC;QACF,MAAM,iBAAiB,GAAG,wBAAwB,CAChD,WAAW,EACX,YAAY,EACZ,KAAK,CAAC,iBAAiB,IAAI,EAAE,EAC7B,iBAAiB,IAAI,EAAE,CACxB,CAAC;QACF,MAAM,YAAY,GAAuB,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACxE,MAAM,iBAAiB,GAAG,YAAY,CAAC,KAAK,CAAC;QAC7C,MAAM,gBAAgB,GAAG,YAAY,CAAC,OAAO,KAAK,cAAc,CAAC;QACjE,MAAM,qBAAqB,GAAG,iBAAiB,CAAC,IAAI,CAClD,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,cAAc,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,CACpE,CAAC;QAEF,IAAI,gBAAgB,EAAE,CAAC;YACrB,QAAQ,CAAC,mBAAmB,EAAE;gBAC5B,MAAM;gBACN,KAAK,EAAE,YAAY;gBACnB,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;aAC7C,CAAC,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,yEAAyE;QACzE,MAAM,aAAa,GAAsB,kBAAkB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;QAEvF,IAAI,aAAa,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,aAAa,GAAG,qBAAqB,GAAG,CAAC,CAAC;YAChD,MAAM,eAAe,GAAG,oBAAoB,CAC1C,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,iBAAiB,CACrD,CAAC;YACF,QAAQ,CAAC,oBAAoB,EAAE;gBAC7B,MAAM;gBACN,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC1C,KAAK,EAAE,aAAa,CAAC,KAAK,IAAI,EAAE;gBAChC,qBAAqB,EAAE,aAAa;aACrC,CAAC,CAAC;YACH,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,eAAe;gBACf,iBAAiB;gBACjB,iBAAiB,EAAE,QAAQ;gBAC3B,iBAAiB,EAAE,aAAa,CAAC,MAAM;gBACvC,cAAc,EAAE,aAAa,CAAC,KAAK;gBACnC,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,aAAa;gBACvC,yEAAyE;gBACzE,kBAAkB,EAAE,SAAS;gBAC7B,2BAA2B,EAAE,KAAK;gBAClC,gBAAgB,EAAE,aAAa,CAAC,iBAAiB,IAAI,KAAK;aAC3D,CAAC;QACJ,CAAC;QAED,IAAI,aAAa,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACzC,QAAQ,CAAC,aAAa,EAAE;gBACtB,MAAM;gBACN,UAAU,EAAE,wBAAwB;gBACpC,KAAK,EAAE,YAAY;aACpB,CAAC,CAAC;YACH,OAAO;gBACL,MAAM,EAAE,WAAW;gBACnB,UAAU,EAAE,wBAAwB;gBACpC,iBAAiB;gBACjB,iBAAiB,EAAE,WAAW;gBAC9B,iBAAiB,EAAE,aAAa,CAAC,MAAM;gBACvC,cAAc,EAAE,aAAa,CAAC,KAAK;gBACnC,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,CAAC;gBAC3B,kBAAkB,EAAE,iBAAiB;gBACrC,2BAA2B,EAAE,KAAK;aACnC,CAAC;QACJ,CAAC;QAED,yEAAyE;QACzE,IAAI,aAAa,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC;YACxD,MAAM,YAAY,GAAG,oBAAoB,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;YAEhF,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,mEAAmE;gBACnE,QAAQ,CAAC,aAAa,EAAE;oBACtB,MAAM;oBACN,UAAU,EAAE,wBAAwB;oBACpC,KAAK,EAAE,YAAY;iBACpB,CAAC,CAAC;gBACH,OAAO;oBACL,MAAM,EAAE,WAAW;oBACnB,UAAU,EAAE,wBAAwB;oBACpC,iBAAiB;oBACjB,iBAAiB,EAAE,WAAW;oBAC9B,iBAAiB,EACf,GAAG,aAAa,CAAC,MAAM,qDAAqD,QAAQ,UAAU;oBAChG,cAAc,EAAE,aAAa,CAAC,KAAK;oBACnC,YAAY;oBACZ,gBAAgB;oBAChB,wBAAwB,EAAE,CAAC;oBAC3B,kBAAkB,EAAE,iBAAiB;oBACrC,2BAA2B,EAAE,KAAK;iBACnC,CAAC;YACJ,CAAC;YAED,kEAAkE;YAClE,MAAM,YAAY,GAAG,wBAAwB,CAC3C,YAAY,CAAC,KAAK,EAClB,YAAY,EACZ,YAAY,CACb,CAAC;YAEF,oEAAoE;YACpE,kDAAkD;YAClD,MAAM,sBAAsB,GAAG,0BAA0B,CACvD,YAAY,CAAC,KAAK,EAClB,YAAY,CACb,CAAC;YAEF,MAAM,eAAe,GAAG,oBAAoB,CAC1C,YAAY,EACZ,YAAY,CAAC,KAAK,EAClB,aAAa,CAAC,KAAK,IAAI,gBAAgB,EACvC,SAAS,EAAE,CAAC,MAAM,CAAC,8BAA8B;gBAC/C,CAAC,CAAC,YAAY,CAAC,kBAAkB;gBACjC,CAAC,CAAC,EAAE,EACN,YAAY,CACb,CAAC;YAEF,QAAQ,CAAC,uBAAuB,EAAE;gBAChC,MAAM;gBACN,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC1C,KAAK,EAAE,aAAa,CAAC,KAAK,IAAI,EAAE;gBAChC,eAAe,EAAE,YAAY,CAAC,KAAK;gBACnC,kBAAkB,EAAE,YAAY,CAAC,kBAAkB,CAAC,MAAM;aAC3D,CAAC,CAAC;YAEH,OAAO;gBACL,MAAM,EAAE,WAAW;gBACnB,eAAe;gBACf,eAAe,EAAE,YAAY,CAAC,KAAK;gBACnC,sBAAsB;gBACtB,2BAA2B,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,8BAA8B;oBAC5E,CAAC,CAAC,YAAY,CAAC,kBAAkB;oBACjC,CAAC,CAAC,EAAE;gBACN,qBAAqB,EAAE,YAAY;gBACnC,oBAAoB,EAAE,aAAa,CAAC,KAAK;gBACzC,iBAAiB;gBACjB,iBAAiB,EAAE,WAAW;gBAC9B,iBAAiB,EAAE,aAAa,CAAC,MAAM;gBACvC,cAAc,EAAE,aAAa,CAAC,KAAK;gBACnC,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,CAAC,EAAE,sBAAsB;gBACnD,kBAAkB,EAAE,SAAS;gBAC7B,2BAA2B,EAAE,KAAK;aACnC,CAAC;QACJ,CAAC;QAED,kCAAkC;QAClC,uDAAuD;QAEvD,uEAAuE;QACvE,uEAAuE;QAEvE,uEAAuE;QACvE,mEAAmE;QACnE,IAAI,WAAW,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;YACxC,IAAI,MAAkB,CAAC;YACvB,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,GAAG,WAAW,CAAC;YACvB,CAAC;iBAAM,IAAI,WAAW,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC7C,MAAM,GAAG,SAAS,CAAC;YACrB,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,QAAQ,CAAC;YACpB,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,UAAU,EAAE,MAAM;gBAClB,iBAAiB;gBACjB,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,CAAC;gBAC3B,kBAAkB,EAAE,iBAAiB;gBACrC,qBAAqB;gBACrB,2BAA2B,EAAE,CAAC,gBAAgB;aAC/C,CAAC;QACJ,CAAC;QAED,uDAAuD;QACvD,EAAE;QACF,oEAAoE;QACpE,mEAAmE;QACnE,uEAAuE;QACvE,sEAAsE;QACtE,gEAAgE;QAChE,MAAM,UAAU,GAAG,SAAS,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC;QAC1D,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,aAAa,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC;iBACrE,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;YACtB,IACE,aAAa,CAAC,MAAM,KAAK,UAAU;gBACnC,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,EAC/C,CAAC;gBACD,QAAQ,CAAC,aAAa,EAAE;oBACtB,MAAM;oBACN,UAAU,EAAE,iBAAiB;oBAC7B,KAAK,EAAE,YAAY;iBACpB,CAAC,CAAC;gBACH,OAAO;oBACL,MAAM,EAAE,MAAM;oBACd,UAAU,EAAE,iBAAiB;oBAC7B,iBAAiB;oBACjB,YAAY;oBACZ,gBAAgB;oBAChB,wBAAwB,EAAE,CAAC;oBAC3B,kBAAkB,EAAE,iBAAiB;oBACrC,qBAAqB;oBACrB,2BAA2B,EAAE,KAAK;iBACnC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,EAAE;QACF,iEAAiE;QACjE,mEAAmE;QACnE,4DAA4D;QAC5D,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC9B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,UAAU,EAAE,YAAY;gBACxB,iBAAiB;gBACjB,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,CAAC;gBAC3B,kBAAkB,EAAE,iBAAiB;gBACrC,qBAAqB;gBACrB,2BAA2B,EAAE,CAAC,gBAAgB;aAC/C,CAAC;QACJ,CAAC;QAED,uEAAuE;QACvE,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,iBAAiB;YACjB,iBAAiB,EAAE,QAAQ;YAC3B,YAAY;YACZ,gBAAgB;YAChB,wBAAwB,EAAE,CAAC;YAC3B,kBAAkB,EAAE,iBAAiB;YACrC,2BAA2B,EAAE,CAAC,gBAAgB;YAC9C,qBAAqB;SACtB,CAAC;IACJ,CAAC;CACF"}
+{"version":3,"file":"round-coordinator.js","sourceRoot":"","sources":["../src/round-coordinator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAUnD,OAAO,EAAE,uCAAuC,EAAE,oBAAoB,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACnH,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EACL,YAAY,EACZ,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAmFxC;;;;;iEAKiE;AACjE,SAAS,iBAAiB,CACxB,gBAAyB,EACzB,iBAAqC;IAErC,IAAI,gBAAgB;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAC5B,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,QAAQ,KAAK,MAAM;QACxB,IAAI,CAAC,KAAK,KAAK,uCAAuC,CACzD,CAAC;AACJ,CAAC;AAED,8EAA8E;AAE9E,MAAM,OAAO,gBAAgB;IACnB,KAAK,CAAwB;IAErC,YAAY,KAAiB;QAC3B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED;;;;;;;;;;;;gFAY4E;IAC5E,YAAY,CACV,KAAwB,EACxB,2BAAmC,CAAC;QAEpC,MAAM,EACJ,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EACrC,QAAQ,EAAE,YAAY,EACtB,qBAAqB,EACrB,iBAAiB,GAClB,GAAG,KAAK,CAAC;QAEV,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,IAAI,KAAK,CAAC;QAE/C,uEAAuE;QACvE,yEAAyE;QACzE,sEAAsE;QACtE,uEAAuE;QACvE,yDAAyD;QACzD,MAAM,MAAM,GAAG,QAAQ,MAAM,IAAI,CAAC;QAClC,MAAM,YAAY,GAAiB,IAAI,CAAC,KAAK;YAC3C,CAAC,CAAC;gBACE,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC;gBACnD,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;aACxE;YACH,CAAC,CAAC,EAAE,CAAC;QAEP,uEAAuE;QACvE,MAAM,YAAY,GAAuB,oBAAoB,CAC3D,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,YAAY,IAAI,IAAI,EACpB,iBAAiB,IAAI,EAAE,EACvB,KAAK,CAAC,qBAAqB,IAAI,EAAE,EACjC,KAAK,CAAC,sBAAsB,CAC7B,CAAC;QACF,MAAM,iBAAiB,GAAG,YAAY,CAAC,KAAK,CAAC;QAC7C,MAAM,gBAAgB,GAAG,YAAY,CAAC,OAAO,KAAK,cAAc,CAAC;QAEjE,IAAI,gBAAgB,EAAE,CAAC;YACrB,QAAQ,CAAC,mBAAmB,EAAE;gBAC5B,MAAM;gBACN,KAAK,EAAE,YAAY;gBACnB,KAAK,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;aAC7C,CAAC,CAAC;QACL,CAAC;QAED,oEAAoE;QACpE,yEAAyE;QACzE,qEAAqE;QACrE,0EAA0E;QAC1E,6EAA6E;QAC7E,wEAAwE;QACxE,MAAM,aAAa,GAAsB,YAAY,CACnD,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,qBAAqB,EACrB,wBAAwB,CACzB,CAAC;QAEF,IAAI,aAAa,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,aAAa,GAAG,qBAAqB,GAAG,CAAC,CAAC;YAChD,MAAM,eAAe,GAAG,oBAAoB,CAC1C,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,iBAAiB,CACrD,CAAC;YACF,QAAQ,CAAC,oBAAoB,EAAE;gBAC7B,MAAM;gBACN,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC1C,KAAK,EAAE,aAAa,CAAC,KAAK,IAAI,EAAE;gBAChC,qBAAqB,EAAE,aAAa;aACrC,CAAC,CAAC;YACH,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,eAAe;gBACf,iBAAiB;gBACjB,iBAAiB,EAAE,QAAQ;gBAC3B,iBAAiB,EAAE,aAAa,CAAC,MAAM;gBACvC,cAAc,EAAE,aAAa,CAAC,KAAK;gBACnC,qDAAqD;gBACrD,kEAAkE;gBAClE,yDAAyD;gBACzD,kEAAkE;gBAClE,kEAAkE;gBAClE,4DAA4D;gBAC5D,+DAA+D;gBAC/D,GAAG,CAAC,aAAa,CAAC,KAAK,KAAK,cAAc;oBACxC,CAAC,CAAC,EAAE,qBAAqB,EAAE,KAAK,EAAE;oBAClC,CAAC,CAAC,EAAE,CAAC;gBACP,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,aAAa;gBACvC,wEAAwE;gBACxE,eAAe,EAAE,SAAS;gBAC1B,2BAA2B,EAAE,KAAK;aACnC,CAAC;QACJ,CAAC;QAED,IAAI,aAAa,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACzC,QAAQ,CAAC,aAAa,EAAE;gBACtB,MAAM;gBACN,UAAU,EAAE,wBAAwB;gBACpC,KAAK,EAAE,YAAY;aACpB,CAAC,CAAC;YACH,OAAO;gBACL,MAAM,EAAE,WAAW;gBACnB,UAAU,EAAE,wBAAwB;gBACpC,iBAAiB;gBACjB,iBAAiB,EAAE,WAAW;gBAC9B,iBAAiB,EAAE,aAAa,CAAC,MAAM;gBACvC,cAAc,EAAE,aAAa,CAAC,KAAK;gBACnC,2DAA2D;gBAC3D,yDAAyD;gBACzD,2DAA2D;gBAC3D,GAAG,CAAC,aAAa,CAAC,KAAK,KAAK,cAAc;oBACxC,CAAC,CAAC,EAAE,qBAAqB,EAAE,KAAK,EAAE;oBAClC,CAAC,CAAC,EAAE,CAAC;gBACP,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,CAAC;gBAC3B,eAAe,EAAE,QAAQ;gBACzB,2BAA2B,EAAE,KAAK;aACnC,CAAC;QACJ,CAAC;QAED,yEAAyE;QACzE,IAAI,aAAa,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC;YACxD,MAAM,YAAY,GAAG,oBAAoB,CAAC,YAAY,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;YAEhF,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,mEAAmE;gBACnE,QAAQ,CAAC,aAAa,EAAE;oBACtB,MAAM;oBACN,UAAU,EAAE,wBAAwB;oBACpC,KAAK,EAAE,YAAY;iBACpB,CAAC,CAAC;gBACH,OAAO;oBACL,MAAM,EAAE,WAAW;oBACnB,UAAU,EAAE,wBAAwB;oBACpC,iBAAiB;oBACjB,iBAAiB,EAAE,WAAW;oBAC9B,iBAAiB,EACf,GAAG,aAAa,CAAC,MAAM,qDAAqD,QAAQ,UAAU;oBAChG,cAAc,EAAE,aAAa,CAAC,KAAK;oBACnC,YAAY;oBACZ,gBAAgB;oBAChB,wBAAwB,EAAE,CAAC;oBAC3B,eAAe,EAAE,QAAQ;oBACzB,2BAA2B,EAAE,KAAK;iBACnC,CAAC;YACJ,CAAC;YAED,wEAAwE;YACxE,MAAM,YAAY,GAAa,EAAE,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3D,sEAAsE;gBACtE,mEAAmE;gBACnE,yCAAyC;gBACzC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,KAAK,cAAc,CAC7D,CAAC;gBACF,IAAI,KAAK,EAAE,kBAAkB,EAAE,CAAC;oBAC9B,MAAM,EAAE,GAAG,KAAK,CAAC,kBAA6C,CAAC;oBAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa,CAAC;wBAC3C,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;wBAChE,CAAC,CAAC,EAAE,CAAC;oBACP,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;wBACtB,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;4BAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACtD,CAAC;gBACH,CAAC;YACH,CAAC;YAED,kEAAkE;YAClE,kEAAkE;YAClE,MAAM,aAAa,GAAG,0BAA0B,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;YAEnF,MAAM,eAAe,GAAG,oBAAoB,CAC1C,YAAY,EACZ,YAAY,CAAC,KAAK,EAClB,aAAa,CAAC,KAAK,IAAI,gBAAgB,EACvC,SAAS,EAAE,CAAC,MAAM,CAAC,8BAA8B;gBAC/C,CAAC,CAAC,YAAY,CAAC,kBAAkB;gBACjC,CAAC,CAAC,EAAE,EACN,YAAY,EACZ,aAAa,IAAI,SAAS,CAC3B,CAAC;YAEF,QAAQ,CAAC,uBAAuB,EAAE;gBAChC,MAAM;gBACN,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC1C,KAAK,EAAE,aAAa,CAAC,KAAK,IAAI,EAAE;gBAChC,eAAe,EAAE,YAAY,CAAC,KAAK;gBACnC,kBAAkB,EAAE,YAAY,CAAC,kBAAkB,CAAC,MAAM;aAC3D,CAAC,CAAC;YAEH,OAAO;gBACL,MAAM,EAAE,WAAW;gBACnB,eAAe;gBACf,eAAe,EAAE,YAAY,CAAC,KAAK;gBACnC,2BAA2B,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,8BAA8B;oBAC5E,CAAC,CAAC,YAAY,CAAC,kBAAkB;oBACjC,CAAC,CAAC,EAAE;gBACN,qBAAqB,EAAE,YAAY;gBACnC,sBAAsB,EAAE,aAAa,IAAI,SAAS;gBAClD,oBAAoB,EAAE,aAAa,CAAC,KAAK;gBACzC,iBAAiB;gBACjB,iBAAiB,EAAE,WAAW;gBAC9B,iBAAiB,EAAE,aAAa,CAAC,MAAM;gBACvC,cAAc,EAAE,aAAa,CAAC,KAAK;gBACnC,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,CAAC,EAAE,sBAAsB;gBACnD,eAAe,EAAE,SAAS;gBAC1B,2BAA2B,EAAE,KAAK;aACnC,CAAC;QACJ,CAAC;QAED,kCAAkC;QAClC,uDAAuD;QAEvD,uEAAuE;QACvE,uEAAuE;QAEvE,sBAAsB;QACtB,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE,CAAC;YAC9B,IAAI,MAAkB,CAAC;YACvB,IAAI,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,MAAM,GAAG,WAAW,CAAC;YACvB,CAAC;iBAAM,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;gBACrC,QAAQ,CAAC,WAAW,KAAK,SAAS,IAAI,QAAQ,CAAC,WAAW,KAAK,mBAAmB,EAAE,CAAC;gBACvF,MAAM,GAAG,SAAS,CAAC;YACrB,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,QAAQ,CAAC;YACpB,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,UAAU,EAAE,MAAM;gBAClB,iBAAiB;gBACjB,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,CAAC;gBAC3B,eAAe,EAAE,QAAQ;gBACzB,2BAA2B,EAAE,iBAAiB,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;aACpF,CAAC;QACJ,CAAC;QAED,yBAAyB;QACzB,EAAE;QACF,yEAAyE;QACzE,gEAAgE;QAChE,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;YAC9B,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,UAAU,EAAE,YAAY;gBACxB,iBAAiB;gBACjB,YAAY;gBACZ,gBAAgB;gBAChB,wBAAwB,EAAE,CAAC;gBAC3B,eAAe,EAAE,QAAQ;gBACzB,2BAA2B,EAAE,iBAAiB,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;aACpF,CAAC;QACJ,CAAC;QAED,uEAAuE;QACvE,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,iBAAiB;YACjB,iBAAiB,EAAE,QAAQ;YAC3B,YAAY;YACZ,gBAAgB;YAChB,wBAAwB,EAAE,CAAC;YAC3B,eAAe,EAAE,QAAQ;YACzB,2BAA2B,EAAE,iBAAiB,CAAC,gBAAgB,EAAE,iBAAiB,CAAC;YACnF,uEAAuE;YACvE,qBAAqB,EAAE,aAAa,CAAC,sBAAsB,IAAI,KAAK;SACrE,CAAC;IACJ,CAAC;CACF"}

package/dist/round-driver.d.ts

@@ -6,9 +6,9 @@
  * in their adapters.
  */
 import type { LoopStore } from "./loop-store.js";
-import { RuntimeServices } from "./runtime-services.js";
+import { LoopForgeEngine } from "./engine.js";
 import type { ProviderSnapshot } from "./evidence-provider.js";
-import type { CompilerRoundProjection, LoopForgeRequest, PromptArtifact, RoundReport } from "./protocol.js";
+import type { LoopForgeRequest, LoopForgeResponse, PromptArtifact, SelfEvaluation } from "./protocol.js";
 import type { RoundTransactionOutcome, RoundTransactionSnapshot } from "./round-transaction.js";
 export interface PreparedRound {
     prompt: string;
@@ -18,28 +18,25 @@ export interface PreparedRound {
     snapshot: RoundTransactionSnapshot;
     stateFileContent?: string;
     warnings?: string[];
-    canonicalState?: unknown;
+    /** v3.0.1: The full compile response. Callers may cache it (e.g. for the
+     *  typed projection) instead of recompiling for derived views. */
+    compileResponse?: LoopForgeResponse;
 }
 export interface CompleteRoundInput {
     snapshot: RoundTransactionSnapshot;
     loopId: string;
     task: string;
     maxRounds: number;
-    roundReport: RoundReport;
-    previousProjection?: CompilerRoundProjection;
+    selfEval: SelfEvaluation;
+    lastSelfEval?: SelfEvaluation;
     consecutiveRejections: number;
     successTrajectory: boolean[];
     /** v2.12: Current clarification streak for R7 escalation. */
     driftClarificationStreak?: number;
-    /** Terminal enforcement checks that already consumed their guided retry. */
-    escalatedRejectionChecks?: string[];
     /** v2.13: Files from skipped backtrack rounds for restore check. */
     backtrackSkippedFiles?: string[];
-    /** v2.13: Git HEAD of the active backtrack restore point. Passed to the
-     *  verification gate; the post-backtrack round must match it. */
+    /** v2.12: Git HEAD of the backtrack restore point (workspace restore check). */
     backtrackTargetGitHead?: string;
-    expectedAction?: string;
-    remainingCriteria?: string[];
 }
 export interface CompletedRound {
     outcome: RoundTransactionOutcome;
@@ -47,9 +44,12 @@ export interface CompletedRound {
 }
 export declare class RoundDriver {
     private readonly engine;
-    private readonly backend;
-    constructor(engine: RuntimeServices, backend?: LoopStore);
+    private readonly store;
+    constructor(engine: LoopForgeEngine, store?: LoopStore);
     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. */