dsh-taskboard 0.5.3 → 0.5.5

package/src/client/board/TaskFormModal.tsx

@@ -16,7 +16,51 @@ import { MAX_CHECKLIST_ITEMS, defaultIsolationOf, nextCronTime, parseCron } from
 import { fmtTime } from './format.ts'
 
 /** One row of the configured model catalog (from llm.models). */
-export interface CatalogModel { provider: string; model: string; name?: string }
+export interface CatalogModel {
+  provider: string
+  model: string
+  name?: string
+  reasoning?: {
+    efforts: Array<{ id: string; name: string; description?: string }>
+    defaultEffort?: string
+  }
+}
+
+/** Local storage key for remembering the last selected model in create mode. */
+export const LAST_MODEL_KEY = 'dsh-taskboard-last-model-v1'
+
+/** Read the remembered model from localStorage. */
+export function loadLastModel(): { provider: string; model: string; reasoningEffort?: string } | undefined {
+  try {
+    const raw = localStorage.getItem(LAST_MODEL_KEY)
+    if (raw === null) return undefined
+    const parsed = JSON.parse(raw) as unknown
+    if (typeof parsed === 'object' && parsed !== null) {
+      const { provider, model, reasoningEffort } = parsed as { provider?: unknown; model?: unknown; reasoningEffort?: unknown }
+      if (typeof provider === 'string' && typeof model === 'string' && provider.trim().length > 0 && model.trim().length > 0) {
+        return {
+          provider: provider.trim(),
+          model: model.trim(),
+          ...(typeof reasoningEffort === 'string' && reasoningEffort.trim().length > 0 ? { reasoningEffort: reasoningEffort.trim() } : {}),
+        }
+      }
+    }
+    return undefined
+  } catch {
+    return undefined
+  }
+}
+
+/** Save the remembered model to localStorage. */
+export function saveLastModel(model?: { provider: string; model: string; reasoningEffort?: string }): void {
+  try {
+    if (model === undefined) {
+      localStorage.removeItem(LAST_MODEL_KEY)
+    } else {
+      localStorage.setItem(LAST_MODEL_KEY, JSON.stringify(model))
+    }
+  } catch { /* storage unavailable */ }
+}
 
 /** Urgency segmented options with a one-line hint each. */
 const URGENCY_OPTIONS: ReadonlyArray<{ value: Urgency; label: string; hint: string }> = [
@@ -126,7 +170,12 @@ export function TaskFormModal({ controller, task }: { controller: BoardControlle
   const [mode, setMode] = useState<'claim' | 'scheduled'>(task?.execution.mode === 'scheduled' || prefill?.execution?.mode === 'scheduled' ? 'scheduled' : 'claim')
   const [cron, setCron] = useState(task?.execution.cron ?? prefill?.execution?.cron ?? '0 9 * * *')
   const [catalog, setCatalog] = useState<CatalogModel[]>([])
-  const [model, setModel] = useState(task?.model !== undefined || prefill?.model !== undefined ? JSON.stringify(task?.model ?? prefill?.model) : '')
+
+  // Model & reasoning effort selection:
+  // In create mode (when not pinned by template), prefill from remembered last choice.
+  const initialModel = task?.model ?? prefill?.model ?? (!editing ? loadLastModel() : undefined)
+  const [model, setModel] = useState(initialModel !== undefined ? JSON.stringify({ provider: initialModel.provider, model: initialModel.model }) : '')
+  const [reasoningEffort, setReasoningEffort] = useState(initialModel?.reasoningEffort ?? '')
   // Preset roster (0.3.3): create mode PRE-SELECTS the deployment default
   // (标准模式 in this deployment); '' = 跟随部署默认 (submit omits the field).
   const initialPreset = task?.presetId ?? prefill?.presetId ?? ''
@@ -215,9 +264,24 @@ export function TaskFormModal({ controller, task }: { controller: BoardControlle
   /** Checklist rows with non-empty text (blank rows are dropped on submit). */
   const filledRows = (): CheckRow[] => checkRows.map(r => ({ ...r, text: r.text.trim() })).filter(r => r.text.length > 0)
 
+  const parsedModel = model !== '' ? (JSON.parse(model) as { provider: string; model: string }) : undefined
+  const currentCatalogModel = parsedModel !== undefined ? catalog.find(m => m.provider === parsedModel.provider && m.model === parsedModel.model) : undefined
+  const modelReasoning = currentCatalogModel?.reasoning
+
+  const buildPickedModel = (): { provider: string; model: string; reasoningEffort?: string } | undefined => {
+    if (parsedModel === undefined) return undefined
+    const eff = reasoningEffort.trim()
+    return {
+      provider: parsedModel.provider,
+      model: parsedModel.model,
+      ...(eff.length > 0 ? { reasoningEffort: eff } : {}),
+    }
+  }
+
   const submit = (): void => {
     if (!valid || busy) return
-    const picked = model !== '' ? (JSON.parse(model) as { provider: string; model: string }) : undefined
+    const picked = buildPickedModel()
+    if (!editing) saveLastModel(picked)
     const isolationOut = isolationPayload()
     const presetOut = presetPayload()
     const rows = filledRows()
@@ -255,7 +319,8 @@ export function TaskFormModal({ controller, task }: { controller: BoardControlle
   /** Save the form, then immediately trigger a manual run of the task. */
   const submitAndRun = (): void => {
     if (!valid || runBlocked || busy) return
-    const picked = model !== '' ? (JSON.parse(model) as { provider: string; model: string }) : undefined
+    const picked = buildPickedModel()
+    if (!editing) saveLastModel(picked)
     const isolationOut = isolationPayload()
     const presetOut = presetPayload()
     const rows = filledRows()
@@ -325,7 +390,24 @@ export function TaskFormModal({ controller, task }: { controller: BoardControlle
           </Field>
 
           <Field label="模型（默认 = 会话默认模型）">
-            <select value={model} onChange={e => setModel(e.target.value)}>
+            <select
+              value={model}
+              onChange={e => {
+                const val = e.target.value
+                setModel(val)
+                if (val === '') {
+                  setReasoningEffort('')
+                } else {
+                  const pm = JSON.parse(val) as { provider: string; model: string }
+                  const cm = catalog.find(m => m.provider === pm.provider && m.model === pm.model)
+                  if (cm?.reasoning?.defaultEffort !== undefined) {
+                    setReasoningEffort(cm.reasoning.defaultEffort)
+                  } else {
+                    setReasoningEffort('')
+                  }
+                }
+              }}
+            >
               <option value="">默认模型</option>
               {catalog.map(m => (
                 <option key={`${m.provider}/${m.model}`} value={JSON.stringify({ provider: m.provider, model: m.model })}>
@@ -335,6 +417,32 @@ export function TaskFormModal({ controller, task }: { controller: BoardControlle
             </select>
           </Field>
 
+          {parsedModel !== undefined && (
+            <Field label="思考强度（Reasoning Effort）">
+              <select
+                value={reasoningEffort}
+                onChange={e => setReasoningEffort(e.target.value)}
+                title="设置模型的思考强度（如 low/medium/high）；默认 = 跟随模型/提供商默认"
+              >
+                <option value="">跟随模型默认{modelReasoning?.defaultEffort !== undefined ? `（当前：${modelReasoning.efforts.find(ef => ef.id === modelReasoning.defaultEffort)?.name ?? modelReasoning.defaultEffort}）` : ''}</option>
+                {modelReasoning !== undefined && modelReasoning.efforts.length > 0 ? (
+                  modelReasoning.efforts.map(eff => (
+                    <option key={eff.id} value={eff.id}>
+                      {eff.name}{eff.description ? ` (${eff.description})` : ''}
+                    </option>
+                  ))
+                ) : (
+                  <>
+                    <option value="low">低 (low)</option>
+                    <option value="medium">中 (medium)</option>
+                    <option value="high">高 (high)</option>
+                    <option value="none">关闭思考 (none)</option>
+                  </>
+                )}
+              </select>
+            </Field>
+          )}
+
           {presets.length > 0 && (
             <Field label="执行模式（preset）">
               <select value={presetId} onChange={e => setPresetId(e.target.value)} title="执行会话按该 preset 组合（决定工具集与人设）；默认 = 部署默认 preset">
@@ -484,7 +592,7 @@ interface TaskRecordLike {
   workspaceId: string
   urgency: Urgency
   execution: { mode: 'claim' | 'scheduled'; cron?: string }
-  model?: { provider: string; model: string }
+  model?: { provider: string; model: string; reasoningEffort?: string }
   isolation?: IsolationMode
   presetId?: string
   checklist?: ChecklistItem[]

package/src/client/board/TemplateManager.tsx

@@ -64,7 +64,10 @@ export function TemplateManager({ controller }: { controller: BoardController })
                           if (e.key === 'Enter') save(t.id, nameOf(t.id, t.name))
                         }}
                       />
-                      <span className="dsh-atb-tplm-meta">
+                      <span
+                        className="dsh-atb-tplm-meta"
+                        title={`${t.builtin === true ? '内置' : '自建'}${t.task.checklist !== undefined && t.task.checklist.length > 0 ? ` · 清单 ${t.task.checklist.length} 项` : ''}${t.task.urgency !== undefined ? ` · ${t.task.urgency}` : ''}`}
+                      >
                         {t.builtin === true ? '内置' : '自建'}
                         {t.task.checklist !== undefined && t.task.checklist.length > 0 ? ` · 清单 ${t.task.checklist.length} 项` : ''}
                         {t.task.urgency !== undefined ? ` · ${t.task.urgency}` : ''}

package/src/client/controller.ts

@@ -22,7 +22,7 @@ export interface BoardFilters {
 }
 
 /** Column sort orders. */
-export type SortBy = 'default' | 'updated' | 'urgency' | 'created'
+export type SortBy = 'default' | 'updated' | 'urgency' | 'created' | 'title'
 
 /** localStorage key for persisted view state (filters + sort). */
 const VIEW_KEY = 'dsh-taskboard-view-v1'
@@ -33,7 +33,7 @@ function loadView(): { workspaceId?: string; urgencies: Urgency[]; sortBy: SortB
     const raw = localStorage.getItem(VIEW_KEY)
     if (raw === null) return { urgencies: [], sortBy: 'default' }
     const parsed = JSON.parse(raw) as { workspaceId?: string; urgencies?: Urgency[]; sortBy?: SortBy }
-    const sortBy = parsed.sortBy === 'updated' || parsed.sortBy === 'urgency' || parsed.sortBy === 'created' ? parsed.sortBy : 'default'
+    const sortBy = parsed.sortBy === 'updated' || parsed.sortBy === 'urgency' || parsed.sortBy === 'created' || parsed.sortBy === 'title' ? parsed.sortBy : 'default'
     return {
       workspaceId: typeof parsed.workspaceId === 'string' ? parsed.workspaceId : undefined,
       urgencies: Array.isArray(parsed.urgencies) ? parsed.urgencies.filter(u => u === 'urgent' || u === 'normal' || u === 'relaxed') : [],
@@ -114,7 +114,15 @@ export class BoardController {
   private sessionJumper: ((sessionId: string) => Promise<SessionJumpResult>) | undefined
   /** Composer catalog faces, installed formally by the client entry (T13). */
   private readonly catalogFaces: {
-    models?: () => Promise<Array<{ provider: string; model: string; name?: string }>>
+    models?: () => Promise<Array<{
+      provider: string
+      model: string
+      name?: string
+      reasoning?: {
+        efforts: Array<{ id: string; name: string; description?: string }>
+        defaultEffort?: string
+      }
+    }>>
     presets?: () => Promise<{ presets: Array<{ id: string; name?: string }>; defaultId?: string }>
   } = {}
 
@@ -278,7 +286,15 @@ export class BoardController {
   }
 
   /** T13: formal installers for the composer catalog faces (was a monkeypatch from the client entry). */
-  installModelCatalog(fn: () => Promise<Array<{ provider: string; model: string; name?: string }>>): void {
+  installModelCatalog(fn: () => Promise<Array<{
+    provider: string
+    model: string
+    name?: string
+    reasoning?: {
+      efforts: Array<{ id: string; name: string; description?: string }>
+      defaultEffort?: string
+    }
+  }>>): void {
     this.catalogFaces.models = fn
   }
 
@@ -288,7 +304,15 @@ export class BoardController {
   }
 
   /** The installed model catalog face, when the runtime provides one. */
-  get modelCatalog(): (() => Promise<Array<{ provider: string; model: string; name?: string }>>) | undefined {
+  get modelCatalog(): (() => Promise<Array<{
+    provider: string
+    model: string
+    name?: string
+    reasoning?: {
+      efforts: Array<{ id: string; name: string; description?: string }>
+      defaultEffort?: string
+    }
+  }>>) | undefined {
     return this.catalogFaces.models
   }
 

package/src/client/index.ts

@@ -28,7 +28,25 @@ export const inject = ['connection']
 interface ConnectionFace {
   api: {
     llm: {
-      models(payload: Record<string, never>): Promise<{ result: { ok: true; value: { groups: Array<{ id: string; name: string; models: Array<{ id: string; name?: string }> }> } } | { ok: false } }>
+      models(payload: Record<string, never>): Promise<{
+        result: {
+          ok: true
+          value: {
+            groups: Array<{
+              id: string
+              name: string
+              models: Array<{
+                id: string
+                name?: string
+                reasoning?: {
+                  efforts: Array<{ id: string; name: string; description?: string }>
+                  defaultEffort?: string
+                }
+              }>
+            }>
+          }
+        } | { ok: false }
+      }>
     }
     agentPresets?: {
       list(payload: Record<string, never>): Promise<{ result: { ok: true; value: { presets: Array<{ id: string; name?: string; isDefault: boolean }> } } | { ok: false } }>
@@ -43,8 +61,8 @@ interface ClientContextFace {
 }
 
 /**
- * Mount the client half.
- * @param ctx - the client context (connection injected).
+ * Client entry: installs styles, starts the controller, mounts DOM seats.
+ * @param ctx - the cordis client context.
  */
 export function apply(ctx: ClientContextFace): void {
   try {
@@ -57,14 +75,27 @@ export function apply(ctx: ClientContextFace): void {
     // monkeypatched instance properties).
     const connection = ctx.get?.('connection') as ConnectionFace | undefined
     if (connection !== undefined) {
-      type CatalogRow = { provider: string; model: string; name?: string }
+      type CatalogRow = {
+        provider: string
+        model: string
+        name?: string
+        reasoning?: {
+          efforts: Array<{ id: string; name: string; description?: string }>
+          defaultEffort?: string
+        }
+      }
       controller.installModelCatalog(async (): Promise<CatalogRow[]> => {
         const response = await connection.api.llm.models({})
         if (!response.result.ok) return []
         const out: CatalogRow[] = []
         for (const group of response.result.value.groups) {
           for (const model of group.models) {
-            out.push({ provider: group.id, model: model.id, name: model.name })
+            out.push({
+              provider: group.id,
+              model: model.id,
+              name: model.name,
+              ...(model.reasoning !== undefined ? { reasoning: model.reasoning } : {}),
+            })
           }
         }
         return out

package/src/client/styles.ts

@@ -95,8 +95,43 @@ html[data-dsh-atb-active] .dsh-atb-view { display: flex; flex-direction: column;
 .dsh-atb-spacer { flex: 1; }
 .dsh-atb-select, .dsh-atb-input {
   font: inherit; font-size: 12.5px; padding: 5px 8px; border-radius: 7px;
-  border: 1px solid var(--dsw-border, rgba(128,128,128,.35));
-  background: var(--dsw-bg, transparent); color: inherit;
+  border: 1px solid var(--dsw-border, var(--dsw-alias-border-l2, rgba(128,128,128,.35)));
+  background: var(--dsw-alias-bg-module-platform, var(--dsw-bg-elevated, var(--dsw-bg, transparent)));
+  color: var(--dsw-alias-label-primary, var(--dsw-text-primary, inherit));
+  color-scheme: light dark;
+}
+.dsh-atb-select option,
+.dsh-atb-modal-body select option {
+  background: var(--dsw-alias-bg-overlay, var(--dsw-alias-bg-module-platform, #252830));
+  color: var(--dsw-alias-label-primary, var(--dsw-text-primary, #e6e8eb));
+}
+body[data-ds-dark-theme] .dsh-atb-board,
+body[data-ds-dark-theme] .dsh-atb-modal,
+body[data-ds-dark-theme] .dsh-atb-select,
+body[data-ds-dark-theme] .dsh-atb-input,
+body[data-ds-dark-theme] .dsh-atb-modal-body select,
+body[data-ds-dark-theme] .dsh-atb-modal-body input,
+body[data-ds-dark-theme] .dsh-atb-modal-body textarea {
+  color-scheme: dark;
+}
+body[data-ds-dark-theme] .dsh-atb-select option,
+body[data-ds-dark-theme] .dsh-atb-modal-body select option {
+  background: #252830;
+  color: #e6e8eb;
+}
+@media (prefers-color-scheme: dark) {
+  .dsh-atb-select,
+  .dsh-atb-input,
+  .dsh-atb-modal-body select,
+  .dsh-atb-modal-body input,
+  .dsh-atb-modal-body textarea {
+    color-scheme: dark;
+  }
+  .dsh-atb-select option,
+  .dsh-atb-modal-body select option {
+    background: #252830;
+    color: #e6e8eb;
+  }
 }
 .dsh-atb-chip {
   display: inline-flex; align-items: center; gap: 5px;
@@ -172,6 +207,19 @@ html[data-dsh-atb-active] .dsh-atb-view { display: flex; flex-direction: column;
 .dsh-atb-badge[data-kind="trashed"] { background: rgba(229,72,77,.14); color: #e5484d; text-decoration: line-through; }
 .dsh-atb-badge[data-kind="done"] { background: rgba(46,160,67,.16); color: #2ea043; }
 .dsh-atb-badge[data-kind="running"] { background: rgba(229,152,42,.16); color: #e69842; }
+.dsh-atb-card-session {
+  font: inherit; font-size: 10.5px; line-height: 1; padding: 2px 6px; border-radius: 5px;
+  border: 1px solid var(--dsw-border, rgba(128,128,128,.3));
+  background: var(--dsw-bg-elevated, rgba(128,128,128,.14));
+  color: var(--dsw-text-secondary, inherit);
+  cursor: pointer; display: inline-flex; align-items: center; gap: 3px;
+  transition: all .15s ease;
+}
+.dsh-atb-card-session:hover {
+  border-color: var(--dsw-alias-brand-primary, #1f2328);
+  background: var(--dsw-hover, rgba(128,128,128,.24));
+  color: var(--dsw-alias-label-primary, inherit);
+}
 
 /* ---------- card quick review (in_review column) ---------- */
 .dsh-atb-quick { display: flex; gap: 6px; margin-top: 7px; }
@@ -219,6 +267,17 @@ html[data-dsh-atb-active] .dsh-atb-view { display: flex; flex-direction: column;
   background: var(--dsw-bg-elevated, rgba(128,128,128,.07)); color: var(--dsw-text-secondary, inherit);
 }
 .dsh-atb-detail-edit:hover { border-color: var(--dsw-alias-brand-primary, #1f2328); color: var(--dsw-alias-label-primary, inherit); }
+.dsh-atb-detail-session {
+  font: inherit; font-size: 12px; padding: 4px 10px; border-radius: 7px; cursor: pointer;
+  border: 1px solid var(--dsw-border, rgba(128,128,128,.32));
+  background: var(--dsw-bg-elevated, rgba(128,128,128,.1));
+  color: var(--dsw-alias-label-primary, inherit);
+  display: inline-flex; align-items: center; gap: 4px;
+}
+.dsh-atb-detail-session:hover {
+  border-color: var(--dsw-alias-brand-primary, #1f2328);
+  background: var(--dsw-hover, rgba(128,128,128,.22));
+}
 
 .dsh-atb-statuspill {
   flex: none; font-size: 11px; font-weight: 600; padding: 2px 9px; border-radius: 999px; letter-spacing: .02em;
@@ -236,6 +295,14 @@ html[data-dsh-atb-active] .dsh-atb-view { display: flex; flex-direction: column;
   padding: 3px 8px; border-radius: 6px;
   background: var(--dsw-bg-inset, rgba(128,128,128,.09)); color: var(--dsw-text-secondary, #999);
 }
+button.dsh-atb-chip2.dsh-atb-chip-btn {
+  font: inherit; border: 1px solid var(--dsw-border, rgba(128,128,128,.25)); cursor: pointer;
+}
+button.dsh-atb-chip2.dsh-atb-chip-btn:hover {
+  border-color: var(--dsw-alias-brand-primary, #1f2328);
+  color: var(--dsw-alias-label-primary, inherit);
+  background: var(--dsw-hover, rgba(128,128,128,.2));
+}
 .dsh-atb-chip2-icon { font-size: 10.5px; opacity: .85; }
 .dsh-atb-chip2[data-tone="urgent"] { background: rgba(229,72,77,.15); color: #e5484d; }
 .dsh-atb-chip2[data-tone="normal"] { background: rgba(142,78,198,.14); color: #a06ce0; }
@@ -649,19 +716,30 @@ html[data-dsh-atb-active] .dsh-atb-view { display: flex; flex-direction: column;
 .dsh-atb-newmenu-opt:hover { background: var(--dsw-alias-bg-layer-2, rgba(128,128,128,.1)); }
 .dsh-atb-newmenu-sep { height: 1px; margin: 4px 6px; background: var(--dsw-alias-border-l2, rgba(128,128,128,.25)); }
 
-.dsh-atb-tplm { max-width: 560px; width: min(560px, 92vw); }
-.dsh-atb-tplm-list { display: flex; flex-direction: column; gap: 8px; }
+.dsh-atb-tplm { max-width: 600px; width: min(600px, 92vw); }
+.dsh-atb-tplm .dsh-atb-modal-body,
+.dsh-atb-set .dsh-atb-modal-body,
+.dsh-atb-diag .dsh-atb-modal-body,
+.dsh-atb-imp .dsh-atb-modal-body {
+  display: flex; flex-direction: column; gap: 10px;
+}
+.dsh-atb-tplm-list { display: flex; flex-direction: column; gap: 8px; width: 100%; }
 .dsh-atb-tplm-row {
-  display: flex; align-items: center; gap: 10px; padding: 8px 10px; border-radius: 8px;
+  display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 8px 12px; border-radius: 8px;
   border: 1px solid var(--dsw-alias-border-l2, rgba(128,128,128,.25));
+  background: var(--dsw-alias-bg-layer-1, rgba(128,128,128,.02));
 }
 .dsh-atb-tplm-name {
-  flex: 0 0 160px; font-size: 12.5px; padding: 5px 8px; border-radius: 7px;
+  flex: 0 0 150px; width: 150px; max-width: 150px; font-size: 12.5px; padding: 5px 8px; border-radius: 7px;
   border: 1px solid var(--dsw-alias-border-l2, rgba(128,128,128,.3));
   background: var(--dsw-alias-bg-layer-1, transparent); color: inherit;
+  box-sizing: border-box;
+}
+.dsh-atb-tplm-meta {
+  flex: 1; min-width: 0; font-size: 11px; color: var(--dsw-alias-label-tertiary, gray);
+  white-space: nowrap; overflow: hidden; text-overflow: ellipsis;
 }
-.dsh-atb-tplm-meta { flex: 1; min-width: 0; font-size: 10.5px; color: var(--dsw-alias-label-tertiary, gray); }
-.dsh-atb-tplm-btns { display: flex; gap: 6px; flex-shrink: 0; }
+.dsh-atb-tplm-btns { display: flex; align-items: center; gap: 6px; flex-shrink: 0; }
 
 .dsh-atb-imp { max-width: 600px; width: min(600px, 92vw); }
 .dsh-atb-imp-picker { display: flex; align-items: center; gap: 10px; margin-bottom: 8px; }

package/src/host/execution.ts

@@ -18,6 +18,7 @@ import {
   normalizeBody,
   type ExecutionRecord,
   type IsolationMode,
+  type TaskModel,
   type TaskRecord,
 } from '../shared/protocol.ts'
 import { sanitizeBranchName, worktreePathOf, type GitFace, type SettlementFacts } from './git.ts'
@@ -32,7 +33,7 @@ export interface AgentsFace {
   create(options: {
     sessionId: string
     meta?: { cwd?: string; agentPreset?: string }
-    agentOptions?: { provider?: string; model?: string }
+    agentOptions?: { provider?: string; model?: string; reasoningEffort?: string }
     /** Preset composition callback: mounts tools/persona into the agent's scoped context. */
     setup?: (agentCtx: unknown) => Promise<void> | void
   }): Promise<{
@@ -66,7 +67,7 @@ export interface ExecutionWorkspaceFace {
 
 /** Narrow event-bus face for settlement listening. */
 export interface EventsFace {
-  onSessionEvent(listener: (sessionId: string, event: { type: string; data?: unknown }) => void): () => void
+  onSessionEvent(listener: (sessionId: string, event: { type: string; data?: unknown }, sessionMeta?: { header?: { cwd?: string } }) => void): () => void
 }
 
 /** Everything the execution service needs. */
@@ -77,7 +78,7 @@ export interface ExecutionDeps {
   events: EventsFace
   now: () => number
   /** The deployment default model (fills sessions of unpinned tasks). */
-  defaultModel?: () => { provider: string; model: string } | undefined
+  defaultModel?: () => TaskModel | undefined
   /** Mint session ids (injectable for tests). */
   mintSessionId?: () => string
   /** Mint message ids (injectable for tests). */
@@ -404,7 +405,13 @@ export class ExecutionService {
           cwd: workspace.path,
           ...(composition !== undefined ? { agentPreset: composition.agentPreset } : {}),
         },
-        ...(model !== undefined ? { agentOptions: { provider: model.provider, model: model.model } } : {}),
+        ...(model !== undefined ? {
+          agentOptions: {
+            provider: model.provider,
+            model: model.model,
+            ...(model.reasoningEffort !== undefined ? { reasoningEffort: model.reasoningEffort } : {}),
+          },
+        } : {}),
         ...(composition !== undefined ? { setup: composition.setup } : {}),
       })
     } catch (error) {