dsh-knowledge-graph

dsh-knowledge-graph

中文 | English

DSH（DeepSeek Harness）Cordis 插件：把任意一段资料正文、包含文字 / 图示 / 表格的图片——或一段 AI 会话执行轨迹——用 AI 拆解成一张知识图，并在知识图与原文之间双向定位。

贴原文 → AI 异步拆图 → 双向锚点定位。是 NovelStudio「知识图工作台」落地为独立、可复用插件的形态。

---

它能做什么

• 联结模型目录以清楚的查找栏和可移除标签显示关键词、章节、待核对、概念及作用筛选。可逐项或一次清除，保留当前模型、任务、原文栏和未保存的修改；章节名称在同一版本筛选期间保持。结果显示当前范围，筛选无结果、页码失效和资料尚无模型分别提供下一步。搜索命中仅表示已记录文字匹配，不代表适用性或事实已核验。

• 联结模型结构草稿重开时保留尚未填写的实例情境、实例或分支名称，以及未填完的来源引文和段落，方便继续整理。恢复仍校验字段类型、大小上限、独立身份及绑定角色，损坏的缓存字节保留；上述必填内容仍显示核对提示，补齐后才能生成正式保存预览。保存继续要求重新预览、明确确认和原图版本校验，恢复草稿不代表映射或证据已核验。

• 联结模型结构草稿连续编辑时，复用当前草稿自己生成的 JSON，省去下一次复制前的重复序列化；仍逐次创建独立副本、立即缓存，并重新核对全部诊断。缓存写入失败、外部缓存变化、切换模型/版本和丢弃重载均保留原有草稿规则，预览、确认与版本校验保持。node scripts/kg-model-draft-copy-benchmark.mjs 88914ad 对照真实生成编辑器：每次编辑与诊断的全量序列化从 3 次降至 2 次，解析和缓存写入次数不变；40 槽位、40 分支、100 实例的 21 × 24 次交替测试中位耗时 3.117 → 2.731 ms。测量包含编辑事件与 render，不包含真实浏览器存储 I/O、DOM、网络或堆内存，不作为 CI 时间门槛。

• 联结模型结构草稿编辑后，格式校验通过的较大草稿在本次诊断内共享例子绑定状态；缺少输入输出、未配对分支、来源及条件边界提示保持完整。40 槽位、40 分支、100 例子的重复绑定匹配读取从 58232 降至 0，改用一次例子状态计算；无效、小型草稿和原始对象保留原诊断路径。node scripts/kg-model-draft-bindings-benchmark.mjs 19bd4ec 比较完整报告、原始读取/异常顺序及生成编辑器的编辑事件与渲染耗时（含草稿复制和存储，不含真实浏览器 DOM）。索引不跨编辑保留，写入仍需预览、明确确认及版本校验。

• 联结模型诊断保留端点身份的类型，缺失 ID、null、数字和对象不会再与同名字符串概念相等；身份或角色中含分隔符也不会掩盖差异。差异只提示分别核对，不自动补边或证明映射。node scripts/kg-model-diagnostic-identities-compare.mjs c2c37bc 比较原始读取与异常顺序、完整诊断和 25 次交替源码计时；新增回归覆盖生成草稿、Host/SQLite HTTP、版本和只读学习边界。

• 后台生成知识图：输入任意正文（章节、技术文档、学习笔记…），后台任务模式调用 LLM，完成后保存知识图。支持最长约 100 万字符的书级正文；documentId 是随机稳定的逻辑文档 UUID，sourceId 是全文 SHA-256 的不可变版本身份，chunkId 绑定 sourceId + batch + paragraph range，因此不同文档/追加版本不会因局部 chunk-0001 重号而覆盖。常驻模式把全文、canonical graph 与无损 checkpoint 保存在 SQLite；刷新后浏览器只凭 documentId/runId 恢复，只有 Host 重启遗留的 running 任务才允许从 checkpoint 续跑，显式 failed/cancelled 任务绝不自动重试。

• PDF 直接生成知识图：工作台可直接上传不超过 15 MiB 的可搜索 PDF，本地有界解析正文后自动填入资料区并开始生成知识图；文件数据只用于本次解析，不写入浏览器草稿。复杂排版、特殊字体编码可能导致文本不完整；扫描版 PDF 当前不做 OCR，需先转换为可搜索 PDF。

• 图片直接生成知识图与已有 Markdown 插图解读：工作台可一次上传 1–4 张 PNG / JPEG / WebP / GIF（单张不超过 6 MiB、合计不超过 16 MiB），支持纯文字截图、示意图 / 流程图 / 架构图、统计图、公式和表格，也可同时附带说明文字。Host 把图片交给 DSH attachments.saveImages() 验证并保存，再用多模态模型生成带图片范围的视觉转写；知识抽取器只消费这份转写。对于已导入 Markdown 文件夹且保留附件的知识图，在「解读与核对图片」中可搜索、筛选并勾选任意 1–4 张未解读图片，将转写追加为有来源标记的段落与候选节点，不覆盖原始 Markdown 或旧节点内容。逐图查看原图、转写、识别疑点与全图关联节点；超出当前渲染窗口的节点也可点击定位。结果页保留原图预览与 source.visualSource 回链。视觉转写可把箭头 / 连线、分组 / 包含、对象对应、顺序和具有图例语义的颜色 / 形状编码拆成独立关系单元；无法准确映射到内置 relation 的关系保留为原子 fact / claim，不强套错误边。AI 转写不是原书文字，也不能单凭文字引用证明像素内容正确；新增节点保持待复核，关键文字、数值、表格和连线关系须对照原图。

