@nelsonlongxiang/dsh-open-a2a-net 0.6.25 → 0.6.26

package/nexus-stage/src/wb-directory.ts

@@ -0,0 +1,222 @@
+/**
+ * The 目录 tab (2026-10-23 rewrite): unified search + category chips over
+ * four groups — 本机会话 (live first, then cold), 画布队, 远端节点, 本机日志.
+ * Peer hosts moved to the 主机 tab (the directory listed them twice).
+ *
+ * 本机日志 rows used to read `…arket-review · 48 KB`: the id's last 12
+ * characters and a size. They now group by day (今天 / 昨天 / 更早), carry a
+ * relative time, and show a learned title — the first user line of the
+ * transcript, captured when the log is opened in the chat drawer (the list
+ * face itself returns only id / mtime / size). When the host caps the list,
+ * the group says how many it is showing out of how many.
+ * Rows are attacker-shaped data: textContent only.
+ * @module nexus-stage/wb-directory
+ */
+import type { CanvasTeamRow, StateBody } from './workbench'
+import type { ChatTarget } from './wb-chat'
+import { displayName } from './stage-name'
+
+export type DirFilter = 'all' | 'local' | 'canvas' | 'remote' | 'logs'
+
+export const DIRECTORY_FILTERS: ReadonlyArray<{ key: DirFilter; label: string; hint: string }> = [
+  { key: 'all', label: '全部', hint: '不过滤：目录全部条目' },
+  { key: 'local', label: '本机', hint: '本机会话节点（现场 + 冷启动）' },
+  { key: 'canvas', label: '队', hint: '画布队（人类手工分配的组队）' },
+  { key: 'remote', label: '远端', hint: '远端会话队（来自对端卡片）' },
+  { key: 'logs', label: '日志', hint: '本机日志：不在网络目录里的会话档案' },
+]
+
+export interface LogRow { readonly id: string; readonly mtimeMs: number; readonly sizeBytes: number }
+
+export interface DirectoryContext {
+  readonly state: StateBody
+  readonly logs: ReadonlyArray<LogRow>
+  /** How many logs the host holds (the list face is capped); undefined when unknown. */
+  readonly logTotal?: number
+  /** Learned log titles by session id. */
+  readonly titles: ReadonlyMap<string, string>
+  /** Lowercased search text ('' = none). */
+  readonly search: string
+  readonly filter: DirFilter
+  readonly now: number
+  openChat(target: ChatTarget): void
+  selectCanvas(row: CanvasTeamRow): void
+}
+
+function el<K extends keyof HTMLElementTagNameMap>(tag: K, className?: string): HTMLElementTagNameMap[K] {
+  const node = document.createElement(tag)
+  if (className !== undefined) node.className = className
+  return node
+}
+
+/** Lowercased haystack for the unified search. */
+function haystack(...parts: ReadonlyArray<string | readonly string[] | undefined>): string {
+  const flat: string[] = []
+  for (const p of parts) {
+    if (p === undefined) continue
+    if (typeof p === 'string') flat.push(p)
+    else flat.push(...p)
+  }
+  return flat.join(' ').toLowerCase()
+}
+
+function ago(ms: number, now: number): string {
+  const s = Math.max(0, Math.round((now - ms) / 1000))
+  if (s < 60) return '刚刚'
+  const m = Math.round(s / 60)
+  if (m < 60) return `${m} 分钟前`
+  const h = Math.round(m / 60)
+  if (h < 48) return `${h} 小时前`
+  return `${Math.round(h / 24)} 天前`
+}
+
+function fmtSize(n: number): string {
+  return n >= 1_000_000 ? `${(n / 1_000_000).toFixed(1)} MB` : n >= 1_000 ? `${Math.round(n / 1_000)} KB` : `${n} B`
+}
+
+/** Local-calendar day bucket relative to `now`. */
+function dayBucket(ms: number, now: number): '今天' | '昨天' | '更早' {
+  const startOfToday = new Date(now)
+  startOfToday.setHours(0, 0, 0, 0)
+  const t0 = startOfToday.getTime()
+  if (ms >= t0) return '今天'
+  if (ms >= t0 - 86_400_000) return '昨天'
+  return '更早'
+}
+
+/** Render the directory into `box`; returns the tab badge text. */
+export function renderDirectory(box: HTMLElement, ctx: DirectoryContext): string {
+  box.replaceChildren()
+  const { state, search, filter } = ctx
+  const filtering = search !== '' || filter !== 'all'
+  const admit = (cat: DirFilter, hay: string): boolean => (filter === 'all' || filter === cat) && (search === '' || hay.includes(search))
+
+  const group = (label: string, count: number, extra?: string): HTMLElement => {
+    const g = el('div', 'wb-dir-group')
+    const head = el('div', 'wb-dir-head')
+    head.appendChild(el('span', 'wb-dir-head-label')).textContent = `${label} · ${count}`
+    if (extra !== undefined) head.appendChild(el('span', 'wb-dir-head-note')).textContent = extra
+    g.appendChild(head)
+    box.appendChild(g)
+    return g
+  }
+  const row = (parent: HTMLElement, dotClass: string, glyph: string, label: string, sub: string, onClick: () => void, tip?: string): HTMLButtonElement => {
+    const item = el('button', 'wb-item')
+    item.type = 'button'
+    item.appendChild(el('span', `wb-dot ${dotClass}`)).textContent = glyph
+    const text = el('span', 'wb-item-text')
+    text.appendChild(el('span', 'wb-item-label')).textContent = label
+    if (sub !== '') text.appendChild(el('span', 'wb-item-sub')).textContent = sub
+    item.appendChild(text)
+    if (tip !== undefined) item.title = tip
+    item.addEventListener('click', onClick)
+    parent.appendChild(item)
+    return item
+  }
+  const badges = (item: HTMLElement, teams: readonly string[] | undefined): void => {
+    if (teams === undefined || teams.length === 0) return
+    const chip = el('span', 'wb-item-badge')
+    const names = teams.map(t => t.slice(t.lastIndexOf('/') + 1))
+    chip.textContent = `▤ ${names.slice(0, 2).join(' ')}${names.length > 2 ? ` +${names.length - 2}` : ''}`
+    chip.title = `画布队：${teams.join(' · ')}`
+    item.appendChild(chip)
+  }
+
+  // ── 本机会话: live first, then cold ──
+  const sessions = (state.sessions ?? []).filter(s => admit('local', haystack(displayName(s), s.team, s.label, s.id, s.canvasTeams)))
+  const live = sessions.filter(s => s.live === true)
+  const cold = sessions.filter(s => s.live !== true)
+  if (sessions.length > 0) {
+    const g = group('本机会话', sessions.length, cold.length > 0 ? `${live.length} 在线 · ${cold.length} 冷` : undefined)
+    for (const s of [...live, ...cold]) {
+      const isLive = s.live === true
+      const item = row(g, isLive ? 'wb-dot-live' : 'wb-dot-cold', isLive ? '●' : '○', displayName(s), isLive ? s.team : `冷 · ${s.team}`,
+        () => ctx.openChat({ kind: 'session', id: s.id, title: displayName(s), sub: s.team, team: s.team, live: s.live }), s.id)
+      badges(item, s.canvasTeams)
+    }
+  }
+
+  // ── 画布队 ──
+  const canvases = (state.canvas?.teams ?? []).filter(t => admit('canvas', haystack(t.name, t.team, t.members.map(m => m.team ?? m.id))))
+  if (canvases.length > 0) {
+    const g = group('画布队', canvases.length)
+    for (const t of canvases) {
+      const remote = t.members.filter(m => m.remote === true).length
+      row(g, 'wb-dot-canvas', '▤', t.name, `${t.members.length} 成员${remote > 0 ? ` · ${remote} 远端` : ''}`, () => ctx.selectCanvas(t), t.team)
+    }
+  }
+
+  // ── 远端节点 ──
+  const remote = (state.remote ?? []).filter(r => admit('remote', haystack(displayName(r), r.team, r.origin, r.workspace, r.canvasTeams)))
+  if (remote.length > 0) {
+    const g = group('远端节点', remote.length)
+    for (const r of remote) {
+      const item = row(g, 'wb-dot-remote', '◇', displayName(r), r.origin !== undefined && r.origin !== '' ? r.origin : r.team,
+        () => ctx.openChat({ kind: 'remote', team: r.team, title: displayName(r), sub: r.team, row: r }), r.team)
+      badges(item, r.canvasTeams)
+    }
+  }
+
+  // ── 本机日志: every local log artifact not already shown as a network row ──
+  // (0.6.12 reachability: reading is host-scoped, the network directory is
+  // not the reading gate), newest first, grouped by day.
+  const networkIds = new Set((state.sessions ?? []).map(s => s.id))
+  const logs = ctx.logs.filter(l => !networkIds.has(l.id) && admit('logs', haystack(l.id, ctx.titles.get(l.id))))
+  if (logs.length > 0) {
+    const capped = ctx.logTotal !== undefined && ctx.logTotal > ctx.logs.length
+    const g = group('本机日志', logs.length, capped ? `显示 ${ctx.logs.length} / 共 ${ctx.logTotal}` : undefined)
+    let bucket = ''
+    for (const l of [...logs].sort((a, b) => b.mtimeMs - a.mtimeMs)) {
+      const b = dayBucket(l.mtimeMs, ctx.now)
+      if (b !== bucket) {
+        bucket = b
+        g.appendChild(el('div', 'wb-dir-day')).textContent = b
+      }
+      const title = ctx.titles.get(l.id)
+      const item = row(g, 'wb-dot-log', '❐', title ?? `会话 …${l.id.slice(-12)}`, `${ago(l.mtimeMs, ctx.now)} · ${fmtSize(l.sizeBytes)}`,
+        () => ctx.openChat({ kind: 'log', id: l.id, title: title ?? `…${l.id.slice(-12)}`, sub: '本机日志' }),
+        `${l.id}\n${new Date(l.mtimeMs).toLocaleString()} · ${fmtSize(l.sizeBytes)}`)
+      if (title === undefined) item.classList.add('is-untitled')
+    }
+  }
+
+  if (sessions.length + canvases.length + remote.length + logs.length === 0) {
+    box.appendChild(el('div', 'wb-dir-empty')).textContent = filtering ? '无匹配条目' : '目录为空'
+  }
+  const allSessions = state.sessions ?? []
+  const liveAll = allSessions.filter(s => s.live === true).length
+  return `${liveAll}/${allSessions.length}`
+}
+
+// ── learned log titles (per-viewer convenience, browser-local) ──
+const TITLE_KEY = 'dsh-a2a.logtitles'
+const TITLE_CAP = 300
+const TITLE_MAX = 60
+
+/** Load the learned titles; storage can be absent or throw — an empty map then. */
+export function loadLogTitles(): Map<string, string> {
+  try {
+    const raw = window.localStorage.getItem(TITLE_KEY)
+    const parsed = raw === null ? null : JSON.parse(raw) as unknown
+    if (parsed !== null && typeof parsed === 'object') {
+      return new Map(Object.entries(parsed as Record<string, unknown>).filter((e): e is [string, string] => typeof e[1] === 'string'))
+    }
+  } catch { /* fall through */ }
+  return new Map()
+}
+
+/** Learn a title from a transcript (first user line, else first line); true when it changed. */
+export function learnLogTitle(titles: Map<string, string>, id: string, messages: ReadonlyArray<{ role: string; text: string }>): boolean {
+  const source = messages.find(m => m.role === 'user' && m.text.trim() !== '') ?? messages.find(m => m.text.trim() !== '')
+  if (source === undefined) return false
+  const line = source.text.trim().split('\n')[0]!.trim()
+  const title = line.length > TITLE_MAX ? `${line.slice(0, TITLE_MAX - 1)}…` : line
+  if (titles.get(id) === title) return false
+  titles.delete(id)
+  titles.set(id, title)
+  while (titles.size > TITLE_CAP) titles.delete(titles.keys().next().value as string)
+  try {
+    window.localStorage.setItem(TITLE_KEY, JSON.stringify(Object.fromEntries(titles)))
+  } catch { /* per-viewer convenience only */ }
+  return true
+}

