loopforge 3.7.0 → 3.8.1

package/dist/round-contract.js

@@ -1,80 +1,120 @@
-import { deriveItemId, jaccardSimilarity } from "./token-utils.js";
+/** Round Contract derivation — the ACTIVE contract a round executes under.
+ *
+ *  A submission's `round_contract` is a PROPOSAL for the next round. It
+ *  becomes ACTIVE only after the declaring round commits; the active contract
+ *  is then derived from committed rounds on every compile path (retry,
+ *  resume, backtrack). It closes when every item is machine-verified, or when
+ *  the agent reports `outcome: "blocked"`; while it is open a different
+ *  proposal is ignored.
+ *
+ *  v3.8 identity: `rc-` / `rci-` are derived from CONTENT ONLY (loop id +
+ *  canonical proposal), so restating an unchanged contract keeps the same
+ *  identity and the item ids the agent already cited. This is deliberately
+ *  the opposite of a SubGoal, whose id includes its declaration round.
+ */
+import { canonicalContractText, deriveContractId, deriveContractItemIds, } from "./token-utils.js";
+import { deriveContractItemStatuses } from "./contract-items.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);
+/** v3.8: Build the derived active contract from a committed proposal plus the
+ *  binding the runtime stamped when that round committed. */
+export function activateContract(proposal, declaredAtRound, binding, loopId) {
+    const itemIds = deriveContractItemIds(proposal.items);
+    return {
+        id: deriveContractId(loopId, proposal),
+        declared_at_round: declaredAtRound,
+        work_item: proposal.work_item,
+        scope: [...proposal.scope],
+        items: proposal.items.map((item, index) => ({
+            description: item.description,
+            criterion_refs: [...item.criterion_refs],
+            subgoal_refs: [...item.subgoal_refs],
+            verify_with: [...item.verify_with],
+            id: itemIds[index],
+        })),
+        config_hash_by_command: { ...(binding?.config_hash_by_command ?? {}) },
+    };
 }
-/** 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;
+/** v3.8: Content equality — restating a contract unchanged is the same
+ *  contract. Never compare by id (8 hex = 32 bits; a collision must not merge
+ *  two different contracts). */
+export function sameContract(left, right) {
+    return canonicalContractText(left) === canonicalContractText(right);
 }
