dsh-data-domain-knowledge 0.1.0-alpha.13 → 0.1.0-alpha.15

package/src/client/RecallPanel.tsx

@@ -9,10 +9,11 @@
  * `chunk_index` / `score` 一起给出 —— 只报「命中 N 条」看不出召回质量。
  */
 
-import { Fragment, useEffect, useState, type ReactNode } from 'react'
+import { Fragment, useEffect, useRef, useState, type ReactNode } from 'react'
 import { ArrowRight, ArrowUpDown, BrainCircuit, CircleHelp, GitBranch, Layers3, Play, Search, Shapes } from '@tita-agent/ui/icons'
 import { Button, Card, Input, cn } from '@tita-agent/ui/components'
 import { ExpansionGraph } from './ExpansionGraph.tsx'
+import { requestJson } from './request.ts'
 import { styles } from './styles.ts'
 
 /** 一条命中的 wikiNote。`match` 是**真正贡献了这次命中**的路线。 */
@@ -168,22 +169,6 @@ export interface RecallResultView {
   indexVersion?: number
 }
 
-interface Envelope<T> { ok?: boolean; data?: T; error?: { code?: string; message?: string; suggestion?: string } | null }
-
-async function requestJson<T>(url: string): Promise<Envelope<T>> {
-  const response = await fetch(url)
-  const text = await response.text()
-  if (!text.trim()) throw new Error(`服务端返回空响应（HTTP ${response.status}）`)
-  let payload: Envelope<T>
-  try { payload = JSON.parse(text) as Envelope<T> } catch { throw new Error(`服务端返回了无效响应（HTTP ${response.status}）`) }
-  const error = payload.error
-  if (!response.ok || payload.ok === false) {
-    const detail = [error?.code, error?.message].filter(Boolean).join(' · ') || `请求失败（${response.status}）`
-    throw new Error(error?.suggestion ? `${detail} — ${error.suggestion}` : detail)
-  }
-  return payload
-}
-
 /**
  * 账本列表（0050）：**每一路的全部候选**，没过阈值的也在（虚线 + 淡色 + 一句原因）。
  *
@@ -443,9 +428,24 @@ export function RecallPanel({ kbId, kbName, visible, variant = 'recall', default
   const [query, setQuery] = useState('')
   const [topK, setTopK] = useState(defaults?.topK ?? 10)
   const [topN, setTopN] = useState(defaults?.topN ?? 5)
+  /**
+   * 两个参数框里**正在被敲的那串字**。
+   *
+   * 输入框原来直接吃数字、每次按键都夹一次（`Math.max(1, …)`），于是「全选删掉重打」
+   * 这一步永远做不到：清空的一瞬间就被改写回 1，人只能先选中再输入。**空串是一种
+   * 合法的中间态**，所以草稿留成字符串，只在失焦时夹一次。
+   */
+  const [topKDraft, setTopKDraft] = useState(String(defaults?.topK ?? 10))
+  const [topNDraft, setTopNDraft] = useState(String(defaults?.topN ?? 5))
   const [busy, setBusy] = useState(false)
   const [error, setError] = useState<string | null>(null)
   const [result, setResult] = useState<RecallResultView | null>(null)
+  /**
+   * 本次运行的票号。连按两次「测试」或连敲两次回车会发两个请求，先发的可能后回 ——
+   * 那一次的结果会把新一次盖掉，而屏幕上的参数是新一次的。每个 `setState` 前比票号，
+   * 过期的整段丢掉（与卡片列表 `eventsRequestRef` 同一条纪律）。
+   */
+  const runRef = useRef(0)
   /** 三个 tab：召回 / 重排 / 交付 —— 一条链路的三段，各自回答一个问题。 */
   const [tab, setTab] = useState<RecallStep>('recall')
   /** 召回 tab 里正在看哪一路（`all` = 看融合后的命中）。 */