• 8 类节点 / 12 类关系：

  • 节点：fact 事实 · claim 主张 · inference 推论 · concept 概念 · definition 定义 · example 例子 · counter_example 反例 · rule 规则。
  • 关系：supports 支持 · example 例子 · counter_example 反例 · defines 定义 · infers 推断 · causes 因果 · is_a 属于 · contains 包含 · driven_by 受驱动于 · not_is 不是 · analogy 类比说明 · aims_at 旨在。
  • 最小语义契约：一个节点只表达一个原子命题；作者的理论/经验概括用 claim 而不是 fact；保留“可能 / 多数 / 通常 / 必须 / 如果”等原文限定；存在更精确关系时不退化成 supports。
  • 解释覆盖复核：首轮抽取通过后，仅在多步机制疑似欠覆盖，或原文明示纠偏/防误推理限定、留待后文回答的信息却未进入图时，执行一次受限复核；它也可恢复被多个核心命题反复引用的稳定概念锚点。调用可选复核器前，系统会先对原文明示且同句已命名的“某方法在明确条件下行不通/失效”原子结论做确定性、只增节点的补漏；相关关系仍必须由关系编织器依据直接原文证据审定，不会因端点同段出现而自动连边。复核通常只能补缺失节点及其必要关系；对于【图示关系】段落，若箭头、连线标签、分组、对应或图例直接证明允许 relation，也可只补两个已有节点之间的遗漏边；该例外仍要求同一条 evidence quote 同时包含 relation 专用显式词、两个端点及兼容方向。复核不能重写已有图，也不会为了连通率补知识。

• 《学习观》本体知识图（learning-view-v1）：第二套抽取本体，不是对既有图的重切。节点类型与关系类型改为于建国《学习观》的本体：知识（concept 概念 / feature 特征 / rule 规律 / discrimination_model 判别模型 / connection_model 联结模型）与学习材料（intension_description 内涵描述 / feature_description 特征描述 / positive_example 正例 / negative_example 负例 / contrast_group 对比例组 / extension_contrast 外延对比 / relation_material 关系材料 / factor_material 因素材料 / property_material 性质材料 / segment_example_group 分段例组 / verification_material 验证材料 / data_or_experience 数据或经验 / memory_material 记忆材料）分开建节点，共 18 类节点 + 21 类关系。每份材料由两个正交坐标刻画：modelKind（判别 / 联结）与 layer（上料 / 下料），从而能诊断知识坍缩——上层丢失、下层丢失、下上错配、判联错配、联结空载、记言代学、言存义空、义存言空、验证复用旧例、缺验证、学习材料当记忆材料。抽取仍然只走 LLM，产出的仍是可存 / 可查 / 可导 / 可增补的知识图；未标注本体的既有文档一律按原来的命题本体处理，行为不变。怎么用：抽取表单右上角的「知识分类方案」选《学习观》即可；默认仍是命题本体，且默认值不作为参数发送，老行为不变。一份文档按它自己被抽取时的本体显示（图上有模式徽章、图例、坐标网格、诊断条与边属性），已存在的老文档仍是命题图，要看《学习观》版本需重新抽取一次；模式只影响新抽取，不会改写文档的本体。边上的属性也来自本体：maps_between 的 role（输入/输出）、contrasts 的正负、compares_* 的 mode（对比/类比）都会拼进边的标签，值标签由本体下发，命题本体不声明属性也就不显示。布局也读本体：分层视图的主干道、卫星吸引与分支道改由该文档 relationTypes 的 family / weight 现算，所以《学习观》知识图按它自己的结构铺开，不会因为关系名不在命题表里而退化成毛线团。规范见 docs/learning-view-ontology.md。

• 关系感知分层布局：分层模式先对每个无向连通分量独立排层、消除重叠，再把组件矩形紧凑打包，避免无关子图共用全局层级而把直接相连节点拉远；层内排序按关系加权，以主干关系（命题本体为 causes/infers，各本体由 relationTypes[].family = backbone 声明）作为主路径，把卫星关系放成邻近分支，并将方向关系（family = directional）作为有界软邻近偏好。这些关系集合与权重全部来自当前文档的本体，不在客户端写死。多条边共享节点或行间通道时，箭头入口、水平通道和垂直走廊分别分轨，并为密集的水平轨道保留更高的层间通道；相邻关系标签发生碰撞时会在可读距离内确定性错位；极端拥挤且无可用位置时默认隐藏标签芯片，悬停或选中对应关系仍会显示，避免线段、标签及箭头挤在一起。新用户默认使用分层布局，已有本地布局偏好保持不变。

• 连通分量内的邻近压缩：换行只作为初始位置，不再把折行结果锁成不可跨越的层级。通过有轮数上限、确定性的二维优化，缩短按关系加权的边，同时保留推理顺序、主路径固定列、节点间距和行间布线通道，最后移除空行。垂直走廊按实际障碍区间搜索，不再依赖固定搜索半径。高连接度枢纽和跨分支关系仍可能需要较长的边；这只改变视图，不改写知识图数据和关系。

