@akagilnc/pi-workflow-roles 0.1.2014 → 0.1.2026

package/dist/public-cli/main.js

@@ -14387,12 +14387,15 @@ function parseModelSpec(spec, fallbackThinking) {
   const thinkingSplit = trimmed.lastIndexOf(":");
   let modelPart = trimmed;
   let thinking = fallbackThinking;
-  if (thinkingSplit > 0) {
+  if (thinkingSplit !== -1) {
     const maybeThinking = trimmed.slice(thinkingSplit + 1);
-    if (THINKING_LEVELS.has(maybeThinking)) {
-      thinking = maybeThinking;
-      modelPart = trimmed.slice(0, thinkingSplit);
+    if (!THINKING_LEVELS.has(maybeThinking)) {
+      throw new Error(
+        `model specification must be provider/model[:thinking], got ${spec}`
+      );
     }
+    thinking = maybeThinking;
+    modelPart = trimmed.slice(0, thinkingSplit);
   }
   const slash = modelPart.indexOf("/");
   if (slash <= 0 || slash === modelPart.length - 1) {
@@ -14402,15 +14405,34 @@ function parseModelSpec(spec, fallbackThinking) {
   }
   const provider = modelPart.slice(0, slash);
   const model = modelPart.slice(slash + 1);
-  if (!thinking) {
+  return thinking === void 0 ? { provider, model } : { provider, model, thinking };
+}
+function parsePersistentModelSpec(spec) {
+  const parsed = parseModelSpec(spec);
+  if (parsed.thinking === void 0) {
     throw new Error(
       `model specification requires a thinking level (provider/model:thinking), got ${spec}`
     );
   }
-  return { provider, model, thinking };
+  return {
+    provider: parsed.provider,
+    model: parsed.model,
+    thinking: parsed.thinking
+  };
 }
 function formatModelSpec(selection) {
-  return `${selection.provider}/${selection.model}:${selection.thinking}`;
+  const base = `${selection.provider}/${selection.model}`;
+  return selection.thinking === void 0 ? base : `${base}:${selection.thinking}`;
+}
+function buildSeatModelCliArgs(model) {
+  if (model === void 0) return [];
+  return [
+    "--provider",
+    model.provider,
+    "--model",
+    model.model,
+    ...model.thinking === void 0 ? [] : ["--thinking", model.thinking]
+  ];
 }
 function parsePublicCliConfig(value) {
   if (value === null || typeof value !== "object" || Array.isArray(value)) {
@@ -15432,7 +15454,15 @@ import {
   writeFile as writeFile2
 } from "node:fs/promises";
 import { basename as basename3, isAbsolute as isAbsolute3, join as join5, resolve as resolve4, sep as sep3 } from "node:path";
-async function writeRoleInvocationLedger(source, role) {
+function effectiveModelLedgerFields(model) {
+  if (model === void 0) return {};
+  return {
+    provider: model.provider,
+    model: model.model,
+    ...model.thinking === void 0 ? {} : { thinking: model.thinking }
+  };
+}
+async function writeRoleInvocationLedger(source, role, effectiveModel) {
   const identity = {
     role,
     runId: source.runId,
@@ -15442,7 +15472,8 @@ async function writeRoleInvocationLedger(source, role) {
     sessionDirectory: source.sessionDirectory,
     sessionFile: source.sessionFile,
     ...source.correlationId === void 0 ? {} : { correlationId: source.correlationId },
-    ...source.ticketNumber === void 0 ? {} : { ticketNumber: source.ticketNumber }
+    ...source.ticketNumber === void 0 ? {} : { ticketNumber: source.ticketNumber },
+    ...effectiveModelLedgerFields(effectiveModel)
   };
   await writeFile2(
     join5(source.runDirectory, "invocation.json"),
@@ -15451,6 +15482,26 @@ async function writeRoleInvocationLedger(source, role) {
     "utf8"
   );
 }
+async function recordEffectiveInvocationModel(runDirectory, model) {
+  const ledgerPath = join5(runDirectory, "invocation.json");
+  const current = JSON.parse(await readFile4(ledgerPath, "utf8"));
+  const next = {
+    ...current,
+    provider: model.provider,
+    model: model.model
+  };
+  if (model.thinking === void 0) {
+    delete next.thinking;
+  } else {
+    next.thinking = model.thinking;
+  }
+  await writeFile2(
+    ledgerPath,
+    `${JSON.stringify(next, null, 2)}
+`,
+    "utf8"
+  );
+}
 async function mergeInvocationIdentityPage(runDirectory, fields) {
   const ledgerPath = join5(runDirectory, "invocation.json");
   const current = JSON.parse(await readFile4(ledgerPath, "utf8"));
@@ -15753,7 +15804,7 @@ async function admitJudgeInvocation(options) {
   const admittedRequestPath = join5(runDirectory, "admitted-request.json");
   await writeFile2(admittedRequestPath, `${JSON.stringify(admitted, null, 2)}
 `, "utf8");
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
   return {
     role: "judge",
     runId,
@@ -15835,7 +15886,7 @@ async function admitCoderInvocation(options) {
   const admittedRequestPath = join5(runDirectory, "admitted-request.json");
   await writeFile2(admittedRequestPath, `${JSON.stringify(admitted, null, 2)}
 `, "utf8");
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
   return {
     role: "coder",
     phase: options.phase,
@@ -15950,7 +16001,7 @@ async function admitFixerInvocation(options) {
   const admittedRequestPath = join5(runDirectory, "admitted-request.json");
   await writeFile2(admittedRequestPath, `${JSON.stringify(admitted, null, 2)}
 `, "utf8");
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
   return {
     role: "fixer",
     phase: options.phase,
@@ -16194,7 +16245,7 @@ async function admitCollectorInvocation(options) {
 `,
     "utf8"
   );
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
   return {
     role: "collector",
     runId,
@@ -16444,7 +16495,7 @@ async function admitDoctorInvocation(options) {
 `,
     "utf8"
   );
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
   return {
     role: "doctor",
     runId,
@@ -16578,7 +16629,7 @@ async function admitReviewerInvocation(options) {
 `,
     "utf8"
   );
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
   return {
     role: "reviewer",
     runId,
@@ -16765,7 +16816,7 @@ async function admitMergerInvocation(options) {
 `,
     "utf8"
   );
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
   return {
     role: "merger",
     runId,
@@ -17816,7 +17867,10 @@ async function markRunAdmitted(admitted) {
     ...admitted.role === "coder" || admitted.role === "fixer" ? { phase: admitted.phase } : {}
   });
 }
-async function markRunRunning(runDirectory) {
+async function markRunRunning(runDirectory, effectiveModel) {
+  if (effectiveModel !== void 0) {
+    await recordEffectiveInvocationModel(runDirectory, effectiveModel);
+  }
   const current = await readRoleRunState(runDirectory);
   if (current === void 0) {
     throw new Error("cannot mark running: run state missing");
@@ -21605,17 +21659,6 @@ var init_settlement = __esm({
 // src/public-cli/coder-run.ts
 import { writeFile as writeFile6 } from "node:fs/promises";
 import { join as join11 } from "node:path";
-function buildModelArgs(model) {
-  if (model === void 0) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking
-  ];
-}
 function buildCoderActivationExtraArgs(admitted, options) {
   const prompt = buildCoderTransportPrompt(admitted);
   const skillArgs = admitted.phase === "apply" ? [
@@ -21641,7 +21684,7 @@ function buildCoderActivationExtraArgs(admitted, options) {
     admitted.taskPath,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt
   ];
 }
@@ -21669,7 +21712,7 @@ function buildCoderResumeActivationExtraArgs(admitted, options) {
     admitted.taskPath,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE
   ];
 }
@@ -21735,7 +21778,7 @@ async function dispatchAdmittedCoder(input) {
         io
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
     const childEnv = {
       ...process.env,
@@ -21841,7 +21884,8 @@ async function runPublicCoder(argv, env, io, parseCoderArgv2) {
       instruction: parsed.instruction,
       attachmentPaths: parsed.attachmentPaths,
       ...parsed.project === void 0 ? {} : { project: parsed.project },
-      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId }
+      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId },
+      ...env.model === void 0 ? {} : { model: env.model }
     });
   } catch (error) {
     if (error instanceof CliUsageError) {
@@ -21995,17 +22039,6 @@ var init_coder_run = __esm({
 // src/public-cli/collector-run.ts
 import { writeFile as writeFile7 } from "node:fs/promises";
 import { join as join12 } from "node:path";
-function buildModelArgs2(model) {
-  if (model === void 0) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking
-  ];
-}
 function buildCollectorActivationExtraArgs(admitted, options = {}) {
   const prompt = buildCollectorTransportPrompt(admitted);
   return [
@@ -22027,7 +22060,7 @@ function buildCollectorActivationExtraArgs(admitted, options = {}) {
     ...admitted.requestManifestPath === void 0 ? [] : ["--ak-collector-request-manifest", admitted.requestManifestPath],
     "--mode",
     "json",
-    ...buildModelArgs2(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt
   ];
 }
@@ -22068,7 +22101,7 @@ async function dispatchAdmittedCollector(input) {
         io
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
     const childEnv = {
       ...process.env,
@@ -22181,7 +22214,8 @@ async function runPublicCollector(argv, env, io, parseCollectorArgv2) {
       ...parsed.project === void 0 ? {} : { project: parsed.project },
       ...parsed.repo === void 0 ? {} : { repo: parsed.repo },
       ...parsed.requestManifestPath === void 0 ? {} : { requestManifestPath: parsed.requestManifestPath },
-      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId }
+      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId },
+      ...env.model === void 0 ? {} : { model: env.model }
     });
   } catch (error) {
     if (error instanceof CliUsageError) {
@@ -22232,17 +22266,6 @@ var init_collector_run = __esm({
 // src/public-cli/doctor-run.ts
 import { writeFile as writeFile8 } from "node:fs/promises";
 import { join as join13 } from "node:path";
-function buildModelArgs3(model) {
-  if (model === void 0) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking
-  ];
-}
 function buildDoctorActivationExtraArgs(admitted, options = {}) {
   const prompt = buildDoctorTransportPrompt(admitted);
   return [
@@ -22261,7 +22284,7 @@ function buildDoctorActivationExtraArgs(admitted, options = {}) {
     admitted.caseRunsPath,
     "--mode",
     "json",
-    ...buildModelArgs3(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt
   ];
 }
@@ -22299,7 +22322,7 @@ async function dispatchAdmittedDoctor(input) {
         io
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
     const childEnv = {
       ...process.env,
@@ -22417,7 +22440,8 @@ async function runPublicDoctor(argv, env, io, parseDoctorArgv2) {
       attachmentPaths: parsed.attachmentPaths,
       ...parsed.project === void 0 ? {} : { project: parsed.project },
       ...parsed.runs === void 0 ? {} : { runs: parsed.runs },
-      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId }
+      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId },
+      ...env.model === void 0 ? {} : { model: env.model }
     });
   } catch (error) {
     if (error instanceof CliUsageError) {
@@ -22465,17 +22489,6 @@ var init_doctor_run = __esm({
 // src/public-cli/fixer-run.ts
 import { writeFile as writeFile9 } from "node:fs/promises";
 import { join as join14 } from "node:path";
-function buildModelArgs4(model) {
-  if (model === void 0) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking
-  ];
-}
 function buildFixerActivationExtraArgs(admitted, options) {
   const prompt = buildFixerTransportPrompt(admitted);
   const diagnosisSkillPath = resolvePackagedMethodSkillPath(
@@ -22507,7 +22520,7 @@ function buildFixerActivationExtraArgs(admitted, options) {
     ...prerequisiteArgs,
     "--mode",
     "json",
-    ...buildModelArgs4(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt
   ];
 }
@@ -22541,7 +22554,7 @@ function buildFixerResumeActivationExtraArgs(admitted, options) {
     ...prerequisiteArgs,
     "--mode",
     "json",
-    ...buildModelArgs4(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE
   ];
 }
@@ -22604,7 +22617,7 @@ async function dispatchAdmittedFixer(input) {
         io
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
     const childEnv = {
       ...process.env,
@@ -22733,7 +22746,8 @@ async function runPublicFixer(argv, env, io, parseFixerArgv2) {
       attachmentPaths: parsed.attachmentPaths,
       ...parsed.prerequisitesPath === void 0 ? {} : { prerequisitesPath: parsed.prerequisitesPath },
       ...parsed.project === void 0 ? {} : { project: parsed.project },
-      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId }
+      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId },
+      ...env.model === void 0 ? {} : { model: env.model }
     });
   } catch (error) {
     if (error instanceof CliUsageError) {
@@ -22873,17 +22887,6 @@ var init_fixer_run = __esm({
 // src/public-cli/judge-run.ts
 import { writeFile as writeFile10 } from "node:fs/promises";
 import { join as join15 } from "node:path";
-function buildModelArgs5(model) {
-  if (model === void 0) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking
-  ];
-}
 function buildJudgeActivationExtraArgs(admitted, options = {}) {
   const prompt = buildJudgeTransportPrompt(admitted);
   return [
@@ -22901,7 +22904,7 @@ function buildJudgeActivationExtraArgs(admitted, options = {}) {
     "judge",
     "--mode",
     "json",
-    ...buildModelArgs5(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt
   ];
 }
@@ -22920,7 +22923,7 @@ function buildJudgeResumeActivationExtraArgs(admitted, options = {}) {
     "judge",
     "--mode",
     "json",
-    ...buildModelArgs5(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE
   ];
 }
@@ -22983,7 +22986,7 @@ async function dispatchAdmittedJudge(input) {
         io
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
     const childEnv = {
       ...process.env,
@@ -23102,7 +23105,8 @@ async function runPublicJudge(argv, env, io, parseJudgeArgv2) {
       instruction: parsed.instruction,
       attachmentPaths: parsed.attachmentPaths,
       ...parsed.project === void 0 ? {} : { project: parsed.project },
-      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId }
+      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId },
+      ...env.model === void 0 ? {} : { model: env.model }
     });
   } catch (error) {
     if (error instanceof CliUsageError) {
@@ -23205,17 +23209,6 @@ var init_judge_run = __esm({
 // src/public-cli/merger-run.ts
 import { mkdir as mkdir4, writeFile as writeFile11 } from "node:fs/promises";
 import { join as join16, resolve as resolve7 } from "node:path";
-function buildModelArgs6(model) {
-  if (model === void 0) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking
-  ];
-}
 function buildMergerActivationExtraArgs(admitted, options) {
   const prompt = buildMergerTransportPrompt(admitted);
   const skillPath = resolvePackagedMethodSkillPath(
@@ -23240,7 +23233,7 @@ function buildMergerActivationExtraArgs(admitted, options) {
     admitted.mergerInputPath,
     "--mode",
     "json",
-    ...buildModelArgs6(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt
   ];
 }
@@ -23267,7 +23260,7 @@ function buildMergerResumeActivationExtraArgs(admitted, options) {
     admitted.mergerInputPath,
     "--mode",
     "json",
-    ...buildModelArgs6(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE
   ];
 }
@@ -23333,7 +23326,7 @@ async function dispatchAdmittedMerger(input) {
         io
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
     const childEnv = {
       ...process.env,
@@ -23509,7 +23502,8 @@ async function runPublicMerger(argv, env, io, parseMergerArgv2) {
       instruction: parsed.instruction,
       attachmentPaths: parsed.attachmentPaths,
       ...parsed.project === void 0 ? {} : { project: parsed.project },
-      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId }
+      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId },
+      ...env.model === void 0 ? {} : { model: env.model }
     });
   } catch (error) {
     if (error instanceof CliUsageError) {
@@ -23676,17 +23670,6 @@ var init_merger_run = __esm({
 // src/public-cli/reviewer-run.ts
 import { writeFile as writeFile12 } from "node:fs/promises";
 import { join as join17 } from "node:path";
-function buildModelArgs7(model) {
-  if (model === void 0) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking
-  ];
-}
 function buildReviewerTicketNumberArgs(ticketNumber) {
   return ticketNumber === void 0 ? [] : ["--ak-review-ticket-number", String(ticketNumber)];
 }
@@ -23718,7 +23701,7 @@ function buildReviewerActivationExtraArgs(admitted, options) {
     ...ticketNumberArgs,
     "--mode",
     "json",
-    ...buildModelArgs7(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt
   ];
 }
@@ -23749,7 +23732,7 @@ function buildReviewerResumeActivationExtraArgs(admitted, options) {
     ...ticketNumberArgs,
     "--mode",
     "json",
-    ...buildModelArgs7(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE
   ];
 }
@@ -23812,7 +23795,7 @@ async function dispatchAdmittedReviewer(input) {
         io
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
     await clearReviewerDispatchRejection(admitted.runDirectory);
     const childEnv = {
@@ -23942,7 +23925,8 @@ async function runPublicReviewer(argv, env, io, parseReviewerArgv2) {
       baseRevision: parsed.baseRevision,
       authorityRefs: parsed.authorityRefs,
       ...parsed.project === void 0 ? {} : { project: parsed.project },
-      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId }
+      ...env.createRunId === void 0 ? {} : { createRunId: env.createRunId },
+      ...env.model === void 0 ? {} : { model: env.model }
     });
   } catch (error) {
     if (error instanceof CliUsageError) {
@@ -26365,7 +26349,7 @@ async function runConfigCommand(args, home, io) {
       if (!isPublicConfigurableSeat(seat)) {
         throw new CliUsageError(`unknown configurable seat: ${seat}`);
       }
-      config = setPersistentSeatConfig(config, seat, parseModelSpec(spec));
+      config = setPersistentSeatConfig(config, seat, parsePersistentModelSpec(spec));
     }
     await savePublicCliConfig(config, home);
     io.stdout(renderConfig(config));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@akagilnc/pi-workflow-roles",
-  "version": "0.1.2014",
+  "version": "0.1.2026",
   "description": "Soul-bound workflow roles for Pi",
   "type": "module",
   "license": "Apache-2.0",

package/src/public-cli/cli.ts

@@ -10,7 +10,7 @@ import {
   formatModelSpec,
   loadCredentialProviders,
   loadPublicCliConfig,
-  parseModelSpec,
+  parsePersistentModelSpec,
   resolveEffectiveSeat,
   savePublicCliConfig,
   setPersistentSeatConfig,
@@ -402,7 +402,7 @@ async function runConfigCommand(
       if (!isPublicConfigurableSeat(seat)) {
         throw new CliUsageError(`unknown configurable seat: ${seat}`);
       }
-      config = setPersistentSeatConfig(config, seat, parseModelSpec(spec));
+      config = setPersistentSeatConfig(config, seat, parsePersistentModelSpec(spec));
     }
     await savePublicCliConfig(config, home);
     io.stdout(renderConfig(config));

package/src/public-cli/coder-run.ts

@@ -24,6 +24,7 @@ import {
   type AdmittedCoderInvocation,
 } from "./invocation.ts";
 import {
+  buildSeatModelCliArgs,
   type CredentialProviders,
   type SeatModelConfig,
 } from "./config.ts";
@@ -84,17 +85,6 @@ export type CoderRunEnv = {
   timeoutMs?: number;
 };
 
-function buildModelArgs(model: SeatModelConfig | undefined): string[] {
-  if (model === undefined) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking,
-  ];
-}
 
 /**
  * Build Internal activation extra-args for an admitted Coder run.
@@ -136,7 +126,7 @@ export function buildCoderActivationExtraArgs(
     admitted.taskPath,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt,
   ];
 }
@@ -179,7 +169,7 @@ export function buildCoderResumeActivationExtraArgs(
     admitted.taskPath,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE,
   ];
 }
@@ -304,7 +294,7 @@ async function dispatchAdmittedCoder(input: {
         io,
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
 
     const childEnv: NodeJS.ProcessEnv = {
@@ -434,6 +424,7 @@ export async function runPublicCoder(
       attachmentPaths: parsed.attachmentPaths,
       ...(parsed.project === undefined ? {} : { project: parsed.project }),
       ...(env.createRunId === undefined ? {} : { createRunId: env.createRunId }),
+      ...(env.model === undefined ? {} : { model: env.model }),
     });
   } catch (error) {
     if (error instanceof CliUsageError) {

package/src/public-cli/collector-run.ts

@@ -20,6 +20,7 @@ import {
   type ParseCollectorArgvResult,
 } from "./invocation.ts";
 import {
+  buildSeatModelCliArgs,
   type CredentialProviders,
   type SeatModelConfig,
 } from "./config.ts";
@@ -69,17 +70,6 @@ export type CollectorRunEnv = {
   timeoutMs?: number;
 };
 
-function buildModelArgs(model: SeatModelConfig | undefined): string[] {
-  if (model === undefined) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking,
-  ];
-}
 
 /**
  * Build Internal activation extra-args for an admitted Collector run.
@@ -114,7 +104,7 @@ export function buildCollectorActivationExtraArgs(
       : ["--ak-collector-request-manifest", admitted.requestManifestPath]),
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt,
   ];
 }
@@ -202,7 +192,7 @@ async function dispatchAdmittedCollector(input: {
         io,
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
 
     const childEnv: NodeJS.ProcessEnv = {
@@ -340,6 +330,7 @@ export async function runPublicCollector(
       ...(parsed.repo === undefined ? {} : { repo: parsed.repo }),
       ...(parsed.requestManifestPath === undefined ? {} : { requestManifestPath: parsed.requestManifestPath }),
       ...(env.createRunId === undefined ? {} : { createRunId: env.createRunId }),
+      ...(env.model === undefined ? {} : { model: env.model }),
     });
   } catch (error) {
     if (error instanceof CliUsageError) {

package/src/public-cli/config.ts

@@ -108,12 +108,18 @@ export function parseModelSpec(
   const thinkingSplit = trimmed.lastIndexOf(":");
   let modelPart = trimmed;
   let thinking: PublicThinkingLevel | undefined = fallbackThinking;
-  if (thinkingSplit > 0) {
+  // #346: no colon → bare provider/model is legal. Colon present (any index,
+  // including 0) → suffix must be a typed PublicThinkingLevel (empty/unknown
+  // stay format rejects; never swallow ":…" into the model name).
+  if (thinkingSplit !== -1) {
     const maybeThinking = trimmed.slice(thinkingSplit + 1);
-    if (THINKING_LEVELS.has(maybeThinking as PublicThinkingLevel)) {
-      thinking = maybeThinking as PublicThinkingLevel;
-      modelPart = trimmed.slice(0, thinkingSplit);
+    if (!THINKING_LEVELS.has(maybeThinking as PublicThinkingLevel)) {
+      throw new Error(
+        `model specification must be provider/model[:thinking], got ${spec}`,
+      );
     }
+    thinking = maybeThinking as PublicThinkingLevel;
+    modelPart = trimmed.slice(0, thinkingSplit);
   }
   const slash = modelPart.indexOf("/");
   if (slash <= 0 || slash === modelPart.length - 1) {
@@ -123,16 +129,48 @@ export function parseModelSpec(
   }
   const provider = modelPart.slice(0, slash);
   const model = modelPart.slice(slash + 1);
-  if (!thinking) {
+  // #346: bare provider/model is legal on invocation — do not invent thinking.
+  // Persistent config set still requires thinking via parsePersistentModelSpec.
+  return thinking === undefined
+    ? { provider, model }
+    : { provider, model, thinking };
+}
+
+/** Persistent seat config keeps the three-part provider/model:thinking grammar. */
+export function parsePersistentModelSpec(spec: string): SeatModelConfig & {
+  thinking: PublicThinkingLevel;
+} {
+  const parsed = parseModelSpec(spec);
+  if (parsed.thinking === undefined) {
     throw new Error(
       `model specification requires a thinking level (provider/model:thinking), got ${spec}`,
     );
   }
-  return { provider, model, thinking };
+  return {
+    provider: parsed.provider,
+    model: parsed.model,
+    thinking: parsed.thinking,
+  };
 }
 
 export function formatModelSpec(selection: SeatModelConfig): string {
-  return `${selection.provider}/${selection.model}:${selection.thinking}`;
+  const base = `${selection.provider}/${selection.model}`;
+  return selection.thinking === undefined ? base : `${base}:${selection.thinking}`;
+}
+
+/**
+ * Single source: seat model selection → Pi argv at the public CLI execution seam.
+ * Bare provider/model omits --thinking so pi/model defaults apply; suffix passes through.
+ */
+export function buildSeatModelCliArgs(model: SeatModelConfig | undefined): string[] {
+  if (model === undefined) return [];
+  return [
+    "--provider",
+    model.provider,
+    "--model",
+    model.model,
+    ...(model.thinking === undefined ? [] : ["--thinking", model.thinking]),
+  ];
 }
 
 function parsePublicCliConfig(value: unknown): PublicCliConfig {

package/src/public-cli/doctor-run.ts

@@ -20,6 +20,7 @@ import {
   type ParseDoctorArgvResult,
 } from "./invocation.ts";
 import {
+  buildSeatModelCliArgs,
   type CredentialProviders,
   type SeatModelConfig,
 } from "./config.ts";
@@ -70,17 +71,6 @@ export type DoctorRunEnv = {
   timeoutMs?: number;
 };
 
-function buildModelArgs(model: SeatModelConfig | undefined): string[] {
-  if (model === undefined) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking,
-  ];
-}
 
 /**
  * Build Internal activation extra-args for an admitted Doctor run.
@@ -111,7 +101,7 @@ export function buildDoctorActivationExtraArgs(
     admitted.caseRunsPath,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt,
   ];
 }
@@ -183,7 +173,7 @@ async function dispatchAdmittedDoctor(input: {
         io,
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
 
     const childEnv: NodeJS.ProcessEnv = {
@@ -319,6 +309,7 @@ export async function runPublicDoctor(
       ...(parsed.project === undefined ? {} : { project: parsed.project }),
       ...(parsed.runs === undefined ? {} : { runs: parsed.runs }),
       ...(env.createRunId === undefined ? {} : { createRunId: env.createRunId }),
+      ...(env.model === undefined ? {} : { model: env.model }),
     });
   } catch (error) {
     if (error instanceof CliUsageError) {

package/src/public-cli/fixer-run.ts

@@ -26,6 +26,7 @@ import {
   type AdmittedFixerInvocation,
 } from "./invocation.ts";
 import {
+  buildSeatModelCliArgs,
   type CredentialProviders,
   type SeatModelConfig,
 } from "./config.ts";
@@ -87,17 +88,6 @@ export type FixerRunEnv = {
   timeoutMs?: number;
 };
 
-function buildModelArgs(model: SeatModelConfig | undefined): string[] {
-  if (model === undefined) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking,
-  ];
-}
 
 /**
  * Build Internal activation extra-args for an admitted Fixer run.
@@ -145,7 +135,7 @@ export function buildFixerActivationExtraArgs(
     ...prerequisiteArgs,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt,
   ];
 }
@@ -194,7 +184,7 @@ export function buildFixerResumeActivationExtraArgs(
     ...prerequisiteArgs,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE,
   ];
 }
@@ -303,7 +293,7 @@ async function dispatchAdmittedFixer(input: {
         io,
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
 
     const childEnv: NodeJS.ProcessEnv = {
@@ -461,6 +451,7 @@ export async function runPublicFixer(
         : { prerequisitesPath: parsed.prerequisitesPath }),
       ...(parsed.project === undefined ? {} : { project: parsed.project }),
       ...(env.createRunId === undefined ? {} : { createRunId: env.createRunId }),
+      ...(env.model === undefined ? {} : { model: env.model }),
     });
   } catch (error) {
     if (error instanceof CliUsageError) {

package/src/public-cli/invocation.ts

@@ -172,14 +172,39 @@ type RoleInvocationLedgerSource = Pick<
   "runId" | "bookKey" | "projectRoot" | "runDirectory" | "sessionDirectory" | "sessionFile" | "correlationId" | "ticketNumber"
 >;
 
+/**
+ * Effective provider/model selection recorded on the invocation identity page.
+ * thinking is present only when the caller/seat supplied it — bare model omits it.
+ */
+export type InvocationEffectiveModel = {
+  readonly provider: string;
+  readonly model: string;
+  readonly thinking?: string;
+};
+
+/** Project effective model onto ledger fields; absent thinking stays absent. */
+function effectiveModelLedgerFields(
+  model: InvocationEffectiveModel | undefined,
+): Record<string, string> {
+  if (model === undefined) return {};
+  return {
+    provider: model.provider,
+    model: model.model,
+    ...(model.thinking === undefined ? {} : { thinking: model.thinking }),
+  };
+}
+
 /**
  * Persist one `invocation.json` identity page for the public run.
  * Admission is the sole source for every field; this is the only identity
  * projection and callers never provide an independent ledger shape.
+ * When an effective model is known at admission, provider/model (and thinking
+ * only when supplied) are written onto the same page.
  */
 async function writeRoleInvocationLedger(
   source: RoleInvocationLedgerSource,
   role: AdmittedRoleInvocation["role"],
+  effectiveModel?: InvocationEffectiveModel,
 ): Promise<void> {
   const identity = {
     role,
@@ -191,6 +216,7 @@ async function writeRoleInvocationLedger(
     sessionFile: source.sessionFile,
     ...(source.correlationId === undefined ? {} : { correlationId: source.correlationId }),
     ...(source.ticketNumber === undefined ? {} : { ticketNumber: source.ticketNumber }),
+    ...effectiveModelLedgerFields(effectiveModel),
   };
   await writeFile(
     join(source.runDirectory, "invocation.json"),
@@ -199,6 +225,37 @@ async function writeRoleInvocationLedger(
   );
 }
 
+/**
+ * Merge the effective launch model onto the existing invocation identity page
+ * (resume / temporary override path — same field shape as admission write).
+ * Bare model clears any prior thinking key so absence stays honest.
+ */
+export async function recordEffectiveInvocationModel(
+  runDirectory: string,
+  model: InvocationEffectiveModel,
+): Promise<void> {
+  const ledgerPath = join(runDirectory, "invocation.json");
+  const current = JSON.parse(await readFile(ledgerPath, "utf8")) as Record<
+    string,
+    unknown
+  >;
+  const next: Record<string, unknown> = {
+    ...current,
+    provider: model.provider,
+    model: model.model,
+  };
+  if (model.thinking === undefined) {
+    delete next.thinking;
+  } else {
+    next.thinking = model.thinking;
+  }
+  await writeFile(
+    ledgerPath,
+    `${JSON.stringify(next, null, 2)}\n`,
+    "utf8",
+  );
+}
+
 /** Merge observed launch-time fields into the single existing invocation.json identity page. */
 async function mergeInvocationIdentityPage(
   runDirectory: string,
@@ -686,6 +743,8 @@ export type AdmitJudgeInvocationOptions = {
   project?: string;
   /** Injectable clock/id for tests. */
   createRunId?: () => string;
+  /** Effective model for this invocation — written onto invocation.json. */
+  model?: InvocationEffectiveModel;
 };
 
 /**
@@ -736,7 +795,7 @@ export async function admitJudgeInvocation(
   };
   const admittedRequestPath = join(runDirectory, "admitted-request.json");
   await writeFile(admittedRequestPath, `${JSON.stringify(admitted, null, 2)}\n`, "utf8");
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
 
   return {
     role: "judge",
@@ -811,6 +870,8 @@ export type AdmitCoderInvocationOptions = {
   attachmentPaths: readonly string[];
   project?: string;
   createRunId?: () => string;
+  /** Effective model for this invocation — written onto invocation.json. */
+  model?: InvocationEffectiveModel;
 };
 
 /**
@@ -874,7 +935,7 @@ export async function admitCoderInvocation(
   };
   const admittedRequestPath = join(runDirectory, "admitted-request.json");
   await writeFile(admittedRequestPath, `${JSON.stringify(admitted, null, 2)}\n`, "utf8");
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
 
   return {
     role: "coder",
@@ -923,6 +984,8 @@ export type AdmitFixerInvocationOptions = {
   prerequisitesPath?: string;
   project?: string;
   createRunId?: () => string;
+  /** Effective model for this invocation — written onto invocation.json. */
+  model?: InvocationEffectiveModel;
 };
 
 /**
@@ -1026,7 +1089,7 @@ export async function admitFixerInvocation(
   };
   const admittedRequestPath = join(runDirectory, "admitted-request.json");
   await writeFile(admittedRequestPath, `${JSON.stringify(admitted, null, 2)}\n`, "utf8");
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
 
   return {
     role: "fixer",
@@ -1188,6 +1251,8 @@ export type AdmitCollectorInvocationOptions = {
   /** Optional public request configuration; copied into the admitted run. */
   requestManifestPath?: string;
   createRunId?: () => string;
+  /** Effective model for this invocation — written onto invocation.json. */
+  model?: InvocationEffectiveModel;
 };
 
 /**
@@ -1286,7 +1351,7 @@ export async function admitCollectorInvocation(
     `${JSON.stringify(admitted, null, 2)}\n`,
     "utf8",
   );
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
 
   return {
     role: "collector",
@@ -1440,6 +1505,8 @@ export type AdmitDoctorInvocationOptions = {
   attachmentPaths?: readonly string[];
   project?: string;
   createRunId?: () => string;
+  /** Effective model for this invocation — written onto invocation.json. */
+  model?: InvocationEffectiveModel;
 };
 
 /**
@@ -1619,7 +1686,7 @@ export async function admitDoctorInvocation(
     `${JSON.stringify(admitted, null, 2)}\n`,
     "utf8",
   );
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
 
   return {
     role: "doctor",
@@ -1730,6 +1797,8 @@ export type AdmitReviewerInvocationOptions = {
   authorityRefs?: readonly string[];
   project?: string;
   createRunId?: () => string;
+  /** Effective model for this invocation — written onto invocation.json. */
+  model?: InvocationEffectiveModel;
 };
 
 /**
@@ -1794,7 +1863,7 @@ export async function admitReviewerInvocation(
     `${JSON.stringify(admitted, null, 2)}\n`,
     "utf8",
   );
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
 
   return {
     role: "reviewer",
@@ -1945,6 +2014,8 @@ export type AdmitMergerInvocationOptions = {
   createRunId?: () => string;
   /** Test seam; production binds createProductionMergerGitState(projectRoot). */
   gitState?: MergerGitState;
+  /** Effective model for this invocation — written onto invocation.json. */
+  model?: InvocationEffectiveModel;
 };
 
 /**
@@ -2052,7 +2123,7 @@ export async function admitMergerInvocation(
     `${JSON.stringify(admitted, null, 2)}\n`,
     "utf8",
   );
-  await writeRoleInvocationLedger(admitted, admitted.role);
+  await writeRoleInvocationLedger(admitted, admitted.role, options.model);
 
   return {
     role: "merger",

package/src/public-cli/judge-run.ts

@@ -19,6 +19,7 @@ import {
   type AdmittedJudgeInvocation,
 } from "./invocation.ts";
 import {
+  buildSeatModelCliArgs,
   type CredentialProviders,
   type SeatModelConfig,
 } from "./config.ts";
@@ -89,17 +90,6 @@ export type JudgeRunEnv = {
 };
 
 
-function buildModelArgs(model: SeatModelConfig | undefined): string[] {
-  if (model === undefined) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking,
-  ];
-}
 
 /**
  * Build Internal activation extra-args for an admitted Judge run
@@ -129,7 +119,7 @@ export function buildJudgeActivationExtraArgs(
     "judge",
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt,
   ];
 }
@@ -160,7 +150,7 @@ export function buildJudgeResumeActivationExtraArgs(
     "judge",
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE,
   ];
 }
@@ -276,7 +266,7 @@ async function dispatchAdmittedJudge(input: {
         io,
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     // Attempt-scoped observation: drop any prior dispatch's 429 evidence so only
     // the current initial/resume attempt can qualify v1 resume.
     await clearTypedProviderHttpObservation(admitted.runDirectory);
@@ -422,6 +412,7 @@ export async function runPublicJudge(
       attachmentPaths: parsed.attachmentPaths,
       ...(parsed.project === undefined ? {} : { project: parsed.project }),
       ...(env.createRunId === undefined ? {} : { createRunId: env.createRunId }),
+      ...(env.model === undefined ? {} : { model: env.model }),
     });
   } catch (error) {
     if (error instanceof CliUsageError) {

package/src/public-cli/merger-run.ts

@@ -29,6 +29,7 @@ import {
   type AdmittedMergerInvocation,
 } from "./invocation.ts";
 import {
+  buildSeatModelCliArgs,
   type CredentialProviders,
   type SeatModelConfig,
 } from "./config.ts";
@@ -88,17 +89,6 @@ export type MergerRunEnv = {
   timeoutMs?: number;
 };
 
-function buildModelArgs(model: SeatModelConfig | undefined): string[] {
-  if (model === undefined) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking,
-  ];
-}
 
 /**
  * Build Internal activation extra-args for an admitted Merger run.
@@ -136,7 +126,7 @@ export function buildMergerActivationExtraArgs(
     admitted.mergerInputPath,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt,
   ];
 }
@@ -175,7 +165,7 @@ export function buildMergerResumeActivationExtraArgs(
     admitted.mergerInputPath,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE,
   ];
 }
@@ -299,7 +289,7 @@ async function dispatchAdmittedMerger(input: {
         io,
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
 
     const childEnv: NodeJS.ProcessEnv = {
@@ -516,6 +506,7 @@ export async function runPublicMerger(
       attachmentPaths: parsed.attachmentPaths,
       ...(parsed.project === undefined ? {} : { project: parsed.project }),
       ...(env.createRunId === undefined ? {} : { createRunId: env.createRunId }),
+      ...(env.model === undefined ? {} : { model: env.model }),
     });
   } catch (error) {
     if (error instanceof CliUsageError) {

package/src/public-cli/registry.ts

@@ -49,7 +49,8 @@ export type PublicThinkingLevel =
 export type ModelRef = {
   provider: string;
   model: string;
-  thinking: PublicThinkingLevel;
+  /** Absent when invocation passed bare provider/model — pi/model default applies. */
+  thinking?: PublicThinkingLevel;
 };
 
 /**

package/src/public-cli/reviewer-run.ts

@@ -27,6 +27,7 @@ import {
   type AdmittedReviewerInvocation,
 } from "./invocation.ts";
 import {
+  buildSeatModelCliArgs,
   type CredentialProviders,
   type SeatModelConfig,
 } from "./config.ts";
@@ -88,17 +89,6 @@ export type ReviewerRunEnv = {
   timeoutMs?: number;
 };
 
-function buildModelArgs(model: SeatModelConfig | undefined): string[] {
-  if (model === undefined) return [];
-  return [
-    "--provider",
-    model.provider,
-    "--model",
-    model.model,
-    "--thinking",
-    model.thinking,
-  ];
-}
 
 /** Encode admitted ticketNumber as CLI argv for activation/resume (no defaults). */
 function buildReviewerTicketNumberArgs(
@@ -152,7 +142,7 @@ export function buildReviewerActivationExtraArgs(
     ...ticketNumberArgs,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     prompt,
   ];
 }
@@ -198,7 +188,7 @@ export function buildReviewerResumeActivationExtraArgs(
     ...ticketNumberArgs,
     "--mode",
     "json",
-    ...buildModelArgs(options.model),
+    ...buildSeatModelCliArgs(options.model),
     RESUME_TRANSPORT_ENVELOPE,
   ];
 }
@@ -306,7 +296,7 @@ async function dispatchAdmittedReviewer(input: {
         io,
       );
     }
-    await markRunRunning(admitted.runDirectory);
+    await markRunRunning(admitted.runDirectory, env.model);
     await clearTypedProviderHttpObservation(admitted.runDirectory);
     await clearReviewerDispatchRejection(admitted.runDirectory);
 
@@ -463,6 +453,7 @@ export async function runPublicReviewer(
       authorityRefs: parsed.authorityRefs,
       ...(parsed.project === undefined ? {} : { project: parsed.project }),
       ...(env.createRunId === undefined ? {} : { createRunId: env.createRunId }),
+      ...(env.model === undefined ? {} : { model: env.model }),
     });
   } catch (error) {
     if (error instanceof CliUsageError) {

package/src/public-cli/run-lifecycle.ts

@@ -24,6 +24,7 @@ export {
 import type { FixerPhase } from "../package-contracts/fixer-output.ts";
 import type { FixerPrerequisite } from "../package-contracts/fixer-packet.ts";
 import {
+  recordEffectiveInvocationModel,
   requireAuthorityRef,
   type AdmittedCoderInvocation,
   type AdmittedFixerInvocation,
@@ -34,6 +35,7 @@ import {
   type CoderPhase,
   type DerivedMergerEnvelope,
   type FrozenAttachment,
+  type InvocationEffectiveModel,
 } from "./invocation.ts";
 
 /** Providers eligible for v1 typed-429 resume (Codex / xAI only). */
@@ -226,7 +228,18 @@ export async function markRunAdmitted(
   });
 }
 
-export async function markRunRunning(runDirectory: string): Promise<void> {
+/**
+ * Shared dispatch execution seam: record the effective launch model (initial or
+ * resume override) onto invocation.json when known, then transition to running.
+ * Role runners must not coordinate lifecycle ledger writes themselves.
+ */
+export async function markRunRunning(
+  runDirectory: string,
+  effectiveModel?: InvocationEffectiveModel,
+): Promise<void> {
+  if (effectiveModel !== undefined) {
+    await recordEffectiveInvocationModel(runDirectory, effectiveModel);
+  }
   const current = await readRoleRunState(runDirectory);
   if (current === undefined) {
     throw new Error("cannot mark running: run state missing");

package/src/ticket-trajectory.ts

@@ -288,11 +288,15 @@ async function readInvocation(runDir: string): Promise<InvocationInfo | undefine
     const info: InvocationInfo = {};
     if (typeof parsed.role === "string" && parsed.role.trim()) info.role = parsed.role.trim();
     if (typeof parsed.thinking === "string" && parsed.thinking.trim()) info.thinking = parsed.thinking.trim();
+    if (typeof parsed.provider === "string" && parsed.provider.trim()) {
+      info.provider = parsed.provider.trim();
+    }
     if (typeof parsed.model === "string" && parsed.model.trim()) {
       const rawModel = parsed.model.trim();
       if (rawModel.includes("/")) {
         const slash = rawModel.indexOf("/");
-        info.provider = rawModel.slice(0, slash);
+        // Combined provider/model form (legacy pages).
+        if (info.provider === undefined) info.provider = rawModel.slice(0, slash);
         info.model = rawModel.slice(slash + 1);
       } else {
         info.model = rawModel;