@tekyzinc/gsd-t 5.2.11 → 5.4.10

package/templates/workflows/gsd-t-debug.workflow.js

@@ -7,11 +7,11 @@
 // M89: Stated-Claims→classify→research wiring (auto-research-contract v1.2.0 §6.5/§1/§2/§3/§4/§7).
 // Each debug cycle embeds the Stated-Claims snippet (§6.5) so the debug agent tags failure-root
 // claims KNOWN|GUESSED. After each cycle, GUESSED claims are classified: external failure-root
-// → write §7 marker (status=uncited) → research agent (model:"fable") → cite → flip marker
+// → write §7 marker (status=uncited) → research agent (model:"opus") → cite → flip marker
 // (status=cited) — instead of a patch-guess (pairs with #33 circuit-breaker). Internal →
 // grep/Read; grep-empty → escalate to external (§5.1). The existing debug-cycle ternary
-// (model: cycle===1?"opus":(overrides["debug-cycle-2"]??"fable")) is PRESERVED; the research
-// stage is a SEPARATE agent() with its own bare "fable" literal. Idempotent per §4.1.
+// (model: cycle===1?"opus":(overrides["debug-cycle-2"]??"opus")) is PRESERVED; the research
+// stage is a SEPARATE agent() with its own bare "opus" literal. Idempotent per §4.1.
 //
 // M94-D11 WRITER pattern (graph-consumer-wiring-contract.md §WRITER Pattern):
 // READER half: before the fix agent, query blast-radius + who-calls to localize the