• 双向定位：

  • 点击图中节点 → 弹出详情卡片（完整内容 + 原文摘录 + 定位按钮），并平滑滚动高亮到原文对应内容单元；
  • 点击原文内容单元编号或在编号上按 Enter → 图中居中聚焦并闪烁对应节点。大图中若节点不在当前窗口，会按已保存的段落编号读取目标所在分页，沿用每窗节点上限；工作台与轨迹页都支持，无需手动翻页。目标不在关系聚拢结果中时，返回主图窗口定位。定位前核对文档版本与原文摘录，后续选择会取消旧响应；没有对应节点时保留当前图。
  • 图中节点只展示前 4 行（超出以 … 省略），完整内容随时可在详情卡片中查看；
  • 锚点以 AI 直接输出内容单元编号为主（确定性索引，长自然段会按句子边界切分成多个编号单元），quote 精确匹配与 token 重合度兜底；无法回链的节点不猜测偏移，统一进入诊断列表。

• 图渲染：SVG 画布 + 8 类配色 / 4 种可切换节点布局（图右上角下拉，选择记忆）：自由布局（d3-force 开源引擎内嵌零依赖：碰撞防节点重叠、边-节点排斥防箭头穿节点）、环形布局、中心布局（中心枢纽 + BFS 环，边走折线：径向出线 → 外环弧 → 径向进线）、层级布局（边走直角正交折线：行间空通道 + 逐行避障走廊，线段保证不穿节点）/ 关系边带类型标签，且同源边按目标角度扇形弯曲（二次贝塞尔）/ 拖拽平移 / Ctrl+滚轮缩放 / 工具栏 − 100% +（50%–200% 步进 10%）/ 长按节点查看原文摘录 / 键盘可达。

• 大图浏览性能：普通布局的平移与缩放复用节点及文字；「全部节点」总览按空间索引更新可见区域，可见范围改变时继续复用仍在视口内的节点、文字和完整摘录，只构造新进入的节点，适合画布仍显示全部节点。总览放大到 35% 起显示节点文字与原图预览；节点查找与原文定位覆盖完整图。加载时只统计一次关系度数，供所有节点测量批次复用；统计与文本测量均分批让出执行，保留取消响应。搜索面板关闭或查询为空时不提前规范化全部名称与摘录；首次文本查询只为所选类型的节点建立缓存，后续查询复用，图谱更换后失效。超过 200 节点的文本搜索按 8 ms 预算分批执行，期间显示「正在查找…」；改词、改类型、关闭搜索或更换图谱会取消旧任务，完成当前查询后才显示可定位的结果。继续缩小关键词或类型范围时只检查上次完成的匹配节点；删词、改变关键词或放宽类型时恢复完整搜索范围，取消中的部分结果不会进入候选缓存。切换节点通过相邻关系索引显示相关边；选中同一节点对的任一并行关系都会保持共享线条高亮。连续切换选中时复用显示状态不变的节点外框与完整可访问摘录；更换图谱、布局、来源图片、锚点或审校结果会更新对应内容，缓存仅覆盖当前视口。运行 node scripts/kg-graph-viewport-reuse-benchmark.mjs 1116e2d 可对照 12,000 节点在三种缩放下的跨界拖动、往返、窗口调整和缩放；比较完整节点内容，并报告包含缓存维护的元素创建、摘录读取及 Map 操作数。耗时包含计数开销，不含 DOM 与绘制，不作为 CI 速度门槛。

• 图片来源查找性能：含图知识图按原图节点编号和视觉转写的段落范围查找来源，原文列表按段落查找插图，不再为每个节点或段落重扫图片清单。重叠转写范围仍采用原清单中第一张图片；跨段表格汇集各段插图，按原清单顺序保留独立来源记录。替换图片说明或转写状态后会刷新标记、插图与详情；段落编号、原文和来源对象保持不变。索引按范围边界及明确的段落引用存储，不展开长转写区间。可运行 node scripts/kg-graph-image-benchmark.mjs [基线提交] 和 node scripts/kg-source-image-performance.mjs [基线提交]，分别对比首次场景与原文列表构造的图片记录读取次数和耗时；耗时包含计数器开销，确定性回归检查来源对应及只读性。原文浏览器回归可用 node scripts/kg-verification-ui-fixture.mjs --source-image-performance 启动隔离的 12,000 段 / 200 图样本。

• 原文跨页定位性能：SQLite 用“无段落编号节点数 + 更早段落节点数”确定目标所在页，通过既有段落索引的两个范围计数；同段第一个节点、NULL 优先、分页上限及版本快照保持一致，不另建索引。运行 node scripts/kg-paragraph-rank-performance.mjs 可与原排名条件对照，--smoke 检查普通分页及随机、同段、稀疏编号数据的一致性。计时只覆盖排名 SQL，不包含窗口读取、诊断、HTTP、视图构造或浏览器绘制。

• 长原文的窗口关联性能：翻页时按有序段落范围查找节点锚点，避免每个节点从原文第一段开始扫描；段落编号、空白间隙、段尾边界与完整摘录保持一致。「全部节点」也使用同一查找。可运行 node scripts/kg-paragraph-window-benchmark.mjs [基线提交] 对比 12,000 段的四个尾部窗口与全部节点，检查完整视图结果一致性，并分别报告未插入计数器的中位耗时和段落边界读取次数；耗时只涵盖视图建立，不含网络、布局或浏览器绘图。浏览器回归可用 node scripts/kg-verification-ui-fixture.mjs --paragraph-window-lookup 启动隔离样本。

