@sellable/mcp 0.1.749 → 0.1.750

package/dist/tools/refill-sends.d.ts

@@ -689,6 +689,13 @@ type WorkspaceCoordinatorWaitAction = {
     reason: string | null;
 };
 declare function clearCompleteDefersForCampaign(runState: Record<string, unknown> | undefined, campaignId: string | null, preserveActionKey?: string | null): Record<string, unknown> | undefined;
+declare function deferWorkspaceExactTarget(params: {
+    runState: unknown;
+    target: WorkspaceExactTarget;
+    blocker: string;
+}): {
+    coordinatorBlockedExactTargets: (Record<string, unknown> | null)[];
+};
 export declare function approvedPacketComparison(input: RefillSendsCommandInput, targetPlan: unknown): {
     changed: boolean;
     expectedTargetShapeRevision: string | null;
@@ -732,6 +739,9 @@ type RefillSenderSelectorMiss = {
 export declare const refillSendsDeferInternals: {
     clearCompleteDefersForCampaign: typeof clearCompleteDefersForCampaign;
     SUPPLY_INVALIDATED_DEFER_BLOCKERS: Set<string>;
+    deferWorkspaceExactTarget: typeof deferWorkspaceExactTarget;
+    EXACT_ACTION_COMPLETE_BLOCKER: string;
+    EXACT_ACTION_COMPLETE_CONFIRMED_BLOCKER: string;
 };
 export declare function executeRefillSendsCommand(input?: RefillSendsCommandInput): Promise<import("./workspace-context.js").WorkspaceRequiredResult | {
     ok: boolean;

package/dist/tools/refill-sends.js

@@ -933,10 +933,17 @@ const WORKSPACE_SUPPLY_ACTION_FAMILIES = new Set([
 // stale proof, not by absent supply.
 //
 // Same shape as 112c: a bounded ATTEMPT must not harden into a standing claim.
+const EXACT_ACTION_COMPLETE_BLOCKER = "exact_action_complete";
+// fix(112as-b): a completeness claim RE-CONFIRMED by a second identical receipt.
+// The 112as release deliberately never waives this, which is what stops the
+// release from looping forever across continuations.
+const EXACT_ACTION_COMPLETE_CONFIRMED_BLOCKER = "exact_action_complete_confirmed";
 const SUPPLY_INVALIDATED_DEFER_BLOCKERS = new Set([
     "complete",
     "capped_by_scheduler",
     "exact_action_complete",
+    // new supply genuinely invalidates even a re-confirmed claim
+    "exact_action_complete_confirmed",
 ]);
 function clearCompleteDefersForCampaign(runState, campaignId, 
 // fix(112ar): the action that JUST landed keeps its own defer. Clearing it
@@ -1204,20 +1211,42 @@ function deferWorkspaceExactTarget(params) {
     const existing = Array.isArray(current.coordinatorBlockedExactTargets)
         ? current.coordinatorBlockedExactTargets.map(recordValue).filter(Boolean)
         : [];
+    const matchesTarget = (entry) => {
+        const candidate = coordinatorBlockedExactTargets({
+            version: 1,
+            coordinatorBlockedExactTargets: [entry],
+        })[0];
+        return Boolean(candidate &&
+            coordinatorBlockedExactTargetMatches(candidate, params.target));
+    };
+    // fix(112as-b): 112as bounds its release with `waiveCompleteClaims`, which is
+    // per SELECTION CALL. Every next_exact_target continuation starts a fresh
+    // selection, so the same completed edge was released over and over and the
+    // coordinator ping-ponged between two already-complete edges without
+    // executing either (Dotwork: alternating prepare_messages:e5fc49c5 and
+    // approve_messages:4bf8c1e1). That traded the invariant breach for a
+    // livelock.
+    //
+    // Bound the release PER EDGE instead: the first exact_action_complete is a
+    // bounded attempt and stays releasable, but if the SAME edge comes back
+    // complete a second time, the claim is CONFIRMED by its own re-receipt and is
+    // never waived again. Self-limiting, and it needs no new ledger — the entry
+    // already survives continuations inside workspaceRunState.
+    const alreadyCompleteClaim = params.blocker === EXACT_ACTION_COMPLETE_BLOCKER &&
+        existing.some((entry) => matchesTarget(entry) &&
+            (stringValue(recordValue(entry)?.blocker) ===
+                EXACT_ACTION_COMPLETE_BLOCKER ||
+                stringValue(recordValue(entry)?.blocker) ===
+                    EXACT_ACTION_COMPLETE_CONFIRMED_BLOCKER));
     return {
         ...current,
         coordinatorBlockedExactTargets: [
-            ...existing.filter((entry) => {
-                const candidate = coordinatorBlockedExactTargets({
-                    version: 1,
-                    coordinatorBlockedExactTargets: [entry],
-                })[0];
-                return (!candidate ||
-                    !coordinatorBlockedExactTargetMatches(candidate, params.target));
-            }),
+            ...existing.filter((entry) => !matchesTarget(entry)),
             {
                 ...params.target,
-                blocker: params.blocker,
+                blocker: alreadyCompleteClaim
+                    ? EXACT_ACTION_COMPLETE_CONFIRMED_BLOCKER
+                    : params.blocker,
                 decidedAt: new Date().toISOString(),
             },
         ],
@@ -3115,6 +3144,9 @@ async function resolveRefillSenderSelectors(params) {
 export const refillSendsDeferInternals = {
     clearCompleteDefersForCampaign,
     SUPPLY_INVALIDATED_DEFER_BLOCKERS,
+    deferWorkspaceExactTarget,
+    EXACT_ACTION_COMPLETE_BLOCKER,
+    EXACT_ACTION_COMPLETE_CONFIRMED_BLOCKER,
 };
 export async function executeRefillSendsCommand(input = {}) {
     const normalizedInput = normalizeRefillSendsInput(input);

package/package.json

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