@@ -473,14 +473,32 @@ export function RecallPanel({ kbId, kbName, visible, variant = 'recall', default
   const topNDefault = defaults?.topN
   useEffect(() => {
     if (!visible) return
-    if (topKDefault) setTopK(topKDefault)
-    if (topNDefault) setTopN(topNDefault)
+    if (topKDefault) { setTopK(topKDefault); setTopKDraft(String(topKDefault)) }
+    if (topNDefault) { setTopN(topNDefault); setTopNDraft(String(topNDefault)) }
     setResult(null)
   }, [visible, resetKey, topKDefault, topNDefault])
 
+  /** 夹一次并写回草稿。数字为空或非数就退回当前值 —— 不合法的一律不落地。 */
+  const commitTopK = (): void => {
+    const next = Math.max(1, Math.min(50, Number(topKDraft) || topK))
+    setTopK(next); setTopKDraft(String(next))
+    // topN 的上限跟着 topK：改小 topK 之后原来那个 topN 可能已经越界。
+    setTopN(current => {
+      const capped = Math.min(current, next)
+      setTopNDraft(String(capped))
+      return capped
+    })
+  }
+  const commitTopN = (): void => {
+    const next = Math.max(1, Math.min(topK, Number(topNDraft) || topN))
+    setTopN(next); setTopNDraft(String(next))
+  }
+
   const run = async (): Promise<void> => {
     const trimmed = query.trim()
     if (!trimmed) { setError('请输入要测试的召回问题。'); return }
+    const ticket = runRef.current + 1
+    runRef.current = ticket
     setBusy(true); setError(null); setDroppedOpen(null)
     try {
       const boundedTopN = Math.min(topN, topK)
@@ -588,6 +606,8 @@ export function RecallPanel({ kbId, kbName, visible, variant = 'recall', default
           ...(expansion && item.via ? { via: `${item.via.title}（${item.via.relation}）` } : {}),
         }
       })
+      // 票号过期就整段丢掉：这份响应属于上一次点击，落地只会把新一次的结果盖掉。
+      if (runRef.current !== ticket) return
       setResult({
         count: hits.length,
         backend: data.backend ?? 'fts',
@@ -651,9 +671,12 @@ export function RecallPanel({ kbId, kbName, visible, variant = 'recall', default
         ...(data.indexVersion === undefined ? {} : { indexVersion: data.indexVersion }),
       })
     } catch (cause) {
+      if (runRef.current !== ticket) return
       setError(cause instanceof Error ? cause.message : String(cause))
     } finally {
-      setBusy(false)
+      // 只有还是当前这一次才关掉「测试中」：过期的那次把 busy 关掉，会让正在跑的那次
+      // 看起来已经结束（按钮重新可点，于是又多开一次请求）。
+      if (runRef.current === ticket) setBusy(false)
     }
   }
 
@@ -758,7 +781,10 @@ export function RecallPanel({ kbId, kbName, visible, variant = 'recall', default
     <div className={styles.inputRow}>
       <Input value={query} placeholder="请输入要测试的内容"
         onChange={event => setQuery(event.target.value)}
-        onKeyDown={event => { if (event.key === 'Enter') void run() }} />
+        // 回车与按钮走**同一条判断**：按钮上写着 `disabled={busy}`，而回车原来没有这一条，
+        // 于是「测试中连敲回车」会同时开出好几个请求。空串也不打 —— 那时它在报一个
+        // 人还没写完的输入。
+        onKeyDown={event => { if (event.key === 'Enter' && !busy && query.trim() !== '') void run() }} />
       <Button variant="default" onClick={() => void run()} disabled={busy}>
         {variant === 'runner' && <Play size={13} />}{busy ? '测试中…' : variant === 'runner' ? '运行检查' : '测试'}
       </Button>
@@ -780,12 +806,16 @@ export function RecallPanel({ kbId, kbName, visible, variant = 'recall', default
     </p>
     {paramOpen && <div className={styles.recallControls}>
       <label>召回 topK
-        <Input type="number" min={1} max={50} value={topK} disabled={busy}
-          onChange={event => setTopK(Math.max(1, Math.min(50, Number(event.target.value) || 1)))} />
+        <Input type="number" min={1} max={50} value={topKDraft} disabled={busy}
+          onChange={event => setTopKDraft(event.target.value)}
+          onBlur={commitTopK}
+          onKeyDown={event => { if (event.key === 'Enter') commitTopK() }} />
       </label>
       <label>上下文 topN
-        <Input type="number" min={1} max={topK} value={Math.min(topN, topK)} disabled={busy}
-          onChange={event => setTopN(Math.max(1, Math.min(topK, Number(event.target.value) || 1)))} />
+        <Input type="number" min={1} max={topK} value={topNDraft} disabled={busy}
+          onChange={event => setTopNDraft(event.target.value)}
+          onBlur={commitTopN}
+          onKeyDown={event => { if (event.key === 'Enter') commitTopN() }} />
       </label>
     </div>}
     {error && <p className={cn(styles.kbNotice, styles.kbNoticeError)} role="alert">{error}</p>}

package/src/client/TabGuide.tsx

@@ -162,9 +162,9 @@ const COMPILE_PROMPT_SECTIONS: GuideSection[] = [
   {
     title: '这一步发给模型的提示词',
     points: [
-      '四段里只有两段调模型：**抽取 Knowledge**（Extract）与 **物化 WikiCard 里的组织**（Organize）。',
-      '**归一坐标**（Resolve）不调模型：作用域内 canonical → alias → 全局唯一 → 新建候选，全是查注册表。',
-      '**建索引**（Index）也不调模型：切召回单元、写索引页、检查断链，都是确定性计算。',
+      '抽取 Knowledge / Event 使用 LLM；归一遇到歧义时调用模型补判；WikiCard 可选择模型组织。三个阶段独立运行。',
+      '**归一坐标**（Resolve）优先查 canonical、alias 与作用域；需要语义比较时由模型在已有候选中补判，不确定就保留待处理。',
+      '**建索引**（Index）从已保存卡片切召回单元，构建关键词、向量和图谱；向量编码使用所选向量模型，不重复文档抽取。',
       '所以下面两段就是这条链路全部的模型输入。它们都是 **system 段**；user 段每次都不同（文档正文、这一坐标下的知识清单），列不出固定文本。',
     ],
   },
@@ -176,7 +176,7 @@ const COMPILE_PROMPT_SECTIONS: GuideSection[] = [
       '这是**稳定前缀**：同一份契约每份文档都发一遍，所以它进 system 而不是 user。',
       '运行时在这段之后还会注入两样随库与文档变化的东西，所以不在上面那段里：本库**已有的坐标清单**（对象 / 动作 / 场景，含定义与别名），以及**本库骨架允许的小节名**。',
       '已有坐标刻意放在 user 段 —— system 保持稳定，上游缓存才命中得了（`sessionId` 被钉成 `knowledge:<库 id>` 就是为了这件事）。',
-      '模型回一个 JSON：`knowledge` 是抽出来的知识（每条只挂一个坐标），`objects` / `actions` / `scenes` 是它用到的原始说法与定义，`dropped` 是它丢掉且说得出理由的片段。',
+      '模型默认回 TOON 固定列表格，历史 JSON 仍兼容：`knowledge` 是抽出来的知识（每条只挂一个坐标），`objects` / `actions` / `scenes` 是它用到的原始说法与定义，`dropped` 是它丢掉且说得出理由的片段。',
     ],
     wide: true,
   },

package/src/client/TrialReportView.tsx

@@ -80,6 +80,29 @@ const EVENT_STEP_LABEL: Record<TrialEventStepKind, string> = {
   observation: '观察', check: '核对', action: '操作', result: '结果', conclusion: '结论',
 }
 
+/**
+ * 区块导航。
+ *
+ * 这份报告可以有七步、几十条知识、几百 KB —— 打开它的人第一件事是「跳到我要看的那一段」，
+ * 而不是从上往下读。所以顶上放一条**锚点条**：它是这一页的目录，不是第二个流程说明。
+ *
+ * 用 `<a href>` 而不是按钮：这一页就是一份文档，锚点带来的是「复制链接给同事」这种
+ * 浏览器本来就有的能力（`#steps` 直接落到处理步骤）。
+ */
+const SECTIONS: Array<{ id: string; label: string }> = [
+  { id: 'trial-overview', label: '概览' },
+  { id: 'trial-output', label: '抽取内容' },
+  { id: 'trial-steps', label: '处理步骤' },
+  { id: 'trial-requests', label: '模型请求' },
+  { id: 'trial-review', label: '核验结果' },
+]
+
+function SectionNav({ items }: { items: typeof SECTIONS }): ReactNode {
+  return <nav className={styles.trialNav} aria-label="报告区块">
+    {items.map(section => <a key={section.id} href={`#${section.id}`}>{section.label}</a>)}
+  </nav>
+}
+
 function InlineDisclosure({ summary, children }: { summary: string; children: ReactNode }): ReactNode {
   const [expanded, setExpanded] = useState(false)
   return <>
@@ -421,20 +444,37 @@ export function TrialReport({ report }: { report: TrialReportView }): ReactNode
   }
 
   const defaultTab = report.knowledge.length > 0 ? 'knowledge' : events.length > 0 ? 'events' : 'cards'
+  /**
+   * 「这一次什么都没抽出来」。
+   *
+   * 一次模型没跑通的运行会有五行 0、一个三个空页签的内容区、一条空列表 —— 一屏全是
+   * 「没有」。而这时真正有信息的只有两样：**为什么失败**，以及**发出去的提示词**。
+   * 所以这种记录把概览压成一行、整段跳过内容区，直接把位置让给模型请求与核验。
+   */
+  const empty = !report.model.ok && report.knowledge.length === 0 && events.length === 0 && report.wikiCards.length === 0
+  /** 流水线的抽取阶段落下的记录：报告里的 ②③④ 段只是试跑顺带算的预览。 */
+  const extractOnly = report.scope === 'extract-only'
 
   return <div className={styles.trialReport}>
-    <section className={styles.trialOverview} aria-labelledby="trial-overview-title">
+    {/* 只列真的会渲染出来的区块：空运行的「抽取内容」整段被跳过，留着就是一个点了没反应的锚点。 */}
+    <SectionNav items={empty ? SECTIONS.filter(section => section.id !== 'trial-output') : SECTIONS} />
+    <section id="trial-overview" className={styles.trialOverview} aria-labelledby="trial-overview-title">
       <div className={styles.trialSectionHead}>
         <h2 id="trial-overview-title">结果概览</h2>
         <span>{report.model.ok ? '已完成' : '需检查'}</span>
       </div>
-      <dl className={styles.trialOverviewStats}>
-        <div><dt>Knowledge</dt><dd>{report.knowledge.length}</dd></div>
-        <div><dt>Event</dt><dd>{events.length}</dd></div>
-        <div><dt>坐标</dt><dd>{report.objects.length} / {report.actions.length} / {report.scenes.length}<small>对象 / 动作 / 场景</small></dd></div>
-        <div><dt>WikiCard</dt><dd>{report.wikiCards.length}</dd></div>
-        <div><dt>已报告 Token</dt><dd>{usageLabel}<small>{usageNote}</small></dd></div>
-      </dl>
+      {/* 空运行不排五行 0：那五行没有一个数字是结论，而失败原因在上面那一条里。 */}
+      {empty
+        // 一行平话，不是虚线空态框：框会在红色报错上方再压一层「这里什么都没有」，
+        // 而真正该被读到的是下面那句失败原因。
+        ? <p className={styles.trialOverviewEmpty}>这一次没有形成任何 Knowledge、Event 或 WikiCard。</p>
+        : <dl className={styles.trialOverviewStats}>
+          <div><dt>Knowledge</dt><dd>{report.knowledge.length}</dd></div>
+          <div><dt>Event</dt><dd>{events.length}</dd></div>
+          <div><dt>坐标</dt><dd>{report.objects.length} / {report.actions.length} / {report.scenes.length}<small>对象 / 动作 / 场景</small></dd></div>
+          {!extractOnly && <div><dt>WikiCard</dt><dd>{report.wikiCards.length}</dd></div>}
+          <div><dt>已报告 Token</dt><dd>{usageLabel}<small>{usageNote}</small></dd></div>
+        </dl>}
       <p className={styles.trialOverviewTitle}>
         <strong>{report.title}</strong><span>{report.lines} 行 · {report.chars.toLocaleString('zh-CN')} 字</span>
       </p>
@@ -445,7 +485,7 @@ export function TrialReport({ report }: { report: TrialReportView }): ReactNode
       <TriangleAlert size={12} />{report.model.why ?? '模型没有参与'} · 本次没有形成有效 Knowledge 或 Event。
     </p>}
 
-    <section className={styles.trialSection} aria-labelledby="trial-output-title">
+    {!empty && <section id="trial-output" className={styles.trialSection} aria-labelledby="trial-output-title">
       <div className={styles.trialSectionHead}>
         <h2 id="trial-output-title">抽取内容</h2>
         <span>按类型查看抽取结果</span>
@@ -475,18 +515,23 @@ export function TrialReport({ report }: { report: TrialReportView }): ReactNode
             : <p className={styles.trialEmpty}>没有可物化的 WikiCard。</p>}
         </TabsContent>
       </Tabs>
-    </section>
+    </section>}
 
-    <section className={styles.trialSection} aria-labelledby="trial-steps-title">
+    <section id="trial-steps" className={styles.trialSection} aria-labelledby="trial-steps-title">
       <div className={styles.trialSectionHead}>
         <h2 id="trial-steps-title">处理步骤</h2>
-        <span>4 个阶段 · {report.steps.length} 步</span>
+        <span>{extractOnly ? '1 个阶段 · 抽取' : `4 个阶段 · ${report.steps.length} 步`}</span>
       </div>
+      {/* 只在流水线的抽取记录上说明：旧的全链路编译里这四段是真跑过的，说了反而错。 */}
+      {extractOnly && <p className={styles.trialNote}>
+        这里只列<b>抽取</b>这一步。② 归一、③ 物化、④ 建索引在这个库里是独立阶段，
+        各有自己的轨迹与任务；下面是抽取时按机械规则顺带算的预览，不代表库里的现状。
+      </p>}
       <ol className={styles.trialSteps}>
-        {report.steps.map((step, index) => {
+        {(extractOnly ? report.steps.filter(step => step.id === 'extract') : report.steps).map((step, index, list) => {
           const expanded = openStep === step.id
           const items = step.items ?? []
-          const phaseStart = index === 0 || report.steps[index - 1]!.phase !== step.phase
+          const phaseStart = index === 0 || list[index - 1]!.phase !== step.phase
           return <li key={step.id} className={styles.trialStepWrap}>
             {phaseStart && <p className={styles.trialPhaseHead}>{step.phase}</p>}
             <div className={cn(styles.trialStep, step.needsHuman && styles.trialStepWarn)}>
@@ -524,7 +569,7 @@ export function TrialReport({ report }: { report: TrialReportView }): ReactNode
       </ol>
     </section>
 
-    <section className={styles.trialSection} aria-labelledby="trial-requests-title">
+    <section id="trial-requests" className={styles.trialSection} aria-labelledby="trial-requests-title">
       <div className={styles.trialSectionHead}>
         <h2 id="trial-requests-title">模型请求</h2>
         <span>逐次查看输入、输出和 Token 用量</span>
@@ -553,7 +598,7 @@ export function TrialReport({ report }: { report: TrialReportView }): ReactNode
       />}
     </section>
 
-    <section className={styles.trialSection} aria-labelledby="trial-review-title">
+    <section id="trial-review" className={styles.trialSection} aria-labelledby="trial-review-title">
       <div className={styles.trialSectionHead}>
         <h2 id="trial-review-title">核验结果</h2>
         <span>{report.exceptions.length > 0 ? `${report.exceptions.length} 项需检查` : '本地核验已完成'}</span>

package/src/client/TypeDefinitionDrawer.tsx

@@ -1,4 +1,4 @@
-import { useEffect, useMemo, useState, type ChangeEvent, type ReactNode } from 'react'
+import { useEffect, useMemo, useRef, useState, type ChangeEvent, type ReactNode } from 'react'
 import { Check } from '@tita-agent/ui/icons'
 import { Button, Field, SelectMenu, Textarea, type SelectMenuOption } from '@tita-agent/ui/components'
 import {
@@ -12,6 +12,7 @@ export interface CompileModelSelectionView {
   mode: 'default' | 'fixed'
   provider?: string
   model?: string
+  reasoningEffort?: string
 }
 
 interface CompileModelCatalogItem {
@@ -21,6 +22,7 @@ interface CompileModelCatalogItem {
   description?: string
   available: boolean
   current?: boolean
+  reasoning?: { efforts: Array<{ id: string; name: string; description?: string }>; defaultEffort?: string }
 }
 
 interface CompileModelCatalog {
@@ -50,8 +52,19 @@ export function TypeDefinitionDrawer({
 }: TypeDefinitionDrawerProps): ReactNode {
   const [noteDraft, setNoteDraft] = useState(extractionNote)
   const [modelDraft, setModelDraft] = useState(DEFAULT_MODEL_VALUE)
+  const [effortDraft, setEffortDraft] = useState(compileModel.reasoningEffort ?? '__default__')
+  useEffect(() => { setEffortDraft(compileModel.reasoningEffort ?? '__default__') }, [compileModel.reasoningEffort])
   const [catalog, setCatalog] = useState<CompileModelCatalog | null>(null)
   const [catalogError, setCatalogError] = useState('')
+  /**
+   * 上一次读回来的默认模型。
+   *
+   * 放进 ref 而不是当成 effect 的依赖：这份 effect **自己会写 `catalog`**，把
+   * `catalog?.default.provider` 列进依赖就是让输出当输入 —— 每读一次目录都会再触发
+   * 一次自己，打开抽屉要打两三次 `/knowledge/models`。ref 让它读到最新值，但不触发。
+   */
+  const catalogRef = useRef<CompileModelCatalog | null>(null)
+  catalogRef.current = catalog
   useEffect(() => { setNoteDraft(extractionNote) }, [extractionNote])
   useEffect(() => {
     if (compileModel.mode === 'fixed' && compileModel.provider && compileModel.model) {
@@ -64,14 +77,16 @@ export function TypeDefinitionDrawer({
     if (!open || onSaveCompileModel === undefined) return undefined
     let cancelled = false
     setCatalogError('')
-    setCatalog(null)
-    void requestJson<CompileModelCatalog>(`/knowledge/models?kb=${encodeURIComponent(kbId)}`).then(result => {
+    const route = modelDraft.startsWith('fixed:') ? modelDraft.split(':').slice(1).map(decodeURIComponent) : [catalogRef.current?.default.provider, catalogRef.current?.default.model]
+    const params = new URLSearchParams({ kb: kbId })
+    if (route[0] && route[1]) { params.set('provider', route[0]); params.set('model', route[1]) }
+    void requestJson<CompileModelCatalog>(`/knowledge/models?${params}`).then(result => {
       if (!cancelled) setCatalog(result.data ?? null)
     }).catch(error => {
       if (!cancelled) setCatalogError(error instanceof Error ? error.message : String(error))
     })
     return () => { cancelled = true }
-  }, [kbId, onSaveCompileModel, open])
+  }, [kbId, onSaveCompileModel, open, modelDraft])
 
   const modelOptions = useMemo(() => {
     const options: SelectMenuOption[] = [{
@@ -100,20 +115,26 @@ export function TypeDefinitionDrawer({
     return options
   }, [catalog, compileModel.mode, compileModel.model, compileModel.provider])
 
-  const modelChanged = modelDraft !== (compileModel.mode === 'fixed' && compileModel.provider && compileModel.model
+  const modelChanged = effortDraft !== (compileModel.reasoningEffort ?? '__default__') || modelDraft !== (compileModel.mode === 'fixed' && compileModel.provider && compileModel.model
     ? fixedModelValue(compileModel.provider, compileModel.model)
     : DEFAULT_MODEL_VALUE)
   const saveCompileModel = async (): Promise<void> => {
     if (onSaveCompileModel === undefined) return
     if (modelDraft === DEFAULT_MODEL_VALUE) {
-      await onSaveCompileModel({ mode: 'default' })
+      await onSaveCompileModel({ mode: 'default', ...(effortDraft === '__default__' ? {} : { reasoningEffort: effortDraft }) })
       return
     }
     const selected = catalog?.models.find(item => fixedModelValue(item.provider, item.id) === modelDraft && item.available)
     if (!selected) return
-    await onSaveCompileModel({ mode: 'fixed', provider: selected.provider, model: selected.id })
+    await onSaveCompileModel({ mode: 'fixed', provider: selected.provider, model: selected.id, ...(effortDraft === '__default__' ? {} : { reasoningEffort: effortDraft }) })
   }
 
+  const selectedModel = catalog?.models.find(item => modelDraft === DEFAULT_MODEL_VALUE
+    ? item.provider === catalog.default.provider && item.id === catalog.default.model
+    : fixedModelValue(item.provider, item.id) === modelDraft)
+  const effortOptions: SelectMenuOption[] = [{ value: '__default__', label: '跟随模型默认强度' }, ...(selectedModel?.reasoning?.efforts ?? []).map(item => ({ value: item.id, label: item.name }))]
+  if (effortDraft !== '__default__' && !effortOptions.some(option => option.value === effortDraft)) effortOptions.push({ value: effortDraft, label: `当前不可用：${effortDraft}`, disabled: true })
+
   return <Drawer open={open} onOpenChange={onOpenChange}>
     {open && <DrawerContent
       className={styles.settingsDrawer}
@@ -129,10 +150,13 @@ export function TypeDefinitionDrawer({
             <div className={styles.settingsSectionHeader}>
               <div><h3>编译模型</h3></div>
             </div>
-            <Field as="div" label="模型" hint={modelDraft === DEFAULT_MODEL_VALUE ? undefined : '固定模型不可用时会降级为规则抽取。'}>
-              <SelectMenu value={modelDraft} disabled={busy !== null || (catalog === null && catalogError === '')} onValueChange={setModelDraft}
+            <Field as="div" label="模型" hint="用于抽取、归一补判与卡片组织；任务启动时保存实际选择。">
+              <SelectMenu value={modelDraft} disabled={busy !== null || (catalog === null && catalogError === '')} onValueChange={value => { setModelDraft(value); setEffortDraft('__default__') }}
                 options={modelOptions} placeholder="加载 DSH 模型目录…" aria-label="编译模型" />
             </Field>
+            <Field as="div" label="思考强度" hint={selectedModel?.reasoning?.efforts.length ? '档位来自当前模型的 DSH 目录。' : '当前模型未提供可选档位，使用模型默认值。'}>
+              <SelectMenu value={effortDraft} options={effortOptions} onValueChange={setEffortDraft} disabled={busy !== null || !selectedModel?.reasoning?.efforts.length} aria-label="编译模型思考强度" />
+            </Field>
             {catalog?.default && !catalog.default.available && <p className={styles.kbHint} role="status">
               DSH 默认模型不可用；可在 DSH 设置中修复，或选择固定模型。
             </p>}

package/src/client/WikiCardPreview.tsx

@@ -20,8 +20,8 @@
  */
 
 import { useEffect, useMemo, useState, type ReactNode } from 'react'
-import { AlertCircle, Check, GitCompare, RefreshCw } from '@tita-agent/ui/icons'
-import { Button, cn } from '@tita-agent/ui/components'
+import { AlertCircle, Check, CircleDot, GitCompare, RefreshCw } from '@tita-agent/ui/icons'
+import { Badge, Button, cn } from '@tita-agent/ui/components'
 import { Dialog, DialogContent, DialogDescription, DialogHeader, DialogTitle } from '@tita-agent/ui/overlays'
 import type { AssetRef } from './asset-images.ts'
 import type { VersionManagerEntry } from '@tita-agent/ui/versions'
@@ -34,13 +34,10 @@ import { STATUS_VIEW } from './WikiCardRow.tsx'
 import { styles } from './styles.ts'
 import { formatDateTime } from './format.ts'
 import type { CardRelatedView, KnowledgeCardView, WikiCardVersionView } from './KnowledgeBaseTab.tsx'
+import type { AttributionEvent } from './attribution/model.ts'
 
-/**
- * 正文档里那一节「相关」的小节名。与 `wiki-finalize.ts` 的 `RELATED_HEADING` 同值 ——
- * 客户端不能 import 服务端模块（那边拉 node: 内置），所以这里重列一次，并由一条测试
- * 钉住两边相等（同 `SOURCE_FORMAT_LABEL` 那类「契约重列」的处置）。
- */
-const RELATED_SECTION = ['相关']
+/** 正文里的生成式导航小节名；它们由结构化引用展示，不重复留在正文。 */
+const RELATED_SECTION = ['相关', '关联 Event', '关联 Events', '关联事件']
 
 /** 一张卡片的完整预览数据（正文 + 版本 + 图片 + 相关 + 坐标名字）。 */
 export interface CardPreviewDetail {
@@ -90,6 +87,9 @@ export interface WikiCardPreviewProps {
   onCompare?: (entry: VersionManagerEntry) => void
   versionDiff?: { data?: VersionContentDiffData; loading: boolean; error?: string }
   onOpenRelated: (link: { entityType: string; entityId: string; title: string }) => void
+  /** 打开 Event 栏并定位到这张卡片引用的事件。 */
+  onOpenEvent: (eventId: string) => void
+  events?: AttributionEvent[]
   /**
    * SourceRaw 的 docId → 文档标题。
    *
@@ -113,7 +113,7 @@ function sourceRefsText(refs: string[], titles?: Map<string, string>): string {
 
 export function WikiCardPreview({
   kbId, detail, versionEntries, currentVersionId, loading,
-  onChanged, onOpenRelated, sourceTitles,
+  onChanged, onOpenRelated, onOpenEvent, events = [], sourceTitles,
   onCompare, versionDiff = { loading: false },
 }: WikiCardPreviewProps): ReactNode {
   const [recompiling, setRecompiling] = useState(false)
@@ -122,9 +122,27 @@ export function WikiCardPreview({
   const status = STATUS_VIEW[detail.card.status]?.label ?? detail.card.status
   const refs = sourceRefsText(detail.card.sourceRefs, sourceTitles)
   const knowledge = useCardKnowledge(kbId, detail.card.entityId, sourceTitles)
+  const relatedEvents = useMemo(() => {
+    const raw = detail.card.metadata?.event_refs
+    let ids: string[] = []
+    if (Array.isArray(raw)) ids = raw.filter((item): item is string => typeof item === 'string')
+    else if (typeof raw === 'string') {
+      try {
+        const parsed: unknown = JSON.parse(raw)
+        if (Array.isArray(parsed)) ids = parsed.filter((item): item is string => typeof item === 'string')
+      } catch { /* 无效派生引用不显示 */ }
+    }
+    const byId = new Map(events.map(event => [event.id, event]))
+    return [...new Set(ids)].map(id => byId.get(id) ?? { id }).map(event => ({
+      id: event.id,
+      title: 'title' in event ? event.title : event.id,
+      summary: 'summary' in event ? event.summary : '',
+      occurredAt: 'occurredAt' in event ? event.occurredAt : undefined,
+    }))
+  }, [detail.card.metadata, events])
   useEffect(() => { setCompareOpen(false) }, [detail.card.entityId])
   /**
-   * 先移除旧版本只在面板下方由关系图展示的「相关」区块，再补普通引用清单。
+   * 移除旧版本正文里的生成式导航区块，再显示结构化卡片与 Event 引用。
    *
    * 投影顺序固定为：物化正文 → 去掉旧导航区 → 补引用清单。
    */
@@ -206,6 +224,21 @@ export function WikiCardPreview({
         {recompiling ? '编译中…' : '按坐标重新编译'}</Button>}
     />
 
+    {relatedEvents.length > 0 && <section className="flex min-w-0 flex-col gap-1.5" aria-label="关联 Event">
+      <h3 className="m-0 flex items-center gap-1.5 text-[11px] font-semibold text-tita-ink">
+        <CircleDot size={12} aria-hidden="true" />关联 Event <Badge tone="neutral">{relatedEvents.length}</Badge>
+      </h3>
+      <ul className="m-0 grid list-none gap-1 p-0">
+        {relatedEvents.map(event => <li key={event.id} className="min-w-0 rounded-md border border-tita-line px-2 py-1.5">
+          <Button variant="ghost" size="sm" className="h-auto max-w-full justify-start px-0 py-0 text-left text-[10.5px]" onClick={() => onOpenEvent(event.id)}>
+            <span className="min-w-0 truncate">{event.title}</span>
+            {event.occurredAt && <span className="shrink-0 text-[9px] text-tita-ink-faint">· {event.occurredAt}</span>}
+          </Button>
+          {event.summary && <p className="m-0 mt-0.5 line-clamp-2 text-[10px] leading-relaxed text-tita-ink-muted">{event.summary}</p>}
+        </li>)}
+      </ul>
+    </section>}
+
     {recompileNotice && <div className={cn(styles.cardRecompileNotice, recompileNotice.tone === 'error' ? styles.cardRecompileNoticeError : styles.cardRecompileNoticeSuccess)} role="status">
       {recompileNotice.tone === 'error' ? <AlertCircle size={12} aria-hidden="true" /> : <Check size={12} aria-hidden="true" />}
       <span>{recompileNotice.text}</span>

package/src/client/WikiFlowPanel.tsx

@@ -165,7 +165,7 @@ const STAGES: Stage[] = [
     body: [
       '**三个轴分别归一**：先找 canonical，再找 alias，最后才新建候选。匹配不唯一时，**不猜**。',
       '每条知识绑定一个**坐标**：三个轴实体 id 的**复合键**。**Coordinate 不是实体**，没有自己的表。',
-      '同义知识合并，`sources` 追加；相互矛盾的说法保留，并标记为 disputed。',
+      '归一化文本一致时合并并追加来源；语义相似只记候选，不自动合并。相互矛盾的说法需显式标记 disputed。',
     ],
     rule: {
       order: '2',
@@ -176,7 +176,7 @@ const STAGES: Stage[] = [
     produces: {
       layer: 'Canonical Knowledge',
       ask: '在哪里',
-      note: '轴已归一并绑成 id；同义合并过，冲突留着',
+      note: '轴绑定为 id；同文事实合并，语义候选待确认',
     },
   },
   {
@@ -198,7 +198,7 @@ const STAGES: Stage[] = [
       title: '坐标决定卡片身份，卡名只是显示',
       body: '一个坐标最多一张卡。坐标是数据库主键；标题由对象、场景和动作生成，只是**显示名**，不参与判重。',
     },
-    model: '系统（确定）',
+    model: '系统分组，可选模型组织',
     produces: {
       layer: 'Wiki Card',
       ask: '怎么组织这些知道的东西',
@@ -217,7 +217,7 @@ const STAGES: Stage[] = [
       '**Knowledge 是证据层，不是第二个检索入口**：命中 Section 后，再带出对应知识、状态和出处。',
       '向量、关键词和图谱 boost 都属于**可重建的派生层**（`derived.db`）。**轴注册表不是索引**，而是坐标解析时使用的命名真源。',
     ],
-    model: '不调模型',
+    model: '系统切分 + 向量编码',
     produces: {
       layer: '可检索 Wiki',
       /* 派生层，所以没有 ask —— 它不是实体，不回答上面那三个问题。 */

package/src/client/architecture.tsx

@@ -286,7 +286,7 @@ icon: Database, lane: 'knowledge', tab: 'knowledge', knowledgeTab: 'source-raw',
       { label: '物化 WikiCard', detail: '按 (对象, 动作, 场景) 分组，卡名由公式推导（对象名 + 场景 + 动作名）；小节与字段作为组织提示，卡片直接入库，review 与备注在预览中处理', state: 'done' },
       { label: '建索引', detail: '切召回单元、写索引页与相关卡片、检查断链，不调模型', state: 'done' },
     ],
-    status: 'live', statusNote: '四段都已实现：抽 Knowledge、归一坐标、按坐标物化卡片、切召回单元并建索引（模型不可用时退回规则抽取，此时没有坐标，正文按小节切）。入库后的 review 与备注在卡片的预览侧栏里。',
+    status: 'live', statusNote: '导入默认只保存来源；抽取 Knowledge / Event、归一、物化分别运行，也可全链路运行。未变文档复用检查点；构建成功后统一发布索引。模型不可用时任务明确失败，可查看输出与历史后重试。',
 icon: RefreshCw, lane: 'knowledge', tab: 'knowledge', knowledgeTab: 'wiki',
   },
   build: {