• 旧引用的关联性能：旧记录没有段落信息且引用无法直接定位时，前缀与后缀匹配先检查最长及最短片段，再按嵌套片段的长度二分查找，避免逐长度重扫原文；仍优先前缀，采用原来的最长命中和首个偏移，准确/规范化匹配及模糊回退不变。词语回退首次沿用原扫描，每段只分词一次；第二次回退将词语集合转换为词语到段落的索引并释放集合，后续按词语更新匹配段落的分数。单段词直接存段号，多段词存段号列表，每次查询清零并复用分数缓冲。直接引用不建立词语集合或索引；重复查询词权重、最小分数和同分采用首段的规则保持一致，状态不跨视图或文档保存。运行 node scripts/kg-legacy-token-benchmark.mjs [基线提交] 对比 12,000 段的 200/800 个旧引用、稀疏词、单条冷启动、前后缀命中和直接引用窗口，核对完整视图一致，分别报告未插入计数器的 5 次中位耗时及分词、匹配和分配次数；计时不含 HTTP、布局或浏览器绘制。单独运行 node --expose-gc scripts/kg-legacy-token-benchmark.mjs [基线提交] --memory-only 可比较第二次评分后的存活词语状态增量，显式 GC 的诊断不代表整页内存或瞬时峰值。node scripts/kg-verification-ui-fixture.mjs --legacy-token-lookup 提供尾部 200 个旧引用的隔离浏览器样本；--legacy-fragment-lookup 混合前缀、后缀及词语回退样本。

• 引用规范化性能：空白或标点不一致的引用仍按原来的顺序匹配，规范化文本按连续保留片段复制，并保留每个 UTF-16 单位的原文偏移。空白只处理空格、换行、Tab 和全角空格；CR、其他 Unicode 空白、原标点集合及前导/尾随行为保持一致。每个视图最多建立三种原文形式，直接引用跳过规范化，已有段落信息时优先局部匹配。运行 node scripts/kg-anchor-normalization-benchmark.mjs [基线提交] 对比 12,000 段的三种规范化、中文/补充字符、单条/两条/200/800 条旧引用及局部/直接引用，核对完整视图和偏移一致；分别报告五次未插桩中位耗时及原文输出片段、映射单位和逐字符标点查询数，计时不含 HTTP、布局或浏览器绘制。node scripts/kg-verification-ui-fixture.mjs --normalized-anchor-lookup 提供三种规范化混合的浏览器样本。

• 原文表格预处理性能：没有完整表格或表格超过原有长度上限时，跳过全文代码区域扫描；首次表格定位沿用原查找；第二次需要定位时，只检查一次段落范围是否有序且不重叠，随后用二分查找。单张表格不增加段落检查。异常或无序范围沿用首个重叠段落的旧规则。跨段表格、代码中的字面示例、原文偏移及段落锚点保持一致。运行 node scripts/kg-source-table-performance.mjs [基线提交] 对比 12,000 段、400 张表格及混合代码示例，核对完整分组及解析调用；七次未插桩中位耗时与边界读取/代码扫描计数分开报告。计时不含原生 HTML 解析、分段、HTTP 或 React/DOM 绘制。node scripts/kg-verification-ui-fixture.mjs --source-table-lookup 提供 400 张跨段表格和各 400 个行内/缩进示例的浏览器样本。

• 轨迹原文关联性能：轨迹页为当前事件清单建立一次范围查找，选中节点或闪烁更新时复用；一个长事件拆成多段时，仍显示原事件类型和序号。替换事件清单时重建，空白间隙及旧记录的段落索引回退保持一致；无序或重叠的导入范围沿用原清单首个匹配。可运行 node scripts/kg-trajectory-event-performance.mjs [基线提交] 对比 12,000 段/事件的首次行构造及四次选中更新，计数器与计时分开，检查完整行内容一致。耗时不含 HTTP、知识图准备或 React/DOM 更新。node scripts/kg-verification-ui-fixture.mjs --trajectory-event-lookup 提供隔离的 12,000 段样本，首个事件跨三段，事件序号独立于段落编号。

• 验证与质疑知识图：生成图后可以检查它是否忠于原文——

  • ⚡ 规则检查：本地规则即时检查（自环/悬空边、quote 能否在原文定位、段落编号与摘录位置是否一致、类型-关系语义规则、重复/疑似矛盾节点、孤立节点、覆盖统计），0 秒返回问题报告；
  • 🤖 AI 原文核对：异步调用 LLM 逐节点/逐边找茬，所有 issue 必须以原文摘录为证据，标准档还会二次复核过滤误报；
  • 人工闭环：问题按「错误 / 警告 / 建议」列出，点击问题 → 图中相关节点/边按严重度着色高亮并滚动定位原文；每条问题可采纳修复（改动立即应用并写入审计记录）或忽略；面板顶部提供一键修复，批量应用全部可自动修复的问题；修复记录逐条显示旧值 → 新值的具体差异；
  • 主动质疑：节点详情卡可点「质疑此节点」，选中边后出现关系详情卡可点「质疑此关系」，也可在验证面板直接向整张图提问/质疑，AI 给出「图成立 / 质疑成立 / 证据不足 / 超出范围」判定与原文证据；
  • 🔎 外部事实核查原文：把知识图中的 fact/claim/inference/rule/definition/counter_example 节点转为可核查断言，用 Wikipedia 等外部证据裁决原文是否可靠；面板支持粘贴领域规则来源（法条、制度、教材、标准），规则文本与 Wikipedia 证据共同参与裁决；判定为「支持 / 矛盾 / 部分支持 / 证据不足 / 无法核查 / 超出范围」，每条结论绑定证据链接与证据引文（引文必须能在检索结果中定位，编造引文会被自动降级）；点击断言可回链图中节点与原文段落；
  • 追加资料后自动标记验证/核查结果过期，可重新验证或核查；轨迹知识图支持同样的全部验证/质疑/外部核查能力。

