loopforge 3.9.2 → 4.0.7

package/dist/round-contract.d.ts

@@ -1,4 +1,10 @@
 /** Round Contract derivation — the ACTIVE contract a round executes under.
+ *
+ *  v3.9.5 semantics: `work_item` is the bounded deliverable this slice
+ *  produces (an outcome, not an activity); `items[]` are acceptance
+ *  conditions inside that slice; each item binds its own `verify_with`
+ *  commands. The contract is verified only when every item is verified, so
+ *  there is no work_item-level claim. A command may back several conditions.
  *
  *  A submission's `round_contract` is a PROPOSAL for the next round. It
  *  becomes ACTIVE only after the declaring round commits; the active contract
@@ -9,10 +15,11 @@
  *
  *  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
+ *  identity and the item ids the agent already cited. `rci-` is deliberately
+ *  independent of `work_item`/`scope`, which stay slice-level labels. This is
  *  the opposite of a SubGoal, whose id includes its declaration round.
  */
-import type { ContractItemProposal, ExecutionReport, RoundContractProposal } from "./protocol.js";
+import type { ContractItemProposal, ContractSupersede, ExecutionReport, RoundContractProposal } from "./protocol.js";
 import type { ObservationDelta } from "./evidence-provider.js";
 import type { CommittedRoundView } from "./committed-round.js";
 import type { CommandEvidencePolicy } from "./policy.js";
