loopforge 3.9.2 → 4.0.7

package/dist/contract-items.js

@@ -8,6 +8,7 @@
  *  the current observations, and policy.
  */
 import { gitDeltaState } from "./evidence-provider.js";
+import { declaresBlocked } from "./round-outcome.js";
 const EMPTY_VIEW = {
     contractId: "",
     closure: "open",
@@ -20,8 +21,8 @@ const EMPTY_VIEW = {
 function itemClaims(item, slices) {
     const claims = [];
     for (const slice of slices) {
-        for (const claim of slice.report?.contract_item_claims ?? []) {
-            if (claim.item_id === item.id)
+        for (const claim of slice.report?.claims ?? []) {
+            if (claim.id === item.id)
                 claims.push({ round: slice.round, outcome: claim.outcome });
         }
     }
@@ -34,12 +35,11 @@ function metClaimRound(claims) {
     return last && last.outcome === "met" ? last.round : null;
 }
 function evaluateCommand(commandId, declaredHash, slices, fromRound, configured) {
-    if (!configured) {
-        return {
-            verdict: "insufficient",
-            reason: `command "${commandId}" is no longer configured/enabled — cannot observe it`,
-        };
-    }
+    // v4.0.3: observations come FIRST. A command that was disabled after the
+    // round that observed it passing does not rewrite that historical result;
+    // the missing configuration only matters when there is no observation to
+    // judge. A reconfigured command (configHash mismatch) is still insufficient.
+    //
     // v3.8.1: the LATEST observation at or after the claim decides, so the
     // closing round's evidence is the one consulted. Scanning forward let an
     // early pass outlive a later failure: the item stayed `verified`, its
@@ -101,7 +101,9 @@ function evaluateCommand(commandId, declaredHash, slices, fromRound, configured)
     }
     return {
         verdict: "insufficient",
-        reason: `command "${commandId}" produced no after-phase observation since round ${fromRound}`,
+        reason: configured
+            ? `command "${commandId}" produced no after-phase observation since round ${fromRound}`
+            : `command "${commandId}" is no longer configured/enabled and produced no after-phase observation since round ${fromRound} — cannot observe it`,
     };
 }
 /** v3.8: Derive every item's status plus the contract's closure. */
@@ -114,13 +116,17 @@ export function deriveContractItemStatuses(input) {
             round: round.round,
             report: round.executionReport,
             deltas: round.observationDelta,
-            outcome: round.outcome,
+            blocked: round.evaluation
+                ? declaresBlocked(round.evaluation)
+                : round.agentOutcome === "blocked",
+            redirect: round.contractRedirect,
         })),
         {
             round: input.currentRound,
             report: input.currentReport,
             deltas: input.currentDeltas,
-            outcome: input.currentOutcome ?? null,
+            blocked: input.currentBlocked === true,
+            redirect: input.currentRedirect ?? null,
         },
     ].filter((slice) => slice.round < input.currentRound || slice.round === input.currentRound);
     const enabledCommands = new Set(input.commands.filter((command) => command.enabled).map((command) => command.name));