• 浮动工作台：窗口可拖动、可调整大小；原文与知识图的宽度比例、结果区高度均可拖拽调整并记忆。

• 划线拆分：在聊天消息里用鼠标选中任意一段文字，选区上方浮出「生成知识图」按钮，点击即自动打开工作台并拆分所选文字；在结果页原文里划线选中可拆成子图；输入框里选中部分文字也可「拆分所选」。

• 追加资料（增量合并）：已有拆分结果后，输入区主按钮变为「追加资料」——粘贴下一段/下一份资料，AI 只抽取新增内容，并自动与已有图建立跨段关系边（同一概念不重复建节点，直接连线到已有节点）；结果原地合并、全文段落统一编号、历史记录原地更新。聊天划线选中文字时也会自动追加到当前图。

• 历史记录：每次成功拆分自动记录（最多 20 条、同文去重、可单删 / 清空）；浏览器只保存 documentId、标题、计数等轻量索引，回看时从 Host/SQLite 重新载入正文与 canonical graph，避免把书级正文复制进 localStorage。

• 章节过滤与候选审核：结果区按章节筛选图节点和原文段落；候选实体 / 声明面板展示 evidence，可一键标记「待确认 / 已接受 / 已拒绝」，状态通过 Host 同步到 SQLite（动态插件在 Host 会话中保留，失败时回退浏览器 localStorage），并可点击候选回链原文。

• 知识图使用层：正文图与轨迹图共用「查找与问答」面板，可按关键词、节点类型、章节、grounding / entailment 状态做有界结构化检索，并区分直接命中与关系邻居；「证据问答」只使用服务端加载的 canonical graph 和已认证原文，模型只能引用 Host 预分配的 evidenceId，每个被接纳的回答片段都必须有节点、关系或原文段落证据。点击检索结果或 citation 可回链图与原文；节点即使位于当前 800 节点渲染窗口之外，也会先按 node ID 加载 canonical 子图再定位。

• 知识图导出：结果工具栏可导出当前渲染图为高清 PNG 图片，也可导出完整 JSON（保留 source、chunk、evidence、验证报告和审计记录）以及节点 CSV、关系 CSV；数据导出的是完整图，不受当前章节筛选影响。轨迹知识图也支持相同导出。

• 常驻入口：左侧栏底部、设置上方的「知识图」按钮直接打开资料工作台，无需先创建或选择对话；侧栏收起后保留图标入口。对话内的「轨迹知识图」只处理该会话的轨迹，运行卡片内也保留启动条。

• 轨迹知识图（会话视图标签页）：对话区新增第三个标签页「轨迹知识图」（位于 对话 / 轨迹 旁），一键把当前会话的完整执行轨迹（用户消息、工具调用、工具结果、AI 回复）拆成知识图——可视化这个 Agent 查到了什么事实、做出了什么推论、用了什么方法，并在图与轨迹事件之间双向定位（点击节点滚动到对应事件，点击事件在图中聚焦对应节点）。结果按会话持久化到 Host/SQLite；浏览器仅保存 documentId/revision 引用，因此切换标签页或刷新页面后会从已保存的知识图恢复，拆分进行中切走再切回会自动续接轮询；会话继续产生新事件后，可点 追加新事件 只拆解新增部分并在同一 revisioned document 上增量合并（跨事件建立关系边）；轨迹事件列与图列的宽度、结果区高度均可拖拽调整并记忆。

新功能怎么用

先从左侧栏的「知识图」打开工作台，生成知识图，或从历史记录打开已保存的图。工作台分为四区，切换时保留草稿、查找结果和正在运行的任务：

• 阅读知识图：对照原文与图，使用阅读导航，解读和核对图片。展开「阅读书签」可保存浏览位置；导出和知识图状态也在这里。
• 查找与学习：查找知识、根据原文问答、对照跨书概念、完成学习练习。点击查找结果或引文，会回到阅读区并定位来源。
• 检查与修正：检查当前窗口或全图、核对变化部分、复核问题并确认修复。章节候选确认和外部事实核查各自折叠。问题行的「查看图文」回到阅读区；节点详情的「质疑此节点」进入问题输入框。
• 导入资料：输入或追加正文、图片、PDF、Markdown 文件夹。尚未生成图时直接显示输入区。

AI 模型在页头选择，知识分类方案和同时生成批数在「生成设置」中调整。AI 核对进度在各区均可查看；完成后点「查看检查报告」进入检查区。完整用语对照及维护要求见界面文案规范。

