dsh-aris-panel 0.1.0

package/dsh/client.js

@@ -0,0 +1,634 @@
+// ARIS run status — browser half.
+//
+// One read-only conversation tab showing what the independent reviewer and the
+// loop's own artifacts say. It never writes, never advances a round, and never
+// converts a score, verdict, or `completed` status into a completion decision:
+// a loop can DRIVE but cannot ACQUIT, and neither can a dashboard.
+//
+// Handwritten on purpose — the file is small and fixed, so the package stays
+// build-free. A second view or any interactive mutation should move this to a
+// normal source-and-build setup instead of growing here.
+
+window.__ModuleLoader__.load({
+  id: 'dsh-aris',
+  factory(require) {
+    const React = require('react')
+    const h = React.createElement
+
+    const POLL_MS = 5000
+
+    /** Fields that answer "is the reviewer genuinely independent right now". */
+    const INDEPENDENCE = [
+      ['Executor', s => label(s.executor_model, s.executor_family)],
+      ['Reviewer', s => label(s.reported_reviewer_model ?? s.requested_reviewer_model, s.reviewer_family)],
+      ['Families', s => s.family_relation],
+      ['Independence verified', s => format(s.independence_verified)],
+      ['External acquittal owed', s => format(s.requires_external_acquittal)],
+    ]
+
+    /** Fields describing where the loop stands. */
+    const PROGRESS = [
+      ['Round', s => s.round === undefined ? undefined : `Round ${s.round}`],
+      ['Loop status', s => s.status === 'completed' ? 'ended (positive assessment or max rounds)' : s.status],
+      ['Difficulty', s => s.difficulty],
+      ['Reviewer backend (next round)', s => s.reviewer_backend],
+      ['Last score', s => s.last_score === undefined ? undefined : String(s.last_score)],
+      ['Last verdict', s => s.last_verdict],
+      ['Run id', s => s.run_id],
+    ]
+
+    function label(model, family) {
+      if (model === undefined || model === null) return family
+      return family === undefined || family === null ? String(model) : `${model} (${family})`
+    }
+
+    function format(value) {
+      if (value === true) return 'yes'
+      if (value === false) return 'no'
+      return value === undefined || value === null ? undefined : String(value)
+    }
+
+    function when(ms) {
+      if (typeof ms !== 'number') return ''
+      const seconds = Math.max(0, Math.round((Date.now() - ms) / 1000))
+      if (seconds < 90) return `${seconds}s ago`
+      const minutes = Math.round(seconds / 60)
+      return minutes < 90 ? `${minutes}m ago` : `${Math.round(minutes / 60)}h ago`
+    }
+
+    function rows(spec, state) {
+      const present = []
+      for (const [name, read] of spec) {
+        let value
+        try {
+          value = read(state)
+        } catch {
+          value = undefined
+        }
+        if (value !== undefined && value !== null && value !== '') {
+          present.push(h('div', { className: 'aris-row', key: name },
+            h('span', { className: 'aris-key' }, name),
+            h('span', { className: 'aris-value' }, String(value))))
+        }
+      }
+      return present
+    }
+
+    function Section(props) {
+      return h('section', { className: 'aris-section' },
+        h('h3', null, props.title),
+        props.children)
+    }
+
+    /**
+     * One pipeline phase. `accepted` is the only status an independent reviewer
+     * can produce; `done` is the executor's own claim, so a done-but-unaccepted
+     * phase is shown as the open acceptance obligation it is.
+     */
+    function Phase(props) {
+      const p = props.phase
+      const accepted = p.status === 'accepted'
+      const owed = p.status === 'done'
+      const detail = accepted
+        ? [p.reviewer, p.reviewerFamily && `(${p.reviewerFamily})`, p.independence]
+          .filter(Boolean).join(' ')
+        : owed ? 'executor self-report — not yet accepted by a reviewer' : undefined
+      return h('div', { className: 'aris-phase' },
+        h('span', { className: 'aris-phase-name' }, p.phase),
+        h('span', { className: 'aris-phase-status aris-status-' + p.status }, p.status),
+        h('span', { className: 'aris-phase-detail' },
+          detail,
+          p.artifact === undefined ? null : h('code', { className: 'aris-phase-artifact' }, p.artifact)))
+    }
+
+    function ArisRunView(props) {
+      const [data, setData] = React.useState(undefined)
+      const [error, setError] = React.useState(undefined)
+      const connection = props.connection
+
+      React.useEffect(() => {
+        let live = true
+        const controller = new AbortController()
+        const poll = () => {
+          connection.rpc.call('/aris', 'state', { sessionId: props.sessionId }, controller.signal)
+            .then((result) => {
+              if (!live) return
+              if (result.ok) {
+                setData(result.value)
+                setError(undefined)
+              } else {
+                setError(result.error && result.error.message ? result.error.message : 'RPC failed')
+              }
+            })
+            .catch((cause) => { if (live) setError(String(cause)) })
+        }
+        poll()
+        const timer = setInterval(poll, POLL_MS)
+        return () => { live = false; clearInterval(timer); controller.abort() }
+      }, [connection, props.sessionId])
+
+      if (error !== undefined) {
+        return h('div', { className: 'aris-view' }, h('p', { className: 'aris-note' }, error))
+      }
+      if (data === undefined) {
+        return h('div', { className: 'aris-view' }, h('p', { className: 'aris-note' }, 'Reading run artifacts…'))
+      }
+      if (data.workspace === undefined) {
+        return h('div', { className: 'aris-view' },
+          h('p', { className: 'aris-note' }, 'This session has no workspace directory, so there are no ARIS artifacts to read.'))
+      }
+
+      const state = data.state
+      const children = []
+
+      const pipeline = data.pipeline
+      const pipelineSection = pipeline === undefined ? undefined : (() => {
+        const owed = pipeline.phases.filter(p => p.status === 'done').length
+        return h(Section, { title: 'Pipeline', key: 'pipeline' },
+          h('p', { className: 'aris-note aris-run' },
+            [pipeline.runId, pipeline.updated && `updated ${pipeline.updated}`]
+              .filter(Boolean).join(' · ')),
+          pipeline.phases.map(p => h(Phase, { phase: p, key: p.phase })),
+          h('p', { className: 'aris-note' },
+            owed === 0
+              ? 'Only "accepted" means an independent reviewer or a deterministic verifier signed off; "done" is the executor\'s own claim.'
+              : `${owed} phase${owed === 1 ? '' : 's'} marked done by the executor but never accepted by a reviewer — an open acceptance obligation.`))
+      })()
+
+      if (data.stateError !== undefined) {
+        children.push(h('p', { className: 'aris-note', key: 'state-error' }, data.stateError))
+      } else if (state === undefined) {
+        children.push(h('p', { className: 'aris-note', key: 'no-state' },
+          'No review-stage/REVIEW_STATE.json yet — no auto-review-loop run has completed a round in this workspace.'))
+      } else {
+        // Independence leads: it is the property ARIS rests on, and the reason
+        // this tab exists at all.
+        children.push(h(Section, { title: 'Reviewer independence', key: 'independence' }, rows(INDEPENDENCE, state)))
+        if (pipelineSection !== undefined) children.push(pipelineSection)
+        children.push(h(Section, { title: 'Loop', key: 'loop' },
+          rows(PROGRESS, state),
+          data.criticisms === undefined ? null : h('div', { className: 'aris-criticisms' },
+            h('div', { className: 'aris-key' }, 'Last assessment'),
+            h('ul', { className: 'aris-list' },
+              data.criticisms.map((item, index) => h('li', { key: index }, item))))))
+        if (Array.isArray(state.pending_experiments) && state.pending_experiments.length > 0) {
+          children.push(h(Section, { title: 'Pending experiments', key: 'pending' },
+            h('ul', { className: 'aris-list' },
+              state.pending_experiments.map((item, index) =>
+                h('li', { key: index }, String(item))))))
+        }
+        children.push(h('p', { className: 'aris-note', key: 'staleness' },
+          `State is written when a round finishes, not continuously — this reflects the last completed round${
+            state.timestamp === undefined ? '' : ` (recorded ${state.timestamp})`}.`))
+      }
+
+      children.push(h(Section, { title: 'Artifacts', key: 'artifacts' },
+        h('ul', { className: 'aris-list' }, data.artifacts.map(item =>
+          h('li', { key: item.path },
+            h('span', { className: item.exists ? 'aris-ok' : 'aris-missing' }, item.exists ? '●' : '○'),
+            ' ',
+            h('code', null, item.path),
+            item.exists ? h('span', { className: 'aris-when' }, ' ' + when(item.mtime)) : null)))))
+
+      if (state === undefined && pipelineSection !== undefined) children.push(pipelineSection)
+      children.push(h('p', { className: 'aris-note', key: 'workspace' }, data.workspace))
+
+      return h('div', { className: 'aris-view' }, children)
+    }
+
+
+// ================= ARIS Workbench (interactive research console) =================
+// Extension of the official dsh-aris run-status tab into a full workbench:
+// pipeline/review state, idea board, experiments, research-wiki graph.
+// Read-only projections via the /aris-wb RPC channel; artifacts stay canonical.
+
+const WB_CHANNEL = '/aris-wb'
+const WB_TICK = String.fromCharCode(96)
+const FLOW_STAGES = [
+  { id: 1, title: '课题现状与可行性', desc: '提出方向，调研现状与可行性', skills: ['research-lit', 'idea-discovery', 'arxiv', 'deepxiv'], next: '用 research-lit 调研现状，或用 idea-discovery 一次跑完「现状→想法→排名」' },
+  { id: 2, title: '细化理解形成思路', desc: '来回交流，打磨出研究思路', skills: ['idea-creator', 'novelty-check', 'kill-argument', 'research-review'], next: 'idea-creator 补新想法、novelty-check 查新、kill-argument 对抗检验后敲定思路' },
+  { id: 3, title: '敲定研究方案', desc: '固化方法 + 文章框架 + 实验设计', skills: ['research-refine', 'research-refine-pipeline', 'experiment-plan', 'paper-plan'], next: 'research-refine 固化方案，experiment-plan 出实验路线图，paper-plan 出文章框架' },
+  { id: 4, title: '文章与实验', desc: '实现代码、跑实验、写论文', skills: ['experiment-bridge', 'run-experiment', 'analyze-results', 'paper-writing', 'auto-review-loop'], next: 'experiment-bridge 落地代码，run-experiment 跑实验，paper-writing 写论文，auto-review-loop 迭代打磨' },
+  { id: 5, title: '整合研究成果', desc: '沉淀知识、包装输出成果', skills: ['research-wiki', 'paper-talk', 'paper-poster-html', 'rebuttal', 'resubmit-pipeline'], next: 'research-wiki 沉淀知识，paper-talk/paper-poster-html 做演讲/海报，rebuttal 应对审稿意见' },
+]
+
+function inferStage(ov) {
+  const a = (ov && ov.artifacts) || {}
+  const has = function (p) { const e = a[p]; return !!e && e.exists }
+  if (has('refine-logs/EXPERIMENT_PLAN.md')) return 4
+  if (has('refine-logs/FINAL_PROPOSAL.md')) return 3
+  if (has('IDEA_REPORT.md') || has('idea-stage/IDEA_REPORT.md')) return 2
+  return 1
+}
+
+function WbGuide(props) {
+  const stage = props.stage
+  const onPick = props.onPick
+  const items = FLOW_STAGES.map(function (s) {
+    const cls = 'wb-stage' + (s.id === stage ? ' wb-stage-cur' : (s.id < stage ? ' wb-stage-done' : ''))
+    const mark = s.id < stage ? '✓' : (s.id === stage ? '▶' : String(s.id))
+    return h('div', { className: cls, key: s.id },
+      h('div', { className: 'wb-stage-head' }, h('span', { className: 'wb-stage-mark' }, mark), h('span', { className: 'wb-stage-title' }, s.title)),
+      h('div', { className: 'wb-stage-desc' }, s.desc),
+      h('div', { className: 'wb-stage-skills' }, s.skills.map(function (k) {
+        return h('button', { className: 'wb-skill-chip', key: k, onClick: function () { onPick(k) } }, k)
+      })))
+  })
+  const cur = FLOW_STAGES.find(function (s) { return s.id === stage })
+  return h('div', { className: 'wb-guide' },
+    h('div', { className: 'wb-guide-title' }, (props.title || '工作流向导') + (cur ? ' — 当前阶段：' + cur.title : '')),
+    h('div', { className: 'wb-stages' }, items),
+    cur ? h('div', { className: 'wb-guide-next' }, '下一步建议：' + cur.next) : null)
+}
+
+function WbTrigger(props) {
+  const connection = props.connection
+  const sessionId = props.sessionId
+  const skills = props.skills
+  const skill = props.skill
+  const args = props.args
+  const [status, setStatus] = React.useState(undefined)
+  const skillError = props.skillError
+  const [busy, setBusy] = React.useState(false)
+
+  const doLaunch = function () {
+    if (!skill) { setStatus('请先选择技能'); return }
+    setBusy(true)
+    connection.rpc.call(WB_CHANNEL, 'launch', { sessionId: sessionId, skill: skill, args: args })
+      .then(function (res) {
+        if (res.ok) {
+          setStatus(res.value.injected ? '已注入会话（' + res.value.method + '），执行已唤醒，请到会话窗口查看进度' : '未能注入，请复制提示词手动发送：' + res.value.prompt)
+        } else {
+          setStatus('触发失败：' + (res.error ? res.error.message : 'RPC error'))
+        }
+      })
+      .catch(function (e) { setStatus('触发失败：' + String(e)) })
+      .finally(function () { setBusy(false) })
+  }
+  const doCopy = function () {
+    if (!skill) { setStatus('请先选择技能'); return }
+    const text = '请使用 ARIS 技能 ' + WB_TICK + skill + WB_TICK + ' 完成对应工作流。' + (args ? ' 参数/方向：' + args : '')
+    navigator.clipboard.writeText(text).then(function () { setStatus('提示词已复制，粘贴到会话发送即可') }).catch(function () { setStatus('复制失败，请手动复制：' + text) })
+  }
+
+  const selectOptions = [h('option', { value: '', key: '' }, '— 选择 ARIS 技能 —')]
+  ;(skills || []).forEach(function (s) {
+    selectOptions.push(h('option', { key: s.name, value: s.name }, s.name + (s.description ? ' — ' + s.description.slice(0, 60) : '')))
+  })
+
+  return h('div', { className: 'wb-trigger' },
+    h('div', { className: 'wb-guide-title' }, '技能触发'),
+    h('div', { className: 'wb-trigger-row' },
+      h('select', { className: 'wb-skill-select', value: skill, onChange: function (e) { props.onSkill(e.target.value) } }, selectOptions),
+      h('input', { className: 'wb-args', placeholder: '参数 / 研究方向（可选）', value: args, onChange: function (e) { props.onArgs(e.target.value) } })),
+    h('div', { className: 'wb-trigger-row' },
+      h('button', { className: 'wb-btn', onClick: doLaunch, disabled: busy }, busy ? '触发中…' : '触发'),
+      h('button', { className: 'wb-btn wb-btn-copy', onClick: doCopy }, '复制提示词')),
+    (skillError ? h('div', { className: 'wb-error wb-skill-err' }, '技能列表：' + skillError) : null),
+    status ? h('div', { className: 'wb-status' }, status) : null)
+}
+function wbNote(text) { return h('p', { className: 'wb-note' }, text) }
+function wbKey(label, value) {
+  return h('div', { className: 'wb-row' }, h('span', { className: 'wb-key' }, label), h('span', { className: 'wb-val' }, value))
+}
+function WbSection(props) {
+  return h('section', { className: 'wb-section' }, h('h3', null, props.title), props.children)
+}
+function WbPre(props) {
+  return h('pre', { className: 'wb-pre' }, props.text)
+}
+function WbArtifacts(props) {
+  const items = props.items
+  if (!items || items.length === 0) return wbNote('(no artifacts tracked)')
+  return h('ul', { className: 'wb-list' }, items.map(function (item) {
+    return h('li', { key: item.path },
+      h('span', { className: item.exists ? 'wb-dot-ok' : 'wb-dot-missing' }, item.exists ? '●' : '○'),
+      ' ', h('code', null, item.path))
+  }))
+}
+function renderIdeaBoard(ideas) {
+  if (!ideas) return wbNote('(no data)')
+  const out = []
+  let any = false
+  const keys = ['IDEA_REPORT.md', 'idea-stage/IDEA_REPORT.md', 'refine-logs/FINAL_PROPOSAL.md', 'refine-logs/EXPERIMENT_PLAN.md']
+  keys.forEach(function (key) {
+    const doc = ideas[key]
+    if (doc === undefined) return
+    any = true
+    out.push(h('div', { className: 'wb-file', key: key },
+      h('span', { className: 'wb-file-name' }, key),
+      h('span', { className: 'wb-meta' }, doc.totalLines + ' lines'),
+      h(WbPre, { text: doc.head.join(String.fromCharCode(10)).slice(0, 900) })))
+  })
+  if (ideas.refineLogsDir && ideas.refineLogsDir.length > 0) {
+    any = true
+    out.push(h('div', { key: 'refine-dir' }, h('span', { className: 'wb-file-name' }, 'refine-logs/'), ' ', h('span', { className: 'wb-meta' }, ideas.refineLogsDir.join(', '))))
+  }
+  if (!any) out.push(wbNote('尚无 idea 产物 — 运行 /idea-discovery 或 /research-refine 后这里会出现 IDEA_REPORT / FINAL_PROPOSAL / EXPERIMENT_PLAN'))
+  return out
+}
+function renderExperiments(exps) {
+  if (!exps) return wbNote('(no data)')
+  const out = []
+  if (exps.runs && exps.runs.length > 0) {
+    out.push(h('ul', { className: 'wb-list' }, exps.runs.map(function (run) {
+      return h('li', { key: run.name },
+        h('code', null, run.name),
+        ' — ' + (run.runId || '(unnamed run)'),
+        run.updated ? ' · ' + run.updated : '',
+        run.phases ? ' · ' + run.phases.map(function (p) { return p.phase + ':' + p.status }).join(', ') : '')
+    })))
+  } else {
+    out.push(wbNote('尚无 .aris/runs 实验记录 — /experiment-bridge 或 /run-experiment 后出现'))
+  }
+  if (exps.wikiExperiments && exps.wikiExperiments.length > 0) {
+    out.push(h('div', { key: 'wiki-exps' },
+      h('span', { className: 'wb-file-name' }, 'research-wiki/experiments: '),
+      h('span', { className: 'wb-meta' }, exps.wikiExperiments.join(', '))))
+  }
+  return out
+}
+function renderWiki(wiki) {
+  if (!wiki) return wbNote('(no data)')
+  const out = []
+  const kinds = ['papers', 'ideas', 'experiments', 'claims']
+  const counts = {}
+  kinds.forEach(function (kind) {
+    counts[kind] = wiki.entities && wiki.entities[kind] ? wiki.entities[kind].length : 0
+  })
+  out.push(h('div', { className: 'wb-row', key: 'counts' },
+    h('span', { className: 'wb-key' }, '实体数'),
+    h('span', { className: 'wb-val' },
+      kinds.map(function (k) { return h('span', { className: 'wb-badge', key: k }, k + ' ' + counts[k]) }))))
+  out.push(wbKey('图谱边数', String(wiki.edgeCount || 0)))
+  if (wiki.edges && wiki.edges.length > 0) {
+    out.push(h('ul', { className: 'wb-list', key: 'edges' }, wiki.edges.slice(0, 40).map(function (e, i) {
+      return h('li', { key: i },
+        h('code', null, e.source || '?'),
+        ' --' + (e.type || e.relation || 'relates') + '--> ',
+        h('code', null, e.target || '?'))
+    })))
+  }
+  kinds.forEach(function (kind) {
+    const files = wiki.entities && wiki.entities[kind]
+    if (files && files.length > 0) {
+      out.push(h('div', { key: kind },
+        h('span', { className: 'wb-file-name' }, kind + '/: '),
+        h('span', { className: 'wb-meta' }, files.map(function (f) { return f.name }).join(', '))))
+    }
+  })
+  if (wiki.edgeCount === 0 && counts.papers === 0 && counts.ideas === 0) {
+    out.push(wbNote('research-wiki 已初始化但暂无实体 — /research-lit 或 /research-wiki ingest 后填充'))
+  }
+  return out
+}
+function ArisWorkbenchView(props) {
+  const connection = props.connection
+  const [sessionId, setSessionId] = React.useState(props.sessionId)
+  const [workspaces, setWorkspaces] = React.useState(undefined)
+  const [data, setData] = React.useState(undefined)
+  const [error, setError] = React.useState(undefined)
+  const [busy, setBusy] = React.useState(false)
+  const [skills, setSkills] = React.useState(undefined)
+  const [skillError, setSkillError] = React.useState(undefined)
+  const [skill, setSkill] = React.useState('')
+  const [args, setArgs] = React.useState('')
+
+  React.useEffect(function () {
+    let live = true
+    connection.rpc.call(WB_CHANNEL, 'sessions', {})
+      .then(function (res) {
+        if (!live) return
+        const ws = res.ok && res.value ? res.value.sessions : undefined
+        if (Array.isArray(ws)) {
+          setWorkspaces(ws)
+          if (sessionId === undefined && ws.length > 0) setSessionId(ws[0].id)
+        } else {
+          setWorkspaces([])
+          setError(res.error ? res.error.message : 'sessions RPC failed')
+        }
+      })
+      .catch(function (cause) { if (live) { setError(String(cause)); setWorkspaces([]) } })
+    return function () { live = false }
+  }, [connection])
+
+  const fetchSkills = React.useCallback(function () {
+    connection.rpc.call(WB_CHANNEL, 'skills', {})
+      .then(function (res) {
+        const list = res.ok && res.value ? res.value.skills : undefined
+        if (Array.isArray(list)) {
+          setSkills(list)
+          setSkillError(undefined)
+        } else {
+          setSkillError(res.error ? res.error.message : 'skills RPC 返回异常')
+        }
+      })
+      .catch(function (e) { setSkillError('技能列表加载失败：' + String(e)) })
+  }, [connection])
+
+  React.useEffect(function () { fetchSkills() }, [fetchSkills])
+
+  const load = React.useCallback(function () {
+    if (!sessionId) return
+    setBusy(true)
+    const timeout = new Promise(function (_, reject) {
+      setTimeout(function () { reject(new Error('RPC 超时（6s）')) }, 6000)
+    })
+    Promise.race([
+      Promise.all([
+        connection.rpc.call(WB_CHANNEL, 'overview', { sessionId: sessionId }),
+        connection.rpc.call(WB_CHANNEL, 'wiki', { sessionId: sessionId }),
+        connection.rpc.call(WB_CHANNEL, 'ideas', { sessionId: sessionId }),
+        connection.rpc.call(WB_CHANNEL, 'experiments', { sessionId: sessionId }),
+      ]),
+      timeout,
+    ]).then(function (results) {
+      const bad = results.find(function (r) { return !r.ok })
+      if (bad) {
+        setError(bad.error ? bad.error.message : 'RPC failed')
+        setData(undefined)
+        return
+      }
+      setData({ overview: results[0].value, wiki: results[1].value, ideas: results[2].value, experiments: results[3].value })
+      setError(undefined)
+    }).catch(function (cause) {
+      setError(String(cause))
+      setData(undefined)
+    }).finally(function () { setBusy(false) })
+  }, [connection, sessionId])
+
+  React.useEffect(function () { load() }, [load])
+
+  const ov = data && data.overview
+  const wiki = data && data.wiki
+  const ideas = data && data.ideas
+  const exps = data && data.experiments
+  const stage = ov ? inferStage(ov) : 1
+
+  const children = []
+  children.push(h('div', { className: 'wb-header', key: 'head' },
+    h('div', { className: 'wb-title' }, 'ARIS 研究工作台'),
+    h('div', { className: 'wb-actions' },
+      h('button', { className: 'wb-btn', onClick: function () { load(); fetchSkills() }, disabled: busy }, busy ? '加载中…' : '刷新'),
+      h('button', { className: 'wb-btn wb-btn-close', onClick: props.onClose }, '关闭'))))
+  if (workspaces && workspaces.length > 1) {
+    children.push(h('div', { className: 'wb-picker', key: 'picker' },
+      h('label', null, '工作区: '),
+      h('select', { value: sessionId, onChange: function (e) { setSessionId(e.target.value) } },
+        workspaces.map(function (s) { return h('option', { key: s.id, value: s.id }, s.cwd || s.id) }))))
+  }
+  if (workspaces && workspaces.length === 0) {
+    children.push(wbNote('无活动会话 — 请先在 DSH 中打开/新建一个工作区会话，然后点「刷新」'))
+  }
+  if (error) children.push(h('div', { className: 'wb-error', key: 'err' }, error))
+  if (sessionId === undefined && workspaces === undefined) children.push(wbNote('正在连接工作区…'))
+  if (sessionId !== undefined) {
+    children.push(h(WbGuide, { key: 'guide', stage: stage, onPick: function (name) { setSkill(name) } }))
+    children.push(h(WbTrigger, { key: 'trigger', connection: connection, sessionId: sessionId, skills: skills, skill: skill, args: args, skillError: skillError, onSkill: setSkill, onArgs: setArgs }))
+  }
+  if (sessionId !== undefined && data === undefined && !error) children.push(wbNote('加载中…'))
+  if (data) {
+    children.push(h(WbSection, { title: '流水线 / 审稿状态', key: 'pl' },
+      ov.workspace ? wbKey('工作区', ov.workspace) : wbNote('该会话没有工作区目录'),
+      ov.pipeline ? h('div', { key: 'pipe' },
+        wbKey('Run', ov.pipeline.runId || '(unnamed)'),
+        wbKey('Executor', ov.pipeline.executor || '(unknown)'),
+        h('ul', { className: 'wb-list' }, (ov.pipeline.phases || []).map(function (p) {
+          return h('li', { key: p.phase }, p.phase + ': ' + p.status + (p.artifact ? ' → ' + p.artifact : '') + (p.reviewer ? ' [' + p.reviewer + ']' : ''))
+        }))) : wbNote('暂无 .aris/runs 流水线记录'),
+      ov.state ? h('div', { key: 'state' },
+        wbKey('Round', ov.state.round === undefined ? '(n/a)' : 'Round ' + ov.state.round),
+        wbKey('Loop status', ov.state.status || '(n/a)'),
+        wbKey('Last score', ov.state.last_score === undefined ? '(n/a)' : String(ov.state.last_score)),
+        wbKey('Last verdict', ov.state.last_verdict || '(n/a)')) : wbNote('尚无 review-stage/REVIEW_STATE.json（未跑过 auto-review-loop）'),
+      h(WbArtifacts, (ov.artifacts && Object.keys(ov.artifacts).map(function (k) { return { path: k, exists: ov.artifacts[k].exists } })) || [])))
+    children.push(h('div', { className: 'wb-grid2', key: 'status' }, [
+      h(WbSection, { title: 'Idea 看板', key: 'id' }, renderIdeaBoard(ideas)),
+      h(WbSection, { title: '实验', key: 'ex' }, renderExperiments(exps)),
+      h(WbSection, { title: 'Wiki 图谱', key: 'wk' }, renderWiki(wiki)),
+    ]))
+  }
+
+  return h('div', { className: 'wb-overlay' }, children)
+}
+function ArisWorkbenchButton(props) {
+  const [open, setOpen] = React.useState(false)
+  return h('div', { className: 'wb-sidebar-entry' },
+    h('button', { className: 'wb-sidebar-toggle', onClick: function () { setOpen(function (v) { return !v }) } }, 'ARIS 工作台'),
+    open ? h(ArisWorkbenchView, { connection: props.connection, sessions: props.sessions, sessionId: props.sessionId, onClose: function () { setOpen(false) } }) : null)
+}
+
+const WB_CSS = `.wb-overlay { position: fixed; inset: 0; z-index: 9999; background: #ffffff; color: #1f1f1f; padding: 20px 28px; overflow-y: auto; font-size: 13px; line-height: 1.6; font-family: ui-sans-serif, system-ui, sans-serif; }
+.wb-header { display: flex; justify-content: space-between; align-items: center; border-bottom: 1px solid #e0e0e0; padding-bottom: 10px; margin-bottom: 14px; }
+.wb-title { font-size: 17px; font-weight: 700; letter-spacing: .02em; color: #1f1f1f; }
+.wb-actions { display: flex; gap: 8px; }
+.wb-btn { background: #007acc; color: #fff; border: 0; border-radius: 4px; padding: 5px 14px; font-size: 12px; cursor: pointer; }
+.wb-btn:disabled { opacity: .55; cursor: default; }
+.wb-btn-close { background: #e8e8e8; color: #333333; }
+.wb-btn-copy { background: #e8e8e8; color: #333333; }
+.wb-picker { margin-bottom: 12px; }
+.wb-picker label { color: #333333; }
+.wb-picker select { background: #ffffff; color: #1f1f1f; border: 1px solid #c8c8c8; border-radius: 4px; padding: 4px 8px; font-size: 12px; max-width: 70%; }
+.wb-section { margin-bottom: 20px; border: 1px solid #e4e4e4; border-radius: 6px; padding: 12px 16px; background: #fafafa; }
+.wb-section h3 { margin: 0 0 10px; font-size: 12px; letter-spacing: .05em; text-transform: uppercase; opacity: .6; font-weight: 700; color: #1f1f1f; }
+.wb-row { display: flex; gap: 12px; padding: 2px 0; }
+.wb-key { flex: 0 0 150px; opacity: .7; }
+.wb-val { flex: 1; word-break: break-word; }
+.wb-note { opacity: .55; font-size: 12px; margin: 6px 0; }
+.wb-list { margin: 6px 0; padding-left: 18px; }
+.wb-list li { padding: 1px 0; font-size: 12px; }
+.wb-dot-ok { color: #107c10; }
+.wb-dot-missing { opacity: .35; }
+.wb-error { color: #c42b1c; background: #fdeeee; border: 1px solid #e5b9b5; border-radius: 6px; padding: 8px 12px; margin: 10px 0; font-size: 12px; }
+.wb-pre { background: #f5f5f5; border-radius: 4px; padding: 8px 10px; font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 11px; white-space: pre-wrap; word-break: break-word; max-height: 180px; overflow-y: auto; margin: 6px 0; color: #24292e; }
+.wb-file { margin: 6px 0; }
+.wb-file-name { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 12px; color: #0066b8; }
+.wb-meta { opacity: .55; font-size: 11px; margin-left: 8px; }
+.wb-sidebar-entry { padding: 4px 6px; }
+.wb-sidebar-toggle { width: 100%; background: transparent; color: inherit; border: 1px solid transparent; border-radius: 4px; padding: 5px 8px; font-size: 12px; cursor: pointer; text-align: left; }
+.wb-sidebar-toggle:hover { background: rgba(0,0,0,.06); border-color: rgba(0,0,0,.12); }
+.wb-badge { display: inline-block; border-radius: 10px; padding: 1px 8px; font-size: 10px; margin-left: 6px; background: #e8e8e8; border: 1px solid #d0d0d0; color: #1f1f1f; }
+.wb-guide { margin-bottom: 18px; border: 1px solid #e0e0e0; border-radius: 6px; padding: 12px 16px; background: #f7f7f7; }
+.wb-guide-title { font-size: 13px; font-weight: 700; margin-bottom: 10px; color: #1f1f1f; }
+.wb-stages { display: grid; grid-template-columns: repeat(auto-fill, minmax(280px, 1fr)); gap: 10px; }
+.wb-stage { border: 1px solid #e6e6e6; border-radius: 6px; padding: 8px 10px; opacity: .55; background: #ffffff; }
+.wb-stage-done { opacity: .8; }
+.wb-stage-cur { opacity: 1; border-color: #007acc; background: #e8f4ff; }
+.wb-stage-head { display: flex; align-items: center; gap: 8px; margin-bottom: 4px; }
+.wb-stage-mark { flex: 0 0 20px; height: 20px; line-height: 20px; text-align: center; border-radius: 50%; background: #e8e8e8; font-size: 11px; color: #1f1f1f; }
+.wb-stage-done .wb-stage-mark { background: #107c10; color: #ffffff; }
+.wb-stage-cur .wb-stage-mark { background: #007acc; color: #ffffff; }
+.wb-stage-title { font-size: 13px; font-weight: 600; }
+.wb-stage-desc { font-size: 11px; opacity: .7; margin-bottom: 6px; }
+.wb-stage-skills { display: flex; flex-wrap: wrap; gap: 6px; }
+.wb-skill-chip { background: #eef4fb; color: #0066b8; border: 1px solid #99c9f0; border-radius: 12px; padding: 2px 10px; font-size: 11px; cursor: pointer; }
+.wb-skill-chip:hover { background: #007acc; color: #ffffff; }
+.wb-guide-next { margin-top: 10px; font-size: 12px; opacity: .85; }
+.wb-trigger { margin-bottom: 18px; border: 1px solid #e0e0e0; border-radius: 6px; padding: 12px 16px; background: #f7f7f7; }
+.wb-trigger-row { display: flex; gap: 10px; margin-bottom: 8px; flex-wrap: wrap; }
+.wb-skill-select { flex: 1 1 420px; background: #ffffff; color: #1f1f1f; border: 1px solid #c8c8c8; border-radius: 4px; padding: 6px 10px; font-size: 12px; min-width: 260px; }
+.wb-args { flex: 1 1 280px; background: #ffffff; color: #1f1f1f; border: 1px solid #c8c8c8; border-radius: 4px; padding: 6px 10px; font-size: 12px; min-width: 200px; }
+.wb-status { font-size: 12px; color: #107c10; margin-top: 4px; }`
+
+    const CSS = `
+.aris-view { padding: 16px 20px; overflow-y: auto; font-size: 13px; line-height: 1.6; }
+.aris-section { margin-bottom: 18px; }
+.aris-section h3 { margin: 0 0 6px; font-size: 12px; letter-spacing: .04em; text-transform: uppercase; opacity: .6; font-weight: 600; }
+.aris-row { display: flex; gap: 12px; padding: 2px 0; }
+.aris-key { flex: 0 0 190px; opacity: .7; }
+.aris-value { flex: 1; word-break: break-word; }
+.aris-list { margin: 0; padding-left: 18px; }
+.aris-list li { padding: 1px 0; }
+.aris-note { opacity: .6; font-size: 12px; margin: 8px 0 0; }
+.aris-ok { color: #2ea043; }
+.aris-missing { opacity: .4; }
+.aris-when { opacity: .55; font-size: 12px; }
+.aris-phase { display: flex; gap: 10px; align-items: baseline; padding: 2px 0; }
+.aris-phase-name { flex: 0 0 60px; font-family: ui-monospace, SFMono-Regular, Menlo, monospace; }
+.aris-phase-status { flex: 0 0 90px; font-size: 12px; }
+.aris-phase-detail { flex: 1; opacity: .65; font-size: 12px; }
+.aris-phase-artifact { margin-left: 8px; opacity: .8; }
+.aris-run { margin: 0 0 6px; }
+.aris-criticisms { margin-top: 10px; }
+.aris-criticisms .aris-key { margin-bottom: 3px; }
+.aris-status-accepted { color: #2ea043; font-weight: 600; }
+.aris-status-done { color: #bf8700; }
+.aris-status-running { color: #0969da; }
+.aris-status-failed { color: #cf222e; }
+.aris-status-pending, .aris-status-skipped { opacity: .5; }
+`
+
+    return {
+      inject: ['slots', 'connection', 'sessions'],
+      apply(ctx) {
+        ctx.effect(() => {
+          const style = document.createElement('style')
+          style.textContent = CSS + WB_CSS
+          document.head.append(style)
+          return () => { style.remove() }
+        }, 'ARIS run-status styles')
+
+        ctx.slots.inject('conversation.view', () => ctx.slots.register({
+          name: 'conversation.view',
+          id: 'aris',
+          order: 100,
+          label: () => 'ARIS',
+        }, (props) => h(ArisRunView, {
+          sessionId: props.sessionId,
+          connection: ctx.connection,
+        })))
+
+        ctx.slots.inject('sidebar.footer.action', () => ctx.slots.register({
+          name: 'sidebar.footer.action',
+          id: 'aris-workbench',
+          label: () => 'ARIS 工作台',
+          inject: () => ({ connection: ctx.connection, sessions: ctx.sessions }),
+        }, (props) => h(ArisWorkbenchButton, {
+          connection: ctx.connection,
+          sessions: ctx.sessions,
+          sessionId: props.sessionId,
+        })))
+      },
+    }
+  },
+})