@@ -162,9 +168,21 @@ export function deriveContractItemStatuses(input) {
     const contradictedCount = items.filter((item) => item.status === "contradicted").length;
     const insufficientCount = items.filter((item) => item.status === "insufficient").length;
     const committingRound = slices[slices.length - 1];
-    const blocked = committingRound?.outcome === "blocked";
+    const blocked = committingRound?.blocked === true;
     const allVerified = items.length > 0 && verifiedCount === items.length;
-    const closure = allVerified ? "verified" : blocked ? "blocked" : "open";
+    // v3.9.9/v4.0.6 closure priority: blocked > superseded > verified > open.
+    // A blocked declaration is the Agent's protocol action and closes the
+    // contract first. A redirect supersedes only when its target is THIS
+    // contract; an inert/abnormal target is ignored rather than closing a
+    // contract the Agent never named.
+    const superseded = !blocked &&
+        committingRound?.redirect !== null &&
+        committingRound?.redirect !== undefined &&
+        committingRound.redirect.contract_id === contract.id;
+    const closure = blocked ? "blocked"
+        : superseded ? "superseded"
+            : allVerified ? "verified"
+                : "open";
     return {
         contractId: contract.id,
         closure,
@@ -175,17 +193,4 @@ export function deriveContractItemStatuses(input) {
         insufficientCount,
     };
 }
-/** v3.8: The round-level verification posture. */
-export function roundVerificationStatus(view, report) {
-    if (view.contradictedCount > 0)
-        return "contradicted";
-    if (view.insufficientCount > 0)
-        return "insufficient";
-    // A success claim with no machine-backed item at all is insufficient too.
-    const claims = report?.contract_item_claims ?? [];
-    if (claims.some((claim) => claim.outcome === "met") && view.verifiedCount === 0) {
-        return "insufficient";
-    }
-    return "trusted";
-}
 //# sourceMappingURL=contract-items.js.map

package/dist/contract-items.js.map

@@ -1 +1 @@
-{"version":3,"file":"contract-items.js","sourceRoot":"","sources":["../src/contract-items.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAUH,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAoDvD,MAAM,UAAU,GAA2B;IACzC,UAAU,EAAE,EAAE;IACd,OAAO,EAAE,MAAM;IACf,eAAe,EAAE,IAAI;IACrB,KAAK,EAAE,EAAE;IACT,aAAa,EAAE,CAAC;IAChB,iBAAiB,EAAE,CAAC;IACpB,iBAAiB,EAAE,CAAC;CACrB,CAAC;AAEF,SAAS,UAAU,CACjB,IAAwB,EACxB,MAAiC;IAEjC,MAAM,MAAM,GAAoE,EAAE,CAAC;IACnF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,oBAAoB,IAAI,EAAE,EAAE,CAAC;YAC7D,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,EAAE;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;8CAC8C;AAC9C,SAAS,aAAa,CACpB,MAA+E;IAE/E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,OAAO,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAID,SAAS,eAAe,CACtB,SAAiB,EACjB,YAAgC,EAChC,MAAiC,EACjC,SAAiB,EACjB,UAAmB;IAEnB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,YAAY,SAAS,uDAAuD;SACrF,CAAC;IACJ,CAAC;IACD,uEAAuE;IACvE,yEAAyE;IACzE,sEAAsE;IACtE,yEAAyE;IACzE,6DAA6D;IAC7D,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,KAAK,GAAG,SAAS;YAAE,SAAS;QACtC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM;aAC7B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;aAC3B,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACb,IAAI,KAAK,IAAI;YACb,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,IAAI,CAAC,KAAK,KAAK,OAAO;YACtB,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAC7D,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;QAC9B,IAAI,YAAY,IAAI,IAAI,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;YACrD,OAAO;gBACL,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,YAAY,SAAS,+CAA+C,KAAK,CAAC,KAAK,GAAG;aAC3F,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,sEAAsE;YACtE,uEAAuE;YACvE,yBAAyB;YACzB,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO;oBACL,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,YAAY,SAAS,2DAA2D,KAAK,CAAC,KAAK,EAAE;iBACtG,CAAC;YACJ,CAAC;YACD,oEAAoE;YACpE,sEAAsE;YACtE,kEAAkE;YAClE,mEAAmE;YACnE,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACvF,OAAO;oBACL,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,YAAY,SAAS,gDAAgD,KAAK,CAAC,KAAK,EAAE;iBAC3F,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC7C,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO;gBACL,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,YAAY,SAAS,qBAAqB,KAAK,CAAC,KAAK,EAAE;oBAC7D,CAAC,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,YAAY,SAAS,cAAc,WAAW,CAAC,MAAM,aAAa,KAAK,CAAC,KAAK,EAAE;SACxF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,YAAY,SAAS,qDAAqD,SAAS,EAAE;KAC9F,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,0BAA0B,CAAC,KAAwB;IACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,CAAC,QAAQ;QAAE,OAAO,UAAU,CAAC;IAEjC,MAAM,MAAM,GAAiB;QAC3B,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,eAAe;YAC7B,MAAM,EAAE,KAAK,CAAC,gBAAgB;YAC9B,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC;QACH;YACE,KAAK,EAAE,KAAK,CAAC,YAAY;YACzB,MAAM,EAAE,KAAK,CAAC,aAAa;YAC3B,MAAM,EAAE,KAAK,CAAC,aAAa;YAC3B,OAAO,EAAE,KAAK,CAAC,cAAc,IAAI,IAAI;SACtC;KACF,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,YAAY,CAAC,CAAC;IAE5F,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CACnF,CAAC;IAEF,MAAM,KAAK,GAAuB,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5D,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,OAAO;gBACL,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,SAAS;gBACjB,eAAe,EAAE,IAAI;gBACrB,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,EAAE;aACZ,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAClD,eAAe,CACb,SAAS,EACT,QAAQ,CAAC,sBAAsB,CAAC,SAAS,CAAC,EAC1C,MAAM,EACN,QAAQ,EACR,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAC/B,CAAC,CAAC;QACL,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1E,IAAI,MAA0B,CAAC;QAC/B,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,cAAc,CAAC,EAAE,CAAC;YACnE,MAAM,GAAG,cAAc,CAAC;QAC1B,CAAC;aAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU,CAAC,EAAE,CAAC;YAC9F,MAAM,GAAG,UAAU,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,cAAc,CAAC;QAC1B,CAAC;QACD,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM;YACN,eAAe,EAAE,QAAQ;YACzB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;YAC9D,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAChF,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;IACxF,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;IAExF,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,eAAe,EAAE,OAAO,KAAK,SAAS,CAAC;IACvD,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,KAAK,KAAK,CAAC,MAAM,CAAC;IACvE,MAAM,OAAO,GACX,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;IAE1D,OAAO;QACL,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,OAAO;QACP,eAAe,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,KAAK,IAAI,IAAI;QAC3E,KAAK;QACL,aAAa;QACb,iBAAiB;QACjB,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,uBAAuB,CACrC,IAA4B,EAC5B,MAA8B;IAE9B,IAAI,IAAI,CAAC,iBAAiB,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC;IACtD,IAAI,IAAI,CAAC,iBAAiB,GAAG,CAAC;QAAE,OAAO,cAAc,CAAC;IACtD,0EAA0E;IAC1E,MAAM,MAAM,GAAG,MAAM,EAAE,oBAAoB,IAAI,EAAE,CAAC;IAClD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAChF,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}
+{"version":3,"file":"contract-items.js","sourceRoot":"","sources":["../src/contract-items.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAWH,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAEvD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AA6DrD,MAAM,UAAU,GAA2B;IACzC,UAAU,EAAE,EAAE;IACd,OAAO,EAAE,MAAM;IACf,eAAe,EAAE,IAAI;IACrB,KAAK,EAAE,EAAE;IACT,aAAa,EAAE,CAAC;IAChB,iBAAiB,EAAE,CAAC;IACpB,iBAAiB,EAAE,CAAC;CACrB,CAAC;AAEF,SAAS,UAAU,CACjB,IAAwB,EACxB,MAAiC;IAEjC,MAAM,MAAM,GAAiE,EAAE,CAAC;IAChF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;YAC/C,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;8CAC8C;AAC9C,SAAS,aAAa,CACpB,MAA4E;IAE5E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,OAAO,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC;AAID,SAAS,eAAe,CACtB,SAAiB,EACjB,YAAgC,EAChC,MAAiC,EACjC,SAAiB,EACjB,UAAmB;IAEnB,yEAAyE;IACzE,0EAA0E;IAC1E,yEAAyE;IACzE,6EAA6E;IAC7E,EAAE;IACF,uEAAuE;IACvE,yEAAyE;IACzE,sEAAsE;IACtE,yEAAyE;IACzE,6DAA6D;IAC7D,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,KAAK,GAAG,SAAS;YAAE,SAAS;QACtC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM;aAC7B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;aAC3B,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACb,IAAI,KAAK,IAAI;YACb,IAAI,CAAC,IAAI,KAAK,SAAS;YACvB,IAAI,CAAC,KAAK,KAAK,OAAO;YACtB,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,WAAW,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAC7D,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC;QAC9B,IAAI,YAAY,IAAI,IAAI,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;YACrD,OAAO;gBACL,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,YAAY,SAAS,+CAA+C,KAAK,CAAC,KAAK,GAAG;aAC3F,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,sEAAsE;YACtE,uEAAuE;YACvE,yBAAyB;YACzB,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC5B,OAAO;oBACL,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,YAAY,SAAS,2DAA2D,KAAK,CAAC,KAAK,EAAE;iBACtG,CAAC;YACJ,CAAC;YACD,oEAAoE;YACpE,sEAAsE;YACtE,kEAAkE;YAClE,mEAAmE;YACnE,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;YACpF,IAAI,GAAG,CAAC,KAAK,KAAK,UAAU,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACvF,OAAO;oBACL,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,YAAY,SAAS,gDAAgD,KAAK,CAAC,KAAK,EAAE;iBAC3F,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC7C,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO;gBACL,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,YAAY,SAAS,qBAAqB,KAAK,CAAC,KAAK,EAAE;oBAC7D,CAAC,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,YAAY,SAAS,cAAc,WAAW,CAAC,MAAM,aAAa,KAAK,CAAC,KAAK,EAAE;SACxF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,OAAO,EAAE,cAAc;QACvB,MAAM,EAAE,UAAU;YAChB,CAAC,CAAC,YAAY,SAAS,qDAAqD,SAAS,EAAE;YACvF,CAAC,CAAC,YAAY,SAAS,yFAAyF,SAAS,sBAAsB;KAClJ,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,0BAA0B,CAAC,KAAwB;IACjE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,CAAC,QAAQ;QAAE,OAAO,UAAU,CAAC;IAEjC,MAAM,MAAM,GAAiB;QAC3B,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM,EAAE,KAAK,CAAC,eAAe;YAC7B,MAAM,EAAE,KAAK,CAAC,gBAAgB;YAC9B,OAAO,EAAE,KAAK,CAAC,UAAU;gBACvB,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC;gBACnC,CAAC,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS;YACpC,QAAQ,EAAE,KAAK,CAAC,gBAAgB;SACjC,CAAC,CAAC;QACH;YACE,KAAK,EAAE,KAAK,CAAC,YAAY;YACzB,MAAM,EAAE,KAAK,CAAC,aAAa;YAC3B,MAAM,EAAE,KAAK,CAAC,aAAa;YAC3B,OAAO,EAAE,KAAK,CAAC,cAAc,KAAK,IAAI;YACtC,QAAQ,EAAE,KAAK,CAAC,eAAe,IAAI,IAAI;SACxC;KACF,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,YAAY,CAAC,CAAC;IAE5F,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CACnF,CAAC;IAEF,MAAM,KAAK,GAAuB,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC5D,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,OAAO;gBACL,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,MAAM,EAAE,SAAS;gBACjB,eAAe,EAAE,IAAI;gBACrB,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,EAAE;aACZ,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAClD,eAAe,CACb,SAAS,EACT,QAAQ,CAAC,sBAAsB,CAAC,SAAS,CAAC,EAC1C,MAAM,EACN,QAAQ,EACR,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAC/B,CAAC,CAAC;QACL,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1E,IAAI,MAA0B,CAAC;QAC/B,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,cAAc,CAAC,EAAE,CAAC;YACnE,MAAM,GAAG,cAAc,CAAC;QAC1B,CAAC;aAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU,CAAC,EAAE,CAAC;YAC9F,MAAM,GAAG,UAAU,CAAC;QACtB,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,cAAc,CAAC;QAC1B,CAAC;QACD,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,MAAM;YACN,eAAe,EAAE,QAAQ;YACzB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC;YAC9D,OAAO;SACR,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAChF,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;IACxF,MAAM,iBAAiB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;IAExF,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,eAAe,EAAE,OAAO,KAAK,IAAI,CAAC;IAClD,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,KAAK,KAAK,CAAC,MAAM,CAAC;IACvE,0EAA0E;IAC1E,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,kCAAkC;IAClC,MAAM,UAAU,GAAG,CAAC,OAAO;QACzB,eAAe,EAAE,QAAQ,KAAK,IAAI;QAClC,eAAe,EAAE,QAAQ,KAAK,SAAS;QACvC,eAAe,CAAC,QAAQ,CAAC,WAAW,KAAK,QAAQ,CAAC,EAAE,CAAC;IACvD,MAAM,OAAO,GACX,OAAO,CAAC,CAAC,CAAC,SAAS;QACjB,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY;YAC3B,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU;gBAC1B,CAAC,CAAC,MAAM,CAAC;IAEb,OAAO;QACL,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,OAAO;QACP,eAAe,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,KAAK,IAAI,IAAI;QAC3E,KAAK;QACL,aAAa;QACb,iBAAiB;QACjB,iBAAiB;KAClB,CAAC;AACJ,CAAC"}

package/dist/contract-requirement.d.ts

@@ -0,0 +1,47 @@
+/** v4.0.6: contract coverage — the ONE shared requirement derivation.
+ *
+ *  A round that continues with contract capability must leave an ACTIVE
+ *  contract for the next round. This module answers only that structural
+ *  question: does the next round have a contract, and where does the current
+ *  proposal leave it? It never judges whether the slice is a real
+ *  deliverable, whether an item is a good acceptance condition, or whether a
+ *  command is the right test.
+ *
+ *  It is a PURE function of facts the caller already derived — it reads no
+ *  store, no session and no policy global. The compile-time caller, the
+ *  pre-advance submission boundary and the post-evidence coordinator all pass
+ *  the same facts through this one rule, so they cannot disagree about
+ *  whether a contract was required.
+ *
+ *  The active contract is the one derived from committed rounds
+ *  (`ActiveContractView`); `closure` is the item reducer's verdict for the
+ *  round being decided (or `"open"` before evidence exists).
+ */
+import type { ContractItemStatusView } from "./contract-items.js";
+import type { ActiveContractView } from "./round-contract.js";
+export type ContractRequirementReason = "not_continuing" | "blocked" | "no_successor_round" | "no_contract_capability" | "no_active_contract" | "active_contract_continues" | "active_contract_closed" | "satisfied_by_proposal" | "satisfied_by_successor";
+export interface ContractRequirement {
+    /** The next round must have an active contract when this round commits. */
+    required: boolean;
+    reason: ContractRequirementReason;
+    activeContractId: string | null;
+}
+export interface ContractRequirementInput {
+    shouldContinue: boolean;
+    /** The round declares `outcome: "blocked"`. Defensive: blocked normally
+     *  also means `shouldContinue === false`. */
+    blocked: boolean;
+    /** `round_contract` is present in this submission. */
+    proposalPresent: boolean;
+    activeContract: ActiveContractView | null;
+    /** The active contract's closure for the round being decided. */
+    closure: ContractItemStatusView["closure"];
+    /** At least one enabled, after-capable evidence command exists. Without it
+     *  no contract can ever be machine-verified, so no contract is required. */
+    contractCapability: boolean;
+    /** Whether the state machine permits another round after this submission.
+     *  A terminal max-round boundary has no consumer for a proposal. */
+    successorRoundAvailable?: boolean;
+}
+export declare function deriveContractRequirement(input: ContractRequirementInput): ContractRequirement;
+//# sourceMappingURL=contract-requirement.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract-requirement.d.ts","sourceRoot":"","sources":["../src/contract-requirement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAE9D,MAAM,MAAM,yBAAyB,GACjC,gBAAgB,GAChB,SAAS,GACT,oBAAoB,GACpB,wBAAwB,GACxB,oBAAoB,GACpB,2BAA2B,GAC3B,wBAAwB,GACxB,uBAAuB,GACvB,wBAAwB,CAAC;AAE7B,MAAM,WAAW,mBAAmB;IAClC,2EAA2E;IAC3E,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,yBAAyB,CAAC;IAClC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAED,MAAM,WAAW,wBAAwB;IACvC,cAAc,EAAE,OAAO,CAAC;IACxB;iDAC6C;IAC7C,OAAO,EAAE,OAAO,CAAC;IACjB,sDAAsD;IACtD,eAAe,EAAE,OAAO,CAAC;IACzB,cAAc,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC1C,iEAAiE;IACjE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAC3C;gFAC4E;IAC5E,kBAAkB,EAAE,OAAO,CAAC;IAC5B;wEACoE;IACpE,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,wBAAwB,GAC9B,mBAAmB,CA8BrB"}

package/dist/contract-requirement.js

@@ -0,0 +1,51 @@
+/** v4.0.6: contract coverage — the ONE shared requirement derivation.
+ *
+ *  A round that continues with contract capability must leave an ACTIVE
+ *  contract for the next round. This module answers only that structural
+ *  question: does the next round have a contract, and where does the current
+ *  proposal leave it? It never judges whether the slice is a real
+ *  deliverable, whether an item is a good acceptance condition, or whether a
+ *  command is the right test.
+ *
+ *  It is a PURE function of facts the caller already derived — it reads no
+ *  store, no session and no policy global. The compile-time caller, the
+ *  pre-advance submission boundary and the post-evidence coordinator all pass
+ *  the same facts through this one rule, so they cannot disagree about
+ *  whether a contract was required.
+ *
+ *  The active contract is the one derived from committed rounds
+ *  (`ActiveContractView`); `closure` is the item reducer's verdict for the
+ *  round being decided (or `"open"` before evidence exists).
+ */
+export function deriveContractRequirement(input) {
+    const activeContractId = input.activeContract?.id ?? null;
+    if (!input.shouldContinue) {
+        return { required: false, reason: "not_continuing", activeContractId };
+    }
+    if (input.blocked) {
+        return { required: false, reason: "blocked", activeContractId };
+    }
+    if (!input.contractCapability) {
+        return { required: false, reason: "no_contract_capability", activeContractId };
+    }
+    if (input.successorRoundAvailable === false) {
+        return { required: false, reason: "no_successor_round", activeContractId };
+    }
+    if (!input.activeContract) {
+        return input.proposalPresent
+            ? { required: false, reason: "satisfied_by_proposal", activeContractId }
+            : { required: true, reason: "no_active_contract", activeContractId };
+    }
+    if (input.closure === "open") {
+        // Omitting the proposal continues the same contract. A different proposal
+        // is a separate structural question (`contract_premature`); coverage
+        // itself is already satisfied by the continuing contract.
+        return { required: false, reason: "active_contract_continues", activeContractId };
+    }
+    // verified / superseded / blocked: the current contract will not govern the
+    // next round, so a successor proposal must be present.
+    return input.proposalPresent
+        ? { required: false, reason: "satisfied_by_successor", activeContractId }
+        : { required: true, reason: "active_contract_closed", activeContractId };
+}
+//# sourceMappingURL=contract-requirement.js.map

package/dist/contract-requirement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-requirement.js","sourceRoot":"","sources":["../src/contract-requirement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAyCH,MAAM,UAAU,yBAAyB,CACvC,KAA+B;IAE/B,MAAM,gBAAgB,GAAG,KAAK,CAAC,cAAc,EAAE,EAAE,IAAI,IAAI,CAAC;IAC1D,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,CAAC;IACzE,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC;QAC9B,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,KAAK,CAAC,uBAAuB,KAAK,KAAK,EAAE,CAAC;QAC5C,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,eAAe;YAC1B,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,gBAAgB,EAAE;YACxE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,CAAC;IACzE,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAC7B,0EAA0E;QAC1E,qEAAqE;QACrE,0DAA0D;QAC1D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,EAAE,gBAAgB,EAAE,CAAC;IACpF,CAAC;IACD,4EAA4E;IAC5E,uDAAuD;IACvD,OAAO,KAAK,CAAC,eAAe;QAC1B,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,gBAAgB,EAAE;QACzE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,CAAC;AAC7E,CAAC"}

package/dist/criterion-status.d.ts

@@ -0,0 +1,35 @@
+/** The ONE criterion-status derivation over committed history.
+ *
+ *  The compiler and the submission boundary/guidance used to reach this fact
+ *  through different inputs: the compiler re-read the caller's compile
+ *  context, while `submission-guidance` read `criterion_statuses` off the
+ *  session's cached compile response. That cache does not survive a restart
+ *  and could disagree with the Vault after a replay. This module takes
+ *  committed round views only, so both surfaces derive the same rows.
+ *
+ *  It deliberately lives outside `loop-compiler.ts`: `loop-compiler.ts` imports
+ *  `submission-guidance.ts`, so the reverse import would be a cycle. */
+import type { CriterionStatus } from "./protocol.js";
+import type { CriterionMachineFact } from "./round-facts.js";
+import type { CommittedRoundView } from "./committed-round.js";
+export interface CriterionStatusInput {
+    /** Committed rounds below `currentRound`. */
+    rounds: ReadonlyArray<CommittedRoundView>;
+    currentRound: number;
+    /** Only `success_criteria` is read; the rest of the objective is not a
+     *  criterion fact. */
+    objective: {
+        success_criteria: ReadonlyArray<string>;
+    } | null;
+    criterionFacts?: ReadonlyArray<CriterionMachineFact>;
+}
+/** v3.2/v4.0.3: Derive per-criterion status — the "goal → criteria →
+ *  evidence" vertical view.
+ *
+ *  Without a machine fact the LATEST claim wins (a criterion claimed met in
+ *  R2 and reported remaining in R4 is `remaining`), and the row records that
+ *  claim round with `status_source: "agent"`. A machine fact from a verified
+ *  contract item outranks every claim and records its own round/source. Zero
+ *  persistence — re-derived from committed facts every time. */
+export declare function deriveCriterionStatuses(input: CriterionStatusInput): CriterionStatus[];
+//# sourceMappingURL=criterion-status.d.ts.map

package/dist/criterion-status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"criterion-status.d.ts","sourceRoot":"","sources":["../src/criterion-status.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;wEAUwE;AAExE,OAAO,KAAK,EACV,eAAe,EAChB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAgB/D,MAAM,WAAW,oBAAoB;IACnC,6CAA6C;IAC7C,MAAM,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB;0BACsB;IACtB,SAAS,EAAE;QAAE,gBAAgB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,GAAG,IAAI,CAAC;IAC9D,cAAc,CAAC,EAAE,aAAa,CAAC,oBAAoB,CAAC,CAAC;CACtD;AAED;;;;;;;gEAOgE;AAChE,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,oBAAoB,GAC1B,eAAe,EAAE,CA+DnB"}

package/dist/criterion-status.js

@@ -0,0 +1,89 @@
+/** The ONE criterion-status derivation over committed history.
+ *
+ *  The compiler and the submission boundary/guidance used to reach this fact
+ *  through different inputs: the compiler re-read the caller's compile
+ *  context, while `submission-guidance` read `criterion_statuses` off the
+ *  session's cached compile response. That cache does not survive a restart
+ *  and could disagree with the Vault after a replay. This module takes
+ *  committed round views only, so both surfaces derive the same rows.
+ *
+ *  It deliberately lives outside `loop-compiler.ts`: `loop-compiler.ts` imports
+ *  `submission-guidance.ts`, so the reverse import would be a cycle. */
+import { criterionRefMatches, deriveCriterionId, } from "./token-utils.js";
+function claimsFor(view, text) {
+    return (view.executionReport?.claims ?? [])
+        .filter((claim) => claim.id.startsWith("cr-") && criterionRefMatches(claim.id, text))
+        .map((claim) => claim.outcome);
+}
+/** v3.2/v4.0.3: Derive per-criterion status — the "goal → criteria →
+ *  evidence" vertical view.
+ *
+ *  Without a machine fact the LATEST claim wins (a criterion claimed met in
+ *  R2 and reported remaining in R4 is `remaining`), and the row records that
+ *  claim round with `status_source: "agent"`. A machine fact from a verified
+ *  contract item outranks every claim and records its own round/source. Zero
+ *  persistence — re-derived from committed facts every time. */
+export function deriveCriterionStatuses(input) {
+    const objectiveCriteria = input.objective?.success_criteria ?? [];
+    if (objectiveCriteria.length === 0)
+        return [];
+    const rounds = input.rounds
+        .filter((round) => round.round >= 1 && round.round < input.currentRound)
+        .sort((a, b) => a.round - b.round);
+    const factsByCriterion = new Map((input.criterionFacts ?? []).map((fact) => [fact.criterion_id, fact]));
+    // v3.9.4: one row per derived id. The objective is authored text; a case or
+    // whitespace variant derives the same cr-* and must not produce a second
+    // row (nor a second contract reference space).
+    const seenIds = new Set();
+    const statuses = [];
+    for (const text of objectiveCriteria) {
+        const id = deriveCriterionId(text);
+        if (seenIds.has(id))
+            continue;
+        seenIds.add(id);
+        // Latest-claim wins: scan ascending and keep the last claim seen.
+        let latestOutcome = null;
+        let latestClaimRound = null;
+        for (const round of rounds) {
+            const claims = claimsFor(round, text);
+            if (claims.length === 0)
+                continue;
+            const outcome = claims[claims.length - 1];
+            if (outcome !== latestOutcome) {
+                latestOutcome = outcome;
+                latestClaimRound = round.round;
+            }
+            else {
+                // A repeated same-direction claim still advances the claim round.
+                latestClaimRound = round.round;
+            }
+        }
+        const fact = factsByCriterion.get(id);
+        if (fact?.status) {
+            statuses.push({
+                id,
+                text,
+                status: fact.status,
+                ...(fact.status_at_round !== undefined
+                    ? { status_at_round: fact.status_at_round }
+                    : {}),
+                status_source: "machine",
+            });
+            continue;
+        }
+        statuses.push({
+            id,
+            text,
+            status: latestOutcome === "met"
+                ? "claimed"
+                : latestOutcome === "remaining"
+                    ? "remaining"
+                    : "unknown",
+            ...(latestOutcome !== null && latestClaimRound !== null
+                ? { status_at_round: latestClaimRound, status_source: "agent" }
+                : {}),
+        });
+    }
+    return statuses;
+}
+//# sourceMappingURL=criterion-status.js.map

package/dist/criterion-status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"criterion-status.js","sourceRoot":"","sources":["../src/criterion-status.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;wEAUwE;AAOxE,OAAO,EACL,mBAAmB,EACnB,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,SAAS,SAAS,CAChB,IAAwB,EACxB,IAAY;IAEZ,OAAO,CAAC,IAAI,CAAC,eAAe,EAAE,MAAM,IAAI,EAAE,CAAC;SACxC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAChB,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,mBAAmB,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;SACnE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC;AAYD;;;;;;;gEAOgE;AAChE,MAAM,UAAU,uBAAuB,CACrC,KAA2B;IAE3B,MAAM,iBAAiB,GAAG,KAAK,CAAC,SAAS,EAAE,gBAAgB,IAAI,EAAE,CAAC;IAClE,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM;SACxB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,YAAY,CAAC;SACvE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAU,CAAC,CAC/E,CAAC;IAEF,4EAA4E;IAC5E,yEAAyE;IACzE,+CAA+C;IAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,MAAM,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAC9B,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,kEAAkE;QAClE,IAAI,aAAa,GAA+B,IAAI,CAAC;QACrD,IAAI,gBAAgB,GAAkB,IAAI,CAAC;QAC3C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACtC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAClC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YAC3C,IAAI,OAAO,KAAK,aAAa,EAAE,CAAC;gBAC9B,aAAa,GAAG,OAAO,CAAC;gBACxB,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC;YACjC,CAAC;iBAAM,CAAC;gBACN,kEAAkE;gBAClE,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC;YACjC,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtC,IAAI,IAAI,EAAE,MAAM,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE;gBACF,IAAI;gBACJ,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,SAAS;oBACpC,CAAC,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE;oBAC3C,CAAC,CAAC,EAAE,CAAC;gBACP,aAAa,EAAE,SAAS;aACzB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACZ,EAAE;YACF,IAAI;YACJ,MAAM,EAAE,aAAa,KAAK,KAAK;gBAC7B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,aAAa,KAAK,WAAW;oBAC7B,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,SAAS;YACf,GAAG,CAAC,aAAa,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI;gBACrD,CAAC,CAAC,EAAE,eAAe,EAAE,gBAAgB,EAAE,aAAa,EAAE,OAAgB,EAAE;gBACxE,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/enforcement-gate.d.ts

@@ -18,70 +18,44 @@
  */
 import type { VaultEntry } from "./loop-store.js";
 import type { EnforcementResult, SelfEvaluation, VerificationFlag, VerificationResult } from "./protocol.js";
+import { type RoundProgress } from "./progress.js";
 /** Scan backwards from currentRound to find the most recent clean round.
  *  Collects discovered_constraints from skipped rounds along the way.
  *  Returns null when no clean round is found within maxDepth. */
-export declare function findSafeRestorePoint(currentRound: number, vaultEntries: VaultEntry[], maxDepth: number): {
+export declare function findSafeRestorePoint(currentRound: number, vaultEntries: VaultEntry[], maxDepth: number,
+/** v3.9.7: a candidate must have a materialized restore checkpoint. */
+isEligible?: (round: number) => boolean): {
     round: number;
     skippedDiscoveries: string[];
 } | null;
-/** v2.12: The restore point's machine snapshot. `head` is the commit the
- *  workspace must return to; `dirtyFiles` is what was ALREADY dirty there —
- *  the baseline a restored workspace is compared against, so unrelated work
- *  in progress is never mistaken for a failed restore. Read from the restore
- *  round's committed transaction snapshot (after evidence preferred, before
- *  evidence as fallback). Returns null when the round has no git snapshot or
- *  no committed feedback entry. */
-export interface BacktrackTargetSnapshot {
-    head: string;
-    dirtyFiles: string[];
-}
-export declare function findBacktrackTargetSnapshot(restoreRound: number, vaultEntries: VaultEntry[]): BacktrackTargetSnapshot | null;
-/** Build the backtrack prompt injected at the top of the restored round.
- *
- *  v2.13: Includes concrete workspace restore instructions with affected
- *  file lists from skipped rounds. The agent must restore the working tree
- *  to the clean round's state before proceeding. */
-export interface BacktrackRecoveryFacts {
-    /** v3.7.1: Rolled-back rounds (restore point + 1 … trigger round). */
-    failedRounds: number[];
-    /** v3.7.1: One approach per failed round — what must NOT be repeated. */
-    approaches: string[];
-    /** v3.7.1: Falsified assumptions collected from the failed rounds. */
-    wrongAssumptions: string[];
-}
 /** v3.8.1: the ONE Recovery Brief renderer.
  *
- *  The rollback prompt and the state file's Recent tier used to carry two
- *  hand-written copies of these lines — differing in punctuation
- *  ("the redo is round N" vs "redo round N") and in whether an approach
- *  overflow count was shown at all. Two renderers over one rollback meant the
- *  two surfaces could describe the same event differently while both claiming
- *  to be derived facts. The facts are supplied by the caller: the coordinator
- *  from its live walk, the compile path from `decodeBacktrackRecord` on the
+ *  v3.9.4: it is the shared fact renderer for the prompt's protected
+ *  `recovery` section and the state file's Recent tier. The post-compile
+ *  backtrack prompt (and its action advice) is gone: `committedBacktrackBrief`
+ *  appends the restore HEAD/file set and the artifact is the delivered prompt.
+ *  The facts are supplied by the caller from `decodeBacktrackRecord` on the
  *  committed decision. */
 export declare function recoveryBriefLines(input: {
-    target: number;
+    /** v3.9.7: the first round of the child branch. The workspace was restored
+     *  to the selected checkpoint BEFORE this prompt was compiled. */
+    redoRound: number;
+    checkpointId?: string;
+    restoreVerified?: boolean;
     triggerRule: string;
+    origin?: "agent" | "machine";
+    /** Agent reason (agent origin) or machine failure reason. */
+    reason?: string;
+    /** v3.9.4: the enforcement gate's own sentence for WHY it rolled back. */
+    failureReason?: string;
     failedRounds: string[] | number[];
     approaches: string[];
     wrongAssumptions: string[];
+    preservedDiscoveries?: string[];
     recoveryRoundId?: string;
     maxApproaches?: number;
     maxAssumptions?: number;
 }): string[];
-export declare function buildBacktrackPrompt(fromRound: number, toRound: number, triggerRule: string, skippedDiscoveries: string[],
-/** v2.13: Files changed in the skipped rounds (from evidence snapshots).
- *  Used to show the agent exactly what needs to be reverted. */
-skippedFiles?: string[],
-/** v2.12: Git HEAD commit hash at the backtrack point (current HEAD).
- *  The agent must discard work back to the clean round's state. */
-gitHead?: string,
-/** v3.7.1: The redo submission's roundId (loop:<id>:round:<toRound+1>). */
-recoveryRoundId?: string,
-/** v3.7.1: Derived Recovery Brief facts — committed facts + the
- *  in-flight attempt only; never rejected payloads. */
-recovery?: BacktrackRecoveryFacts): string;
 export declare function enforceRound(selfEval: SelfEvaluation, verifyResult: VerificationResult, currentRound: number, vaultEntries: VaultEntry[], consecutiveRejections?: number,
 /** L4 (v3.7.x): which check rejected the PREVIOUS round. The coordinator
  *  resets consecutiveRejections to 1 whenever the check changes, so the
@@ -89,29 +63,20 @@ export declare function enforceRound(selfEval: SelfEvaluation, verifyResult: Ver
  *  check and lets uniform rows escalate on THEIR OWN streak instead of
  *  inheriting an unrelated history. */
 lastRejectionCheck?: string,
-/** v3.8.3: the coordinator has verified that this round declares itself
- *  blocked AND that its new contract proposal's scope covers every file the
- *  round changed outside the active contract's scope. Computed there, not
- *  here: neither the observations nor the active contract reach this
- *  function. See `enforceScopeDrift`. */
-scopeDriftWaiver?: boolean,
-/** v3.9: the submitted round's own Git motion — see `inFlightGitMotion`.
- *  null when no Git observation was made. */
-inFlightMotion?: boolean | null): EnforcementResult;
-/** Build a rejection prompt for the agent.
- *
- *  The prompt clearly states the round was rejected, why, what the agent
- *  must fix, and that the agent must redo the SAME round (not advance).
+/** v3.9.7: the submitted round's provider-neutral progress. */
+inFlightProgress?: RoundProgress): EnforcementResult;
+/** Build the protected retry notice for the agent.
  *
- *  v2.7: Accepts verificationFlags to render a diagnostic "Evidence Gap"
- *  section. Each error/warn flag becomes a concrete claim-vs-evidence
- *  mismatch statement so the agent knows exactly what to correct rather
- *  than retrying blindly.
+ *  v3.9.7: this is a protocol fact, not a second task narrative. It carries
+ *  the enforcement reason, the required fix and the same-round instruction.
+ *  Findings are rendered exactly once by the mandatory Verification Gate; the
+ *  original task/contract is rendered by Objective/Current Task. The notice
+ *  never promises that an explanation will re-evaluate a machine fact.
  *
  * @param currentRound      The round number that was rejected (NOT incremented).
- * @param task              The original loop task description.
+ * @param _task             Kept for the public signature; not rendered here.
  * @param enforceResult     The enforcement decision with reason and fix instructions.
- * @param verificationFlags The verification gate's findings for this round.
- *                          Used to build the Evidence Gap section. */
-export declare function buildRejectionPrompt(currentRound: number, task: string, enforceResult: EnforcementResult, verificationFlags?: VerificationFlag[]): string;
+ * @param _verificationFlags Kept for the public signature; findings render in
+ *                          the mandatory Verification Gate. */
+export declare function buildRejectionPrompt(currentRound: number, _task: string, enforceResult: EnforcementResult, _verificationFlags?: VerificationFlag[]): string;
 //# sourceMappingURL=enforcement-gate.d.ts.map

package/dist/enforcement-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"enforcement-gate.d.ts","sourceRoot":"","sources":["../src/enforcement-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAwDvB;;iEAEiE;AACjE,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,QAAQ,EAAE,MAAM,GACf;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,kBAAkB,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAgCxD;AAED;;;;;;mCAMmC;AACnC,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,GACzB,uBAAuB,GAAG,IAAI,CAgBhC;AAED;;;;oDAIoD;AACpD,MAAM,WAAW,sBAAsB;IACrC,sEAAsE;IACtE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,yEAAyE;IACzE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,sEAAsE;IACtE,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;;;;;;;;0BAS0B;AAC1B,wBAAgB,kBAAkB,CAAC,KAAK,EAAE;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAClC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,GAAG,MAAM,EAAE,CA6BX;AAED,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,MAAM,EAAE;AAC5B;gEACgE;AAChE,YAAY,GAAE,MAAM,EAAO;AAC3B;mEACmE;AACnE,OAAO,CAAC,EAAE,MAAM;AAChB,2EAA2E;AAC3E,eAAe,CAAC,EAAE,MAAM;AACxB;uDACuD;AACvD,QAAQ,CAAC,EAAE,sBAAsB,GAChC,MAAM,CAuKR;AAotBD,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,kBAAkB,EAChC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,qBAAqB,GAAE,MAAU;AACjC;;;;uCAIuC;AACvC,kBAAkB,GAAE,MAAW;AAC/B;;;;yCAIyC;AACzC,gBAAgB,GAAE,OAAe;AACjC;6CAC6C;AAC7C,cAAc,GAAE,OAAO,GAAG,IAAW,GACpC,iBAAiB,CAwGnB;AAED;;;;;;;;;;;;;;sEAcsE;AACtE,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,MAAM,EACZ,aAAa,EAAE,iBAAiB,EAChC,iBAAiB,GAAE,gBAAgB,EAAO,GACzC,MAAM,CA6CR"}
+{"version":3,"file":"enforcement-gate.d.ts","sourceRoot":"","sources":["../src/enforcement-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EACV,iBAAiB,EACjB,cAAc,EACd,gBAAgB,EAChB,kBAAkB,EACnB,MAAM,eAAe,CAAC;AAGvB,OAAO,EAEL,KAAK,aAAa,EACnB,MAAM,eAAe,CAAC;AA4CvB;;iEAEiE;AACjE,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,QAAQ,EAAE,MAAM;AAChB,uEAAuE;AACvE,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,GACtC;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,kBAAkB,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,IAAI,CAgCxD;AAED;;;;;;;0BAO0B;AAC1B,wBAAgB,kBAAkB,CAAC,KAAK,EAAE;IACxC;sEACkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC7B,6DAA6D;IAC7D,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,0EAA0E;IAC1E,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAClC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,GAAG,MAAM,EAAE,CA4DX;AA6kBD,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,kBAAkB,EAChC,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,UAAU,EAAE,EAC1B,qBAAqB,GAAE,MAAU;AACjC;;;;uCAIuC;AACvC,kBAAkB,GAAE,MAAW;AAC/B,+DAA+D;AAC/D,gBAAgB,GAAE,aAIjB,GACA,iBAAiB,CAqHnB;AAED;;;;;;;;;;;;+DAY+D;AAC/D,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,MAAM,EACb,aAAa,EAAE,iBAAiB,EAChC,kBAAkB,GAAE,gBAAgB,EAAO,GAC1C,MAAM,CAkCR"}