联结模型详情的原文定位失败会显示原因。重试、选择另一条引用或切换模型、分支、页签与阅读模式时，清除上次定位的提示；本次仍然失败会显示新的原因。定位恢复不清除模型读取或操作错误，缺失、重复和旧版本引文仍按完整原文与版本校验拒绝定位。

重新读取联结模型期间，切换模型、详情或阅读模式，以及填写新的方向修改，会取消原刷新结果；旧刷新不会清掉新草稿或把错误带到新详情。当前刷新失败仍显示原因，可再次重新读取；放弃原方向草稿仍需明确确认，保存方向仍须预览并确认。

审阅联结模型期间，切换模型、详情、阅读模式或离开「阅读知识图」工作区会取消旧审阅；切走再返回不会恢复旧请求，重复点击只采用最近一次。旧节点窗口读取不会定位原模型、覆盖新问题草稿或把失败带到新详情。当前审阅仍会定位所选模型并填写核对问题，读取失败可重试；填写问题不自动提交 AI 或修改知识图。

联结模型审阅重试时，只清除该审阅先前的失败提示；成功进入「检查与修正」后返回模型，不再显示已恢复的审阅错误。模型详情读取、方向修改和重新读取模型的错误仍单独保留；新一次审阅失败会显示本次提示。

核对方向和确认预览同时显示概念名称与节点编号，避免同名概念混淆。每项方向修改可展开对应映射的完整原文并定位段落；按原关系身份匹配引用，不从名称或列表位置推断方向。预览和取消不写图，明确确认后仍校验预览内容与图谱版本。

重新读取模型的错误也由该操作单独保留：方向预览通过或失败，都不代表此前的读取失败已经恢复，两项失败可以同时显示。只有实际开始重新读取时才清除旧的读取提示；拒绝放弃方向草稿或过时的点击不会清除提示、草稿或待确认的预览。成功重新读取仍按原有确认流程更新模型，方向保存继续要求预览、明确确认和版本校验。

验证结果草稿已勾选「已发生的观察」时，即使尚未填写日期，切换反馈来源也须确认清除观察信息。取消时整份草稿保留；确认后沿用来源字段清除规则，结果内容、条件与比较依据仍在。空白草稿或只有保留内容时不额外询问；来源切换不自动保存，自述观察仍未独立核验。

联结模型实例的缺口入口按独立槽位身份聚焦，即使输入、输出或不同对象的槽位使用同一显示名称，也能落到实际缺少的状态；尚未建立绑定时先定位「补齐输入/输出槽位」，补齐后聚焦空值，不填造预测。实例编辑字段旁保留概念、槽位、已记录单位及时间／对象状态，供填写前区分。编辑仍只更新个人结构草稿，条件、来源和证据保留，正式结构写入仍须预览、明确确认与版本校验。

结构草稿中的槽位名称为空时，缺口使用当前概念的已存名称；即使概念不在首个搜索页、没有原有图谱端点关系，或同一概念出现在多个独立槽位，也不会借用另一槽位的名称。各槽位自己的名称、身份、单位、时间状态和实例绑定分别保留；正式结构保存仍须预览、明确确认与版本校验。

已保存模型的缺口目标若已从当前结构草稿移除，入口会提示选择要核对的实例、槽位或分支，保留当前选择与草稿，不回退聚焦其他实例，也不自动恢复删除项。目标存在且草稿版本一致时才聚焦对应字段；重新选择有效缺口可继续，已有预览或来源错误提示仍保留。

缺口定位完成后，切换详情页签再返回结构核对会保留后来手动选择的实例与编辑区域，不重复执行旧入口。再次明确点击同一缺口仍可定位；加载期间以最新点击为准，补齐缺失绑定后仍聚焦该独立槽位的空值，不自动填写或改写条件与依据。

结构草稿、端点记录、名称与模型版本未变化时，搜索、实例选择和编辑区域切换会复用当前草稿诊断，避免重复扫描全部实例。概念目录返回相同名称或空结果时也会保留当前诊断，选项仍按最新查询更新；真实名称变化、新端点、结构编辑或版本切换仍执行完整核对，保留未核验来源、适用条件、缺口目标及原有预览确认流程。

重载私有结构草稿时，即使新增概念不在已保存模型或概念目录首页，空槽位名称也会从当前版本的 canonical 图谱补读；每次最多按 40 个独立字面 ID 查询名称，不遍历目录页，不把缓存名称作为依据。同概念的独立槽位与显式私有名称保留，缺失、已拒绝概念或读取版本尚未部署时显示概念 ID；旧版本草稿及取消、异文档、异模型或异版本响应不填入名称。补读只投影名称，不验证语义或修改条件、证据、草稿及正式结构。

结构整理搜索或翻页选择概念时，只筛选概念并核对当前页的原文引文，跳过该查询不使用的模型与关系索引准备；字面 ID、同名不同概念、结果顺序、分页、拒绝状态、逐字引文和版本校验保持。node scripts/kg-model-concept-query-benchmark.mjs ada14f3 对照真实源码，分别计数与交替 13 次测量：16555 节点、32779 条关系的搜索/翻页请求，节点索引与关系索引准备访问各从 16555/32779 降为 0，中位耗时 13.201 → 0.250 ms；仍需筛选全部节点和核对返回概念的引文。312 组完整概念响应、条件、证据及其他模型查询逐项相同。指标仅覆盖源码查询计算，不包含 SQLite 读取、HTTP、浏览器或堆内存收益，不作为 CI 时间门槛；kg-model-concept-query-smoke.mjs 验证跳过无关关系准备及真实 Host 的只读边界。

