loopforge 3.9.2 → 4.0.7

package/dist/round-facts.d.ts

@@ -1,21 +1,20 @@
 /** v3.8.1: THE contract-fact derivation.
  *
- * The contract walker, the item reducer, the verified sub-goal facts and the
- * verification debt are one pass over one history window. Before this module
- * the compile path and the projection each ran the same reducers over their
- * own window, so the prompt and the projection could tell different stories
- * about what the machine had verified — and nothing stopped a third caller
- * from picking a third window.
+ * The contract walker, the item reducer and the criterion machine facts are
+ * one pass over one history window. Every caller passes
+ * `derivationRounds(entries, currentRound)` (the shared window from
+ * committed-round.ts) and receives the same bundle.
  *
- * Every caller passes `derivationRounds(entries, currentRound)` (the shared
- * window from committed-round.ts) and receives the same bundle, so "one fact,
- * one derivation" is a property of the types rather than a convention.
+ * v4.0.1: the sub-goal verification link (`subgoal_refs`,
+ * `VerifiedSubGoalFact`, verification debt) was removed. It never rendered in
+ * a prompt or state file; it only fed stateHash. Sub-goals remain the Agent's
+ * plan report, not a machine acceptance surface.
  */
 import type { CommittedRoundView } from "./committed-round.js";
 import type { ContractItemStatusView } from "./contract-items.js";
 import type { ObservationDelta } from "./evidence-provider.js";
 import type { CommandEvidencePolicy } from "./policy.js";
-import type { ContractItemStatus, ExecutionReport, SubGoal, VerifiedSubGoalFact } from "./protocol.js";
+import type { ContractItemStatus, ContractSupersede, ExecutionReport } from "./protocol.js";
 import type { ActiveContractView } from "./round-contract.js";
 export interface RoundFacts {
     /** The contract the NEXT round executes under — derived from committed
@@ -23,24 +22,21 @@ export interface RoundFacts {
     activeContract: ActiveContractView | null;
     /** Per-item status of `activeContract`. */
     itemStatuses: ContractItemStatusView;
-    /** v3.8: machine-verified sub-goals. Never writes `SubGoal.status`. */
-    verifiedSubGoals: VerifiedSubGoalFact[];
-    /** `done` sub-goals no verified item backs, plus `insufficient` items. */
-    verificationDebt: string[];
     /** v3.8.1: the machine fact about each criterion a contract item referenced,
-     *  over the WHOLE committed history — the criterion-side twin of
-     *  `verifiedSubGoals`, and read by the same callers. */
+     *  over the WHOLE committed history. */
     criterionFacts: CriterionMachineFact[];
 }
 /** v3.8.1: ONE criterion's machine fact. `status` is absent while every item
  *  referencing the criterion is still `pending` — "no claim yet" says nothing
- *  about the criterion, so the criterion keeps its claim-derived status. The
- *  links are explicit `subgoal_refs` only, and they survive their item's
- *  contract closing just like the status does. */
+ *  about the criterion, so the criterion keeps its claim-derived status.
+ *
+ *  v4.0.3: `status_at_round` is the round the CURRENT status was first
+ *  reached (not the claim round). It is a machine fact, so a later
+ *  verification can supersede an earlier contradiction. */
 export interface CriterionMachineFact {
     criterion_id: string;
     status?: Exclude<ContractItemStatus, "pending">;
-    related_subgoal_ids: string[];
+    status_at_round?: number;
 }
 /** The in-flight slice of a round that is being decided but is not yet
  *  committed. A pure committed-history replay passes null / [] — the reducer
@@ -49,8 +45,13 @@ export interface CriterionMachineFact {
 export interface InFlightRoundSlice {
     currentReport: ExecutionReport | null;
     currentDeltas: ReadonlyArray<ObservationDelta>;
-    /** The in-flight round's own effective outcome. A `blocked` round CLOSES its
-     *  contract, so closure cannot be derived from committed slices alone. */
+    /** The in-flight round's own blocked declaration. A `blocked` round CLOSES
+     *  its contract, so closure cannot be derived from committed slices alone. */
+    currentBlocked?: boolean;
+    /** v3.9.9/v4.0.6: the in-flight round's explicit contract redirect
+     *  (`round_contract.supersedes`). */
+    currentRedirect?: ContractSupersede | null;
+    /** Legacy shape accepted by library callers; `blocked` wins when present. */
     currentOutcome?: string | null;
 }
 export declare const NO_IN_FLIGHT_ROUND: InFlightRoundSlice;
