@aemonge-dev/pi-stardeck 0.11.0 → 0.13.0

package/packages/status/src/active-work.ts

@@ -1,7 +1,6 @@
 import { basename } from 'node:path';
 
 export const OPEN_SPEC_FOCUS_ENTRY_TYPE = 'galactica-status.openspec-focus.v1';
-export const SESSION_WORK_FOCUS_ENTRY_TYPE = 'galactica-status.session-work.v1';
 export const SESSION_SUBJECT_ENTRY_TYPE = 'galactica-status.session-subject.v1';
 
 export type TaskOpenSpecFocus = {
@@ -15,11 +14,6 @@ export type OpenSpecFocus = { mode: 'none' } | TaskOpenSpecFocus;
 
 export const NO_OPEN_SPEC_FOCUS: OpenSpecFocus = { mode: 'none' };
 
-export type SessionWorkFocus =
-  { state: 'clear' } | { state: 'active' | 'validation'; intent: string };
-
-export const NO_SESSION_WORK_FOCUS: SessionWorkFocus = { state: 'clear' };
-
 export type SessionSubject = { state: 'clear' } | { state: 'set'; title: string };
 
 export const NO_SESSION_SUBJECT: SessionSubject = { state: 'clear' };
@@ -27,7 +21,6 @@ export const NO_SESSION_SUBJECT: SessionSubject = { state: 'clear' };
 const CONTROL_CHARACTERS = /[\u0000-\u001f\u007f-\u009f]/gu;
 const MAX_TITLE_POINTS = 180;
 const MAX_TASK_TITLE_POINTS = 72;
-const MAX_WORK_INTENT_POINTS = 160;
 const MAX_SUBJECT_POINTS = 120;
 
 function isRecord(value: unknown): value is Record<string, unknown> {
@@ -73,25 +66,6 @@ export function parseOpenSpecFocus(value: unknown): OpenSpecFocus | undefined {
   return taskFocus(value.change, value.taskId, value.awaitingValidation);
 }
 
-export function sessionWorkFocus(
-  state: unknown,
-  intent?: unknown,
-): SessionWorkFocus | undefined {
-  if (state === 'clear') return NO_SESSION_WORK_FOCUS;
-  if (state !== 'active' && state !== 'validation') return undefined;
-  const normalizedIntent = explicitId(intent);
-  if (!normalizedIntent) return undefined;
-  return {
-    state,
-    intent: shorten(normalizedIntent, MAX_WORK_INTENT_POINTS),
-  };
-}
-
-export function parseSessionWorkFocus(value: unknown): SessionWorkFocus | undefined {
-  if (!isRecord(value)) return undefined;
-  return sessionWorkFocus(value.state, value.intent);
-}
-
 export function sessionSubject(
   state: unknown,
   title?: unknown,
@@ -111,18 +85,6 @@ export function parseSessionSubject(value: unknown): SessionSubject | undefined
   return sessionSubject(value.state, value.title);
 }
 
-/** Derive a session title from a raw user prompt — the extension-side
- * fallback that makes the agent's first-turn `title` call optional
- * polish instead of a load-bearing bet (every agent skipped it). The
- * same sanitizer bounds it; slash commands are commands, not subjects:
- * they never title. */
-export function titleFromPrompt(prompt: unknown): SessionSubject | undefined {
-  if (typeof prompt !== 'string') return undefined;
-  const normalized = normalizeTitlePart(prompt);
-  if (!normalized || normalized.startsWith('/')) return undefined;
-  return sessionSubject('set', normalized);
-}
-
 export function restoreOpenSpecFocus(entries: readonly unknown[]): OpenSpecFocus {
   for (let index = entries.length - 1; index >= 0; index -= 1) {
     const entry = entries[index];
@@ -139,22 +101,6 @@ export function restoreOpenSpecFocus(entries: readonly unknown[]): OpenSpecFocus
   return NO_OPEN_SPEC_FOCUS;
 }
 
-export function restoreSessionWorkFocus(entries: readonly unknown[]): SessionWorkFocus {
-  for (let index = entries.length - 1; index >= 0; index -= 1) {
-    const entry = entries[index];
-    if (
-      !isRecord(entry) ||
-      entry.type !== 'custom' ||
-      entry.customType !== SESSION_WORK_FOCUS_ENTRY_TYPE
-    ) {
-      continue;
-    }
-    const focus = parseSessionWorkFocus(entry.data);
-    if (focus) return focus;
-  }
-  return NO_SESSION_WORK_FOCUS;
-}
-
 export function restoreSessionSubject(entries: readonly unknown[]): SessionSubject {
   for (let index = entries.length - 1; index >= 0; index -= 1) {
     const entry = entries[index];
@@ -204,16 +150,6 @@ export function sameOpenSpecFocus(left: OpenSpecFocus, right: OpenSpecFocus): bo
   );
 }
 
-export function sameSessionWorkFocus(
-  left: SessionWorkFocus,
-  right: SessionWorkFocus,
-): boolean {
-  if (left.state !== right.state) return false;
-  return (
-    left.state === 'clear' || (right.state !== 'clear' && left.intent === right.intent)
-  );
-}
-
 export function sameSessionSubject(
   left: SessionSubject,
   right: SessionSubject,
@@ -226,7 +162,6 @@ export function sameSessionSubject(
 
 export function formatActiveWorkTitle(options: {
   focus: OpenSpecFocus;
-  workFocus?: SessionWorkFocus;
   subject?: SessionSubject;
   taskTitle?: string;
   sessionName?: string;
@@ -239,11 +174,8 @@ export function formatActiveWorkTitle(options: {
       ? shorten(normalizeTitlePart(options.taskTitle), MAX_TASK_TITLE_POINTS)
       : '';
     detail = `${options.focus.change} › ${options.focus.taskId}${taskTitle ? ` ${taskTitle}` : ''}`;
-  } else if (options.workFocus && options.workFocus.state !== 'clear') {
-    detail =
-      options.workFocus.state === 'validation'
-        ? `Validate › ${options.workFocus.intent}`
-        : options.workFocus.intent;
+  } else if (normalizeTitlePart(options.sessionName ?? '')) {
+    detail = normalizeTitlePart(options.sessionName ?? '');
   } else if (options.subject && options.subject.state === 'set') {
     detail = options.subject.title;
   } else {
@@ -254,5 +186,8 @@ export function formatActiveWorkTitle(options: {
       'pi';
   }
 
-  return shorten(`π  ${normalizeTitlePart(detail)}`, MAX_TITLE_POINTS);
+  // Bare text — line 2 carries no chrome (frozen amendment): the session
+  // name, change, and task stand naked, and pi-title's naming is quoted,
+  // never re-decorated.
+  return shorten(normalizeTitlePart(detail), MAX_TITLE_POINTS);
 }

package/packages/status/src/ledger.ts

@@ -5,7 +5,7 @@ import type {
   RunSpan,
   StageValue,
 } from './types.ts';
-import type { OpenSpecFocus, SessionSubject, SessionWorkFocus } from './active-work.ts';
+import type { OpenSpecFocus, SessionSubject } from './active-work.ts';
 
 /**
  * Append-only event ledger for the cockpit status core.
@@ -18,7 +18,6 @@ import type { OpenSpecFocus, SessionSubject, SessionWorkFocus } from './active-w
 
 export const LEDGER_EVENT_TYPES = [
   'focus/openspec',
-  'focus/work',
   'focus/subject',
   'run/start',
   'run/stage',
@@ -37,7 +36,6 @@ export type LedgerEvent =
       at: number;
       focus: OpenSpecFocus;
     }
-  | { type: 'focus/work'; at: number; work: SessionWorkFocus }
   | { type: 'focus/subject'; at: number; subject: SessionSubject }
   | { type: 'run/start'; at: number; span: RunSpan }
   | { type: 'run/stage'; at: number; id: string; stage: StageValue; declared: boolean }

package/packages/status/src/openspec.ts

@@ -2,6 +2,7 @@ import { promises as fs } from 'node:fs';
 import { resolve, sep } from 'node:path';
 import type {
   CommandRunner,
+  OpenSpecArtifact,
   OpenSpecHierarchyProgress,
   OpenSpecOverview,
   OpenSpecState,
@@ -27,6 +28,19 @@ interface ApplyInstructionsResult {
   tasksPath?: string;
 }
 
+/** Parsed `openspec status` artifacts plus their resolved files. Paths stay
+ *  internal: they feed the file-truth item counter, never the contract. */
+interface ParsedArtifact extends OpenSpecArtifact {
+  resolvedPath?: string;
+}
+
+interface ParsedOpenSpecStatus {
+  schemaName?: string;
+  artifacts?: ParsedArtifact[];
+  currentArtifact?: string;
+  changeRoot?: string;
+}
+
 function isRecord(value: unknown): value is Record<string, unknown> {
   return typeof value === 'object' && value !== null && !Array.isArray(value);
 }
@@ -117,6 +131,51 @@ export function parseTaskMarkdown(content: string): OpenSpecTask[] {
   return tasks;
 }
 
+/** File-truth checkbox counting: `{ done, total }` over `- [x]` / `- [ ]`
+ *  items. Zero checkboxes is absence, not zero — `undefined` emits only
+ *  when a readable source file actually carries countable items. */
+export function parseCheckboxCounts(
+  content: string,
+): { done: number; total: number } | undefined {
+  const pattern = /^\s*-\s*\[([ xX])\]/gmu;
+  let total = 0;
+  let done = 0;
+  let match: RegExpExecArray | null;
+  while ((match = pattern.exec(content)) !== null) {
+    total += 1;
+    if ((match[1] ?? '').toLowerCase() === 'x') done += 1;
+  }
+  return total > 0 ? { done, total } : undefined;
+}
+
+/** mtime-keyed parse cache: a file is re-read only after its mtime moves.
+ *  Unreadable files stay uncached so the next refresh retries honestly. */
+const artifactItemsCache = new Map<
+  string,
+  { mtimeMs: number; counts: { done: number; total: number } | undefined }
+>();
+
+export async function readArtifactItems(
+  path: string,
+): Promise<{ done: number; total: number } | undefined> {
+  let mtimeMs: number;
+  try {
+    mtimeMs = (await fs.stat(path)).mtimeMs;
+  } catch {
+    return undefined;
+  }
+  const cached = artifactItemsCache.get(path);
+  if (cached && cached.mtimeMs === mtimeMs) return cached.counts;
+  let counts: { done: number; total: number } | undefined;
+  try {
+    counts = parseCheckboxCounts(await fs.readFile(path, 'utf8'));
+  } catch {
+    return undefined;
+  }
+  artifactItemsCache.set(path, { mtimeMs, counts });
+  return counts;
+}
+
 export function parseTaskHierarchy(
   content: string,
 ): OpenSpecHierarchyProgress | undefined {
@@ -234,31 +293,60 @@ function chooseChange(
   return selected;
 }
 
-function parseOpenSpecStatus(value: unknown): {
-  schemaName?: string;
-  ladder?: { done: number; total: number; rung?: string };
-} {
+function parseOpenSpecStatus(value: unknown): ParsedOpenSpecStatus {
   if (!isRecord(value)) return {};
   const schemaName =
     typeof value.schemaName === 'string' && value.schemaName.trim()
       ? value.schemaName.trim()
       : undefined;
-  let ladder: { done: number; total: number; rung?: string } | undefined;
+  const changeRoot =
+    typeof value.changeRoot === 'string' && value.changeRoot.trim()
+      ? value.changeRoot.trim()
+      : undefined;
+  let artifacts: ParsedArtifact[] | undefined;
+  let currentArtifact: string | undefined;
   if (Array.isArray(value.artifacts) && value.artifacts.length > 0) {
-    let done = 0;
-    let rung: string | undefined;
+    const parsed: ParsedArtifact[] = [];
+    let lastDone: string | undefined;
     for (const artifact of value.artifacts) {
       if (!isRecord(artifact)) continue;
-      const id = typeof artifact.id === 'string' ? artifact.id : undefined;
-      if (rung === undefined && id) rung = id;
-      if (artifact.status === 'done') {
-        done += 1;
-        if (id) rung = id;
+      const id =
+        typeof artifact.id === 'string' && artifact.id.trim()
+          ? artifact.id.trim()
+          : undefined;
+      if (!id) continue;
+      const done = artifact.status === 'done';
+      if (done) lastDone = id;
+      // The artifacts array carries a relative outputPath; the item counter
+      // resolves it against the change root — contained paths only.
+      let resolvedPath: string | undefined;
+      const outputPath =
+        typeof artifact.outputPath === 'string' && artifact.outputPath.trim()
+          ? artifact.outputPath.trim()
+          : undefined;
+      if (changeRoot && outputPath) {
+        const root = resolve(changeRoot);
+        const candidate = resolve(root, outputPath);
+        if (candidate === root || candidate.startsWith(`${root}${sep}`)) {
+          resolvedPath = candidate;
+        }
       }
+      parsed.push({ id, done, ...(resolvedPath ? { resolvedPath } : {}) });
+    }
+    if (parsed.length > 0) {
+      // The current artifact is the one the work is in: the first not yet
+      // done; once everything is complete, the last done artifact.
+      const inProgress = parsed.find((artifact) => !artifact.done);
+      currentArtifact = inProgress ? inProgress.id : lastDone;
+      artifacts = parsed;
     }
-    ladder = { done, total: value.artifacts.length, ...(rung ? { rung } : {}) };
   }
-  return { ...(schemaName ? { schemaName } : {}), ...(ladder ? { ladder } : {}) };
+  return {
+    ...(schemaName ? { schemaName } : {}),
+    ...(artifacts ? { artifacts } : {}),
+    ...(currentArtifact ? { currentArtifact } : {}),
+    ...(changeRoot ? { changeRoot } : {}),
+  };
 }
 
 async function runJson(
@@ -295,6 +383,37 @@ async function isIdeaChange(projectRoot: string, changeName: string): Promise<bo
   }
 }
 
+/** Newest mtime over the change directory's direct files — the file-truth
+ *  "the change moved on" timestamp attention staleness compares against.
+ *  Change directories are flat; absent or unreadable dirs stay undefined. */
+async function changeDirectoryMtime(
+  projectRoot: string,
+  changeName: string,
+): Promise<number | undefined> {
+  const changesRoot = resolve(projectRoot, 'openspec', 'changes');
+  const changeRoot = resolve(changesRoot, changeName);
+  if (changeRoot !== changesRoot && !changeRoot.startsWith(`${changesRoot}${sep}`)) {
+    return undefined;
+  }
+  let entries;
+  try {
+    entries = await fs.readdir(changeRoot, { withFileTypes: true });
+  } catch {
+    return undefined;
+  }
+  let newest: number | undefined;
+  for (const entry of entries) {
+    if (!entry.isFile()) continue;
+    try {
+      const mtimeMs = (await fs.stat(resolve(changeRoot, entry.name))).mtimeMs;
+      newest = newest === undefined ? mtimeMs : Math.max(newest, mtimeMs);
+    } catch {
+      // A file vanishing between readdir and stat is honest absence.
+    }
+  }
+  return newest;
+}
+
 export async function collectOpenSpecOverview(options: {
   cwd: string;
   runner: CommandRunner;
@@ -361,7 +480,8 @@ export async function collectOpenSpec(options: {
   }
 
   let schemaName: string | undefined;
-  let ladder: OpenSpecState['ladder'];
+  let artifacts: OpenSpecArtifact[] | undefined;
+  let currentArtifact: string | undefined;
   try {
     const status = parseOpenSpecStatus(
       await runJson(
@@ -372,10 +492,28 @@ export async function collectOpenSpec(options: {
       ),
     );
     schemaName = status.schemaName;
-    ladder = status.ladder;
+    currentArtifact = status.currentArtifact;
+    if (status.artifacts) {
+      // Item counts come from the artifact FILES, not CLI opinion: the CLI
+      // cannot count custom-schema items (taskTrackingConfigured: false),
+      // and only readable files emit counts — absence never becomes zero.
+      artifacts = await Promise.all(
+        status.artifacts.map(async (artifact) => {
+          const items = artifact.resolvedPath
+            ? await readArtifactItems(artifact.resolvedPath)
+            : undefined;
+          return {
+            id: artifact.id,
+            done: artifact.done,
+            ...(items ? { items } : {}),
+          };
+        }),
+      );
+    }
   } catch {
-    // Ladder facts are optional; the list counts remain valid without them.
+    // Artifact facts are optional; the list counts remain valid without them.
   }
+  const changeModifiedAt = await changeDirectoryMtime(projectRoot, change.name);
 
   let tasks: OpenSpecTask[] = [];
   let tasksPath: string | undefined;
@@ -441,7 +579,9 @@ export async function collectOpenSpec(options: {
     ...(tasksPath ? { tasksPath } : {}),
     ...(hierarchy ? { hierarchy } : {}),
     ...(schemaName ? { schemaName } : {}),
-    ...(ladder ? { ladder } : {}),
+    ...(artifacts ? { artifacts } : {}),
+    ...(currentArtifact ? { currentArtifact } : {}),
+    ...(changeModifiedAt !== undefined ? { changeModifiedAt } : {}),
     meta: {
       source: 'openspec-cli',
       refreshedAt: now,

package/packages/status/src/publisher.ts

@@ -1,4 +1,4 @@
-import type { SessionSubject, SessionWorkFocus } from './active-work.ts';
+import type { SessionSubject } from './active-work.ts';
 import type { ActiveRunSpanView, ActiveRuntimeRuns } from './runtime-runs.ts';
 import type { TitleState } from './title-state.ts';
 import type { TurnCostSnapshot } from './turn-cost.ts';
@@ -24,7 +24,6 @@ export const GALACTICA_HEADER_CHANNEL = 'galactica-status:header';
 const OPEN_SPEC_WIDGET_ID = 'galactica.openspec';
 const OPEN_SPEC_SCOPE_SEPARATOR_WIDGET_ID = 'galactica.openspec-scope-separator';
 const OPEN_SPEC_PROGRESS_WIDGET_ID = 'galactica.openspec-progress';
-const SESSION_WORK_WIDGET_ID = 'galactica.work';
 const DIAGNOSTICS_WIDGET_ID = 'galactica.diagnostics';
 const ORCHESTRATION_WIDGET_ID = 'galactica.orchestration';
 
@@ -88,13 +87,6 @@ function openSpecColor(state: OpenSpecState): WidgetColor {
   return 'accent';
 }
 
-export function formatSessionWork(focus: SessionWorkFocus): string {
-  if (focus.state === 'clear') return 'Work · clear';
-  return focus.state === 'validation'
-    ? `Validate · ${focus.intent}`
-    : `Work · ${focus.intent}`;
-}
-
 export function formatOpenSpecOverview(overview: OpenSpecOverview): string {
   return (
     `${overview.completedPlans}/${overview.totalPlans}` +
@@ -209,21 +201,13 @@ export function buildWidgetSnapshots(
     openSpecFeedback?: OpenSpecFeedback;
     openSpecOverview?: OpenSpecOverview;
     openSpecProjectDetected?: boolean;
-    workFocus?: SessionWorkFocus;
   } = {},
 ): FancyFooterWidget[] {
   const compact = options.compact ?? false;
   const now = options.now ?? Date.now();
   const widgets: FancyFooterWidget[] = [];
 
-  const hasActiveFallback =
-    !options.openSpecOverview &&
-    Boolean(options.workFocus && options.workFocus.state !== 'clear');
-
-  if (
-    options.openSpecOverview ||
-    (options.openSpecProjectDetected === false && !hasActiveFallback)
-  ) {
+  if (options.openSpecOverview || options.openSpecProjectDetected === false) {
     widgets.push({
       id: OPEN_SPEC_SCOPE_SEPARATOR_WIDGET_ID,
       label: 'OpenSpec scope separator',
@@ -265,41 +249,7 @@ export function buildWidgetSnapshots(
   // Frozen contract: without an OpenSpec focus there is no progress surface —
   // no aggregate overview, no 'no OpenSpec' narration.
 
-  if (
-    !snapshot.openspec &&
-    !options.openSpecOverview &&
-    options.workFocus &&
-    options.workFocus.state !== 'clear'
-  ) {
-    const color: WidgetColor =
-      options.workFocus.state === 'validation' ? 'warning' : 'accent';
-    const glyph =
-      options.workFocus.state === 'validation'
-        ? { nerd: '◇⠀', emoji: '◇⠀', unicode: '◇⠀', ascii: '? ' }
-        : { nerd: '▶⠀', emoji: '▶⠀', unicode: '▶⠀', ascii: '> ' };
-    widgets.push({
-      id: SESSION_WORK_WIDGET_ID,
-      label: options.workFocus.state === 'validation' ? 'Validate' : 'Focus',
-      description:
-        options.workFocus.state === 'validation'
-          ? 'Session focus awaiting Human validation; its title remains in the header'
-          : 'Active Session Work focus; its title remains in the header',
-      content: {
-        type: 'text',
-        text: options.workFocus.state === 'validation' ? 'Validate' : 'Focus',
-      },
-      icon: { glyphs: glyph, color },
-      style: { textColor: color },
-      layout: {
-        row: 0,
-        position: 0,
-        align: 'right',
-        fill: 'none',
-      },
-    });
-  }
-
-  if (!snapshot.openspec && !options.workFocus && options.openSpecFeedback) {
+  if (!snapshot.openspec && options.openSpecFeedback) {
     const unavailable = options.openSpecFeedback === 'unavailable';
     const color: WidgetColor = unavailable ? 'warning' : 'dim';
     const stateText =
@@ -466,11 +416,7 @@ export const HEADER_LIFECYCLES = [
 
 export type HeaderLifecycle = (typeof HEADER_LIFECYCLES)[number];
 
-export const HEADER_SELECTION_SOURCES = [
-  'openspec',
-  'session-work',
-  'subject',
-] as const;
+export const HEADER_SELECTION_SOURCES = ['openspec', 'subject'] as const;
 
 export type HeaderSelection = {
   source: (typeof HEADER_SELECTION_SOURCES)[number];
@@ -547,7 +493,6 @@ function selectedOpenSpecTitles(
 export function headerSelection(options: {
   openSpec?: OpenSpecState | null;
   focusedTaskId?: string;
-  workFocus?: SessionWorkFocus;
   subject?: SessionSubject;
 }): HeaderSelection | null {
   if (options.openSpec) {
@@ -557,13 +502,6 @@ export function headerSelection(options: {
       color: openSpecColor(options.openSpec),
     };
   }
-  if (options.workFocus && options.workFocus.state !== 'clear') {
-    return {
-      source: 'session-work',
-      titles: [normalizeInline(options.workFocus.intent)],
-      color: options.workFocus.state === 'validation' ? 'warning' : 'accent',
-    };
-  }
   if (options.subject && options.subject.state === 'set') {
     return {
       source: 'subject',
@@ -884,7 +822,6 @@ export function buildHeaderStatusEvent(
   options: {
     openSpec?: OpenSpecState | null;
     focusedTaskId?: string;
-    workFocus?: SessionWorkFocus;
     subject?: SessionSubject;
     orchestration?: OrchestrationState | null;
     lifecycle?: HeaderLifecycle;
@@ -932,7 +869,7 @@ export function buildHeaderStatusEvent(
     orchestrationLifecycle ??
     options.lifecycle ??
     headerLifecycleForActivity(activity) ??
-    (options.workFocus?.state === 'validation' ? 'waiting' : 'listening');
+    'listening';
   const lifecycle: HeaderLifecycle = blocked
     ? 'blocked'
     : options.lifecycle === 'aborted'
@@ -942,7 +879,7 @@ export function buildHeaderStatusEvent(
   const projectedActivity =
     activityPath !== undefined ? { activityPath } : activity ? { activity } : {};
   const selection = headerSelection(options);
-  const approvalRequired = options.workFocus?.state === 'validation';
+  const approvalRequired = false;
   const suggestion = headerSuggestion({
     lifecycle,
     activity,
@@ -960,13 +897,6 @@ export function buildHeaderStatusEvent(
       color: openSpecColor(state),
       ...projectedActivity,
     };
-  } else if (options.workFocus && options.workFocus.state !== 'clear') {
-    work = {
-      lifecycle,
-      titles: [normalizeInline(options.workFocus.intent)],
-      color: options.workFocus.state === 'validation' ? 'warning' : 'accent',
-      ...projectedActivity,
-    };
   } else if (options.orchestration) {
     work = {
       lifecycle,

package/packages/status/src/reducer.ts

@@ -1,5 +1,5 @@
 import type { LedgerEvent } from './ledger.ts';
-import type { OpenSpecFocus, SessionSubject, SessionWorkFocus } from './active-work.ts';
+import type { OpenSpecFocus, SessionSubject } from './active-work.ts';
 import type {
   CockpitSnapshot,
   ProgressFact,
@@ -19,7 +19,6 @@ import type {
 
 export type ReducerFacts = {
   openSpec: OpenSpecFocus;
-  work: SessionWorkFocus;
   subject: SessionSubject;
   runs: ReadonlyMap<string, RunSpan>;
   progress: ProgressFact | null;
@@ -30,7 +29,6 @@ export const NO_SELECTION: SelectionState = { kind: 'none' };
 export function emptyFacts(): ReducerFacts {
   return {
     openSpec: { mode: 'none' },
-    work: { state: 'clear' },
     subject: { state: 'clear' },
     runs: new Map(),
     progress: null,
@@ -40,7 +38,6 @@ export function emptyFacts(): ReducerFacts {
 /** The single selection resolver. Priority order is contract-frozen. */
 export function resolveSelection(facts: {
   openSpec: OpenSpecFocus;
-  work: SessionWorkFocus;
   subject: SessionSubject;
 }): SelectionState {
   if (facts.openSpec.mode === 'task') {
@@ -50,13 +47,6 @@ export function resolveSelection(facts: {
       task: facts.openSpec.taskId,
     };
   }
-  if (facts.work.state !== 'clear') {
-    return {
-      kind: 'session-work',
-      intent: facts.work.intent,
-      phase: facts.work.state === 'validation' ? 'validation' : 'active',
-    };
-  }
   if (facts.subject.state === 'set') {
     return { kind: 'subject', title: facts.subject.title };
   }
@@ -73,8 +63,6 @@ export function applyEvent(facts: ReducerFacts, event: LedgerEvent): ReducerFact
   switch (event.type) {
     case 'focus/openspec':
       return { ...facts, openSpec: event.focus };
-    case 'focus/work':
-      return { ...facts, work: event.work };
     case 'focus/subject':
       return { ...facts, subject: event.subject };
     case 'run/start': {
@@ -153,12 +141,6 @@ export function deriveTitle(snapshot: CockpitSnapshot): string {
     case 'openspec-task':
       detail = `${selection.change} › ${selection.task}`;
       break;
-    case 'session-work':
-      detail =
-        selection.phase === 'validation'
-          ? `Validate › ${selection.intent}`
-          : selection.intent;
-      break;
     case 'subject':
       detail = selection.title;
       break;