概念搜索未匹配或分页越界时，保留原文条目读取与非法、稀疏输入的既有错误优先级，省去空页不使用的原文 Map 索引构造；正常结果仍完整核对逐字引文及其来源，原文身份、条件、证据和版本不变。node scripts/kg-model-concept-empty-benchmark.mjs 4f1cfcd 对照真实源码，计数与交替 13 次计时分开：32776 段原文的空结果请求，条目读取保持 32776，Map 写入 32776 → 0，中位耗时 4.496 → 0.560 ms；越界空页 2.697 → 0.404 ms。744 组完整响应及异常对照相同，包含同身份覆盖顺序、fallback 分段、错误优先级、拒绝概念及其他模型查询；新回归已接入完整测试。指标仅覆盖源码计算，不含 SQLite、HTTP、DOM 或堆内存，不作为 CI 时间门槛。

私有结构槽位补读概念名称时，只为绑定模型和所请求的字面 ID 建立索引；仍读取全部节点身份，保留同身份后项覆盖及非法、稀疏输入的错误顺序。空名称数组仍校验绑定模型，最多 40 个独立 ID、请求顺序、拒绝概念处理与版本校验不变，不从名称猜测输入输出或写入正式关系。node scripts/kg-model-private-name-index-benchmark.mjs cdbda0d 对照真实旧源码，计数与交替 25 次计时分开：32939 节点、40 个名称的请求，身份读取保持 32939，节点 Map 写入 32939 → 41，中位耗时 3.088 → 0.961 ms。1760 组完整响应及异常相同，真实 Host 回归及私有草稿名称恢复、条件与证据保持检查已接入完整测试；指标仅覆盖源码计算，不含 SQLite、HTTP、DOM 或堆内存，不作为 CI 时间门槛。

模型结构编辑器重新读回完全相同的原有端点记录时，复用当前完整草稿诊断；比较包含端点顺序、身份、角色、状态、关系与节点的全部来源引文及额外字段。任何记录变化仍替换端点并重新核对；草稿或文档版本变化仍使诊断失效。node scripts/kg-model-draft-port-reuse-benchmark.mjs 7e3bb4c 对照真实生成编辑器和 Host：40 槽位 / 40 分支 / 100 实例的 12 次同值响应，额外完整诊断 12 → 0；计数之外交替 15 × 16 次测量，响应回调及 render 的中位耗时 2.899 → 0.133 ms。只表示该阶段，不包含网络、DOM 或绘制，不作为 CI 时间门槛；--smoke 核对计数和完整报告。角色、字面节点身份、每项实际来源引文字段、空数组、记录顺序、未知字段及版本和取消变化均有回归，条件、证据、独立绑定与正式图谱保持。

结构编辑器重读同一文档、模型与版本下逐字相同的私有缓存时，复用该缓存的解析和格式校验结果（包括无效格式提示）；每次仍读取缓存，内容、格式或版本变化时重新校验，读取失败使复用失效。已有草稿保留，损坏缓存不覆盖；格式通过仍不代表条件或来源语义已核验，正式保存保留预览、明确确认与版本校验。node scripts/kg-model-draft-cache-benchmark.mjs 309f745 对照真实生成编辑器和 Host：40 槽位 / 40 分支 / 100 实例、156238 字符缓存的 12 次同值响应，额外解析与完整格式校验各 12 → 0；计数之外交替 15 × 16 次测量，响应回调及 render 中位耗时 1.939 → 0.164 ms。只表示该阶段，不包含网络、DOM 或绘制，不作为 CI 时间门槛；--smoke 核对工作计数、完整报告及正式图谱保持。

结构整理切换模型时重新读取概念目录，即使检索词和页码不变；等待期间清空旧选项，取消旧模型尚未完成的概念读取。新增槽位保留所选概念的字面 ID 和 canonical 名称，角色仍为待核对，各模型私有草稿分别恢复。名称尚未读取时只使用自有索引项或字面 ID，避免 __proto__ 等合法 ID 被误当作对象原型而使页面报错；不改写正式结构、条件、来源引文或学习记录。node scripts/kg-model-concept-scope-smoke.mjs 使用真实 Host 和生成编辑器核对模型切换、同名不同 ID、迟到响应及身份/版本/服务能力限制。

读取验证结果时，缺失或无效的自述诊断会阻止使用这次响应，并提示重新读取；已有草稿、条件、比较依据和更正基准保留。正常响应恢复后可继续，不把缺失诊断自动解释为「仍无法判断」，也不自动保存或核验结果。

联结模型字段、槽位与配对实例的「原文」入口沿用只读接口接受的完整文档标识（最多 4096 字），保留标识中的空白，不截断或替换成其他文档。仍按当前版本和完整引文逐字唯一定位；字段引文上限 2000 字，个人整理与 AI 建议不成为原文入口，定位成功不表示语义已核验。结构保存仍使用原有 160 字文档标识限制、预览、明确确认与版本校验。