@@ -59,39 +60,19 @@ export declare function deriveRoundFacts(input: {
     rounds: ReadonlyArray<CommittedRoundView>;
     currentRound: number;
     inFlight: InFlightRoundSlice;
-    subGoals: ReadonlyArray<SubGoal>;
     commands: ReadonlyArray<CommandEvidencePolicy>;
 }): RoundFacts;
-/** v3.8: Machine-verified sub-goal facts. DERIVED, never persisted. It never
- *  writes `SubGoal.status`: `done` stays the agent's declaration, and the fact
- *  is the machine's separate statement about it.
- *
- *  Derived from the WHOLE committed history, not from the currently-open
- *  contract. A verified item is machine history — once proven, it stays
- *  proven — while the active contract necessarily disappears the moment its
- *  last item verifies. Deriving from the active contract alone made the fact
- *  vanish at exactly the moment it became fully true, and turned the
- *  verification-debt view into a false accusation ("agent reported done,
- *  machine verification absent") against a sub-goal the machine had just
- *  verified. Each round is read through `deriveRoundContractView`, the same
- *  derivation the coordinator, explain and audit use — one history
- *  interpretation, no second read model. That re-derivation is quadratic in the
- *  round count (≈40ms at 120 rounds) and is deliberately bought: an incremental
- *  walker would be a second implementation of the closure rule, which is the
- *  one thing this module must never grow.
+/** v3.8.1/v4.0.3: criterion → machine status, derived over the WHOLE committed
+ *  history exactly like the contract walk.
  *
- *  Attribution is per ITEM (`ContractItemProposal.subgoal_refs`), not per
- *  contract: an item backs exactly the sub-goals it references, so a contract
- *  whose item A verifies SubGoal 1 and whose item B verifies SubGoal 2 yields
- *  two facts with disjoint `contract_item_ids` instead of both sub-goals
- *  claiming every verified item. */
-export declare function deriveVerifiedSubGoals(input: {
-    subGoals: ReadonlyArray<SubGoal>;
-    /** Committed rounds (rollback-excluded), ascending. */
+ *  Within one round the strongest item fact wins (contradicted > verified >
+ *  insufficient); a `pending` item contributes nothing. Across rounds the
+ *  LATEST authoritative fact wins: a later `verified` or `contradicted` may
+ *  supersede an earlier one (so a contradiction can be re-verified), while an
+ *  `insufficient` round never erases an existing verified/contradicted fact.
+ *  `status_at_round` records when the current status was first reached. */
+export declare function deriveCriterionFacts(input: {
     rounds: ReadonlyArray<CommittedRoundView>;
     commands: ReadonlyArray<CommandEvidencePolicy>;
-}): VerifiedSubGoalFact[];
-/** v3.8: Sub-goals the agent declared `done` that no verified contract item
- *  backs — verification debt, surfaced in the handoff's open risks. */
-export declare function deriveVerificationDebt(subGoals: ReadonlyArray<SubGoal>, verified: ReadonlyArray<VerifiedSubGoalFact>, statuses: ContractItemStatusView): string[];
+}): CriterionMachineFact[];
 //# sourceMappingURL=round-facts.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"round-facts.d.ts","sourceRoot":"","sources":["../src/round-facts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAElE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,KAAK,EACV,kBAAkB,EAClB,eAAe,EACf,OAAO,EACP,mBAAmB,EACpB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAI9D,MAAM,WAAW,UAAU;IACzB;iFAC6E;IAC7E,cAAc,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC1C,2CAA2C;IAC3C,YAAY,EAAE,sBAAsB,CAAC;IACrC,uEAAuE;IACvE,gBAAgB,EAAE,mBAAmB,EAAE,CAAC;IACxC,0EAA0E;IAC1E,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B;;4DAEwD;IACxD,cAAc,EAAE,oBAAoB,EAAE,CAAC;CACxC;AAED;;;;kDAIkD;AAClD,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,OAAO,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC;IAChD,mBAAmB,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED;;;aAGa;AACb,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IACtC,aAAa,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC/C;8EAC0E;IAC1E,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,eAAO,MAAM,kBAAkB,EAAE,kBAIhC,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,qEAAqE;IACrE,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACjC,QAAQ,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;CAChD,GAAG,UAAU,CA+Bb;AA6FD;;;;;;;;;;;;;;;;;;;;;;oCAsBoC;AACpC,wBAAgB,sBAAsB,CAAC,KAAK,EAAE;IAC5C,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACjC,uDAAuD;IACvD,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC1C,QAAQ,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;CAChD,GAAG,mBAAmB,EAAE,CAwCxB;AAED;uEACuE;AACvE,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,EAChC,QAAQ,EAAE,aAAa,CAAC,mBAAmB,CAAC,EAC5C,QAAQ,EAAE,sBAAsB,GAC/B,MAAM,EAAE,CAkBV"}