@@ -27,7 +34,11 @@ export interface ActiveContractView {
     /** The round that declared the proposal that became active (a fact, not
      *  part of the identity hash). */
     declared_at_round: number;
+    /** The bounded deliverable label. Optional only for legacy committed
+     *  contracts; new declarations require it at the strict boundary. */
     work_item?: string;
+    /** Report-only intended files/directories for this slice. It grants no
+     *  permission and is never enforced; drift is an info fact. */
     scope: string[];
     items: ActiveContractItem[];
     /** The command configuration in force at declaration (machine-stamped at
@@ -43,10 +54,31 @@ export declare function activateContract(proposal: RoundContractProposal, declar
  *  contract. Never compare by id (8 hex = 32 bits; a collision must not merge
  *  two different contracts). */
 export declare function sameContract(left: RoundContractProposal, right: RoundContractProposal): boolean;
+/** v3.9.9 / v4.0.6: the ONE current-round fact bundle for contract
+ *  derivations. Every caller passes report/deltas/blocked/redirect together,
+ *  so a consumer can no longer forget the round's blocked declaration or its
+ *  explicit redirect while another consumer sees them. */
+export interface CurrentRoundFacts {
+    report: ExecutionReport | null;
+    deltas: ReadonlyArray<ObservationDelta>;
+    /** The round's ONE blocked declaration (`outcome: "blocked"`). */
+    blocked: boolean;
+    /** The round's explicit contract redirect, if it declared one
+     *  (`round_contract.supersedes`). */
+    redirect: ContractSupersede | null;
+}
+export declare const NO_CURRENT_ROUND_FACTS: CurrentRoundFacts;
+/** Read a committed view's current-round facts. Read views (audit/explain/
+ *  receipt/round-facts) use this instead of hand-building `outcome`-only
+ *  blocked flags. */
+export declare function committedRoundFacts(view: CommittedRoundView): CurrentRoundFacts;
+/** v4.0.6: The successor's acceptance CONTENT must actually change. A new
+ *  work_item or scope label alone is not a new slice. Exported because the
+ *  verification gate's `contract_successor_unchanged` check uses the SAME
+ *  content identity. */
+export declare function acceptanceItemsDiffer(proposal: RoundContractProposal, active: ActiveContractView): boolean;
 /** v3.8: The active contract after replaying committed rounds in order. */
 export declare function deriveActiveRoundContract(rounds: ReadonlyArray<CommittedRoundView>, commands?: ReadonlyArray<CommandEvidencePolicy>): ActiveContractView | null;
-/** v3.8: Every criterion id referenced by the contract's items. */
-export declare function contractCriterionIds(contract: ActiveContractView): string[];
 /** 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.
@@ -65,10 +97,8 @@ export declare function deriveRoundContractView(input: {
     /** Committed rounds (rollback-excluded), ascending. */
     rounds: ReadonlyArray<CommittedRoundView>;
     round: number;
-    report: ExecutionReport | null;
-    deltas: ReadonlyArray<ObservationDelta>;
-    /** The round's committed/effective outcome — `blocked` closes its contract. */
-    outcome: string | null;
+    /** The single bundle for the round being evaluated. */
+    current: CurrentRoundFacts;
     commands: ReadonlyArray<CommandEvidencePolicy>;
 }): {
     contract: ActiveContractView | null;

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

@@ -1 +1 @@
-{"version":3,"file":"round-contract.d.ts","sourceRoot":"","sources":["../src/round-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EACV,oBAAoB,EACpB,eAAe,EACf,qBAAqB,EACtB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAOzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAGlE,MAAM,WAAW,kBAAmB,SAAQ,oBAAoB;IAC9D,0DAA0D;IAC1D,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,EAAE,EAAE,MAAM,CAAC;IACX;sCACkC;IAClC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,EAAE,kBAAkB,EAAE,CAAC;IAC5B;yCACqC;IACrC,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChD;AAED;6DAC6D;AAC7D,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,qBAAqB,EAC/B,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE;IAAE,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,IAAI,EAClE,MAAM,EAAE,MAAM,GACb,kBAAkB,CAgBpB;AAED;;gCAEgC;AAChC,wBAAgB,YAAY,CAC1B,IAAI,EAAE,qBAAqB,EAC3B,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAET;AAED,2EAA2E;AAC3E,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,EACzC,QAAQ,GAAE,aAAa,CAAC,qBAAqB,CAAuC,GACnF,kBAAkB,GAAG,IAAI,CAmC3B;AAED,mEAAmE;AACnE,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAQ3E;AAED;;;;;;;;;;;;;mDAamD;AACnD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE;IAC7C,uDAAuD;IACvD,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IACxC,+EAA+E;IAC/E,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,QAAQ,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;CAChD,GAAG;IAAE,QAAQ,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,sBAAsB,CAAA;CAAE,CAe5E"}
+{"version":3,"file":"round-contract.d.ts","sourceRoot":"","sources":["../src/round-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EACV,oBAAoB,EACpB,iBAAiB,EACjB,eAAe,EACf,qBAAqB,EACtB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAQzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAIlE,MAAM,WAAW,kBAAmB,SAAQ,oBAAoB;IAC9D,0DAA0D;IAC1D,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,EAAE,EAAE,MAAM,CAAC;IACX;sCACkC;IAClC,iBAAiB,EAAE,MAAM,CAAC;IAC1B;yEACqE;IACrE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;mEAC+D;IAC/D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,EAAE,kBAAkB,EAAE,CAAC;IAC5B;yCACqC;IACrC,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAChD;AAED;6DAC6D;AAC7D,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,qBAAqB,EAC/B,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE;IAAE,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,IAAI,EAClE,MAAM,EAAE,MAAM,GACb,kBAAkB,CAepB;AAED;;gCAEgC;AAChC,wBAAgB,YAAY,CAC1B,IAAI,EAAE,qBAAqB,EAC3B,KAAK,EAAE,qBAAqB,GAC3B,OAAO,CAET;AAED;;;0DAG0D;AAC1D,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,eAAe,GAAG,IAAI,CAAC;IAC/B,MAAM,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IACxC,kEAAkE;IAClE,OAAO,EAAE,OAAO,CAAC;IACjB;yCACqC;IACrC,QAAQ,EAAE,iBAAiB,GAAG,IAAI,CAAC;CACpC;AAED,eAAO,MAAM,sBAAsB,EAAE,iBAKpC,CAAC;AAEF;;qBAEqB;AACrB,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,kBAAkB,GAAG,iBAAiB,CAS/E;AAED;;;wBAGwB;AACxB,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,qBAAqB,EAC/B,MAAM,EAAE,kBAAkB,GACzB,OAAO,CAUT;AAED,2EAA2E;AAC3E,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,EACzC,QAAQ,GAAE,aAAa,CAAC,qBAAqB,CAAuC,GACnF,kBAAkB,GAAG,IAAI,CA4C3B;AAED;;;;;;;;;;;;;mDAamD;AACnD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE;IAC7C,uDAAuD;IACvD,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,uDAAuD;IACvD,OAAO,EAAE,iBAAiB,CAAC;IAC3B,QAAQ,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;CAChD,GAAG;IAAE,QAAQ,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,sBAAsB,CAAA;CAAE,CAgB5E"}

package/dist/round-contract.js

@@ -1,4 +1,10 @@
 /** Round Contract derivation — the ACTIVE contract a round executes under.
+ *
+ *  v3.9.5 semantics: `work_item` is the bounded deliverable this slice
+ *  produces (an outcome, not an activity); `items[]` are acceptance
+ *  conditions inside that slice; each item binds its own `verify_with`
+ *  commands. The contract is verified only when every item is verified, so
+ *  there is no work_item-level claim. A command may back several conditions.
  *
  *  A submission's `round_contract` is a PROPOSAL for the next round. It
  *  becomes ACTIVE only after the declaring round commits; the active contract
@@ -9,12 +15,14 @@
  *
  *  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
+ *  identity and the item ids the agent already cited. `rci-` is deliberately
+ *  independent of `work_item`/`scope`, which stay slice-level labels. This is
  *  the opposite of a SubGoal, whose id includes its declaration round.
  */
-import { canonicalContractText, deriveContractId, deriveContractItemIds, } from "./token-utils.js";
+import { canonicalContractItemText, canonicalContractText, deriveContractId, deriveContractItemIds, } from "./token-utils.js";
 import { deriveContractItemStatuses } from "./contract-items.js";
 import { getPolicy } from "./policy.js";
+import { declaresBlocked } from "./round-outcome.js";
 /** 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) {
@@ -23,11 +31,10 @@ export function activateContract(proposal, declaredAtRound, binding, loopId) {
         id: deriveContractId(loopId, proposal),
         declared_at_round: declaredAtRound,
         work_item: proposal.work_item,
-        scope: [...proposal.scope],
+        scope: [...(proposal.scope ?? [])],
         items: proposal.items.map((item, index) => ({
             description: item.description,
-            criterion_refs: [...item.criterion_refs],
-            subgoal_refs: [...item.subgoal_refs],
+            criterion_refs: [...(item.criterion_refs ?? [])],
             verify_with: [...item.verify_with],
             id: itemIds[index],
         })),
@@ -40,6 +47,40 @@ export function activateContract(proposal, declaredAtRound, binding, loopId) {
 export function sameContract(left, right) {
     return canonicalContractText(left) === canonicalContractText(right);
 }
+export const NO_CURRENT_ROUND_FACTS = {
+    report: null,
+    deltas: [],
+    blocked: false,
+    redirect: null,
+};
+/** Read a committed view's current-round facts. Read views (audit/explain/
+ *  receipt/round-facts) use this instead of hand-building `outcome`-only
+ *  blocked flags. */
+export function committedRoundFacts(view) {
+    return {
+        report: view.executionReport,
+        deltas: view.observationDelta,
+        blocked: view.evaluation
+            ? declaresBlocked(view.evaluation)
+            : view.agentOutcome === "blocked",
+        redirect: view.contractRedirect,
+    };
+}
+/** v4.0.6: The successor's acceptance CONTENT must actually change. A new
+ *  work_item or scope label alone is not a new slice. Exported because the
+ *  verification gate's `contract_successor_unchanged` check uses the SAME
+ *  content identity. */
+export function acceptanceItemsDiffer(proposal, active) {
+    const next = new Set(proposal.items.map((item) => canonicalContractItemText(item)));
+    const current = new Set(active.items.map((item) => canonicalContractItemText(item)));
+    if (next.size !== current.size)
+        return true;
+    for (const identity of next) {
+        if (!current.has(identity))
+            return true;
+    }
+    return false;
+}
 /** v3.8: The active contract after replaying committed rounds in order. */
 export function deriveActiveRoundContract(rounds, commands = getPolicy().evidence.commands ?? []) {
     let active = null;
@@ -53,40 +94,38 @@ export function deriveActiveRoundContract(rounds, commands = getPolicy().evidenc
             active = activate();
             continue;
         }
-        // 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;
-        }
+        // The round's item closure under the same reducer every other consumer
+        // uses. The current slice is this committed round's own facts, so a
+        // blocked/superseded closure is attributed to the round that caused it.
         const statuses = deriveContractItemStatuses({
             contract: active,
-            rounds: rounds.slice(0, index + 1),
-            currentRound: round.round + 1,
-            currentReport: null,
-            currentDeltas: [],
+            rounds: rounds.slice(0, index),
+            currentRound: round.round,
+            currentReport: round.executionReport,
+            currentDeltas: round.observationDelta,
+            currentBlocked: round.evaluation
+                ? declaresBlocked(round.evaluation)
+                : round.agentOutcome === "blocked",
+            currentRedirect: round.contractRedirect,
             commands,
         });
-        if (statuses.closure === "verified") {
+        if (statuses.closure === "blocked" || statuses.closure === "verified") {
             active = activate();
             continue;
         }
+        if (statuses.closure === "superseded") {
+            // The reducer already matched the transition target to THIS contract.
+            // Activate only a real successor with different acceptance content;
+            // abnormal data keeps the original active contract rather than losing it.
+            if (proposal && acceptanceItemsDiffer(proposal, active)) {
+                active = activate();
+            }
+            continue;
+        }
         // Otherwise the active contract stays; a different proposal is ignored.
     }
     return active;
 }
-/** 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.
@@ -110,9 +149,10 @@ export function deriveRoundContractView(input) {
             contract,
             rounds: prior,
             currentRound: input.round,
-            currentReport: input.report,
-            currentDeltas: input.deltas,
-            currentOutcome: input.outcome,
+            currentReport: input.current.report,
+            currentDeltas: input.current.deltas,
+            currentBlocked: input.current.blocked,
+            currentRedirect: input.current.redirect,
             commands: input.commands,
         }),
     };

package/dist/round-contract.js.map

@@ -1 +1 @@
-{"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,aAAa,EAAE,EAAE;YACjB,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,aAAa,EAAE,KAAK,CAAC,MAAM;YAC3B,cAAc,EAAE,KAAK,CAAC,OAAO;YAC7B,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC;KACH,CAAC;AACJ,CAAC"}
+{"version":3,"file":"round-contract.js","sourceRoot":"","sources":["../src/round-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAWH,OAAO,EACL,yBAAyB,EACzB,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;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAyBrD;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,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAClC,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,CAAC,IAAI,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC;YAChD,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;AAgBD,MAAM,CAAC,MAAM,sBAAsB,GAAsB;IACvD,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE,IAAI;CACf,CAAC;AAEF;;qBAEqB;AACrB,MAAM,UAAU,mBAAmB,CAAC,IAAwB;IAC1D,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,eAAe;QAC5B,MAAM,EAAE,IAAI,CAAC,gBAAgB;QAC7B,OAAO,EAAE,IAAI,CAAC,UAAU;YACtB,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;YAClC,CAAC,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS;QACnC,QAAQ,EAAE,IAAI,CAAC,gBAAgB;KAChC,CAAC;AACJ,CAAC;AAED;;;wBAGwB;AACxB,MAAM,UAAU,qBAAqB,CACnC,QAA+B,EAC/B,MAA0B;IAE1B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/C,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAChD,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5C,KAAK,MAAM,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,OAAO,IAAI,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,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,uEAAuE;QACvE,oEAAoE;QACpE,wEAAwE;QACxE,MAAM,QAAQ,GAAG,0BAA0B,CAAC;YAC1C,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;YAC9B,YAAY,EAAE,KAAK,CAAC,KAAK;YACzB,aAAa,EAAE,KAAK,CAAC,eAAe;YACpC,aAAa,EAAE,KAAK,CAAC,gBAAgB;YACrC,cAAc,EAAE,KAAK,CAAC,UAAU;gBAC9B,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC;gBACnC,CAAC,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS;YACpC,eAAe,EAAE,KAAK,CAAC,gBAAgB;YACvC,QAAQ;SACT,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACtE,MAAM,GAAG,QAAQ,EAAE,CAAC;YACpB,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,KAAK,YAAY,EAAE,CAAC;YACtC,sEAAsE;YACtE,oEAAoE;YACpE,0EAA0E;YAC1E,IAAI,QAAQ,IAAI,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;gBACxD,MAAM,GAAG,QAAQ,EAAE,CAAC;YACtB,CAAC;YACD,SAAS;QACX,CAAC;QACD,wEAAwE;IAC1E,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;;;mDAamD;AACnD,MAAM,UAAU,uBAAuB,CAAC,KAOvC;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,OAAO,CAAC,MAAM;YACnC,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM;YACnC,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;YACrC,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ;YACvC,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC;KACH,CAAC;AACJ,CAAC"}

package/dist/round-coordinator.d.ts

@@ -17,21 +17,23 @@
  * Persistence is owned by round-transaction.ts so reject paths remain
  * side-effect free and accepted decisions can be replayed idempotently.
  */
-import type { LoopStore, VaultEntry } from "./loop-store.js";
+import type { LoopStore } from "./loop-store.js";
+import { type CommittedHistory } from "./history.js";
 import type { MachineObservation } from "./protocol.js";
 import type { ObservationDelta } from "./evidence-provider.js";
-import type { SelfEvaluation, RoundVerificationStatus, StopReason, VerificationFlag } from "./protocol.js";
-import { type ContractItemStatusView } from "./contract-items.js";
+import type { CheckpointRef, ContractSupersede, EvidencePosture, RoundOutcome, SelfEvaluation, StopReason, VerificationFlag, WorkspaceCheckpointManifest } from "./protocol.js";
+import type { ContractItemStatusView } from "./contract-items.js";
 /** Input to a single round processing step. */
 export interface RoundProcessInput {
     loopId: string;
     task: string;
     currentRound: number;
     maxRounds: number;
+    /** v4.0.1: the pre-commit history loaded once by the advance path. When
+     *  absent, this coordinator loads it itself (direct/library callers). */
+    history?: CommittedHistory;
     /** 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;
     /** L4 (v3.7.x): which check rejected the previous round — lets uniform
@@ -41,94 +43,68 @@ export interface RoundProcessInput {
     evidenceDeltas?: ObservationDelta[];
     /** Full round-start observations for post-backtrack restore validation. */
     beforeEvidence?: 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;
-    /** v3.9: files already dirty at that restore point (undefined = never
-     *  observed, so only HEAD can be judged). */
-    backtrackTargetDirty?: string[];
+    /** The current in-flight transaction's automatic before-image (machine
+     *  backtrack target mapping only; never a cognitive input). */
+    beforeCheckpoint?: CheckpointRef;
+    /** This submission's after observations, used to derive abandoned-file
+     *  report facts. */
+    afterEvidence?: MachineObservation[];
+    /** Reads the target checkpoint manifest for machine backtrack target
+     *  eligibility and skipped-file derivation. Provided by the transaction
+     *  layer's checkpoint store. */
+    resolveCheckpointManifest?: (ref: CheckpointRef) => WorkspaceCheckpointManifest | null;
     /** v3.8.3: the trusted round-start fingerprint of every configured
      *  command's entrypoint files, captured when this round was prepared. Only
      *  the in-flight round has one — a round whose preparation predates the
      *  baseline (or whose session lost it) simply runs without the absolute
      *  arm and falls back to the git-delta rule. */
     entrypointTrust?: Record<string, string>;
+    /** v3.9.4: the persisted submitted-field manifest. The files-reconciliation
+     *  gate uses the same `execution_report.files_changed` attempt basis as the
+     *  receipt; undefined keeps the legacy "report exists" fallback. */
+    submittedFields?: string[];
 }
 /** Result of processing a round through the coordinator. */
 export interface RoundProcessResult {
     /** What the caller should do next. */
-    action: "continue" | "stop" | "reject" | "terminate" | "backtrack";
+    action: "continue" | "stop" | "reject" | "terminate" | "backtrack" | "recovery";
+    /** v3.9.6: who produced the disposition. Evaluations are ordinary work;
+     *  machine/agent recoveries are rollback directives. */
+    origin?: "evaluation" | "machine" | "agent";
+    /** v3.9.6: machine failure reason or agent recovery reason. */
+    reason?: string;
+    /** v3.9.6: committed rollback directive facts. */
+    recovery?: import("./protocol.js").RecoveryDirective;
     /** Reason for stop (set when action is "stop" or "terminate"). */
     stopReason?: StopReason;
     /** Rejection prompt (set when action is "reject"). */
     rejectionPrompt?: string;
-    /** v2.10: Backtrack prompt (set when action is "backtrack"). */
-    backtrackPrompt?: string;
-    /** v2.10: Round to restore state from (set when action is "backtrack"). */
-    backtrackTarget?: number;
-    /** v2.10: Discovered constraints from skipped rounds to preserve. */
-    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. */
-    enforcementAction?: "accept" | "reject" | "terminate" | "backtrack";
+    enforcementAction?: "accept" | "reject" | "terminate" | "backtrack" | "recovery";
     /** Enforcement reason (set when rejected or terminated). */
     enforcementReason?: string;
-    /** Whether this round was successful (from selfEval.success). */
-    roundSuccess: boolean;
+    /** v4.0.3/v4.0.6: the Agent's success claim — a derived projection of
+     *  `outcome === "success"`, never a machine verdict and never an input
+     *  field. */
+    agentSuccessClaim: boolean;
+    /** v4.0.6: the Agent-declared outcome; null only for a rollback directive. */
+    agentOutcome: RoundOutcome | null;
     /** 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;
+    /** v4.0.3: the ONE evidence posture, derived once per round and persisted
+     *  with the accepted transaction. Rejected/terminated attempts carry a
+     *  transient posture that never enters the Vault. */
+    evidencePosture: EvidencePosture;
     /** Updated consecutiveRejections count — caller must persist. */
     newConsecutiveRejections: number;
     /** Which enforcement check fired (set when action is "reject" or "terminate").
      *  Used by callers to track per-rule rejection counters. */
     rejectionCheck?: string;
-    /** The selfEval to store as lastSelfEval for the next round
-     *  (undefined when action is "reject" — caller should NOT update). */
-    newLastSelfEval?: SelfEvaluation;
-    /** Whether the caller should push roundSuccess onto the success trajectory.
+    /** Whether the caller should push agentSuccessClaim onto the success trajectory.
      *  false when gateContradicted or when action is "reject". */
     shouldPushSuccessTrajectory: 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. */
-    backtrackTargetGitHead?: string;
-    /** v3.9: Files already dirty at the backtrack target round. The restore
-     *  check requires the workspace's dirty set to be a subset of this
-     *  baseline — unrelated work in progress is not a failed restore. */
-    backtrackTargetDirty?: string[];
-    /** v2.13: Files changed in skipped rounds during backtrack.
-     *  The next round's verification gate checks that these files are
-     *  not still dirty (agent must restore workspace first). */
-    backtrackSkippedFiles?: string[];
 }
 /** v3.8.3: Completion truth as a guard, not a convention.
  *
@@ -153,35 +129,13 @@ export interface RoundProcessResult {
 export declare function finalizeStopReason(
 /** `undefined` when the disposition named no terminal reason at all (the
  *  callers fall back to their own default) — there is nothing to guard. */
-reason: StopReason | undefined, selfEval: SelfEvaluation, contractStatuses?: ContractItemStatusView | null): {
+reason: StopReason | undefined, selfEval: SelfEvaluation, contractStatuses?: ContractItemStatusView | null,
+/** v3.9.9/v4.0.6: the current round's redirect. A committed redirect can
+ *  never produce `completed` even if the old items were all verified. */
+redirect?: ContractSupersede | null): {
     reason: StopReason | undefined;
     flags: VerificationFlag[];
 };
-/** 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);

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,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAEV,cAAc,EACd,uBAAuB,EACvB,UAAU,EACV,gBAAgB,EAEjB,MAAM,eAAe,CAAC;AAsBvB,OAAO,EAEL,KAAK,sBAAsB,EAC5B,MAAM,qBAAqB,CAAC;AAK7B,+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,cAAc,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACpC,2EAA2E;IAC3E,cAAc,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACtC,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;IAChC;iDAC6C;IAC7C,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC;;;;oDAIgD;IAChD,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC1C;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;;yEAEqE;IACrE,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC;;gEAE4D;IAC5D,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;CAClC;AAyBD;;;;;;;;;;;;;;;;;;;kBAmBkB;AAClB,wBAAgB,kBAAkB;AAChC;2EAC2E;AAC3E,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,QAAQ,EAAE,cAAc,EACxB,gBAAgB,CAAC,EAAE,sBAAsB,GAAG,IAAI,GAC/C;IAAE,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IAAC,KAAK,EAAE,gBAAgB,EAAE,CAAA;CAAE,CAmB/D;AAID;;;;;;;;;;;;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,CA4EA;AAED,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,KAAK,CAAwB;gBAEzB,KAAK,CAAC,EAAE,SAAS;IAI7B;;;;;;;;;yDASqD;IACrD,YAAY,CACV,KAAK,EAAE,iBAAiB,GACvB,kBAAkB;CAkXtB"}
+{"version":3,"file":"round-coordinator.d.ts","sourceRoot":"","sources":["../src/round-coordinator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAc,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EACV,aAAa,EACb,iBAAiB,EAEjB,eAAe,EACf,YAAY,EACZ,cAAc,EACd,UAAU,EACV,gBAAgB,EAEhB,2BAA2B,EAC5B,MAAM,eAAe,CAAC;AA0BvB,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAWlE,+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;6EACyE;IACzE,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,kDAAkD;IAClD,QAAQ,EAAE,cAAc,CAAC;IACzB,qEAAqE;IACrE,qBAAqB,EAAE,MAAM,CAAC;IAC9B;yEACqE;IACrE,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,2DAA2D;IAC3D,cAAc,CAAC,EAAE,gBAAgB,EAAE,CAAC;IACpC,2EAA2E;IAC3E,cAAc,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACtC;mEAC+D;IAC/D,gBAAgB,CAAC,EAAE,aAAa,CAAC;IACjC;wBACoB;IACpB,aAAa,CAAC,EAAE,kBAAkB,EAAE,CAAC;IACrC;;oCAEgC;IAChC,yBAAyB,CAAC,EAAE,CAC1B,GAAG,EAAE,aAAa,KACf,2BAA2B,GAAG,IAAI,CAAC;IACxC;;;;oDAIgD;IAChD,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC;;wEAEoE;IACpE,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB;IACjC,sCAAsC;IACtC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,CAAC;IAChF;4DACwD;IACxD,MAAM,CAAC,EAAE,YAAY,GAAG,SAAS,GAAG,OAAO,CAAC;IAC5C,+DAA+D;IAC/D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,kDAAkD;IAClD,QAAQ,CAAC,EAAE,OAAO,eAAe,EAAE,iBAAiB,CAAC;IACrD,kEAAkE;IAClE,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,sDAAsD;IACtD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,2EAA2E;IAC3E,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,4CAA4C;IAC5C,iBAAiB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,CAAC;IACjF,4DAA4D;IAC5D,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B;;iBAEa;IACb,iBAAiB,EAAE,OAAO,CAAC;IAC3B,8EAA8E;IAC9E,YAAY,EAAE,YAAY,GAAG,IAAI,CAAC;IAClC,6DAA6D;IAC7D,gBAAgB,EAAE,OAAO,CAAC;IAC1B;;yDAEqD;IACrD,eAAe,EAAE,eAAe,CAAC;IACjC,iEAAiE;IACjE,wBAAwB,EAAE,MAAM,CAAC;IACjC;gEAC4D;IAC5D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;kEAC8D;IAC9D,2BAA2B,EAAE,OAAO,CAAC;CACtC;AAkCD;;;;;;;;;;;;;;;;;;;kBAmBkB;AAClB,wBAAgB,kBAAkB;AAChC;2EAC2E;AAC3E,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,QAAQ,EAAE,cAAc,EACxB,gBAAgB,CAAC,EAAE,sBAAsB,GAAG,IAAI;AAChD;yEACyE;AACzE,QAAQ,CAAC,EAAE,iBAAiB,GAAG,IAAI,GAClC;IAAE,MAAM,EAAE,UAAU,GAAG,SAAS,CAAC;IAAC,KAAK,EAAE,gBAAgB,EAAE,CAAA;CAAE,CAqC/D;AAID,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,KAAK,CAAwB;gBAEzB,KAAK,CAAC,EAAE,SAAS;IAI7B;;;;;;;;;yDASqD;IACrD,YAAY,CACV,KAAK,EAAE,iBAAiB,GACvB,kBAAkB;CA8atB"}