模型学习记录只有在摘要和五类来源的必需计数都齐全、且为非负安全整数时才显示统计。缺少计数或计数无效时提示重新读取；不把缺项当作零，也不显示部分统计。完整响应中的零值正常显示，原始预测、结果更正和来源分类保留，统计仍不代表独立证据或模型已掌握。

联结模型目录的关键词也覆盖通过当前 canonical 概念与原文引用校验的已记录条件、规律和边界。新增字段搜索按同一字段内的完整短语筛选，只规范化全角、大小写与空白，保留运算符和箭头，不把 x > 3 与 x < 3 合为同一命中，也不把分散在不同字段或分支的词拼成一个条件。目录保留原文顺序、全图数量和既有章节/概念/角色筛选；响应中的 modelFieldMatches 最多列出 8 个分支/字段位置与声明的来源身份，余量明确，依据是 recorded_text_not_applicability，不代表适用性、正确性或掌握度。来源备注和实例不在这个目录搜索范围内；无效结构仍可按模型身份或标题找到并核对。

联结模型的条件、映射和边界可点「旁侧核对」，在原文栏查看该字段记录的完整引文、备注及来源状态，保留当前学习或核对任务。模型、版本和分支身份保持可见，同名分支不会混用；只有显式点击「在知识图与原文中定位」才切换阅读视图，仍按完整引文逐字定位并提示歧义。切换字段取消旧定位，切换模型、版本或重新读取后清除旧字段选择；旁侧查看不核验映射、不修改图谱。

联结模型详情及“从原文选取”的上下文按已存原文顺序取前一段和后两段；段落编号不连续时仍保留紧邻的条件、表格与边界，引用继续使用原编号和完整原文。“打开原文”携带完整上下文及来源版本，逐字定位到实际阅读位置；切换选取目标、候选、摘录、分页或重新加载后取消此前的定位，当前失败仍会显示。打开完整原文不改变字段草稿；明确填入的连续摘录仍限 2000 字。找不到的段落身份不猜邻近位置；上下文候选不代表它支持所选字段，填入草稿后仍须预览和确认保存。

联结模型详情和比较中的原文表格仅拼接已存顺序中真正相邻、没有缺段的完整片段；保留表题、表前条件、表后边界与每个片段的原编号定位。定位携带文档、版本和原文片段（最多 2000 字符），按当前原文逐字查找，重复或过时的依据不近似跳转。未展示中间原文时保留片段，不把省略限制的表格冒充完整依据；只呈现单元格文字，不执行资料中的 HTML。

模型、端点、材料、比较页及两步推测的模型引用按当前文档版本逐字定位，保留原编号、节点身份、出处与完整引文（包括超过 2000 字符的模型引用）；重新切分的阅读段落不使用原编号作为下标，也不将原文限制在节点所在章节。重复片段、版本变化或缺失的引用会显示错误并保留模型页面与引文。引用节点需要另行加载时，也须通过文档与版本校验，过时的加载结果不改变画布或阅读位置。结构字段及原文上下文按钮的定位长度限制不变。

联结模型原文与节点定位还核对发起动作时的模型、详情页签和比较对象。切换模型、切换比较对象、重新读取、离开详情或关闭模型面板后，尚未完成的旧定位不再改变焦点或阅读位置，也不把旧错误显示到新详情；切走再切回同一对象仍须重新发起定位。同一页面连续定位以最新点击为准，当前请求的真实失败继续显示完整引文与错误。此取消范围只约束阅读定位，不改变结构修改的预览、确认和版本校验。

两步推测还核对明确选定的第二模型、两步分支和草稿来源版本；确认更换第二模型、切换分支或重新读取后，旧引文与结构依据的定位结果不会覆盖当前选择。拒绝更换时保留两个步骤，原定位仍可完成；确认更换仍只清空第二步，第一步与情境保留。原文定位失败后可点击同一引文重试，当前重试会清除自己的旧定位错误，推测检查和模型读取错误独立保留；切换定位范围或离开页面时清除旧定位错误，过期回应不覆盖当前错误。模型尚未读取时，编辑情境或目标会保留读取错误和个人草稿；点击「重新读取两步推测模型」重试，恢复两个模型后再检查，过期读取不会清除当前错误。引文逐字匹配只确认出处，个人填写的输入、推理和预测仍是草稿，不因此成为已验证关系或掌握证明。

两步推测草稿导出失败后可重试；浏览器成功发起下载后清除自己的旧导出错误，仍保留尚未恢复的输入校验、推测检查、模型读取与原文定位错误。导出保留草稿来源版本、两步模型身份、条件及个人文字；已有检查结果仍携带原有的依据与限制，不因导出成为正式关系或掌握证明。

导入文件读取、格式校验或模型核对失败时，页面聚焦失败提示，说明当前草稿未覆盖，并支持重新选择同一文件重试。原有两步文字、分支、槽位承接、来源版本、缓存和检查结果保留；缓存不可写时也保留当前页面中的最新草稿。重试成功仅生成导入预览，仍须明确确认替换，文件中的旧检查结果不恢复为当前依据。读取期间编辑、切换模型或离开两步任务后，过时的失败不会再显示或抢占焦点。

历史恢复、canonical 导出、联结模型目录、阅读地图和关系聚拢按完整 documentId 定位，不截取前缀、不去除首尾空白，也不合并全角或同名标识。这组只读入口的标识上限为 4096 个