crosscheck-mcp 0.1.13 → 0.1.15

package/dist/node-stdio.js

@@ -545,6 +545,22 @@ var init_better_sqlite3 = __esm({
        ORDER BY purpose`
         ).all(sessionId);
       }
+      async listUsageGroupedByModel(sessionId) {
+        return this.cached(
+          "usage-grp-model",
+          `SELECT provider,
+              model,
+              COUNT(*) AS calls,
+              COALESCE(SUM(prompt_tokens),     0) AS prompt_tokens,
+              COALESCE(SUM(completion_tokens), 0) AS completion_tokens,
+              COALESCE(SUM(total_tokens),      0) AS total_tokens,
+              COALESCE(SUM(cost_usd),          0) AS cost_usd
+       FROM usage_log
+       WHERE session_id = ?
+       GROUP BY provider, model
+       ORDER BY cost_usd DESC, provider, model`
+        ).all(sessionId);
+      }
       async listUsageGroupedByProvider(purpose) {
         if (purpose !== void 0) {
           return this.cached(
@@ -1052,7 +1068,8 @@ function modelPricing(pricing, provider, model) {
   return {
     prompt_per_1k: numberOrZero(e["prompt_per_1k"]),
     completion_per_1k: numberOrZero(e["completion_per_1k"]),
-    cached_per_1k: numberOrZero(e["cached_per_1k"])
+    cached_per_1k: numberOrZero(e["cached_per_1k"]),
+    ...e["estimated"] === true ? { estimated: true } : {}
   };
 }
 function numberOrZero(v) {
@@ -1072,7 +1089,7 @@ function calculateCost(pricing, provider, model, promptTokens, completionTokens,
   const prompt = Math.max(0, Math.trunc(promptTokens) - cached);
   const completion = Math.max(0, Math.trunc(completionTokens));
   const raw = prompt / 1e3 * rates.prompt_per_1k + completion / 1e3 * rates.completion_per_1k + cached / 1e3 * rates.cached_per_1k;
-  return { cost_usd: roundTo(raw, 8), estimated: false };
+  return { cost_usd: roundTo(raw, 8), estimated: rates.estimated === true };
 }
 function roundTo(x, n) {
   if (!Number.isFinite(x)) return 0;
@@ -1092,7 +1109,7 @@ var PROVIDER_CAPS = {
     family: "anthropic",
     system_role: "separate",
     supports_temperature: "model",
-    reasoning_prefixes: ["claude-opus-4-7", "claude-opus-4-8"]
+    reasoning_prefixes: ["claude-opus-4-7", "claude-opus-4-8", "claude-fable-5"]
   },
   openai: {
     family: "openai_chat",
@@ -2044,7 +2061,17 @@ Examples:
 - \`xc what's the right caching strategy here?\` \u2192 \`mcp__crosscheck__${DEFAULT_TOOL}({ question: "what's the right caching strategy here?" })\` (no tool name match \u2192 default to ${DEFAULT_TOOL})
 - \`XC how risky is this refactor?\` \u2192 same default-to-${DEFAULT_TOOL} behavior
 
-This convention is opt-in: a user message without the \`xc\`/\`XC\` prefix should NOT be auto-routed here. Pick tools normally based on the conversation.`;
+This convention is opt-in: a user message without the \`xc\`/\`XC\` prefix should NOT be auto-routed here. Pick tools normally based on the conversation.
+
+Reasoning upgrade (Fable 5):
+- The reasoning tools (plan, solve, debate, orchestrate, audit, triangulate) can bump their lead reasoning seat to Fable 5 \u2014 Anthropic's newest thinking model \u2014 instead of the default Opus 4.8. Only that one seat is upgraded; other panel seats stay on their normal models, so premium tokens are not wasted.
+- When a tool result includes a "suggested_upgrade" block, the engine judged the task reasoning-heavy. Surface it: ask the user something like "This looks reasoning-heavy \u2014 bump the lead seat to Fable 5 (higher quality, higher cost)?" If they say yes, re-run the SAME tool with reasoning:"max" added. Do NOT upgrade silently.
+- If the user explicitly asks for the best/deepest reasoning up front, pass reasoning:"max" directly. A result with reasoning_upgrade.applied = true confirms Fable 5 was used.
+
+Spend visibility:
+- Every reasoning-tool result carries a "run_summary" whose pre-rendered "text" block already includes a "spend by model (this call)" breakdown. Show that block \u2014 do not bury the cost.
+- "run_summary" also carries "session_by_model" + "session_cost_usd" (per-model spend for the whole session). At the END of a multi-turn task, present the session spend per model plus the aggregate total, so the user knows what the task cost without scrolling back.
+- Fable 5's price is a provisional placeholder; rows from it are flagged "(est)"/estimated \u2014 say so when reporting those dollar figures.`;
 }
 
 // src/tools/index.ts
@@ -2300,6 +2327,7 @@ function roundCost(x) {
 function aggregateUsage(usages) {
   const byCall = usages.map((u) => ({ ...u }));
   const byProvider = /* @__PURE__ */ new Map();
+  const byModel = /* @__PURE__ */ new Map();
   let totalPrompt = 0;
   let totalCompletion = 0;
   let totalCached = 0;
@@ -2327,6 +2355,29 @@ function aggregateUsage(usages) {
     bp.cost_usd = roundCost(bp.cost_usd + u.cost_usd);
     bp.calls += 1;
     bp.estimated = bp.estimated || u.estimated;
+    const modelKey = `${u.provider}/${u.model}`;
+    let bm = byModel.get(modelKey);
+    if (!bm) {
+      bm = {
+        provider: u.provider,
+        model: u.model,
+        prompt_tokens: 0,
+        completion_tokens: 0,
+        cached_tokens: 0,
+        total_tokens: 0,
+        cost_usd: 0,
+        calls: 0,
+        estimated: false
+      };
+      byModel.set(modelKey, bm);
+    }
+    bm.prompt_tokens += u.prompt_tokens;
+    bm.completion_tokens += u.completion_tokens;
+    bm.cached_tokens += u.cached_tokens;
+    bm.total_tokens += u.total_tokens;
+    bm.cost_usd = roundCost(bm.cost_usd + u.cost_usd);
+    bm.calls += 1;
+    bm.estimated = bm.estimated || u.estimated;
     totalPrompt += u.prompt_tokens;
     totalCompletion += u.completion_tokens;
     totalCached += u.cached_tokens;
@@ -2336,6 +2387,7 @@ function aggregateUsage(usages) {
   return {
     by_call: byCall,
     by_provider: Array.from(byProvider.values()),
+    by_model: Array.from(byModel.values()),
     totals: {
       prompt_tokens: totalPrompt,
       completion_tokens: totalCompletion,
@@ -2418,7 +2470,46 @@ function renderRunSummary(opts) {
       `${glyph} purpose: ${r.purpose}  (calls=${r.calls} tokens=${withCommas(r.total_tokens)} cost=$${r.cost_usd.toFixed(4)} wall=${(r.wall_ms / 1e3).toFixed(1)}s cpu=${(r.cpu_ms / 1e3).toFixed(3)}s)`
     );
   }
-  const text = [header, ...bodyLines].join("\n");
+  const callByModel = rollupSpendByModel(
+    opts.answers.map((a) => ({
+      provider: a.usage?.provider ?? "",
+      model: a.usage?.model ?? "",
+      calls: 1,
+      total_tokens: a.usage?.total_tokens ?? 0,
+      cost_usd: a.usage?.cost_usd ?? 0,
+      estimated: a.usage?.estimated ?? false
+    })).filter((r) => r.provider !== "")
+  );
+  let sessionByModel;
+  let sessionCost;
+  if (opts.sessionModelRows && opts.sessionModelRows.length > 0) {
+    sessionByModel = rollupSpendByModel(
+      opts.sessionModelRows.map((r) => ({
+        provider: r.provider,
+        model: r.model,
+        calls: r.calls,
+        total_tokens: r.total_tokens,
+        cost_usd: r.cost_usd,
+        // Derive estimated from the pricing doc (SQL rows don't carry it).
+        estimated: opts.pricing ? modelPricing(opts.pricing, r.provider, r.model)?.estimated === true : false
+      }))
+    );
+    sessionCost = round8(sessionByModel.reduce((s, r) => s + r.cost_usd, 0));
+  }
+  const lines = [header, ...bodyLines];
+  if (callByModel.length > 0) {
+    lines.push("spend by model (this call):");
+    lines.push(...renderSpendByModelLines(callByModel));
+  }
+  if (sessionByModel && sessionByModel.length > 0 && sessionCost !== void 0) {
+    lines.push(
+      `session so far \u2014 spend by model (${withCommas(
+        sessionByModel.reduce((s, r) => s + r.total_tokens, 0)
+      )} tokens, $${sessionCost.toFixed(4)}${sessionByModel.some((r) => r.estimated) ? " \xB7 includes estimated rates" : ""}):`
+    );
+    lines.push(...renderSpendByModelLines(sessionByModel));
+  }
+  const text = lines.join("\n");
   return {
     session_id: opts.sessionId,
     tool: opts.toolName,
@@ -2428,9 +2519,47 @@ function renderRunSummary(opts) {
     ended_at: endedAt,
     rows,
     totals,
+    call_by_model: callByModel,
+    ...sessionByModel ? { session_by_model: sessionByModel } : {},
+    ...sessionCost !== void 0 ? { session_cost_usd: sessionCost } : {},
     text
   };
 }
+function rollupSpendByModel(frags) {
+  const m = /* @__PURE__ */ new Map();
+  for (const f of frags) {
+    const key = `${f.provider}/${f.model}`;
+    let row = m.get(key);
+    if (!row) {
+      row = {
+        provider: f.provider,
+        model: f.model,
+        calls: 0,
+        total_tokens: 0,
+        cost_usd: 0,
+        estimated: false
+      };
+      m.set(key, row);
+    }
+    row.calls += f.calls;
+    row.total_tokens += f.total_tokens;
+    row.cost_usd = round8(row.cost_usd + f.cost_usd);
+    row.estimated = row.estimated || f.estimated;
+  }
+  return Array.from(m.values()).sort(
+    (a, b) => b.cost_usd - a.cost_usd || a.provider.localeCompare(b.provider)
+  );
+}
+function renderSpendByModelLines(rows) {
+  const nameW = Math.max(...rows.map((r) => `${r.provider}/${r.model}`.length), 0);
+  return rows.map((r) => {
+    const name = `${r.provider}/${r.model}`.padEnd(nameW);
+    const calls = `${r.calls} call${r.calls === 1 ? "" : "s"}`.padStart(8);
+    const toks = `${withCommas(r.total_tokens)} tok`.padStart(13);
+    const cost = `$${r.cost_usd.toFixed(4)}`.padStart(10);
+    return `  ${name}  ${calls}  ${toks}  ${cost}${r.estimated ? "  (est)" : ""}`;
+  });
+}
 async function attachUsageBlock(result, answers, opts) {
   const allCalls = [...answers, ...opts?.extras ?? []];
   const usages = [];
@@ -2466,7 +2595,12 @@ async function attachUsageBlock(result, answers, opts) {
   result["timing"] = timing;
   if (opts?.toolName && !result["_suppress_run_summary"]) {
     let sessionScope;
+    let sessionModelRows;
     if (opts.storage && opts.sessionId) {
+      try {
+        sessionModelRows = await opts.storage.listUsageGroupedByModel(opts.sessionId);
+      } catch {
+      }
       try {
         const rows = await opts.storage.listUsageGroupedByPurpose(opts.sessionId);
         if (rows.length > 0) {
@@ -2496,6 +2630,8 @@ async function attachUsageBlock(result, answers, opts) {
       toolName: opts.toolName,
       answers: allCalls,
       ...sessionScope ? { sessionScope } : {},
+      ...sessionModelRows && sessionModelRows.length > 0 ? { sessionModelRows } : {},
+      ...opts.pricing ? { pricing: opts.pricing } : {},
       ...opts.endedAtS !== void 0 ? { endedAtS: opts.endedAtS } : {}
     });
   }
@@ -3561,6 +3697,83 @@ function selectForDifficulty(args) {
   };
 }
 
+// src/core/reasoning-upgrade.ts
+init_esm_shims();
+var UPGRADE_MODEL = "claude-fable-5";
+var UPGRADE_LABEL = "Fable 5";
+function isUpgradeRequested(args) {
+  if (args["upgrade"] === true) return true;
+  const reasoning = args["reasoning"];
+  if (typeof reasoning === "string" && reasoning.trim().toLowerCase() === "max") {
+    return true;
+  }
+  const model = args["model"];
+  if (typeof model === "string") {
+    const m = model.trim().toLowerCase();
+    if (m === "fable5" || m === "fable-5" || m === "fable" || m === UPGRADE_MODEL) {
+      return true;
+    }
+  }
+  return false;
+}
+var HEAVY_TERMS = [
+  /\bprov(e|ing|en)\b|\bproof\b|\btheorem\b|\bderiv(e|ation)\b/i,
+  /\barchitect(ure|ing)?\b|\bdesign\s+(a|the|an)\b|\bhigh[-\s]?level\s+design\b/i,
+  /\btrade[-\s]?offs?\b|\bpros?\s+and\s+cons?\b|\bweigh\b/i,
+  /\boptimi[sz]e\b|\bcomplexity\b|\bO\(|\balgorithm(ic)?\b/i,
+  /\brace\s+condition\b|\bconcurren(t|cy)\b|\bdeadlock\b|\bdistributed\b|\bconsensus\b/i,
+  /\broot[-\s]?cause\b|\bdebug(ging)?\b|\bwhy\s+(does|is|would|might)\b/i,
+  /\bsecurity\b|\bthreat\s+model\b|\bexploit\b|\bvulnerabilit(y|ies)\b/i,
+  /\bmigrat(e|ion)\b|\brefactor\b|\bre[-\s]?architect\b/i,
+  /\binvariant\b|\bcorrectness\b|\bedge\s+cases?\b|\bformal(ly)?\b/i,
+  /\bstrateg(y|ic|ies)\b|\bplan\s+(the|a|an|out)\b|\broadmap\b/i,
+  /\breason\s+(through|about)\b|\bstep[-\s]?by[-\s]?step\b|\bthink\s+deeply\b/i,
+  /\bnp[-\s]?(hard|complete)\b|\bgraph\b|\bstate\s+machine\b|\bconstraint\b/i
+];
+var DIFFICULTY_TERMS = /\b(hard|tricky|subtle|complex|complicated|non[-\s]?trivial|thorny|gnarly|difficult|deep)\b/i;
+function assessReasoning(text) {
+  const s = typeof text === "string" ? text : "";
+  const signals = [];
+  let score = 0;
+  let termHits = 0;
+  for (const re of HEAVY_TERMS) {
+    if (re.test(s)) termHits += 1;
+  }
+  if (termHits > 0) {
+    const add = Math.min(termHits, 4);
+    score += add;
+    signals.push(`${termHits} reasoning cue${termHits === 1 ? "" : "s"}`);
+  }
+  if (DIFFICULTY_TERMS.test(s)) {
+    score += 1;
+    signals.push("explicit difficulty marker");
+  }
+  const words = s.split(/\s+/).filter(Boolean).length;
+  if (words >= 120) {
+    score += 2;
+    signals.push("long, detailed prompt");
+  } else if (words >= 50) {
+    score += 1;
+    signals.push("substantial prompt");
+  }
+  const constraints = (s.match(/\b(must|should|need to|ensure|require[ds]?|constraint)\b/gi) ?? []).length + (s.match(/(^|\n)\s*(?:[-*]|\d+[.)])\s+/g) ?? []).length;
+  if (constraints >= 3) {
+    score += 1;
+    signals.push(`${constraints} constraints/steps`);
+  }
+  const heavy = score >= 3;
+  const reason = heavy ? `Task looks reasoning-heavy (${signals.join(", ") || "score " + score}).` : `Task looks routine (score ${score}).`;
+  return { heavy, score, reason, signals };
+}
+function buildSuggestedUpgrade(toolName, assessment) {
+  return {
+    model: UPGRADE_MODEL,
+    label: UPGRADE_LABEL,
+    reason: assessment.reason,
+    how: `re-run \`${toolName}\` with reasoning:"max" (or upgrade:true) to route the lead reasoning seat to ${UPGRADE_LABEL}. Other panel seats stay on their normal models, so only the high-level reasoning uses the premium model.`
+  };
+}
+
 // src/tools/audit.ts
 var AUDIT_OBVIOUS_FAILURE_HIGH = 0.3;
 var AUDIT_OBVIOUS_FAILURE_MED = 0.2;
@@ -3827,7 +4040,10 @@ ${rubricText}`;
       "Set ANTHROPIC_API_KEY or another provider in .env, or set `allow_self_audit=true` to permit the producing panel to self-grade."
     );
   }
-  const r = await requestStructured(auditor, msgs, AUDIT_RUBRIC_SCHEMA, {
+  const upgradeRequested = isUpgradeRequested(args);
+  const upgraded = upgradeRequested && opts.providers["anthropic"] !== void 0;
+  const auditorForCall = upgraded ? retargetProvider(opts.providers["anthropic"], UPGRADE_MODEL) : auditor;
+  const r = await requestStructured(auditorForCall, msgs, AUDIT_RUBRIC_SCHEMA, {
     maxTokens: 2048,
     maxRetries: 1,
     purpose: "audit"
@@ -3869,7 +4085,7 @@ ${rubricText}`;
     tool: "audit",
     mode: "single",
     strict_mode: strictMode,
-    auditor: { provider: auditor.name, model: auditor.model },
+    auditor: { provider: auditorForCall.name, model: auditorForCall.model },
     rubric: rubricItems,
     items: itemsWithMeta,
     overall_score: overall,
@@ -3877,6 +4093,26 @@ ${rubricText}`;
   };
   if (persona.meta.used !== null) result["persona"] = persona.meta;
   if (errs.length > 0) result["validation_errors"] = errs;
+  if (upgraded) {
+    result["reasoning_upgrade"] = {
+      applied: true,
+      model: UPGRADE_MODEL,
+      label: UPGRADE_LABEL,
+      seat: "auditor"
+    };
+  } else if (upgradeRequested) {
+    result["reasoning_upgrade"] = {
+      applied: false,
+      reason: `no Anthropic key available \u2014 the ${UPGRADE_LABEL} upgrade needs it.`
+    };
+  } else {
+    const assessment = assessReasoning(
+      typeof outputToAudit === "string" ? outputToAudit : String(outputToAudit ?? "")
+    );
+    if (assessment.heavy && opts.providers["anthropic"]) {
+      result["suggested_upgrade"] = buildSuggestedUpgrade("audit", assessment);
+    }
+  }
   if (!allPass && opts.storage && typeof sessionId === "string" && sessionId) {
     const marked = await markStaleOnAuditFailure(
       opts.storage,
@@ -7546,7 +7782,12 @@ ${recombineSys}` : recombineSys },
   ];
   let synthProvider = moderator;
   let synthModel = null;
-  if (cheapMode && opts.pricing) {
+  const upgradeRequested = isUpgradeRequested(args);
+  const upgraded = upgradeRequested && opts.providers["anthropic"] !== void 0;
+  if (upgraded) {
+    synthProvider = retargetProvider(opts.providers["anthropic"], UPGRADE_MODEL);
+    synthModel = `anthropic/${UPGRADE_MODEL}`;
+  } else if (cheapMode && opts.pricing) {
     const pick = selectForDifficulty({
       pricing: opts.pricing,
       tier: "med",
@@ -7617,6 +7858,24 @@ ${recombineSys}` : recombineSys },
   if (personaMeta.used !== null) result["persona"] = personaMeta;
   if (synthModel) result["synth_model"] = synthModel;
   if (synthErr) result["synth_error"] = synthErr;
+  if (upgraded) {
+    result["reasoning_upgrade"] = {
+      applied: true,
+      model: UPGRADE_MODEL,
+      label: UPGRADE_LABEL,
+      seat: "recombine/synthesis"
+    };
+  } else if (upgradeRequested) {
+    result["reasoning_upgrade"] = {
+      applied: false,
+      reason: `no Anthropic key available \u2014 the ${UPGRADE_LABEL} upgrade needs it.`
+    };
+  } else if (goal) {
+    const assessment = assessReasoning(goal);
+    if (assessment.heavy && opts.providers["anthropic"]) {
+      result["suggested_upgrade"] = buildSuggestedUpgrade("orchestrate", assessment);
+    }
+  }
   if (plannerErrors.length > 0) result["planner_errors"] = plannerErrors;
   if (unknownNames.length > 0) result["skipped_unknown_providers"] = unknownNames;
   if (blocked.length > 0) result["blocked_by_allowlist"] = blocked;
@@ -8788,6 +9047,9 @@ async function runCoordinate(args, opts) {
   const synthName = typeof args["synthesizer"] === "string" && args["synthesizer"] ? args["synthesizer"] : typeof args["moderator"] === "string" && args["moderator"] ? args["moderator"] : opts.moderator ?? "anthropic";
   const proposer = opts.providers[proposerName.toLowerCase()] ?? selected[0];
   const synth = opts.providers[synthName.toLowerCase()] ?? proposer;
+  const upgradeRequested = isUpgradeRequested(args);
+  const upgraded = upgradeRequested && opts.providers["anthropic"] !== void 0;
+  const synthForCall = upgraded ? retargetProvider(opts.providers["anthropic"], UPGRADE_MODEL) : synth;
   let critics = [];
   if (Array.isArray(args["critics"])) {
     for (const n of args["critics"]) {
@@ -8936,7 +9198,7 @@ ${critiqueBlock}`
     }
   ];
   const synthResult = await requestStructured(
-    synth,
+    synthForCall,
     synthMessages,
     STRUCTURED_SYNTHESIS_SCHEMA,
     { maxTokens, maxRetries: 1, purpose: "synth" }
@@ -8985,6 +9247,24 @@ ${critiqueBlock}`
   }
   if (unknownNames.length > 0) result["skipped_unknown_providers"] = unknownNames;
   if (blocked.length > 0) result["blocked_by_allowlist"] = blocked;
+  if (upgraded) {
+    result["reasoning_upgrade"] = {
+      applied: true,
+      model: UPGRADE_MODEL,
+      label: UPGRADE_LABEL,
+      seat: "synthesizer"
+    };
+  } else if (upgradeRequested) {
+    result["reasoning_upgrade"] = {
+      applied: false,
+      reason: `no Anthropic key available \u2014 the ${UPGRADE_LABEL} upgrade needs it.`
+    };
+  } else {
+    const assessment = assessReasoning(topic);
+    if (assessment.heavy && opts.providers["anthropic"]) {
+      result["suggested_upgrade"] = buildSuggestedUpgrade("coordinate", assessment);
+    }
+  }
   const allCallEnvelopes = [
     scannedProposal,
     ...scannedCritiques,
@@ -9525,6 +9805,8 @@ async function runDebate(args, opts) {
   let agreementBlock = null;
   const moderatorName = typeof args["moderator"] === "string" && args["moderator"] ? args["moderator"] : opts.moderator ?? "anthropic";
   const moderator = opts.providers[moderatorName.toLowerCase()] ?? selected[0];
+  const upgradeRequested = isUpgradeRequested(args);
+  const upgraded = upgradeRequested && opts.providers["anthropic"] !== void 0;
   for (let rnd = 1; rnd <= maxRounds; rnd++) {
     const roundMessages = [
       {
@@ -9586,6 +9868,7 @@ ${prior}` });
   let synthesisErrors = [];
   let personaMeta = null;
   if (moderator) {
+    const synthProvider = upgraded ? retargetProvider(opts.providers["anthropic"], UPGRADE_MODEL) : moderator;
     const condensed = transcript.map(
       (e) => `[${e.provider} \u2014 round ${e.round}]
 ${e.response ?? "(error)"}`
@@ -9616,7 +9899,7 @@ ${condensed}`
     ];
     if (structuredOpt) {
       const r = await requestStructured(
-        moderator,
+        synthProvider,
         synthMessages,
         STRUCTURED_SYNTHESIS_SCHEMA,
         { maxTokens, maxRetries: 1, purpose: "synth" }
@@ -9625,7 +9908,7 @@ ${condensed}`
       synthesisStructured = r.obj;
       synthesisErrors = r.errors;
     } else {
-      synthesis = await askOne(moderator, synthMessages, {
+      synthesis = await askOne(synthProvider, synthMessages, {
         maxTokens,
         temperature: 0.4,
         purpose: "synth"
@@ -9657,6 +9940,24 @@ ${condensed}`
     synthesis
   };
   if (personaMeta && personaMeta.used !== null) result["persona"] = personaMeta;
+  if (upgraded) {
+    result["reasoning_upgrade"] = {
+      applied: true,
+      model: UPGRADE_MODEL,
+      label: UPGRADE_LABEL,
+      seat: "moderator synthesis"
+    };
+  } else if (upgradeRequested) {
+    result["reasoning_upgrade"] = {
+      applied: false,
+      reason: `no Anthropic key available \u2014 the ${UPGRADE_LABEL} upgrade needs it.`
+    };
+  } else {
+    const assessment = assessReasoning(topic);
+    if (assessment.heavy && opts.providers["anthropic"]) {
+      result["suggested_upgrade"] = buildSuggestedUpgrade("debate", assessment);
+    }
+  }
   if (synthesisStructured !== null) {
     result["synthesis_structured"] = synthesisStructured;
   }
@@ -10728,7 +11029,15 @@ Return: (1) the plan as numbered steps, (2) risks, (3) alternatives considered.`
   if (args["providers"] !== void 0) debateArgs["providers"] = args["providers"];
   if (args["moderator"] !== void 0) debateArgs["moderator"] = args["moderator"];
   if (args["session_id"] !== void 0) debateArgs["session_id"] = args["session_id"];
-  return await runDebate(debateArgs, opts);
+  if (args["reasoning"] !== void 0) debateArgs["reasoning"] = args["reasoning"];
+  if (args["upgrade"] !== void 0) debateArgs["upgrade"] = args["upgrade"];
+  if (args["model"] !== void 0) debateArgs["model"] = args["model"];
+  const result = await runDebate(debateArgs, opts);
+  if (result["suggested_upgrade"] && typeof result["suggested_upgrade"] === "object") {
+    const su = result["suggested_upgrade"];
+    su["how"] = `re-run \`plan\` with reasoning:"max" (or upgrade:true) to route the plan-synthesis seat to Fable 5. The debaters stay on their normal models.`;
+  }
+  return result;
 }
 
 // src/tools/recall.ts
@@ -11461,8 +11770,11 @@ ${problem}` : problem;
   let winningProvider = null;
   let lastVerification = null;
   const maxTokens = opts.maxTokens ?? 4096;
+  const upgradeRequested = isUpgradeRequested(args);
+  const fableProvider = upgradeRequested && opts.providers["anthropic"] ? retargetProvider(opts.providers["anthropic"], UPGRADE_MODEL) : null;
+  const upgraded = fableProvider !== null;
   for (let i = 1; i <= maxAttempts; i++) {
-    const provider = selected[(i - 1) % selected.length];
+    const provider = fableProvider ?? selected[(i - 1) % selected.length];
     const msgs = [
       { role: "system", content: systemMsg },
       { role: "user", content: userBlock }
@@ -11559,6 +11871,24 @@ Re-emit the FULL solution. No commentary.`
   }
   if (unknownNames.length > 0) result["skipped_unknown_providers"] = unknownNames;
   if (blocked.length > 0) result["blocked_by_allowlist"] = blocked;
+  if (upgraded) {
+    result["reasoning_upgrade"] = {
+      applied: true,
+      model: UPGRADE_MODEL,
+      label: UPGRADE_LABEL,
+      seat: "solver"
+    };
+  } else if (upgradeRequested) {
+    result["reasoning_upgrade"] = {
+      applied: false,
+      reason: `no Anthropic key available \u2014 the ${UPGRADE_LABEL} upgrade needs it.`
+    };
+  } else {
+    const assessment = assessReasoning(problem);
+    if (assessment.heavy && opts.providers["anthropic"]) {
+      result["suggested_upgrade"] = buildSuggestedUpgrade("solve", assessment);
+    }
+  }
   const sessionId = typeof args["session_id"] === "string" ? args["session_id"] : null;
   const allCallEnvelopes = solveAnswers;
   const wallMs = Math.trunc(performance12.now() - callStartedWall);
@@ -11837,7 +12167,7 @@ var CHECK_INTERVAL_SECONDS = 3 * 24 * 60 * 60;
 var DEFAULT_PACKAGE = "crosscheck-cli";
 var FETCH_TIMEOUT_MS = 3e3;
 function engineVersion() {
-  return true ? "0.1.13" : "0.0.0-dev";
+  return true ? "0.1.15" : "0.0.0-dev";
 }
 function defaultUpdateCachePath() {
   const base = process.env["CROSSCHECK_DATA_DIR"] || path10.join(os.homedir() || os.tmpdir(), ".crosscheck");
@@ -12191,6 +12521,9 @@ async function runTriangulate(args, opts) {
   };
   if (args["providers"] !== void 0) coordArgs["providers"] = args["providers"];
   if (args["session_id"] !== void 0) coordArgs["session_id"] = args["session_id"];
+  if (args["reasoning"] !== void 0) coordArgs["reasoning"] = args["reasoning"];
+  if (args["upgrade"] !== void 0) coordArgs["upgrade"] = args["upgrade"];
+  if (args["model"] !== void 0) coordArgs["model"] = args["model"];
   const coord = await runCoordinate(coordArgs, opts);
   if (typeof coord["error"] === "string") return coord;
   const synth = coord["synthesis_structured"] ?? {};
@@ -12239,10 +12572,16 @@ async function runTriangulate(args, opts) {
     "session",
     "transcript_path",
     "blocked_by_allowlist",
-    "skipped_unknown_providers"
+    "skipped_unknown_providers",
+    "reasoning_upgrade",
+    "suggested_upgrade"
   ]) {
     if (k in coord) result[k] = coord[k];
   }
+  if (result["suggested_upgrade"] && typeof result["suggested_upgrade"] === "object") {
+    const su = result["suggested_upgrade"];
+    su["how"] = `re-run \`triangulate\` with reasoning:"max" (or upgrade:true) to route the synthesizer seat to Fable 5. The proposer + critics stay on their normal models.`;
+  }
   return result;
 }
 
@@ -12463,6 +12802,7 @@ function orchestrateTool(providers, allowlist, bridge, moderator, storage, prici
       additionalProperties: true,
       properties: {
         goal: { type: "string" },
+        reasoning: { type: "string", enum: ["default", "max"], description: '"max" bumps the recombine/synthesis seat to Fable 5 (premium thinking model); worker nodes stay on their normal (incl. cheap-mode) models. Omit for the default.' },
         dag: { type: "object", additionalProperties: true },
         context: { type: "string" },
         providers: { type: "array", items: { type: "string" } },
@@ -12497,6 +12837,7 @@ function solveTool(providers, allowlist, bridge, storage, breakers, transcriptsD
       additionalProperties: true,
       properties: {
         problem: { type: "string" },
+        reasoning: { type: "string", enum: ["default", "max"], description: '"max" bumps the lead reasoning seat to Fable 5 (premium thinking model) for this call; other seats stay on their normal models. Omit for the Opus 4.8 default.' },
         verifier: { type: "object", additionalProperties: true },
         context: { type: "string" },
         max_attempts: { type: "integer", minimum: 1 },
@@ -12831,6 +13172,7 @@ function planTool(providers, allowlist, bridge) {
       additionalProperties: true,
       properties: {
         goal: { type: "string" },
+        reasoning: { type: "string", enum: ["default", "max"], description: '"max" bumps the plan-synthesis seat to Fable 5 (premium thinking model); the debaters stay on their normal models. Omit for the Opus 4.8 default.' },
         constraints: { type: "string" },
         context: { type: "string" },
         providers: { type: "array", items: { type: "string" } },
@@ -12860,6 +13202,7 @@ function triangulateTool(providers, allowlist, bridge) {
       additionalProperties: true,
       properties: {
         question: { type: "string" },
+        reasoning: { type: "string", enum: ["default", "max"], description: '"max" bumps the synthesizer seat to Fable 5 (premium thinking model); the proposer + critics stay on their normal models. Omit for the default.' },
         context: { type: "string" },
         providers: { type: "array", items: { type: "string" } },
         session_id: { type: "string" },
@@ -12923,6 +13266,7 @@ function debateTool(providers, allowlist, bridge, innerCallers, storage, pricing
         providers: { type: "array", items: { type: "string" } },
         moderator: { type: "string" },
         session_id: { type: "string" },
+        reasoning: { type: "string", enum: ["default", "max"], description: '"max" bumps the moderator-synthesis seat to Fable 5 (premium thinking model); the debaters stay on their normal models. Omit for the Opus 4.8 default.' },
         structured: { type: "boolean" },
         extract_claims: { type: "boolean" },
         early_stop: { type: "boolean" },
@@ -13007,6 +13351,7 @@ function auditTool(providers, allowlist, bridge, transcriptsDir, pricing, storag
       additionalProperties: true,
       properties: {
         output_to_audit: { type: "string" },
+        reasoning: { type: "string", enum: ["default", "max"], description: '"max" bumps the auditor seat to Fable 5 (premium thinking model) in single-auditor mode. Omit for the default.' },
         session_id: { type: "string" },
         auditor: { type: "string" },
         producing_panelists: { type: "array", items: { type: "string" } },
@@ -13369,7 +13714,7 @@ async function flush() {
 
 // src/server.ts
 var SERVER_NAME = "crosscheck-agent";
-var SERVER_VERSION = true ? "0.1.13" : "0.0.0-dev";
+var SERVER_VERSION = true ? "0.1.15" : "0.0.0-dev";
 function extractRunSummaryText(out) {
   if (out === null || typeof out !== "object" || Array.isArray(out)) return void 0;
   const rs = out["run_summary"];