package/nexus-stage/src/wb-ledger.ts

@@ -0,0 +1,266 @@
+/**
+ * The 台账 tab (2026-10-23 redesign, user ruling — supersedes the b324460
+ * layout while keeping its intent: results first, color only for what needs
+ * a hand).
+ *
+ * Top: four stat tiles (待回执 · 陈旧 · 死信 · 已归档), each carrying its
+ * definition; the archive verdict split as one proportional bar. Below: the
+ * rows grouped by what to do with them —
+ *   死信        red, 'unconsumed' (or unspecified) dead rows, with 清账;
+ *   陈旧        amber, our receipt-expected sends ≥1h old — 可催办;
+ *   待本机回执  a peer's delivery to this host whose receipt WE owe
+ *               (amber from 1h, its own overdue count); never "可催办";
+ *   等待回执    quiet, our sends still within their hour;
+ *   免回执      muted, receiptExpected:false rows (no receipt will ever come);
+ *   已过期（免回执） muted, 'fire-forget' expiries — expected bookkeeping
+ *               (task-ledger sweep), not dead letters; 清账 still tidies them.
+ * The stale and dead counts come from ledgerFacts(), shared with the header
+ * verdict so the two never disagree (PR #30 review L1/L3).
+ * Each card leads with the brief, then a muted meta line (direction, team,
+ * age, task id) and chips (可结算 / 入站). A card whose team resolves to a
+ * session or remote node opens that conversation. Forensic counters
+ * (idempotency, reconcile) fold into a 取证 details element.
+ * Rows are attacker-shaped data: textContent only.
+ * @module nexus-stage/wb-ledger
+ */
+import type { DeadRow, PendingRow, StateBody } from './workbench'
+import type { RailTone } from './wb-rail'
+
+export interface LedgerContext {
+  readonly state: StateBody
+  readonly now: number
+  abandon(taskId: string, reason: string): Promise<boolean>
+  /** Open the conversation for a routing team; false when no node resolves. */
+  openTeam(team: string): boolean
+  /** Whether openTeam would resolve (cards only become clickable when it does). */
+  canOpenTeam(team: string): boolean
+}
+
+const HOUR = 60 * 60_000
+
+/** Inbound rows carry this host's own team; the sender is in `peer` as
+ *  `local:<sender>`. Rows say their direction (dead rows too since gh#31);
+ *  on an older host whose dead rows omit it, the peer prefix is the tell
+ *  (outbound local sends read 'local', remote ones a URL). */
+function isInbound(row: { direction?: string; peer?: string }): boolean {
+  return row.direction === 'inbound' || (row.direction === undefined && row.peer?.startsWith('local:') === true)
+}
+
+function senderOf(row: { peer?: string }): string | undefined {
+  return row.peer?.startsWith('local:') === true ? row.peer.slice('local:'.length) : undefined
+}
+
+/** Past its hour, by the host's clock when the row carries the server's
+ *  settleable verdict (receiptExpected && age < 1h, computed host-side), else
+ *  by ours — a workbench opened from another machine with a skewed clock then
+ *  still draws the boundary where the server does (at most one poll late). */
+function overHour(r: PendingRow, now: number): boolean {
+  return r.settleable !== undefined ? r.settleable === false : now - r.startedAt >= HOUR
+}
+
+/** The ledger's action counts, one definition for the 台账 tab and the header:
+ *  stale = OUR receipt-expected sends past their hour (receiptless rows are
+ *  never stale — no receipt is coming); owedOverdue = peers' deliveries whose
+ *  receipt WE have owed for over an hour (their own count, never mixed into
+ *  stale); dead letters = dead rows that are not a 'fire-forget' expiry. */
+export function ledgerFacts(state: StateBody, now: number): { stale: PendingRow[]; owedOverdue: PendingRow[]; deadLetters: DeadRow[]; expired: DeadRow[] } {
+  const expected = (state.tasks ?? []).filter(r => r.receiptExpected !== false)
+  const stale = expected.filter(r => !isInbound(r) && overHour(r, now))
+  const owedOverdue = expected.filter(r => isInbound(r) && overHour(r, now))
+  const dead = state.tasksDead ?? []
+  return { stale, owedOverdue, deadLetters: dead.filter(r => r.reason !== 'fire-forget'), expired: dead.filter(r => r.reason === 'fire-forget') }
+}
+
+function el<K extends keyof HTMLElementTagNameMap>(tag: K, className?: string): HTMLElementTagNameMap[K] {
+  const node = document.createElement(tag)
+  if (className !== undefined) node.className = className
+  return node
+}
+
+function ageText(ms: number, now: number): string {
+  const s = Math.max(0, Math.round((now - ms) / 1000))
+  if (s < 90) return `${s}s`
+  const m = Math.round(s / 60)
+  if (m < 90) return `${m}m`
+  const h = Math.round(m / 60)
+  if (h < 48) return `${h}h`
+  return `${Math.round(h / 24)}d`
+}
+
+function tile(parent: HTMLElement, label: string, value: number, hint: string, tone?: 'warn' | 'danger'): void {
+  const t = el('div', `wb-led-tile${tone !== undefined ? ` is-${tone}` : ''}`)
+  t.title = hint
+  t.appendChild(el('span', 'wb-led-tile-v')).textContent = String(value)
+  t.appendChild(el('span', 'wb-led-tile-k')).textContent = label
+  parent.appendChild(t)
+}
+
+/** The archive's verdict vocabulary, in a fixed order: the receipt
+ *  envelope's controlled outcomes (src/receipt.ts RECEIPT_OUTCOMES) plus the
+ *  projection's 'unclassified' (a receipt that rode no envelope outcome).
+ *  'abandoned' also covers a caller's cancel — the ledger archives both the
+ *  same way. Each verdict has a token-driven tone class, shared by the split
+ *  bar here and the chat drawer's settled status. */
+export const VERDICTS: ReadonlyArray<{ key: string; label: string; tone: 'completed' | 'rejected' | 'failed' | 'abandoned' | 'unclassified' }> = [
+  { key: 'completed', label: '完成', tone: 'completed' },
+  { key: 'sync_completed', label: '同步完成', tone: 'completed' },
+  { key: 'rejected', label: '拒绝', tone: 'rejected' },
+  { key: 'failed', label: '失败', tone: 'failed' },
+  { key: 'expired', label: '过期', tone: 'abandoned' },
+  { key: 'abandoned', label: '放弃', tone: 'abandoned' },
+  { key: 'unknown', label: '结论不明', tone: 'unclassified' },
+  { key: 'unclassified', label: '未分类', tone: 'unclassified' },
+]
+
+function splitBar(parent: HTMLElement, split: Readonly<Record<string, number>>, total: number): void {
+  const wrap = el('div', 'wb-led-split')
+  const bar = el('div', 'wb-led-split-bar')
+  bar.setAttribute('role', 'img')
+  const legend = el('div', 'wb-led-split-legend')
+  const known = new Set(VERDICTS.map(v => v.key))
+  const entries: Array<[string, string, number]> = VERDICTS.map(v => [v.tone, v.label, split[v.key] ?? 0])
+  for (const [k, n] of Object.entries(split)) if (!known.has(k)) entries.push(['other', k, n])
+  const parts: string[] = []
+  for (const [tone, label, n] of entries) {
+    if (n <= 0) continue
+    const seg = el('span', `wb-led-seg is-${tone}`)
+    seg.style.width = `${Math.max(2, (n / total) * 100)}%`
+    bar.appendChild(seg)
+    const item = el('span', 'wb-led-split-item')
+    item.appendChild(el('i', `wb-led-swatch is-${tone}`))
+    item.appendChild(document.createTextNode(`${label} ${n}`))
+    legend.appendChild(item)
+    parts.push(`${label} ${n}`)
+  }
+  bar.setAttribute('aria-label', `归档结局：${parts.join('，')}`)
+  wrap.append(bar, legend)
+  parent.appendChild(wrap)
+}
+
+type Card = { brief?: string; team: string; sender?: string; taskId: string; atText: string; inbound: boolean; chips: string[]; tone: 'danger' | 'warn' | 'muted' | 'quiet'; dead?: DeadRow }
+
+export function renderLedger(pane: HTMLElement, ctx: LedgerContext): { badge: string; tone?: RailTone } {
+  pane.replaceChildren()
+  const { state, now } = ctx
+  const pending = state.tasks ?? []
+  const dead = state.tasksDead ?? []
+  const archived = state.archivedCount ?? 0
+  const facts = ledgerFacts(state, now)
+  const receiptless = pending.filter(r => r.receiptExpected === false)
+  const expected = pending.filter(r => r.receiptExpected !== false)
+  const inbound = expected.filter(r => isInbound(r))
+  const outbound = expected.filter(r => !isInbound(r))
+  const stale = facts.stale
+  const young = outbound.filter(r => !overHour(r, now))
+  const staleCount = facts.stale.length
+
+  const tiles = el('div', 'wb-led-tiles')
+  tile(tiles, '待回执', pending.length, '等待回执的任务（pending），含陈旧与免回执行')
+  tile(tiles, '陈旧', staleCount, '我方派发、要回执、已等待 ≥1h 仍未回执（可催办）；本机欠对方的入站行在「待本机回执」组另计，免回执行不算陈旧', staleCount > 0 ? 'warn' : undefined)
+  tile(tiles, '死信', facts.deadLetters.length, '超过 24h TTL 仍未结算（unconsumed）；需清账（abandon）才能移出。免回执到期另列，不算死信', facts.deadLetters.length > 0 ? 'danger' : undefined)
+  tile(tiles, '已归档', archived, '已离开台账并留档的任务（结算、拒绝或放弃），用于审计')
+  pane.appendChild(tiles)
+  if (archived > 0 && state.archivedSplit !== undefined) splitBar(pane, state.archivedSplit, archived)
+
+  const card = (parent: HTMLElement, c: Card): void => {
+    const node = el('div', `wb-led-card is-${c.tone}`)
+    const head = el('div', 'wb-led-card-head')
+    head.appendChild(el('span', `wb-led-dir${c.inbound ? ' is-in' : ''}`)).textContent = c.inbound ? '↙' : '↗'
+    const brief = el('span', 'wb-led-brief')
+    brief.textContent = c.brief !== undefined && c.brief !== '' ? c.brief : '（无摘要——派发未带 brief）'
+    if (c.brief === undefined || c.brief === '') brief.classList.add('is-missing')
+    head.appendChild(brief)
+    node.appendChild(head)
+    const meta = el('div', 'wb-led-meta')
+    meta.appendChild(el('span', 'wb-led-team')).textContent = c.inbound ? `来自 ${c.sender ?? '对端'}` : `发往 ${c.team}`
+    if (c.inbound) meta.appendChild(el('span', 'wb-led-to')).textContent = `至 ${c.team}`
+    meta.appendChild(el('span')).textContent = c.atText
+    meta.appendChild(el('span', 'wb-led-task')).textContent = c.taskId
+    for (const chip of c.chips) meta.appendChild(el('span', 'wb-led-chip')).textContent = chip
+    node.appendChild(meta)
+    node.title = `${c.taskId}\n${c.team}`
+    if (c.dead !== undefined) {
+      const row = c.dead
+      const btn = el('button', 'wb-btn wb-led-abandon')
+      btn.type = 'button'
+      btn.textContent = '清账'
+      btn.title = '从台账移出这条死信（abandon）'
+      btn.addEventListener('click', ev => {
+        ev.stopPropagation()
+        btn.disabled = true
+        void ctx.abandon(row.taskId, 'workbench dead-letter cleanup').then(ok => {
+          btn.disabled = false
+          btn.textContent = ok ? '已清' : '失败'
+        })
+      })
+      node.appendChild(btn)
+    }
+    if (ctx.canOpenTeam(c.team)) {
+      node.classList.add('is-link')
+      node.setAttribute('role', 'button')
+      node.tabIndex = 0
+      node.setAttribute('aria-label', `${brief.textContent}，打开 ${c.team} 的对话`)
+      const go = (): void => { ctx.openTeam(c.team) }
+      node.addEventListener('click', go)
+      node.addEventListener('keydown', ev => { if (ev.key === 'Enter' || ev.key === ' ') { ev.preventDefault(); go() } })
+    }
+    parent.appendChild(node)
+  }
+  const section = (label: string, rows: number, tone: string, hint: string): HTMLElement | null => {
+    if (rows === 0) return null
+    const g = el('div', `wb-led-group is-${tone}`)
+    const head = el('div', 'wb-led-group-head')
+    head.appendChild(el('span')).textContent = `${label} · ${rows}`
+    head.appendChild(el('span', 'wb-led-group-hint')).textContent = hint
+    g.appendChild(head)
+    pane.appendChild(g)
+    return g
+  }
+  const pendingCard = (r: PendingRow, tone: Card['tone']): Card => {
+    const inb = isInbound(r)
+    return {
+      brief: r.brief, team: r.team, sender: senderOf(r), taskId: r.taskId, atText: `${ageText(r.startedAt, now)} 前${inb ? '收到' : '派发'}`, inbound: inb, tone,
+      chips: [...(r.settleable === true ? ['可结算'] : []), ...(r.receiptExpected === false ? ['无回执债'] : []), ...(inb ? ['入站'] : []), ...(r.status !== 'pending' ? [r.status] : [])],
+    }
+  }
+  const deadCard = (r: DeadRow, tone: Card['tone'], label: string): Card => ({
+    brief: r.brief, team: r.team, sender: senderOf(r), taskId: r.taskId, atText: `${ageText(r.deadAt, now)} 前${label}`, inbound: isInbound(r), tone, dead: r,
+    chips: r.reason !== undefined && r.reason !== '' && r.reason !== 'unspecified' && r.reason !== 'fire-forget' ? [r.reason] : [],
+  })
+
+  const gDead = section('死信', facts.deadLetters.length, 'danger', '需清账')
+  if (gDead !== null) for (const r of [...facts.deadLetters].sort((a, b) => b.deadAt - a.deadAt)) card(gDead, deadCard(r, 'danger', '死信'))
+  const gStale = section('陈旧', stale.length, 'warn', '我方派发 ≥1 小时仍无回执，可催办')
+  if (gStale !== null) for (const r of [...stale].sort((a, b) => a.startedAt - b.startedAt)) card(gStale, pendingCard(r, 'warn'))
+  const overdue = facts.owedOverdue.length
+  const gOwe = section('待本机回执', inbound.length, overdue > 0 ? 'warn' : 'quiet', overdue > 0 ? `对方在等本机回执 · ${overdue} 条超过 1 小时` : '对方在等本机回执')
+  if (gOwe !== null) for (const r of [...inbound].sort((a, b) => a.startedAt - b.startedAt)) card(gOwe, pendingCard(r, overHour(r, now) ? 'warn' : 'quiet'))
+  const gWait = section('等待回执', young.length, 'quiet', '1 小时内')
+  if (gWait !== null) for (const r of [...young].sort((a, b) => b.startedAt - a.startedAt)) card(gWait, pendingCard(r, 'quiet'))
+  const gFree = section('免回执', receiptless.length, 'muted', '不等回执，24h 后自动归档')
+  if (gFree !== null) for (const r of receiptless) card(gFree, pendingCard(r, 'muted'))
+  const gExpired = section('已过期（免回执）', facts.expired.length, 'muted', '正常记账，不是失败')
+  if (gExpired !== null) for (const r of [...facts.expired].sort((a, b) => b.deadAt - a.deadAt)) card(gExpired, deadCard(r, 'muted', '过期'))
+
+  if (pending.length + dead.length === 0) {
+    pane.appendChild(el('div', 'wb-led-empty')).textContent = '台账为空——没有待回执的任务'
+  }
+
+  // Forensics: the plumbing counters a seat reads when something looks off.
+  const idem = state.idempotency
+  const reconcileState = state.reconcile?.state
+  if (idem !== undefined || reconcileState !== undefined) {
+    const details = el('details', 'wb-led-forensics wb-forensics')
+    details.appendChild(el('summary')).textContent = '取证'
+    const body = el('div', 'wb-led-forensics-body')
+    if (idem !== undefined) body.appendChild(el('div')).textContent = `幂等 claims ${idem.claimsFresh ?? 0} · replays ${idem.replays ?? 0} · conflicts ${idem.conflicts ?? 0}`
+    if (reconcileState !== undefined) body.appendChild(el('div')).textContent = `reconcile ${reconcileState}`
+    details.appendChild(body)
+    pane.appendChild(details)
+  }
+
+  // Owed = receipts still expected + dead letters to clean; receiptless rows
+  // and fire-forget expiries owe nothing.
+  const owed = expected.length + facts.deadLetters.length
+  return { badge: owed > 0 ? String(owed) : '', tone: facts.deadLetters.length > 0 ? 'danger' : staleCount > 0 || overdue > 0 ? 'warn' : undefined }
+}