+{"version":3,"file":"round-facts.d.ts","sourceRoot":"","sources":["../src/round-facts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAElE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EACjB,eAAe,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAQ9D,MAAM,WAAW,UAAU;IACzB;iFAC6E;IAC7E,cAAc,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC1C,2CAA2C;IAC3C,YAAY,EAAE,sBAAsB,CAAC;IACrC;4CACwC;IACxC,cAAc,EAAE,oBAAoB,EAAE,CAAC;CACxC;AAED;;;;;;2DAM2D;AAC3D,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,OAAO,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC;IAChD,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;aAGa;AACb,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,eAAe,GAAG,IAAI,CAAC;IACtC,aAAa,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC/C;kFAC8E;IAC9E,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB;yCACqC;IACrC,eAAe,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC3C,6EAA6E;IAC7E,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,eAAO,MAAM,kBAAkB,EAAE,kBAMhC,CAAC;AAEF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE;IACtC,qEAAqE;IACrE,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,kBAAkB,CAAC;IAC7B,QAAQ,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;CAChD,GAAG,UAAU,CAqBb;AAED;;;;;;;;2EAQ2E;AAC3E,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAC1C,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC1C,QAAQ,EAAE,aAAa,CAAC,qBAAqB,CAAC,CAAC;CAChD,GAAG,oBAAoB,EAAE,CA+CzB"}

package/dist/round-facts.js

@@ -1,22 +1,23 @@
 /** v3.8.1: THE contract-fact derivation.
  *
- * The contract walker, the item reducer, the verified sub-goal facts and the
- * verification debt are one pass over one history window. Before this module
- * the compile path and the projection each ran the same reducers over their
- * own window, so the prompt and the projection could tell different stories
- * about what the machine had verified — and nothing stopped a third caller
- * from picking a third window.
+ * The contract walker, the item reducer and the criterion machine facts are
+ * one pass over one history window. Every caller passes
+ * `derivationRounds(entries, currentRound)` (the shared window from
+ * committed-round.ts) and receives the same bundle.
  *
- * Every caller passes `derivationRounds(entries, currentRound)` (the shared
- * window from committed-round.ts) and receives the same bundle, so "one fact,
- * one derivation" is a property of the types rather than a convention.
+ * v4.0.1: the sub-goal verification link (`subgoal_refs`,
+ * `VerifiedSubGoalFact`, verification debt) was removed. It never rendered in
+ * a prompt or state file; it only fed stateHash. Sub-goals remain the Agent's
+ * plan report, not a machine acceptance surface.
  */
 import { deriveContractItemStatuses } from "./contract-items.js";
-import { deriveActiveRoundContract, deriveRoundContractView } from "./round-contract.js";
-import { deriveCriterionId, isCriterionId } from "./token-utils.js";
+import { committedRoundFacts, deriveActiveRoundContract, deriveRoundContractView, } from "./round-contract.js";
+import { isCriterionId } from "./token-utils.js";
 export const NO_IN_FLIGHT_ROUND = {
     currentReport: null,
     currentDeltas: [],
+    currentBlocked: false,
+    currentRedirect: null,
     currentOutcome: null,
 };
 export function deriveRoundFacts(input) {
@@ -27,93 +28,75 @@ export function deriveRoundFacts(input) {
         currentRound: input.currentRound,
         currentReport: input.inFlight.currentReport,
         currentDeltas: input.inFlight.currentDeltas,
-        currentOutcome: input.inFlight.currentOutcome ?? null,
-        commands: input.commands,
-    });
-    const verifiedSubGoals = deriveVerifiedSubGoals({
-        subGoals: input.subGoals,
-        rounds: input.rounds,
+        currentBlocked: input.inFlight.currentBlocked ??
+            input.inFlight.currentOutcome === "blocked",
+        currentRedirect: input.inFlight.currentRedirect ?? null,
         commands: input.commands,
     });
     return {
         activeContract,
         itemStatuses,
-        verifiedSubGoals,
-        verificationDebt: deriveVerificationDebt(input.subGoals, verifiedSubGoals, itemStatuses),
         criterionFacts: deriveCriterionFacts({
-            activeContract,
             rounds: input.rounds,
             commands: input.commands,
         }),
     };
 }
