@sellable/mcp 0.1.750 → 0.1.751

package/dist/tools/refill-sends.js

@@ -2025,6 +2025,35 @@ function laneFrontierIsRubricTerminal(frontier) {
     const status = stringValue(diagnosis.status);
     return status === "zero_yield" || status === "low_yield";
 }
+// fix(112au): a lane can be receipt-proven spent WITHOUT the classifier having
+// labelled its stage `icp_or_rubric_rejection`. Dotwork's receipts carry
+// `retryable: false`, `status: "zero_yield"`, `activeCellCount: 0` and
+// `stage: "mixed_or_unknown"` (dominantReason legacy_progress_zero_yield), so
+// the lane stayed "convertible", kept its rows in the actionable census, and
+// the run terminaled `actionable_supply_not_queued` against supply it could
+// never convert — an owner-invariant breach caused by a MISSING stage label,
+// not by real actionable work.
+//
+// The substantive proof of exhaustion is: the preparation receipt is
+// NON-RETRYABLE, it yielded nothing, and there is no work still in flight.
+// The stage label is a classifier detail on top of that.
+//
+// activeCellCount === 0 is load-bearing: a lane with cells still processing is
+// mid-flight, not spent, and must keep its rows in the census so the
+// active-prep-job wait path wins instead of a false exhaustion terminal.
+function laneFrontierIsReceiptProvenSpent(frontier) {
+    const frontierRecord = recordValue(frontier);
+    const diagnosis = recordValue(frontierRecord?.failureDiagnosis);
+    if (!diagnosis)
+        return false;
+    if (diagnosis.retryable !== false)
+        return false;
+    const status = stringValue(diagnosis.status);
+    if (status !== "zero_yield" && status !== "low_yield")
+        return false;
+    const activeCells = numberValue(frontierRecord?.activeCellCount);
+    return activeCells === 0;
+}
 // One frontier receipt describes one campaign table's lane, however many senders
 // share it. Fall back to sender identity only when the receipt did not name the
 // table it measured, so independent lanes still sum.
@@ -2099,7 +2128,8 @@ function workspaceActionableSupplyCensus(plan) {
         const stageCounts = recordValue(frontier?.stageCounts);
         const lane = workspaceLaneFrontier(planRecord, receipt, frontier, stageCounts);
         const laneKey = workspaceLaneFrontierKey(lane);
-        if (laneFrontierIsRubricTerminal(frontier)) {
+        if (laneFrontierIsRubricTerminal(frontier) ||
+            laneFrontierIsReceiptProvenSpent(frontier)) {
             mergeNonConvertibleLane(nonConvertibleByLane, laneKey, lane);
             continue;
         }
@@ -2185,7 +2215,11 @@ function workspaceGapBearingActionableSupply(plan) {
         const frontier = recordValue(receipt?.existingRowFrontier);
         const stageCounts = recordValue(frontier?.stageCounts);
         const lane = workspaceLaneFrontier(rec, receipt, frontier, stageCounts);
-        const rubricTerminal = laneFrontierIsRubricTerminal(frontier);
+        // fix(112au): both convertibility splits must agree. This one feeds the
+        // TERMINAL classifier, so a lane spent-by-receipt but unlabelled here would
+        // still drive actionable_supply_not_queued.
+        const rubricTerminal = laneFrontierIsRubricTerminal(frontier) ||
+            laneFrontierIsReceiptProvenSpent(frontier);
         const laneActionable = rubricTerminal
             ? 0
             : lane.approval + lane.generate + lane.enrich + lane.rubric;

package/package.json

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