package/nexus-stage/src/wb-rail.ts

@@ -0,0 +1,147 @@
+/**
+ * The workbench's left rail as tabs (2026-10-23 rewrite): one tab per pane
+ * — 目录 · 主机 · 台账 · 活动 · 规划 — each panel full-height with its own
+ * scroll, replacing the single accordion scroll where the host rail sat
+ * last and the ledger pushed everything below the fold.
+ *
+ * WAI-ARIA tabs: role=tablist / tab / tabpanel, roving tabindex, ←/→ and
+ * Home/End move between tabs and activate them. Badges carry each pane's
+ * count, colored only when there is something to act on (danger / warn).
+ * The selected tab is a per-viewer convenience kept in localStorage (every
+ * access guarded; the rail works the same without it).
+ * @module nexus-stage/wb-rail
+ */
+
+export type RailTone = 'danger' | 'warn' | 'accent'
+
+export interface RailTabDef<K extends string> {
+  readonly key: K
+  readonly label: string
+}
+
+export interface RailTabs<K extends string> {
+  readonly root: HTMLElement
+  /** The panel a pane mounts into for tab `key`. */
+  panel(key: K): HTMLElement
+  select(key: K, opts?: { focus?: boolean }): void
+  selected(): K
+  setBadge(key: K, text: string, tone?: RailTone): void
+  /** Hide a tab (data mode moves its pane to the stage); a hidden selected tab falls back to the first visible one. */
+  setHidden(key: K, hidden: boolean): void
+}
+
+const STORE_KEY = 'dsh-a2a.rail.tab'
+
+function readStored(): string | null {
+  try {
+    return window.localStorage.getItem(STORE_KEY)
+  } catch {
+    return null
+  }
+}
+
+function writeStored(key: string): void {
+  try {
+    window.localStorage.setItem(STORE_KEY, key)
+  } catch { /* per-viewer convenience only */ }
+}
+
+export function createRailTabs<K extends string>(defs: ReadonlyArray<RailTabDef<K>>, opts: { onChange?(key: K): void } = {}): RailTabs<K> {
+  const root = document.createElement('aside')
+  root.className = 'wb-rail'
+  const list = document.createElement('div')
+  list.className = 'wb-tabs'
+  list.setAttribute('role', 'tablist')
+  list.setAttribute('aria-label', '工作台侧栏')
+  const panels = document.createElement('div')
+  panels.className = 'wb-tabpanels'
+  root.append(list, panels)
+
+  const tabs = new Map<K, HTMLButtonElement>()
+  const panelEls = new Map<K, HTMLElement>()
+  const badges = new Map<K, HTMLElement>()
+  const hidden = new Set<K>()
+  for (const def of defs) {
+    const tab = document.createElement('button')
+    tab.type = 'button'
+    tab.className = 'wb-tab'
+    tab.id = `wb-tab-${def.key}`
+    tab.dataset.sec = def.key
+    tab.setAttribute('role', 'tab')
+    tab.setAttribute('aria-controls', `wb-panel-${def.key}`)
+    const label = document.createElement('span')
+    label.className = 'wb-tab-label'
+    label.textContent = def.label
+    const badge = document.createElement('span')
+    badge.className = 'wb-tab-badge'
+    tab.append(label, badge)
+    tab.addEventListener('click', () => select(def.key))
+    list.appendChild(tab)
+    const panel = document.createElement('section')
+    panel.className = 'wb-tabpanel'
+    panel.id = `wb-panel-${def.key}`
+    panel.dataset.sec = def.key
+    panel.setAttribute('role', 'tabpanel')
+    panel.setAttribute('aria-labelledby', tab.id)
+    panel.tabIndex = -1
+    panels.appendChild(panel)
+    tabs.set(def.key, tab)
+    panelEls.set(def.key, panel)
+    badges.set(def.key, badge)
+  }
+
+  const visible = (): K[] => defs.map(d => d.key).filter(k => !hidden.has(k))
+  const stored = readStored()
+  let current: K = defs.find(d => d.key === stored)?.key ?? defs[0]!.key
+
+  list.addEventListener('keydown', ev => {
+    const keys = visible()
+    const at = keys.indexOf(current)
+    let next: K | undefined
+    if (ev.key === 'ArrowRight') next = keys[(at + 1) % keys.length]
+    else if (ev.key === 'ArrowLeft') next = keys[(at - 1 + keys.length) % keys.length]
+    else if (ev.key === 'Home') next = keys[0]
+    else if (ev.key === 'End') next = keys[keys.length - 1]
+    if (next === undefined) return
+    ev.preventDefault()
+    select(next, { focus: true })
+  })
+
+  function paint(): void {
+    for (const def of defs) {
+      const on = def.key === current
+      const tab = tabs.get(def.key)!
+      tab.setAttribute('aria-selected', String(on))
+      tab.tabIndex = on ? 0 : -1
+      tab.classList.toggle('is-active', on)
+      tab.hidden = hidden.has(def.key)
+      panelEls.get(def.key)!.hidden = !on
+    }
+  }
+
+  function select(key: K, o: { focus?: boolean } = {}): void {
+    if (hidden.has(key)) return
+    const changed = key !== current
+    current = key
+    writeStored(key)
+    paint()
+    if (o.focus === true) tabs.get(key)!.focus()
+    if (changed) opts.onChange?.(key)
+  }
+
+  function setBadge(key: K, text: string, tone?: RailTone): void {
+    const b = badges.get(key)!
+    b.textContent = text
+    b.className = `wb-tab-badge${tone !== undefined ? ` is-${tone}` : ''}`
+  }
+
+  function setHidden(key: K, h: boolean): void {
+    if (h) hidden.add(key)
+    else hidden.delete(key)
+    if (hidden.has(current)) current = visible()[0] ?? defs[0]!.key
+    paint()
+  }
+
+  paint()
+  return { root, panel: (k) => panelEls.get(k)!, select, selected: () => current, setBadge, setHidden }
+}