@sellable/mcp 0.1.751 → 0.1.752

package/dist/refill-run-loop.js

@@ -2105,6 +2105,10 @@ const INHERITED_ATTEMPT_LEDGER_KEYS = [
     "drySourcePrepAttempts",
     "approvalCohortAttempts",
     "erroredCellRepairAttempts",
+    // fix(112aw): mirrors WORKSPACE_ATTEMPT_LEDGER_KEYS — census fingerprints of
+    // confirmed completeness-claim releases must survive the fence inherit or a
+    // continuation would re-authorize the same release and reopen the livelock.
+    "confirmedClaimReleaseAttempts",
 ];
 function inheritAttemptLedgers(base, incoming) {
     if (!incoming)

package/dist/tools/refill-sends.js

@@ -253,6 +253,10 @@ const WORKSPACE_ATTEMPT_LEDGER_KEYS = [
     "drySourcePrepAttempts",
     "approvalCohortAttempts",
     "erroredCellRepairAttempts",
+    // fix(112aw): census fingerprints at which a CONFIRMED completeness claim was
+    // released. Stripping this would re-authorize a confirmed release on every
+    // coordinator call and reopen the 112as livelock.
+    "confirmedClaimReleaseAttempts",
 ];
 // A fenced exact run records its bounded attempt receipts on ITS OWN
 // runState; the workspace loop replans from workspaceRunState. Without this
@@ -1499,12 +1503,17 @@ async function selectWorkspaceExactTarget(input, workspacePlanOverride, options
     // opening is barred for those targets (in the selection loop below).
     const completeDeferredTargets = blockedExactTargets.filter((blocked) => blocked.blocker === "complete" ||
         blocked.blocker === "capped_by_scheduler");
-    const waiveCompleteClaims = options.waiveCompleteClaims === true;
+    const waiveCompleteClaims = options.waiveCompleteClaims === true ||
+        options.waiveCompleteClaims === "include_confirmed";
+    const waiveConfirmedClaims = options.waiveCompleteClaims === "include_confirmed";
     const prefilterBlockedTargets = blockedExactTargets.filter((blocked) => blocked.blocker !== "complete" &&
         blocked.blocker !== "capped_by_scheduler" &&
         // fix(112as): on the bounded release pass, a self-issued
         // exact_action_complete claim no longer bars its own edge.
-        !(waiveCompleteClaims && blocked.blocker === "exact_action_complete"));
+        !(waiveCompleteClaims && blocked.blocker === "exact_action_complete") &&
+        // fix(112aw): a census-authorized release also waives CONFIRMED claims.
+        !(waiveConfirmedClaims &&
+            blocked.blocker === EXACT_ACTION_COMPLETE_CONFIRMED_BLOCKER));
     const seenTargetKeys = new Set();
     // fix(112ak): every refusal is recorded so a non-empty-census terminal can
     // name the concrete per-lane blocker instead of reporting a bare dead end.
@@ -1544,16 +1553,61 @@ async function selectWorkspaceExactTarget(input, workspacePlanOverride, options
             return null;
         if (coordinatorExcludedEdges.length === 0)
             return null;
-        if (!coordinatorExcludedEdges.every((edge) => edge.blocker === "exact_action_complete")) {
+        if (!coordinatorExcludedEdges.every((edge) => edge.blocker === EXACT_ACTION_COMPLETE_BLOCKER ||
+            edge.blocker === EXACT_ACTION_COMPLETE_CONFIRMED_BLOCKER)) {
             return null;
         }
         const census = workspaceGapBearingActionableSupply(workspacePlan);
         if (census.actionableRows <= 0 && !census.frontierHasMoreRows) {
             return null;
         }
-        const released = await selectWorkspaceExactTarget(input, workspacePlan, {
+        // fix(112aw): a CONFIRMED claim is a bounded batch receipt, not proof the
+        // edge is done — prepare/approve run in bounded cohorts, so a 50-send day
+        // legitimately needs the SAME edge many times (Dotwork td7-28 run 1:
+        // approve_messages + prepare_messages hardened to confirmed after two
+        // productive batches, then refused the remaining 40-send fill against a
+        // census of 6 approval candidates). Release confirmed claims too, but
+        // only when the gap-bearing census MOVED since the last confirmed
+        // release: a productive batch always changes the census (rows advance
+        // stages), while a dispatch that moved nothing leaves it identical and
+        // the claim stands. That keeps the 112as-b livelock kill, re-keyed on
+        // progress instead of receipt count.
+        const hasConfirmedClaims = coordinatorExcludedEdges.some((edge) => edge.blocker === EXACT_ACTION_COMPLETE_CONFIRMED_BLOCKER);
+        let releaseInput = input;
+        if (hasConfirmedClaims) {
+            const fingerprint = [
+                census.approvalFrontier,
+                census.generateFrontier,
+                census.enrichFrontier,
+                census.rubricFrontier,
+                census.frontierHasMoreRows ? 1 : 0,
+            ].join(":");
+            const priorReleases = Array.isArray(workspaceRunState?.confirmedClaimReleaseAttempts)
+                ? workspaceRunState.confirmedClaimReleaseAttempts
+                : [];
+            if (priorReleases.some((entry) => stringValue(recordValue(entry)?.fingerprint) === fingerprint)) {
+                return null;
+            }
+            releaseInput = {
+                ...input,
+                workspaceRunState: {
+                    ...(workspaceRunState ?? {
+                        version: 1,
+                        senderCursors: [],
+                        laneCooldowns: [],
+                        passRates: [],
+                        coordinatorBlockedExactTargets: [],
+                    }),
+                    confirmedClaimReleaseAttempts: [
+                        ...priorReleases.filter((entry) => Boolean(recordValue(entry))),
+                        { fingerprint, decidedAt: new Date().toISOString() },
+                    ],
+                },
+            };
+        }
+        const released = await selectWorkspaceExactTarget(releaseInput, workspacePlan, {
             ...options,
-            waiveCompleteClaims: true,
+            waiveCompleteClaims: hasConfirmedClaims ? "include_confirmed" : true,
             seedExcludedEdges: [...coordinatorExcludedEdges],
         });
         // The release may only ADD a dispatch. If it fails to bind an edge, fall
@@ -1846,6 +1900,11 @@ async function selectWorkspaceExactTarget(input, workspacePlanOverride, options
                 blocked.blocker === "exact_action_complete") {
                 return false;
             }
+            // fix(112aw): mirror the confirmed-claim waiver after the exact rebind.
+            if (waiveConfirmedClaims &&
+                blocked.blocker === EXACT_ACTION_COMPLETE_CONFIRMED_BLOCKER) {
+                return false;
+            }
             recordExcludedEdge(exactSelectedTarget, blocked, "post_rebind");
             return true;
         })) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sellable/mcp",
-  "version": "0.1.751",
+  "version": "0.1.752",
   "type": "module",
   "description": "Sellable MCP server for Claude Code, Codex, and Hermes campaign workflows",
   "main": "dist/index.js",