@@ -57,7 +57,7 @@ const _args = (typeof args === "string") ? (() => { try { return JSON.parse(args
 // Default to {} so the premium fallback literals apply when no invoker injects overrides.
 // overrides values are CONCRETE model ids (resolver envelope); the bare literals below
 // are tier ALIASES. The sandbox runtime accepts BOTH forms in model: — proven live for
-// the concrete-id fable path by probe wf_c9faf817-373 (no HTTP 400).
+// the tier alias resolves to claude-opus-5 (Fable removed 2026-07-24).
 const overrides = (_args.overrides && typeof _args.overrides === "object") ? _args.overrides : {};
 const _CLI_ENVELOPE_SCHEMA = {
   type: "object", required: ["ok", "exitCode"], additionalProperties: true,
@@ -184,7 +184,7 @@ async function grepForClaim(projectDir, claimText, phaseName) {
   return r || { found: false, matches: [] };
 }
 
-// M89 §1.1 — AMBIGUOUS → LLM JUDGE (bare model:"fable" — NOT the ?? form; "judge" is not
+// M89 §1.1 — AMBIGUOUS → LLM JUDGE (bare model:"opus" — NOT the ?? form; "judge" is not
 // a designated stage, so the bare literal passes the M85 tier-set check and stays DISTINCT
 // from the debug-cycle ternary). internal/external/uncertain; uncertain → research (never
 // guess-internal). On error → "uncertain" (fail toward research).
@@ -201,7 +201,7 @@ async function judgeAmbiguous(claimText, phaseName) {
     `- "uncertain" = you cannot CONFIDENTLY place it internal — per M89 doctrine it is RESEARCHED, never guessed.`,
     `Return JSON: { "verdict": "internal"|"external"|"uncertain", "reason": "<one line>" }. No file/web work in THIS step.`,
   ].join("\n");
-  const r = await agent(prompt, { label: "classify-judge", model: "fable", schema: CLASSIFY_JUDGE_SCHEMA, phase: phaseName })
+  const r = await agent(prompt, { label: "classify-judge", model: "opus", schema: CLASSIFY_JUDGE_SCHEMA, phase: phaseName })
     .catch((e) => ({ verdict: "uncertain", reason: `judge error: ${e && e.message}` }));
   return (r && r.verdict) || "uncertain";
 }
@@ -263,7 +263,7 @@ async function runResearchForClaim(projectDir, claimText, artifactPath, phaseNam
 
   // External-claim handler closure (reused by the ambiguous→judge path).
   const doExternal = async () => {
-    log(`Research: external failure-root → research(fable) instead of patch-guess for "${claimKey.slice(0, 50)}"`);
+    log(`Research: external failure-root → research(opus) instead of patch-guess for "${claimKey.slice(0, 50)}"`);
     await appendUncitedMarker(externalArtifact, claimKey);
     const rr = await agent(
       [
@@ -272,7 +272,7 @@ async function runResearchForClaim(projectDir, claimText, artifactPath, phaseNam
         `Gap-key: "${claimKey}"`,
         `Emit ## Verified Facts (auto-research) block with source URL + fetch date. Append the trailer \`key: ${claimKey}\` on every fact line so the §7 gate matches by claim-key (Red Team MEDIUM #2). Return StructuredOutput JSON.`,
       ].join("\n"),
-      { label: "research", model: "fable", schema: RESEARCH_RESULT_SCHEMA, phase: phaseName }
+      { label: "research", model: "opus", schema: RESEARCH_RESULT_SCHEMA, phase: phaseName }
     ).catch((e) => ({ ok: false, gapKey: claimKey, reason: String(e && e.message) }));
 
     if (rr && rr.ok && rr.citedBlock) {
@@ -300,7 +300,7 @@ async function runResearchForClaim(projectDir, claimText, artifactPath, phaseNam
           `Gap-key: "${claimKey}"`,
           `Emit ## Verified Facts (auto-research) block. Append the trailer \`key: ${claimKey}\` on every fact line so the §7 gate matches by claim-key (Red Team MEDIUM #2). Return StructuredOutput JSON.`,
         ].join("\n"),
-        { label: "research", model: "fable", schema: RESEARCH_RESULT_SCHEMA, phase: phaseName }
+        { label: "research", model: "opus", schema: RESEARCH_RESULT_SCHEMA, phase: phaseName }
       ).catch((e) => ({ ok: false, gapKey: claimKey, reason: String(e && e.message) }));
 
       if (er && er.ok && er.citedBlock) {
@@ -449,7 +449,7 @@ for (let cycle = 1; cycle <= 2; cycle++) {
     label: `debug-cycle-${cycle}`,
     phase: `Cycle ${cycle}`,
     schema: DEBUG_CYCLE_SCHEMA,
-    model: cycle === 1 ? "opus" : (overrides["debug-cycle-2"] ?? "fable"),
+    model: cycle === 1 ? "opus" : (overrides["debug-cycle-2"] ?? "opus"),
   }).catch((e) => ({
     resolved: false,
     rootCause: `agent error: ${e && e.message}`,

package/templates/workflows/gsd-t-execute.workflow.js

@@ -17,7 +17,7 @@
 // Domain workers embed the Stated-Claims snippet (§6.5) so agents tag load-bearing claims
 // KNOWN|GUESSED. After domain workers, the Research phase iterates GUESSED entries through
 // bin/gsd-t-research-gate.cjs: external → write §7 marker (status=uncited) → research agent
-// (model:"fable") → cite → flip marker (status=cited). Internal → grep/Read; grep-empty →
+// (model:"opus") → cite → flip marker (status=cited). Internal → grep/Read; grep-empty →
 // escalate to external research + cite + marker (§5.1 ambiguous escalation). Idempotent per §4.1
 // (exact normalized claim-key match only). Wave is a pure composer and does NOT embed this wiring
 // (M85 zero-model: invariant; research reaches wave via its execute sub-workflow).
@@ -142,7 +142,7 @@ async function grepForClaim(projectDir, claimText, phaseName) {
 
 // M89 §1.1 — the AMBIGUOUS → LLM JUDGE. When the mechanical classifier finds no string
 // fact (class:ambiguous), the LLM decides internal/external/uncertain in natural language.
-// Bare model:"fable" (the research tier — NOT the ?? override form; "judge" is not a
+// Bare model:"opus" (the research tier — NOT the ?? override form; "judge" is not a
 // designated stage). Returns the verdict string; on any error → "uncertain" (fail toward
 // research — never guess-internal). The caller treats external/uncertain as research.
 const CLASSIFY_JUDGE_SCHEMA = {
@@ -165,7 +165,7 @@ async function judgeAmbiguous(claimText, phaseName) {
     `Return JSON: { "verdict": "internal"|"external"|"uncertain", "reason": "<one line>" }.`,
     `Do NOT modify files. Do NOT run web searches in THIS step — only decide the verdict.`,
   ].join("\n");
-  const r = await agent(prompt, { label: "classify-judge", model: "fable", schema: CLASSIFY_JUDGE_SCHEMA, phase: phaseName })
+  const r = await agent(prompt, { label: "classify-judge", model: "opus", schema: CLASSIFY_JUDGE_SCHEMA, phase: phaseName })
     .catch((e) => ({ verdict: "uncertain", reason: `judge error: ${e && e.message}` }));
   return (r && r.verdict) || "uncertain";
 }
@@ -422,14 +422,14 @@ if (allGuessedClaims.length === 0) {
       continue;
     }
 
-    // External-claim handler (§7 marker → research(fable) → cite → flip). Closure so the
+    // External-claim handler (§7 marker → research(opus) → cite → flip). Closure so the
     // ambiguous→judge path reuses it for an "external"/"uncertain" verdict.
     const doExternal = async () => {
-      log(`Research: external claim → write §7 marker + fable research for "${claimKey.slice(0, 50)}"${artifactPath ? "" : " (FALLBACK artifact — worker reported no path)"}`);
+      log(`Research: external claim → write §7 marker + opus research for "${claimKey.slice(0, 50)}"${artifactPath ? "" : " (FALLBACK artifact — worker reported no path)"}`);
       // §7: write uncited marker at classify time (to the real OR fallback artifact — fail-CLOSED)
       await writeUncitedMarker(externalArtifact, claimKey);
 
-      // §2: research agent — bare "fable" tier literal (NOT the ??-override form; contract §2)
+      // §2: research agent — bare "opus" tier literal (NOT the ??-override form; contract §2)
       const researchPrompt = [
         `Read \`${projectDir}/templates/prompts/research-subagent.md\` for the full research protocol.`,
         `Your task: verify this external guessed claim via live web sources.`,
@@ -440,7 +440,7 @@ if (allGuessedClaims.length === 0) {
       ].join("\n");
       const researchResult = await agent(researchPrompt, {
         label: "research",
-        model: "fable",
+        model: "opus",
         schema: RESEARCH_RESULT_SCHEMA,
         phase: "Research",
       }).catch((e) => ({ ok: false, gapKey: claimKey, reason: `research agent error: ${e && e.message}` }));

package/templates/workflows/gsd-t-phase.workflow.js

@@ -49,10 +49,10 @@
 //   iterates each [GUESSED:*] entry through the D1 classifier, which is a MECHANICAL
 //   STRING-FACT FILTER returning internal | external | AMBIGUOUS (v1.3.0). On
 //   class:external write a §7 status=uncited marker, run the research agent (bare
-//   model:"fable"), write a ## Verified Facts (auto-research) block, flip the marker to
+//   model:"opus"), write a ## Verified Facts (auto-research) block, flip the marker to
 //   status=cited. On class:internal: grep first; if grep empty, escalate to external
 //   (§5.1). On class:AMBIGUOUS (the regex has no string fact — semantic placement is the
-//   LLM's call, NOT regex's): run a small LLM JUDGE (model:"fable") that decides
+//   LLM's call, NOT regex's): run a small LLM JUDGE (model:"opus") that decides
 //   internal/external/uncertain in natural language. internal→grep; external→research;
 //   UNCERTAIN→treat as external→research (uncertain = verify, NEVER guess-internal — a
 //   silent miss is the one unacceptable outcome). Idempotent: an already-cited marker
@@ -83,7 +83,7 @@ const _args = (typeof args === "string") ? (() => { try { return JSON.parse(args
 // (preserves byte-identical M85 behavior for callers that have not been updated yet).
 // overrides values are CONCRETE model ids (resolver envelope); the bare literals below
 // are tier ALIASES. The sandbox runtime accepts BOTH forms in model: — proven live for
-// the concrete-id fable path by probe wf_c9faf817-373 (no HTTP 400).
+// the tier alias resolves to claude-opus-5 (Fable removed 2026-07-24).
 const overrides = (_args.overrides && typeof _args.overrides === "object") ? _args.overrides : {};
 const _CLI_ENVELOPE_SCHEMA = {
   type: "object", required: ["ok", "exitCode"], additionalProperties: true,
@@ -486,7 +486,7 @@ async function runStatedClaimsPipeline(projectDir, phaseName, phaseResult, state
 
     log(`m89: claim "${claimKey}" → class:${claimClass} route:${claimRoute} — ${envelope.reason || ""}`);
 
-    // External-claim handler (§7 marker → research(fable) → cite → flip). Closure so the
+    // External-claim handler (§7 marker → research(opus) → cite → flip). Closure so the
     // ambiguous→judge path can reuse it for an "external"/"uncertain" verdict.
     const doExternal = async () => {
       // §7: Write status=uncited marker into the (real OR fallback) artifact — ALWAYS written
@@ -504,7 +504,7 @@ async function runStatedClaimsPipeline(projectDir, phaseName, phaseResult, state
       ).catch((e) => ({ ok: false, error: String(e && e.message) }));
       log(`m89: wrote status=uncited marker for claim "${claimKey}" into ${externalArtifact}${primaryArtifact ? "" : " (FALLBACK artifact — worker reported no path)"}`);
 
-      // §2: Run the research agent (bare model: "fable" — not the ?? override form).
+      // §2: Run the research agent (bare model: "opus" — not the ?? override form).
       // The research agent reads its own protocol from research-subagent.md.
       log(`m89: running research agent for external claim "${claimKey}"`);
       const researchResult = await agent(
@@ -519,7 +519,7 @@ async function runStatedClaimsPipeline(projectDir, phaseName, phaseResult, state
           `Use WebSearch + WebFetch to find authoritative sources. Emit a ## Verified Facts (auto-research) block per §3 format. On every fact line append the trailer \`key: ${claimKey}\` so the §7 gate matches by claim-key (Red Team MEDIUM #2).`,
           `Return JSON per the schema with ok:true and citedBlock (the full markdown block) on success, or ok:false and reason on STAGE-FAILURE.`,
         ].join("\n"),
-        { label: "research-stage", phase: "Phase", schema: RESEARCH_RESULT_SCHEMA, model: "fable" }
+        { label: "research-stage", phase: "Phase", schema: RESEARCH_RESULT_SCHEMA, model: "opus" }
       ).catch((e) => ({ ok: false, gapKey: claimKey, reason: `research agent error: ${e && e.message}` }));
 
       if (researchResult && researchResult.ok && researchResult.citedBlock) {
@@ -598,7 +598,7 @@ async function runStatedClaimsPipeline(projectDir, phaseName, phaseResult, state
       await doInternal();
     } else {
       // class:AMBIGUOUS — the mechanical filter found NO string fact. Semantic placement
-      // is the LLM's call, NOT regex's. Run the LLM JUDGE (fable). internal→grep;
+      // is the LLM's call, NOT regex's. Run the LLM JUDGE (opus). internal→grep;
       // external→research; UNCERTAIN→research (uncertain = verify, NEVER guess-internal —
       // a silent miss is the one unacceptable outcome). The classifier never guessed a
       // default — it deferred, and now the LLM decides (and on doubt we research).
@@ -623,7 +623,7 @@ async function runStatedClaimsPipeline(projectDir, phaseName, phaseResult, state
           `Return JSON: { "verdict": "internal" | "external" | "uncertain", "reason": "<one line>" }.`,
           `Do NOT modify files. Do NOT run web searches in THIS step — only decide the verdict.`,
         ].join("\n"),
-        { label: "classify-judge", phase: "Phase", schema: CLASSIFY_JUDGE_SCHEMA, model: "fable" }
+        { label: "classify-judge", phase: "Phase", schema: CLASSIFY_JUDGE_SCHEMA, model: "opus" }
       ).catch((e) => ({ verdict: "uncertain", reason: `judge error: ${e && e.message} — failing toward research` }));
 
       const verdict = (judge && judge.verdict) || "uncertain";
@@ -674,7 +674,7 @@ async function runSolutionSpaceProbe(projectDir, phaseName, { milestone, briefPa
   // probe shifts UP — it competes over high-level APPROACHES (what/why/when, actors,
   // one-breath thesis), NOT lower-altitude implementation detail. This changes WHAT
   // the producers compete on, never WHO competes (producers stay opus, judge differs —
-  // M82 blindness invariant preserved) nor the probe's model (stays fable).
+  // M82 blindness now via fresh context) — probe + judge run opus (Fable removed 2026-07-24).
   const atApproachAltitude = altitude === "high-level-approach";
   const prompt = [
     `You are the Solution-Space Probe for the ${phaseName} phase${milestone ? ` of ${milestone}` : ""}. Decide ONE thing: should this phase generate MULTIPLE competing candidates (then a judge picks the best), or is a single draft sufficient?`,
@@ -688,7 +688,7 @@ async function runSolutionSpaceProbe(projectDir, phaseName, { milestone, briefPa
     `BIAS TOWARD COMPETING: if you are uncertain, or can name even two plausibly-different approaches, choose compete=true. A wasted competition costs ~3× this one phase; a missed-better-approach costs far more downstream (more pre-mortem blocks, more bugs, more verify cycles). Err on the side of generating options.`,
     `Return JSON per the schema: { "compete": true|false, "reason": "<one sentence>", "approaches": ["<a>","<b>",...] }.`,
   ].filter(Boolean).join("\n");
-  const opts = { label: "solution-space-probe", schema: _PROBE_SCHEMA, model: overrides["solution-space-probe"] ?? "fable" };
+  const opts = { label: "solution-space-probe", schema: _PROBE_SCHEMA, model: overrides["solution-space-probe"] ?? "opus" };
   if (phaseNameOpt) opts.phase = phaseNameOpt;
   const r = await agent(prompt, opts).catch(() => null);
   // Probe failure → bias toward competing (fail-toward-options, per the cost logic).
@@ -714,7 +714,7 @@ async function runPartitionProbe(projectDir, { milestone, briefPath, userInput,
     `BIAS TOWARD COMPETING: if ≥3 files/areas are in play or you're unsure, choose compete=true — the file-disjointness oracle will objectively pick the most-parallelizable valid carving among the candidates, so competing is low-risk and high-reward.`,
     `Return JSON per the schema.`,
   ].filter(Boolean).join("\n");
-  const opts = { label: "partition-probe", schema: _PROBE_SCHEMA, model: overrides["partition-probe"] ?? "fable" };
+  const opts = { label: "partition-probe", schema: _PROBE_SCHEMA, model: overrides["partition-probe"] ?? "opus" };
   if (phaseNameOpt) opts.phase = phaseNameOpt;
   const r = await agent(prompt, opts).catch(() => null);
   if (!r || typeof r.compete !== "boolean") {
@@ -1099,7 +1099,7 @@ if (!competitionOn) {
         `IMPORTANT: use the CANDIDATE LABEL (A, B, C…) shown above as the "id" in your scores.`,
       ].join("\n"),
       {
-        label: "judge:rubric", phase: "Judge", model: overrides["competition-judge"] ?? "fable",
+        label: "judge:rubric", phase: "Judge", model: overrides["competition-judge"] ?? "opus",
         schema: {
           type: "object", required: ["scores"], additionalProperties: true,
           properties: { scores: { type: "array", items: { type: "object", additionalProperties: true } } },
@@ -1353,7 +1353,7 @@ if (phaseName === "plan" && result && result.status !== "failed") {
       ``,
       `M89 ${STATED_CLAIMS_INSTRUCTION}`,
     ].join("\n"),
-    { label: "pre-mortem", phase: "Plan Hardening", schema: PRE_MORTEM_SCHEMA, model: overrides["pre-mortem"] ?? "fable" }
+    { label: "pre-mortem", phase: "Plan Hardening", schema: PRE_MORTEM_SCHEMA, model: overrides["pre-mortem"] ?? "opus" }
   ).catch((e) => ({ verdict: "BLOCK", findings: [{ severity: "HIGH", condition: `pre-mortem agent error: ${e && e.message}`, requiredTest: "re-run pre-mortem" }], notes: "agent-error" }));
 
   result.preMortem = preMortem;

package/templates/workflows/gsd-t-quick.workflow.js

@@ -8,7 +8,7 @@
 // The task agent embeds the Stated-Claims snippet (§6.5) and tags load-bearing claims KNOWN|GUESSED.
 // After the Execute phase, the Research phase iterates GUESSED entries through
 // bin/gsd-t-research-gate.cjs: external → write §7 marker (status=uncited) → research agent
-// (model:"fable") → cite → flip marker (status=cited). Internal → grep/Read; grep-empty →
+// (model:"opus") → cite → flip marker (status=cited). Internal → grep/Read; grep-empty →
 // escalate to external (§5.1). Idempotent per §4.1 (exact normalized claim-key match only).
 //
 // M90 §2 D4-T4: Architectural-trigger wiring (protocol-class path, R-ARCH-2 "everywhere" feed).
@@ -179,7 +179,7 @@ async function grepForClaim(projectDir, claimText, phaseName) {
   return r || { found: false, matches: [] };
 }
 
-// M89 §1.1 — AMBIGUOUS → LLM JUDGE (bare model:"fable"). internal/external/uncertain;
+// M89 §1.1 — AMBIGUOUS → LLM JUDGE (bare model:"opus"). internal/external/uncertain;
 // uncertain → research (never guess-internal). On error → "uncertain" (fail toward research).
 const CLASSIFY_JUDGE_SCHEMA = {
   type: "object", required: ["verdict"], additionalProperties: true,
@@ -194,7 +194,7 @@ async function judgeAmbiguous(claimText, phaseName) {
     `- "uncertain" = you cannot CONFIDENTLY place it internal — per M89 doctrine it is RESEARCHED, never guessed.`,
     `Return JSON: { "verdict": "internal"|"external"|"uncertain", "reason": "<one line>" }. No file/web work in THIS step.`,
   ].join("\n");
-  const r = await agent(prompt, { label: "classify-judge", model: "fable", schema: CLASSIFY_JUDGE_SCHEMA, phase: phaseName })
+  const r = await agent(prompt, { label: "classify-judge", model: "opus", schema: CLASSIFY_JUDGE_SCHEMA, phase: phaseName })
     .catch((e) => ({ verdict: "uncertain", reason: `judge error: ${e && e.message}` }));
   return (r && r.verdict) || "uncertain";
 }
@@ -383,7 +383,7 @@ if (guessedClaims.length === 0) {
 
     // External-claim handler closure (reused by the ambiguous→judge path).
     const doExternal = async () => {
-      log(`Research: external → marker + research(fable) for "${claimKey.slice(0, 50)}"${artifactPath ? "" : " (FALLBACK artifact — no reported path)"}`);
+      log(`Research: external → marker + research(opus) for "${claimKey.slice(0, 50)}"${artifactPath ? "" : " (FALLBACK artifact — no reported path)"}`);
       // §7 write uncited marker to the real OR fallback artifact — ALWAYS (fail-CLOSED)
       {
         const m = uncitedMarker(claimKey);
@@ -394,7 +394,7 @@ if (guessedClaims.length === 0) {
         ).catch(() => {});
         delete artifactCache[externalArtifact];
       }
-      // §2 research agent — bare literal model: "fable"
+      // §2 research agent — bare literal model: "opus"
       const rr = await agent(
         [
           `Read \`${projectDir}/templates/prompts/research-subagent.md\` for the research protocol.`,
@@ -402,7 +402,7 @@ if (guessedClaims.length === 0) {
           `Gap-key: "${claimKey}"`,
           `Emit ## Verified Facts (auto-research) block with source URL + fetch date. Append the trailer \`key: ${claimKey}\` on every fact line so the §7 gate matches by claim-key (Red Team MEDIUM #2). Return StructuredOutput JSON.`,
         ].join("\n"),
-        { label: "research", model: "fable", schema: RESEARCH_RESULT_SCHEMA, phase: "Research" }
+        { label: "research", model: "opus", schema: RESEARCH_RESULT_SCHEMA, phase: "Research" }
       ).catch((e) => ({ ok: false, gapKey: claimKey, reason: String(e && e.message) }));
 
       if (rr && rr.ok && rr.citedBlock) {

package/templates/workflows/gsd-t-verify.workflow.js

@@ -56,7 +56,7 @@ const _args = (typeof args === "string") ? (() => { try { return JSON.parse(args
 // Default to {} so the premium fallback literals apply when no invoker injects overrides.
 // overrides values are CONCRETE model ids (resolver envelope); the bare literals below
 // are tier ALIASES. The sandbox runtime accepts BOTH forms in model: — proven live for
-// the concrete-id fable path by probe wf_c9faf817-373 (no HTTP 400).
+// the tier alias resolves to claude-opus-5 (Fable removed 2026-07-24).
 const overrides = (_args.overrides && typeof _args.overrides === "object") ? _args.overrides : {};
 const _CLI_ENVELOPE_SCHEMA = {
   type: "object", required: ["ok", "exitCode"], additionalProperties: true,
@@ -771,7 +771,7 @@ const stages = [
       `Verdict is FAIL if you found any CRITICAL or HIGH severity bug; GRUDGING-PASS`,
       `if you searched exhaustively and found nothing. Return JSON per the schema.`,
     ].join("\n"),
-    { label: "red-team", phase: "Orthogonal Triad", schema: RED_TEAM_SCHEMA, model: overrides["red-team"] ?? "fable" }
+    { label: "red-team", phase: "Orthogonal Triad", schema: RED_TEAM_SCHEMA, model: overrides["red-team"] ?? "opus" }
   ),
 
   // Stage C — QA (test execution + shallow-test detection + contract compliance)