-/** v3.8.1: criterion → machine status + explicit sub-goal links, derived over
- *  the WHOLE committed history, exactly like `deriveVerifiedSubGoals` below
- *  and for the same reason: a verified item is machine history that survives
- *  its contract closing. Reading only the ACTIVE contract made the criterion's
- *  machine status vanish at the moment the contract became fully true — the
- *  state file's Goal → Criteria row fell from ✅ back to 🟡 and its
- *  `(related: sg-…)` links disappeared, while the sub-goal side of the same
- *  fact correctly survived.
+/** v3.8.1/v4.0.3: criterion → machine status, derived over the WHOLE committed
+ *  history exactly like the contract walk.
  *
- *  Statuses fold by STRENGTH across the items that reference a criterion (a
- *  machine denial outranks a verification, which outranks insufficient), and a
- *  `pending` item contributes links but no status. */
-function deriveCriterionFacts(input) {
+ *  Within one round the strongest item fact wins (contradicted > verified >
+ *  insufficient); a `pending` item contributes nothing. Across rounds the
+ *  LATEST authoritative fact wins: a later `verified` or `contradicted` may
+ *  supersede an earlier one (so a contradiction can be re-verified), while an
+ *  `insufficient` round never erases an existing verified/contradicted fact.
+ *  `status_at_round` records when the current status was first reached. */
+export function deriveCriterionFacts(input) {
     const byCriterion = new Map();
-    // Seed with the active contract's items: links are declarations, so they do
-    // not need a round to have executed under the contract. Statuses are only
-    // ever machine facts from the history walk below (`pending` says nothing).
-    for (const item of input.activeContract?.items ?? []) {
-        for (const ref of item.criterion_refs) {
-            const criterionId = isCriterionId(ref) ? ref : deriveCriterionId(ref);
-            const existing = byCriterion.get(criterionId);
-            const links = existing?.related_subgoal_ids ?? [];
-            for (const subgoalId of item.subgoal_refs) {
-                if (!links.includes(subgoalId))
-                    links.push(subgoalId);
-            }
-            byCriterion.set(criterionId, {
-                criterion_id: criterionId,
-                ...(existing?.status ? { status: existing.status } : {}),
-                related_subgoal_ids: links,
-            });
-        }
-    }
     for (const round of input.rounds) {
         const { contract, statuses } = deriveRoundContractView({
             rounds: input.rounds,
             round: round.round,
-            report: round.executionReport,
-            deltas: round.observationDelta,
-            outcome: round.outcome,
+            current: committedRoundFacts(round),
             commands: input.commands,
         });
         if (!contract)
             continue;
         const statusByItem = new Map(statuses.items.map((item) => [item.itemId, item.status]));
+        // One round can reference a criterion from several items; fold them to
+        // the strongest fact THIS round states.
+        const roundBest = new Map();
         for (const item of contract.items) {
             const itemStatus = statusByItem.get(item.id);
-            for (const ref of item.criterion_refs) {
-                const criterionId = isCriterionId(ref) ? ref : deriveCriterionId(ref);
-                const existing = byCriterion.get(criterionId);
-                const links = existing?.related_subgoal_ids ?? [];
-                for (const subgoalId of item.subgoal_refs) {
-                    if (!links.includes(subgoalId))
-                        links.push(subgoalId);
-                }
-                const machineStatus = itemStatus && itemStatus !== "pending"
-                    ? strongestStatus(existing?.status, itemStatus)
-                    : existing?.status;
-                byCriterion.set(criterionId, {
-                    criterion_id: criterionId,
-                    ...(machineStatus ? { status: machineStatus } : {}),
-                    related_subgoal_ids: links,
-                });
+            if (!itemStatus || itemStatus === "pending")
+                continue;
+            for (const ref of item.criterion_refs ?? []) {
+                if (!isCriterionId(ref))
+                    continue;
+                roundBest.set(ref, strongestStatus(roundBest.get(ref), itemStatus));
+            }
+        }
+        for (const [ref, status] of roundBest) {
+            const existing = byCriterion.get(ref);
+            if (!existing) {
+                byCriterion.set(ref, { status, status_at_round: round.round });
+                continue;
             }
+            // A later insufficient observation is not a new conclusion; it cannot
+            // erase a machine-supported status. The same status keeps its first
+            // round.
+            if (status === "insufficient" || existing.status === status)
+                continue;
+            byCriterion.set(ref, { status, status_at_round: round.round });
         }
     }
-    return [...byCriterion.values()];
+    return [...byCriterion.entries()]
+        .sort(([left], [right]) => (left < right ? -1 : left > right ? 1 : 0))
+        .map(([criterion_id, fact]) => ({
+        criterion_id,
+        status: fact.status,
+        status_at_round: fact.status_at_round,
+    }));
 }
 /** Rank item statuses so the strongest machine fact wins when several items
  *  reference the same criterion. */
@@ -127,90 +110,4 @@ function strongestStatus(left, right) {
         return right;
     return rank[right] > rank[left] ? right : left;
 }
-/** v3.8: Machine-verified sub-goal facts. DERIVED, never persisted. It never
- *  writes `SubGoal.status`: `done` stays the agent's declaration, and the fact
- *  is the machine's separate statement about it.
- *
- *  Derived from the WHOLE committed history, not from the currently-open
- *  contract. A verified item is machine history — once proven, it stays
- *  proven — while the active contract necessarily disappears the moment its
- *  last item verifies. Deriving from the active contract alone made the fact
- *  vanish at exactly the moment it became fully true, and turned the
- *  verification-debt view into a false accusation ("agent reported done,
- *  machine verification absent") against a sub-goal the machine had just
- *  verified. Each round is read through `deriveRoundContractView`, the same
- *  derivation the coordinator, explain and audit use — one history
- *  interpretation, no second read model. That re-derivation is quadratic in the
- *  round count (≈40ms at 120 rounds) and is deliberately bought: an incremental
- *  walker would be a second implementation of the closure rule, which is the
- *  one thing this module must never grow.
- *
- *  Attribution is per ITEM (`ContractItemProposal.subgoal_refs`), not per
- *  contract: an item backs exactly the sub-goals it references, so a contract
- *  whose item A verifies SubGoal 1 and whose item B verifies SubGoal 2 yields
- *  two facts with disjoint `contract_item_ids` instead of both sub-goals
- *  claiming every verified item. */
-export function deriveVerifiedSubGoals(input) {
-    const known = new Set(input.subGoals.map((subGoal) => subGoal.id));
-    if (known.size === 0)
-        return [];
-    // First-reference order across the history — deterministic, and independent
-    // of which item happened to verify first.
-    const order = [];
-    const itemIdsBySubGoal = new Map();
-    const verifiedAt = new Map();
-    for (const round of input.rounds) {
-        const { contract, statuses } = deriveRoundContractView({
-            rounds: input.rounds,
-            round: round.round,
-            report: round.executionReport,
-            deltas: round.observationDelta,
-            outcome: round.outcome,
-            commands: input.commands,
-        });
-        if (!contract)
-            continue;
-        const statusAt = new Map(statuses.items.map((item) => [item.itemId, item]));
-        for (const item of contract.items) {
-            if (statusAt.get(item.id)?.status !== "verified")
-                continue;
-            for (const ref of item.subgoal_refs) {
-                if (!known.has(ref))
-                    continue;
-                const itemIds = itemIdsBySubGoal.get(ref) ?? [];
-                if (!itemIds.includes(item.id))
-                    itemIds.push(item.id);
-                itemIdsBySubGoal.set(ref, itemIds);
-                if (!order.includes(ref))
-                    order.push(ref);
-                const at = statusAt.get(item.id)?.status_at_round ?? round.round;
-                verifiedAt.set(ref, Math.max(verifiedAt.get(ref) ?? 0, at));
-            }
-        }
-    }
-    return order.map((subgoalId) => ({
-        subgoal_id: subgoalId,
-        contract_item_ids: itemIdsBySubGoal.get(subgoalId) ?? [],
-        verified_at_round: verifiedAt.get(subgoalId) ?? 0,
-    }));
-}
-/** v3.8: Sub-goals the agent declared `done` that no verified contract item
- *  backs — verification debt, surfaced in the handoff's open risks. */
-export function deriveVerificationDebt(subGoals, verified, statuses) {
-    const debt = [];
-    const verifiedIds = new Set(verified.map((fact) => fact.subgoal_id));
-    for (const subGoal of subGoals) {
-        if (subGoal.status !== "done" || verifiedIds.has(subGoal.id))
-            continue;
-        debt.push(`sub-goal ${subGoal.id} "${subGoal.description.slice(0, 120)}": ` +
-            "agent reported done, machine verification absent");
-    }
-    for (const item of statuses.items) {
-        if (item.status !== "insufficient")
-            continue;
-        debt.push(`contract item ${item.itemId}: claimed met but not machine-verified` +
-            (item.reasons.length > 0 ? ` (${item.reasons[0]})` : ""));
-    }
-    return debt;
-}
 //# sourceMappingURL=round-facts.js.map

package/dist/round-facts.js.map

@@ -1 +1 @@
-{"version":3,"file":"round-facts.js","sourceRoot":"","sources":["../src/round-facts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AAUjE,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AACzF,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAyCpE,MAAM,CAAC,MAAM,kBAAkB,GAAuB;IACpD,aAAa,EAAE,IAAI;IACnB,aAAa,EAAE,EAAE;IACjB,cAAc,EAAE,IAAI;CACrB,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAAC,KAOhC;IACC,MAAM,cAAc,GAAG,yBAAyB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG,0BAA0B,CAAC;QAC9C,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,aAAa;QAC3C,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,aAAa;QAC3C,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,cAAc,IAAI,IAAI;QACrD,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,sBAAsB,CAAC;QAC9C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAC;IACH,OAAO;QACL,cAAc;QACd,YAAY;QACZ,gBAAgB;QAChB,gBAAgB,EAAE,sBAAsB,CACtC,KAAK,CAAC,QAAQ,EACd,gBAAgB,EAChB,YAAY,CACb;QACD,cAAc,EAAE,oBAAoB,CAAC;YACnC,cAAc;YACd,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;sDAWsD;AACtD,SAAS,oBAAoB,CAAC,KAQ7B;IACC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAgC,CAAC;IAC5D,4EAA4E;IAC5E,0EAA0E;IAC1E,2EAA2E;IAC3E,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,cAAc,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QACrD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACtC,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;YACtE,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YAC9C,MAAM,KAAK,GAAG,QAAQ,EAAE,mBAAmB,IAAI,EAAE,CAAC;YAClD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBAC1C,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACxD,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE;gBAC3B,YAAY,EAAE,WAAW;gBACzB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxD,mBAAmB,EAAE,KAAK;aAC3B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,uBAAuB,CAAC;YACrD,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,eAAe;YAC7B,MAAM,EAAE,KAAK,CAAC,gBAAgB;YAC9B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAU,CAAC,CAClE,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtC,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;gBACtE,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAC9C,MAAM,KAAK,GAAG,QAAQ,EAAE,mBAAmB,IAAI,EAAE,CAAC;gBAClD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBAC1C,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;wBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACxD,CAAC;gBACD,MAAM,aAAa,GAAG,UAAU,IAAI,UAAU,KAAK,SAAS;oBAC1D,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC;oBAC/C,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC;gBACrB,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE;oBAC3B,YAAY,EAAE,WAAW;oBACzB,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnD,mBAAmB,EAAE,KAAK;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;AACnC,CAAC;AAED;oCACoC;AACpC,SAAS,eAAe,CACtB,IAAwD,EACxD,KAA6C;IAE7C,MAAM,IAAI,GAA2D;QACnE,YAAY,EAAE,CAAC;QACf,QAAQ,EAAE,CAAC;QACX,YAAY,EAAE,CAAC;KAChB,CAAC;IACF,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;oCAsBoC;AACpC,MAAM,UAAU,sBAAsB,CAAC,KAKtC;IACC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEhC,4EAA4E;IAC5E,0CAA0C;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACrD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE7C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,uBAAuB,CAAC;YACrD,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,eAAe;YAC7B,MAAM,EAAE,KAAK,CAAC,gBAAgB;YAC9B,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC;QACrF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,KAAK,UAAU;gBAAE,SAAS;YAC3D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACpC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC9B,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBAChD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtD,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBACnC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC1C,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,eAAe,IAAI,KAAK,CAAC,KAAK,CAAC;gBACjE,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC/B,UAAU,EAAE,SAAS;QACrB,iBAAiB,EAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE;QACxD,iBAAiB,EAAE,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;KAClD,CAAC,CAAC,CAAC;AACN,CAAC;AAED;uEACuE;AACvE,MAAM,UAAU,sBAAsB,CACpC,QAAgC,EAChC,QAA4C,EAC5C,QAAgC;IAEhC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAAE,SAAS;QACvE,IAAI,CAAC,IAAI,CACP,YAAY,OAAO,CAAC,EAAE,KAAK,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK;YACjE,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,MAAM,KAAK,cAAc;YAAE,SAAS;QAC7C,IAAI,CAAC,IAAI,CACP,iBAAiB,IAAI,CAAC,MAAM,wCAAwC;YACpE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"round-facts.js","sourceRoot":"","sources":["../src/round-facts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AASjE,OAAO,EACL,mBAAmB,EACnB,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AA2CjD,MAAM,CAAC,MAAM,kBAAkB,GAAuB;IACpD,aAAa,EAAE,IAAI;IACnB,aAAa,EAAE,EAAE;IACjB,cAAc,EAAE,KAAK;IACrB,eAAe,EAAE,IAAI;IACrB,cAAc,EAAE,IAAI;CACrB,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAAC,KAMhC;IACC,MAAM,cAAc,GAAG,yBAAyB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG,0BAA0B,CAAC;QAC9C,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,aAAa;QAC3C,aAAa,EAAE,KAAK,CAAC,QAAQ,CAAC,aAAa;QAC3C,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,cAAc;YAC3C,KAAK,CAAC,QAAQ,CAAC,cAAc,KAAK,SAAS;QAC7C,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC,eAAe,IAAI,IAAI;QACvD,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAC;IACH,OAAO;QACL,cAAc;QACd,YAAY;QACZ,cAAc,EAAE,oBAAoB,CAAC;YACnC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;;;;2EAQ2E;AAC3E,MAAM,UAAU,oBAAoB,CAAC,KAGpC;IACC,MAAM,WAAW,GAAG,IAAI,GAAG,EAGxB,CAAC;IACJ,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,uBAAuB,CAAC;YACrD,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC;YACnC,QAAQ,EAAE,KAAK,CAAC,QAAQ;SACzB,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAU,CAAC,CAClE,CAAC;QACF,uEAAuE;QACvE,wCAAwC;QACxC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkD,CAAC;QAC5E,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7C,IAAI,CAAC,UAAU,IAAI,UAAU,KAAK,SAAS;gBAAE,SAAS;YACtD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,cAAc,IAAI,EAAE,EAAE,CAAC;gBAC5C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAClC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,eAAe,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC/D,SAAS;YACX,CAAC;YACD,sEAAsE;YACtE,oEAAoE;YACpE,SAAS;YACT,IAAI,MAAM,KAAK,cAAc,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM;gBAAE,SAAS;YACtE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;SAC9B,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACrE,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,YAAY;QACZ,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,eAAe,EAAE,IAAI,CAAC,eAAe;KACtC,CAAC,CAAC,CAAC;AACR,CAAC;AAED;oCACoC;AACpC,SAAS,eAAe,CACtB,IAAwD,EACxD,KAA6C;IAE7C,MAAM,IAAI,GAA2D;QACnE,YAAY,EAAE,CAAC;QACf,QAAQ,EAAE,CAAC;QACX,YAAY,EAAE,CAAC;KAChB,CAAC;IACF,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACjD,CAAC"}

package/dist/round-guidance.d.ts

@@ -0,0 +1,56 @@
+/** v4.0.4 / v4.0.7: the ONE runtime source of round-boundary and
+ *  context-continuity guidance.
+ *
+ *  The compiled prompt footer, the MCP server instructions, the tools/list
+ *  `contextMode` description, the state file and the Explain view read these
+ *  constants. The Forge skill keeps only the definitions and a pointer; it
+ *  must not grow a second copy of the executable sizing rules.
+ *
+ *  `HOST_INVOCATION_CONTRACT` is server-density prose only: the per-round
+ *  prompt footer carries the Agent action surface, not the host runtime
+ *  contract. `CONTEXT_MODE_DESCRIPTION` is the ONE tools/list description.
+ *
+ *  This module is pure: no I/O, no policy, no time, no randomness.
+ */
+import type { PromptContextMode, PromptContextReason } from "./protocol.js";
+export declare const ROUND_BOUNDARY_PRINCIPLE: string;
+export declare const ROUND_BOUNDARY_SIZING = "Keep coupled work together; split when unsafe to verify.";
+export declare const ROUND_BOUNDARY_SUBMISSION: string;
+export declare const ROUND_BOUNDARY_NON_BOUNDARIES: string;
+/** v4.0.5: the ONE routing sentence for a lost in-context retry invocation.
+ *  The prompt footer and the short retry guidance read it. LoopForge — not
+ *  the Agent — recompiles the same round/attempt in clean context. */
+export declare const ROUND_BOUNDARY_INVOCATION_LOST: string;
+/** v4.0.7: the ONE host invocation contract. It separates the cleared model
+ *  conversation from the warm host runtime and states what LoopForge does not
+ *  manage. It is rendered at server density only; the per-round prompt footer
+ *  does not repeat it. */
+export declare const HOST_INVOCATION_CONTRACT: string;
+/** v4.0.7: the ONE tools/list description of PromptContextMode. tools.ts
+ *  imports it so the wire description and the runtime prose cannot drift. */
+export declare const CONTEXT_MODE_DESCRIPTION: string;
+/** The host execution contract. It names the four context strategies instead
+ *  of asking the host to reinterpret an enum value:
+ *  clean context, in-context repair, clean-context repair, recovery redo. */
+export declare const CONTEXT_CONTINUITY_RULES: string;
+export type GuidanceDensity = "prompt" | "server";
+/** Render the runtime guidance.
+ *
+ *  - `prompt` renders the boundary principle, sizing, submission and
+ *    non-boundary rules. A `same_round_retry` already explained its single
+ *    logical round in the retry section, so only submission and non-boundary
+ *    rules are repeated. The fresh body is kept under ~480 characters so the
+ *    L0 footer does not force a policy-budget change.
+ *  - `server` renders the same rules plus the host context-continuity
+ *    contract. */
+export declare function renderRoundGuidance(density: GuidanceDensity, contextMode?: PromptContextMode): string;
+/** Human-readable strategy label for one context boundary. JSON/artifacts keep
+ *  the enum values; every human surface uses this ONE mapping.
+ *
+ *  `recoveryBoundary` means a committed rollback directive governs this
+ *  compile. A repeated rejection can escalate a retried redo; the label must
+ *  keep the recovery-lesson fact instead of dropping it. */
+export declare function formatContextBoundaryLabel(mode: PromptContextMode, reason: PromptContextReason, options?: {
+    recoveryBoundary?: boolean;
+}): string;
+//# sourceMappingURL=round-guidance.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"round-guidance.d.ts","sourceRoot":"","sources":["../src/round-guidance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EACV,iBAAiB,EACjB,mBAAmB,EACpB,MAAM,eAAe,CAAC;AAEvB,eAAO,MAAM,wBAAwB,QAE3B,CAAC;AAEX,eAAO,MAAM,qBAAqB,6DAC0B,CAAC;AAE7D,eAAO,MAAM,yBAAyB,QAGyB,CAAC;AAEhE,eAAO,MAAM,6BAA6B,QAEO,CAAC;AAElD;;sEAEsE;AACtE,eAAO,MAAM,8BAA8B,QAIO,CAAC;AAEnD;;;0BAG0B;AAC1B,eAAO,MAAM,wBAAwB,QAaZ,CAAC;AAE1B;6EAC6E;AAC7E,eAAO,MAAM,wBAAwB,QAYgB,CAAC;AAEtD;;6EAE6E;AAC7E,eAAO,MAAM,wBAAwB,QAsBgC,CAAC;AAEtE,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAElD;;;;;;;;kBAQkB;AAClB,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,eAAe,EACxB,WAAW,CAAC,EAAE,iBAAiB,GAC9B,MAAM,CAuBR;AAED;;;;;4DAK4D;AAC5D,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,mBAAmB,EAC3B,OAAO,GAAE;IAAE,gBAAgB,CAAC,EAAE,OAAO,CAAA;CAAO,GAC3C,MAAM,CAmCR"}