-/** 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) {
+/** v3.8: The active contract after replaying committed rounds in order. */
+export function deriveActiveRoundContract(rounds, commands = getPolicy().evidence.commands ?? []) {
     let active = null;
-    for (const r of committed) {
+    for (let index = 0; index < rounds.length; index++) {
+        const round = rounds[index];
+        const proposal = round.contractProposal;
+        const activate = () => proposal
+            ? activateContract(proposal, round.round, round.contractBinding, round.loopId)
+            : null;
         if (active === null) {
-            active = r.proposal ?? null;
+            active = activate();
             continue;
         }
-        if (r.outcome === "blocked") {
-            active = r.proposal ?? null;
+        // A blocked round closes the active contract (existing semantics), and a
+        // fully verified one does too. Order matters: blocked is checked first,
+        // mirroring the historical walker.
+        if (round.outcome === "blocked") {
+            active = activate();
             continue;
         }
-        if (contractDoneWhenSatisfied(active, r.met)) {
-            active = r.proposal ?? null;
+        const statuses = deriveContractItemStatuses({
+            contract: active,
+            rounds: rounds.slice(0, index + 1),
+            currentRound: round.round + 1,
+            currentReport: null,
+            currentObservations: [],
+            commands,
+        });
+        if (statuses.closure === "verified") {
+            active = activate();
             continue;
         }
-        // active !== null and not closed — it continues; r's proposal (if any)
-        // is a premature replacement and is ignored.
+        // Otherwise the active contract stays; a different proposal 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 ?? [],
-    }));
+/** v3.8: Every criterion id referenced by the contract's items. */
+export function contractCriterionIds(contract) {
+    const ids = new Set();
+    for (const item of contract.items) {
+        for (const ref of item.criterion_refs) {
+            if (/^cr-[a-f0-9]{8}$/.test(ref))
+                ids.add(ref);
+        }
+    }
+    return [...ids];
+}
+/** v3.8: The contract a round EXECUTED under, plus every item's status as of
+ *  that round — the ONE derivation the live coordinator, explain and audit
+ *  share, so the three can never disagree about what a round ran under.
+ *
+ *  Two things make this different from "derive from every round up to and
+ *  including this one":
+ *
+ *  - The executed contract comes from the rounds BEFORE this one. A proposal
+ *    declared in round R becomes active in R+1, and a contract round R CLOSES
+ *    must still be reported as round R's contract — folding R's own proposal
+ *    into the walker would hand the round the successor (or nothing).
+ *  - The round's own report and observations enter as the in-flight slice, so
+ *    its claims and its bound commands are judged with the same reducer the
+ *    coordinator uses before the round commits. */
+export function deriveRoundContractView(input) {
+    const prior = input.rounds.filter((candidate) => candidate.round < input.round);
+    const contract = deriveActiveRoundContract(prior, input.commands);
+    return {
+        contract,
+        statuses: deriveContractItemStatuses({
+            contract,
+            rounds: prior,
+            currentRound: input.round,
+            currentReport: input.report,
+            currentObservations: input.observations,
+            currentOutcome: input.outcome,
+            commands: input.commands,
+        }),
+    };
 }
 //# sourceMappingURL=round-contract.js.map

package/dist/round-contract.js.map

@@ -1 +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"}
+{"version":3,"file":"round-contract.js","sourceRoot":"","sources":["../src/round-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAUH,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AAEjE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAqBxC;6DAC6D;AAC7D,MAAM,UAAU,gBAAgB,CAC9B,QAA+B,EAC/B,eAAuB,EACvB,OAAkE,EAClE,MAAc;IAEd,MAAM,OAAO,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACtD,OAAO;QACL,EAAE,EAAE,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC;QACtC,iBAAiB,EAAE,eAAe;QAClC,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC1B,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;YAC1C,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,cAAc,EAAE,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC;YACxC,YAAY,EAAE,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;YACpC,WAAW,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;YAClC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC;SACnB,CAAC,CAAC;QACH,sBAAsB,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,sBAAsB,IAAI,EAAE,CAAC,EAAE;KACvE,CAAC;AACJ,CAAC;AAED;;gCAEgC;AAChC,MAAM,UAAU,YAAY,CAC1B,IAA2B,EAC3B,KAA4B;IAE5B,OAAO,qBAAqB,CAAC,IAAI,CAAC,KAAK,qBAAqB,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,yBAAyB,CACvC,MAAyC,EACzC,WAAiD,SAAS,EAAE,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE;IAEpF,IAAI,MAAM,GAA8B,IAAI,CAAC;IAC7C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC;QACxC,MAAM,QAAQ,GAAG,GAA8B,EAAE,CAAC,QAAQ;YACxD,CAAC,CAAC,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,MAAM,CAAC;YAC9E,CAAC,CAAC,IAAI,CAAC;QAET,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,MAAM,GAAG,QAAQ,EAAE,CAAC;YACpB,SAAS;QACX,CAAC;QACD,yEAAyE;QACzE,wEAAwE;QACxE,mCAAmC;QACnC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,GAAG,QAAQ,EAAE,CAAC;YACpB,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,0BAA0B,CAAC;YAC1C,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;YAClC,YAAY,EAAE,KAAK,CAAC,KAAK,GAAG,CAAC;YAC7B,aAAa,EAAE,IAAI;YACnB,mBAAmB,EAAE,EAAE;YACvB,QAAQ;SACT,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACpC,MAAM,GAAG,QAAQ,EAAE,CAAC;YACpB,SAAS;QACX,CAAC;QACD,wEAAwE;IAC1E,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,oBAAoB,CAAC,QAA4B;IAC/D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACtC,IAAI,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;mDAamD;AACnD,MAAM,UAAU,uBAAuB,CAAC,KASvC;IACC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClE,OAAO;QACL,QAAQ;QACR,QAAQ,EAAE,0BAA0B,CAAC;YACnC,QAAQ;YACR,MAAM,EAAE,KAAK;YACb,YAAY,EAAE,KAAK,CAAC,KAAK;YACzB,aAAa,EAAE,KAAK,CAAC,MAAM;YAC3B,mBAAmB,EAAE,KAAK,CAAC,YAAY;YACvC,cAAc,EAAE,KAAK,CAAC,OAAO;YAC7B,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC;KACH,CAAC;AACJ,CAAC"}

package/dist/round-coordinator.d.ts

@@ -17,9 +17,9 @@
  * Persistence is owned by round-transaction.ts so reject paths remain
  * side-effect free and accepted decisions can be replayed idempotently.
  */
-import type { LoopStore } from "./loop-store.js";
-import type { ProviderSnapshot } from "./evidence-provider.js";
-import type { SelfEvaluation, StopReason, VerificationFlag } from "./protocol.js";
+import type { LoopStore, VaultEntry } from "./loop-store.js";
+import type { MachineObservation } from "./protocol.js";
+import type { SelfEvaluation, RoundVerificationStatus, StopReason, VerificationFlag } from "./protocol.js";
 /** Input to a single round processing step. */
 export interface RoundProcessInput {
     loopId: string;
@@ -32,13 +32,20 @@ export interface RoundProcessInput {
     lastSelfEval?: SelfEvaluation;
     /** How many consecutive rounds have been rejected by enforcement. */
     consecutiveRejections: number;
+    /** L4 (v3.7.x): which check rejected the previous round — lets uniform
+     *  escalation rows act on their own streak, not an unrelated one. */
+    lastRejectionCheck?: string;
     /** v1.18: Evidence snapshots from configured providers. */
-    evidenceSnapshots?: ProviderSnapshot[];
+    evidenceSnapshots?: MachineObservation[];
     /** Success values from already committed rounds. */
     successTrajectory?: boolean[];
     /** v2.13: Files from skipped backtrack rounds. Passed to verification
      *  gate for post-backtrack workspace restore check. */
     backtrackSkippedFiles?: string[];
+    /** M3 (v3.7.x): git fingerprint of each skipped file as recorded at its
+     *  failed round — machine proof of "untouched since the rollback" for
+     *  the restore check. */
+    backtrackSkippedFingerprints?: Record<string, string>;
     /** v2.12: Git HEAD of the backtrack restore point. The verification gate
      *  checks the workspace returns to this commit before accepting work. */
     backtrackTargetGitHead?: string;
@@ -59,6 +66,18 @@ export interface RoundProcessResult {
     backtrackSkippedDiscoveries?: string[];
     /** v2.10: Which enforcement rule triggered the backtrack. */
     backtrackTriggerRule?: string;
+    /** v3.7.1: Rounds rolled back (exclusive range above the restore point).
+     *  Derived from committed facts + the in-flight attempt — rejected
+     *  payloads are not durable history and never become a source. */
+    backtrackFailedRounds?: number[];
+    /** v3.7.1: One approach per failed round (committed output_summary or the
+     *  in-flight attempt's), truncated — what must NOT be repeated. */
+    backtrackApproaches?: string[];
+    /** v3.7.1: Falsified assumptions from the failed rounds. */
+    backtrackWrongAssumptions?: string[];
+    /** M3 (v3.7.x): per-file git fingerprint at the failed round — lets the
+     *  restore check prove a skipped file was never touched since the rollback. */
+    backtrackSkippedFingerprints?: Record<string, string>;
     /** Verification flags from this round (for injection into next prompt). */
     verificationFlags: VerificationFlag[];
     /** Enforcement action for observability. */
@@ -69,6 +88,11 @@ export interface RoundProcessResult {
     roundSuccess: boolean;
     /** Whether the verification gate returned "contradicted". */
     gateContradicted: boolean;
+    /** v3.8: The round-level verification posture, derived from the ACTIVE
+     *  contract's item statuses and this round's claims: `trusted` (everything
+     *  claimed is machine-backed), `insufficient` (claims unbacked, nothing
+     *  contradicted), `contradicted` (a machine fact denies a claim). */
+    verificationStatus: RoundVerificationStatus;
     /** Updated consecutiveRejections count — caller must persist. */
     newConsecutiveRejections: number;
     /** Which enforcement check fired (set when action is "reject" or "terminate").
@@ -80,13 +104,6 @@ export interface RoundProcessResult {
     /** 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.
-     *  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;
     /** 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. */
@@ -96,6 +113,31 @@ export interface RoundProcessResult {
      *  not still dirty (agent must restore workspace first). */
     backtrackSkippedFiles?: string[];
 }
+/** v3.8.1: The rolled-back branch's facts — the ONE derivation of which rounds
+ *  failed, which approaches must not be repeated, which assumptions were
+ *  falsified, and which files (with their failed-round git fingerprints) the
+ *  agent must restore.
+ *
+ *  Sources are COMMITTED rounds above the restore point; rejected attempts are
+ *  not durable history and never become a source. The in-flight attempt that
+ *  triggered the rollback is the one exception — its evaluation lives in this
+ *  process, not in committed history.
+ *
+ *  Extracted from the coordinator's inline walk so it is unit-testable without
+ *  driving a whole rollback, and so the prompt, the state file and the
+ *  committed decision all describe one event. */
+export declare function deriveBacktrackRecoveryFacts(input: {
+    currentRound: number;
+    restoreRound: number;
+    vaultEntries: VaultEntry[];
+    selfEval: SelfEvaluation;
+}): {
+    skippedFiles: string[];
+    skippedFingerprints: Record<string, string>;
+    failedRounds: number[];
+    approaches: string[];
+    wrongAssumptions: string[];
+};
 export declare class RoundCoordinator {
     private store;
     constructor(store?: LoopStore);
@@ -108,10 +150,7 @@ export declare class RoundCoordinator {
      *  - Managing heartbeat / signal handlers (runtime only)
      *  - Memory injection (both paths, before calling processRound)
      *  - 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: RoundProcessInput, driftClarificationStreak?: number): RoundProcessResult;
+     *  - State file I/O (both paths, after compiling) */
+    processRound(input: RoundProcessInput): RoundProcessResult;
 }
 //# sourceMappingURL=round-coordinator.d.ts.map

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;;;;;;;;;;;;;;;;;;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;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,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"}
+{"version":3,"file":"round-coordinator.d.ts","sourceRoot":"","sources":["../src/round-coordinator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAEV,cAAc,EACd,uBAAuB,EACvB,UAAU,EACV,gBAAgB,EAEjB,MAAM,eAAe,CAAC;AAwBvB,+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;yEACqE;IACrE,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,2DAA2D;IAC3D,iBAAiB,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACzC,oDAAoD;IACpD,iBAAiB,CAAC,EAAE,OAAO,EAAE,CAAC;IAC9B;2DACuD;IACvD,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC;;6BAEyB;IACzB,4BAA4B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD;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;;sEAEkE;IAClE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC;uEACmE;IACnE,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC/B,4DAA4D;IAC5D,yBAAyB,CAAC,EAAE,MAAM,EAAE,CAAC;IACrC;mFAC+E;IAC/E,4BAA4B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,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;;;yEAGqE;IACrE,kBAAkB,EAAE,uBAAuB,CAAC;IAC5C,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;;yEAEqE;IACrE,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC;;gEAE4D;IAC5D,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AA2BD;;;;;;;;;;;;iDAYiD;AACjD,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,QAAQ,EAAE,cAAc,CAAC;CAC1B,GAAG;IACF,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B,CAoEA;AAED,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,KAAK,CAAwB;gBAEzB,KAAK,CAAC,EAAE,SAAS;IAI7B;;;;;;;;;yDASqD;IACrD,YAAY,CACV,KAAK,EAAE,iBAAiB,GACvB,kBAAkB;CAgUtB"}