local-knowledge-graph 1.11.0 → 1.12.0

package/HELP.md

@@ -148,16 +148,18 @@ kg
 
 ## 功能速览
 
-- **AI 对话建图**：右侧输入自然语言指令（联网补全），或上传文档（md/txt/pdf/docx）批量抽取三元组
+- **AI 对话建图**：右侧输入自然语言指令（联网补全），或上传文档（md/txt/pdf/docx）批量抽取三元组；AI 输出不合规时自动按修复回执重试（最多 2 轮），仍失败则给出完整问题清单
 - **智能提问**：检索页签一句话找关系（LLM 编译检索计划，本地只读执行，可生成带引用的综述）
 - **关系推荐**：共同邻居算法找"该连没连"的实体对，AI 判断后一键采纳入库（检索页签"关系推荐"卡 / 实体卡"推荐关系"按钮）
 - **语义检索**：配置硅基流动 API Key 后支持语义+关键词混合检索（未配置时自动退化为关键词模式）
 - **最短路径 / 中心子图 / 推理**：挖掘实体间关联链路、层级范围与隐性关系（方法体系见上文"知识推理"章节）
 - **撤销**：Ctrl+Z 或按钮，可连续撤销
 - **浅色主题**：视图设置 → 界面主题 → 浅色，整站配色与 3D 画布同步切换，选择本地记忆
-- **保存点与回溯**：版本页签打保存点，随时回滚；每次保存点自动滚动备份到 `data/backups/`
+- **保存点与回溯**：版本页签打保存点，随时回滚；勾选两个保存点可对比版本差异（Diff：实体/关系增删改与属性字段级变化）；每次保存点自动滚动备份到 `data/backups/`
+- **视图分享**：视图菜单"复制视图链接"生成 `#entity=5` / `#ego=5&depth=2` / `#path=6-13` 深链，打开即恢复同一视图；单文件网页同样支持 `#entity=`
+- **演示数据**：命令行 `kg --demo` 一键体验（独立临时目录，不影响真实数据）；或帮助面板"载入演示数据"灌入太阳系示例（先自动打保存点备份现有数据）
 - **图片绑定**：实体与关系信息卡上传本地图片（缩略图+灯箱，佐证材料留存）
-- **导出**：RDF(Turtle)、整库 .db、单文件只读网页版
+- **导出**：RDF(Turtle)、整库 .db、单文件只读网页版、三元组 JSON/CSV
 
 ## 键盘快捷键
 
@@ -187,6 +189,7 @@ kg
 
 ## 版本历史摘要
 
+- **v1.12.0**：四项交互升级——①AI 修复回执：kg-ops 校验失败时返回结构化回执（规则码+失败原因+证据+修正建议），OpenCode 自动按回执修正重试（最多 2 轮），拦截时前端展示完整问题清单 ②保存点 Diff：版本页签勾选两个保存点即可对比差异（实体/关系的增/删/改，属性字段级 before→after）③URL 深链：`#entity=5`、`#ego=5&depth=2`、`#path=6-13` 直达视图，视图菜单"复制视图链接"一键分享（确定性布局保证两端构图一致，单文件网页同样支持 `#entity=`）④演示画廊：`kg --demo` 一键体验（一次性数据目录+太阳系示例图谱），帮助面板"载入演示数据"按钮灌入现有图谱（先自动打保存点）；三元组导入新增别名列支持
 - **v1.11.0**：九项图谱能力升级——①关系属性（JSON 编辑/kg-ops/导入导出全链路，weight 数值映射线明暗）②三元组 JSON/CSV 导入导出（中文表头、同名复用、重复去重、支持子图 ids 参数）③重复三元组校验（同起点+终点+名称返回 409，前端友好提示）④关系方向箭头与互惠对双箭头 ⑤图例点击显隐 + 属性条件过滤 + 检索结果全部高亮 ⑥统计页签（度分布/枢纽 Top10/大类分布）⑦多选模式与子图提取/导出 ⑧PNG 截图（2 倍分辨率）⑨单文件网页导出补齐关系属性/置信度/来源引用展示与平行边标签错开；OpenCode 识别增强（PATH 扫描/常见位置/npm 全局四级定位）与检索页签一键安装（npm 全局安装 + 自动模型配置：本机 Ollama/LM Studio 优先，否则 Zen 免费模型）
 - **v1.10.0**：关系推荐——共同邻居算法（Adamic-Adar 打分，排除已有直接边）全图/中心实体两种扫描；AI 判断候选关系（LLM 给出关系名/大类/置信度/依据，人工确认后入库，不直接写库）；检索页签新增"关系推荐"卡，实体信息卡新增"推荐关系"按钮
 - **v1.9.0**：检索配置增强（Base URL 页面可配 + 测试连接按钮，保存前即可验证密钥/地址/模型）；关系图片绑定（信息卡上传/缩略图/灯箱，佐证材料与关系绑定，删关系连带清理）；帮助文档全面增补（检索配置详解/关系编辑与图片/知识推理方法体系与应用场景）

package/README.md

@@ -21,7 +21,9 @@
 | 迷你 Cypher | 只读关系查询：`MATCH (a)-[r:互动]->(b) WHERE a.name contains 郑和 RETURN a.name, r.name LIMIT 10` |
 | 图统计 | 度分布直方图、枢纽节点 Top10（点击飞行定位）、实体大类分布（统计页签） |
 | 数据资产 | 实体图片（本地存储，独立表）、RDF Turtle 导出、SQLite 整库导出/导入（自动备份保存点）、三元组 JSON/CSV 导入导出（中文表头，同名实体复用、重复三元组自动去重）、单文件只读网页另存 |
-| 保存点 | 每次合规写入自动打 Git 保存点，违规写入自动回滚到上个合规版本；可一键回溯任意历史版本 |
+| 保存点 | 每次合规写入自动打 Git 保存点，违规写入自动回滚到上个合规版本；可一键回溯任意历史版本，勾选两个保存点可对比版本差异（Diff） |
+| 视图深链 | `#entity=5` / `#ego=5&depth=2` / `#path=6-13` URL 直达视图，"复制视图链接"一键分享，单文件网页同样支持 |
+| 演示模式 | `kg --demo` 一次性数据目录+太阳系示例图谱一键体验；帮助面板可向现有图谱载入演示数据（先自动备份） |
 | MCP Server | 零依赖 stdio JSON-RPC，10 个工具可直接接入 Claude Desktop / OpenCode 等支持 MCP 的客户端 |
 | 双端适配 | 桌面端完整面板；手机端单行工具栏+抽屉面板+文件菜单 |
 

package/bin/cli.js

@@ -24,6 +24,7 @@ if (args.includes('-h') || args.includes('--help')) {
   --host <addr>   监听地址（默认 127.0.0.1，局域网访问用 0.0.0.0，环境变量 KG_HOST 同效）
   --data <dir>    数据目录（默认 ~/.local-knowledge-graph，环境变量 KG_DATA_DIR 同效）
   --mcp           以 MCP stdio 服务运行（供 Claude Desktop/Cursor 等客户端接入，不启动网页）
+  --demo          演示模式：使用一次性数据目录载入太阳系示例图谱并启动（不影响现有数据）
   --no-open       启动后不自动打开浏览器
   -v, --version   显示版本
   -h, --help      显示本帮助
@@ -44,17 +45,40 @@ if (args.includes('--mcp')) {
   require('../mcp/server.js');
 } else {
 
-const { ensureLegacyMigration, isDevRepo } = require('../lib/paths');
-
+const demoMode = args.includes('--demo');
 const port = argValue('--port');
 const host = argValue('--host');
 const dataDir = argValue('--data');
 if (port) process.env.PORT = port;
 if (host) process.env.KG_HOST = host;
-if (dataDir) process.env.KG_DATA_DIR = dataDir;
+if (demoMode && !dataDir) {
+  // 演示模式默认用一次性目录，绝不污染真实数据；必须在 require paths 前设置 env（DATA_DIR 在模块加载时固化）
+  const os = require('os');
+  process.env.KG_DATA_DIR = require('fs').mkdtempSync(require('path').join(os.tmpdir(), 'kg-demo-'));
+} else if (dataDir) {
+  process.env.KG_DATA_DIR = dataDir;
+}
+
+const { ensureLegacyMigration, isDevRepo } = require('../lib/paths');
 
 ensureLegacyMigration();
 
+// 演示模式：服务就绪后自动灌入太阳系示例数据
+if (demoMode) {
+  const demoUrl = `http://localhost:${Number(process.env.PORT || 3000)}/api/demo/load`;
+  const started = Date.now();
+  const demoTimer = setInterval(() => {
+    fetch(demoUrl, { method: 'POST', headers: { 'Content-Type': 'application/json' }, body: '{}', signal: AbortSignal.timeout(4000) })
+      .then((r) => r.json())
+      .then((j) => {
+        clearInterval(demoTimer);
+        if (j.ok) console.log(`演示数据已载入：实体 ${j.counts.entities} / 关系 ${j.counts.relations}（数据目录 ${process.env.KG_DATA_DIR}）`);
+        else console.log('演示数据载入失败: ' + (j.error || '未知'));
+      })
+      .catch(() => { if (Date.now() - started > 25000) { clearInterval(demoTimer); console.log('演示数据载入超时，可稍后在网页「帮助」面板点击「载入演示数据」'); } });
+  }, 800);
+}
+
 // 启动后轮询就绪，自动打开浏览器
 if (!args.includes('--no-open')) {
   const listenPort = Number(process.env.PORT || 3000);

package/lib/agent.js

@@ -211,6 +211,32 @@ function attempt(sessionId, instruction, files) {
   });
 }
 
+// 修复回路提示词：带上一次的完整操作与结构化回执，要求输出修正后的完整 kg-ops 块
+function buildRepairPrompt(ops, receipts) {
+  return `你上一次输出的 kg-ops 操作未通过图谱校验，全部改动已回滚。请根据以下修复回执修正操作，重新输出【完整的】修正后 kg-ops 代码块（包含全部操作，而非仅差异部分）。
+
+【你上次的操作】
+${JSON.stringify(ops, null, 1)}
+
+【修复回执】（index=操作序号，code=规则码，subject=出错主体，supportedFixes=仅允许的修复方式）
+${JSON.stringify(receipts, null, 1)}
+
+【修复要求】
+1. 严格按 supportedFixes 修复，禁止发明新的字段、大类或类型。
+2. 无法修复的操作直接删除（如重复三元组可改为 update_relation 或整条移除）。
+3. 重新输出完整 kg-ops 块；说明文字保持简短。`;
+}
+
+// 按回执修复：续用上次会话上下文，要求AI输出修正后的完整操作
+async function runRepair(ops, receipts) {
+  const sessionId = readSession();
+  const preArgs = sessionId ? ['--session', sessionId] : [];
+  const r = await runOpenCodeRaw(preArgs, buildRepairPrompt(ops, receipts), [], TIMEOUT_MS);
+  if (!r.ok) return { ok: false, error: r.error };
+  const parsed = parseOps(r.texts);
+  return { ok: true, reply: parsed.reply || r.texts, ops: parsed.ops, parse_error: parsed.parse_error || null };
+}
+
 // 纯文本问答模式（智能检索编译/综述用）：无会话、无 kg-ops 解析，仅取回复文本
 async function runPlain(prompt, timeoutMs = 20000, envExtra) {
   const p = String(prompt || '').trim();
@@ -224,4 +250,4 @@ function clearSession() {
   try { fs.unlinkSync(SESSION_FILE); } catch (_) { /* 文件不存在则忽略 */ }
 }
 
-module.exports = { buildPrompt, runAgent, runPlain, parseOps, parseEventStream };
+module.exports = { buildPrompt, runAgent, runRepair, runPlain, parseOps, parseEventStream };

package/lib/db.js

@@ -517,6 +517,7 @@ function entNameIn(id) {
 function applyAgentOps(ops) {
   const applied = [];
   const refMap = {};
+  const failures = []; // 修复回执：收集全部失败而非首个，AI可一轮拿到完整问题清单
   return tx(() => {
     for (let opIdx = 0; opIdx < ops.length; opIdx++) {
       const op = ops[opIdx];
@@ -584,11 +585,15 @@ function applyAgentOps(ops) {
           throw badOp(`未知操作类型"${op.op}"，仅支持 add_entity/add_relation/update_entity/delete_entity/update_relation/delete_relation`);
       }
       } catch (e) {
-        const opKind = (op && op.op) || '未知';
-        e.message = `第${opIdx + 1}条操作(${opKind})失败: ${e.message}`;
-        throw e;
+        // 继续执行后续操作，让AI一次拿到全部问题；事务最终整体回滚，无部分写入
+        failures.push(V.buildReceipt(opIdx + 1, op, e));
       }
     }
+    if (failures.length) {
+      const err = new Error(`${failures.length}/${ops.length} 条操作未通过校验，已全部回滚`);
+      err.receipts = failures;
+      throw err;
+    }
     return applied;
   });
 
@@ -902,6 +907,17 @@ function applyTriplesImport(parsed, source) {
           continue;
         }
         const row = addEntityCore({ name: ent.name, category: ent.category, attributes: ent.attributes }, source);
+        if (Array.isArray(ent.aliases) && ent.aliases.length) {
+          // 同事务内联写别名（addAlias 内部自带事务，嵌套会失败）
+          for (const raw of ent.aliases) {
+            const n = cleanAlias(raw);
+            if (!n || n.length > 200 || n === row.name) continue;
+            const dup = db.prepare('SELECT id FROM aliases WHERE entity_id = ? AND alias = ?').get(row.id, n);
+            if (dup) continue;
+            if (aliasConflict(n, row.id)) continue;
+            db.prepare('INSERT INTO aliases (entity_id, alias) VALUES (?, ?)').run(row.id, n);
+          }
+        }
         nameMap.set(row.name, row.id);
         if (ent.fromId) result.entity_ids.set('#' + ent.fromId, row.id);
         result.entity_ids.set(row.name, row.id);

package/lib/demo.js

@@ -0,0 +1,58 @@
+'use strict';
+
+// 演示数据集：太阳系主题，供 kg --demo 与网页「载入演示数据」一键体验
+// 结构与 triples_io.parseImport(JSON) 输出一致，直接喂 db.applyTriplesImport
+// 覆盖：物理/抽象/数值/时间 4 实体大类，空间/互动/归属/时间/属性 5 关系大类，确证/存疑/推测 3 置信度，属性与别名
+
+function demoData() {
+  const entities = [
+    { name: '太阳', category: '物理实体', attributes: { 类型: 'G型主序星', 质量: '1.989×10^30 kg', 表面温度: '约5500°C' }, aliases: ['Sol'] },
+    { name: '水星', category: '物理实体', attributes: { 直径: '4879 km', 公转周期: '88天' }, aliases: ['Mercury'] },
+    { name: '金星', category: '物理实体', attributes: { 直径: '12104 km', 公转周期: '225天' }, aliases: ['启明星', '长庚星'] },
+    { name: '地球', category: '物理实体', attributes: { 直径: '12742 km', 公转周期: '365.25天', 卫星数: 1 }, aliases: ['Earth', '蓝星'] },
+    { name: '火星', category: '物理实体', attributes: { 直径: '6779 km', 公转周期: '687天' }, aliases: ['红色星球'] },
+    { name: '木星', category: '物理实体', attributes: { 直径: '139820 km', 卫星数: 95 }, aliases: ['Jupiter'] },
+    { name: '月球', category: '物理实体', attributes: { 直径: '3475 km', 距地距离: '38.4万公里' }, aliases: ['Moon'] },
+    { name: '哈雷彗星', category: '物理实体', attributes: { 回归周期: '约76年', 上次回归: '1986年' }, aliases: ['1P/Halley'] },
+    { name: '太阳系', category: '抽象实体', attributes: { 行星数: 8, 年龄: '约46亿年' }, aliases: [] },
+    { name: '日心说', category: '抽象实体', attributes: { 提出时间: '1543年' }, aliases: ['太阳中心模型'] },
+    { name: '万有引力定律', category: '抽象实体', attributes: { 发表时间: '1687年', 著作: '《自然哲学的数学原理》' }, aliases: [] },
+    { name: '潮汐', category: '抽象实体', attributes: { 周期: '约12小时25分' }, aliases: ['潮汐现象'] },
+    { name: '日食', category: '抽象实体', attributes: {}, aliases: ['日蚀'] },
+    { name: '天文单位', category: '数值实体', attributes: { 数值: '约1.496亿公里', 符号: 'AU' }, aliases: ['AU'] },
+    { name: '光速', category: '数值实体', attributes: { 数值: '299792458 m/s', 符号: 'c' }, aliases: [] },
+    { name: '哥白尼', category: '物理实体', attributes: { 国籍: '波兰', 生卒: '1473-1543' }, aliases: ['Nicolaus Copernicus'] },
+    { name: '开普勒', category: '物理实体', attributes: { 国籍: '德意志', 生卒: '1571-1630' }, aliases: ['Johannes Kepler'] },
+    { name: '牛顿', category: '物理实体', attributes: { 国籍: '英国', 生卒: '1643-1727' }, aliases: ['Isaac Newton', '艾萨克·牛顿'] },
+  ];
+  const relations = [
+    { source: '水星', target: '太阳', name: '绕行', category: '空间', confidence: '确证', source_ref: 'IAU 行星定义', attributes: {} },
+    { source: '金星', target: '太阳', name: '绕行', category: '空间', confidence: '确证', source_ref: 'IAU 行星定义', attributes: {} },
+    { source: '地球', target: '太阳', name: '绕行', category: '空间', confidence: '确证', source_ref: 'IAU 行星定义', attributes: { 周期: '恒星年365.256天' } },
+    { source: '火星', target: '太阳', name: '绕行', category: '空间', confidence: '确证', source_ref: 'IAU 行星定义', attributes: {} },
+    { source: '木星', target: '太阳', name: '绕行', category: '空间', confidence: '确证', source_ref: 'IAU 行星定义', attributes: {} },
+    { source: '月球', target: '地球', name: '绕行', category: '空间', confidence: '确证', source_ref: '天文学常识', attributes: {} },
+    { source: '地球', target: '太阳系', name: '属于', category: '归属', confidence: '确证', source_ref: '', attributes: {} },
+    { source: '哈雷彗星', target: '太阳', name: '绕行', category: '空间', confidence: '确证', source_ref: '《彗星轨道论》1705', attributes: { 轨道: '椭圆', 偏心率: 0.967 } },
+    { source: '月球', target: '潮汐', name: '引发', category: '互动', confidence: '确证', source_ref: '牛顿《原理》第一册', attributes: {} },
+    { source: '月球', target: '日食', name: '引发', category: '互动', confidence: '确证', source_ref: '', attributes: { 条件: '朔日且月球在黄白交点附近' } },
+    { source: '天文单位', target: '太阳', name: '度量', category: '属性', confidence: '确证', source_ref: 'IAU 2012 决议', attributes: { 定义: '精确149597870700米' } },
+    { source: '哥白尼', target: '日心说', name: '提出', category: '互动', confidence: '确证', source_ref: '《天体运行论》1543', attributes: {} },
+    { source: '开普勒', target: '日心说', name: '完善', category: '互动', confidence: '确证', source_ref: '《新天文学》1609', attributes: { 贡献: '行星运动三定律' } },
+    { source: '牛顿', target: '万有引力定律', name: '提出', category: '互动', confidence: '确证', source_ref: '《自然哲学的数学原理》1687', attributes: {} },
+    { source: '万有引力定律', target: '日心说', name: '解释', category: '互动', confidence: '确证', source_ref: '', attributes: {} },
+    { source: '万有引力定律', target: '潮汐', name: '解释', category: '互动', confidence: '确证', source_ref: '', attributes: {} },
+    { source: '牛顿', target: '开普勒', name: '继承发展', category: '互动', confidence: '确证', source_ref: '', attributes: {} },
+    { source: '哈雷彗星', target: '牛顿', name: '印证理论', category: '互动', confidence: '存疑', source_ref: '哈雷轨道计算1705', attributes: { 说明: '哈雷用引力定律推算彗星轨道' } },
+    { source: '火星', target: '生命', name: '可能孕育', category: '互动', confidence: '推测', source_ref: '机遇号/好奇号探测', attributes: { 证据: '古代河床与有机分子痕迹' } },
+    { source: '光速', target: '天文单位', name: '换算', category: '属性', confidence: '存疑', source_ref: '雷达测距', attributes: { 说明: '日地距离约合8分19秒光程' } },
+  ];
+  // 「生命」实体补进实体表（推测关系的端点，展示存疑淡化/推测虚线样式）
+  entities.push({ name: '生命', category: '抽象实体', attributes: {}, aliases: [] });
+  // 时间实体示例：《自然哲学的数学原理》出版年
+  entities.push({ name: '1687年', category: '时间实体', attributes: { 说明: '《自然哲学的数学原理》出版' }, aliases: [] });
+  relations.push({ source: '万有引力定律', target: '1687年', name: '发表于', category: '时间', confidence: '确证', source_ref: '', attributes: {} });
+  return { entities, relations };
+}
+
+module.exports = { demoData };

package/lib/diff.js

@@ -0,0 +1,63 @@
+'use strict';
+
+// 版本 Diff：对比两个保存点快照，输出结构化差异（Archify Before/Delta/After 式对比回执）
+// attributes 在库内为 JSON 文本，规范化解析后比较，键序差异不误报
+
+function normAttrs(a) {
+  if (a === null || a === undefined || a === '') return {};
+  if (typeof a === 'object') return a;
+  try { const v = JSON.parse(a); return v && typeof v === 'object' ? v : { '值': v }; } catch (_) { return { '原文': String(a) }; }
+}
+
+function stable(v) {
+  if (v === null || v === undefined) return '';
+  if (typeof v !== 'object') return String(v);
+  const keys = Object.keys(v).sort();
+  return JSON.stringify(keys.map((k) => [k, v[k]]));
+}
+
+// 实体比较字段：name/category/attributes；关系比较字段：source_id/target_id/name/category/confidence/source_ref/attributes
+function diffRows(oldRows, newRows, fields, label) {
+  const oldById = new Map(oldRows.map((r) => [r.id, r]));
+  const newById = new Map(newRows.map((r) => [r.id, r]));
+  const added = [], removed = [], changed = [];
+  for (const [id, row] of newById) {
+    if (!oldById.has(id)) { added.push(pick(row, fields)); continue; }
+    const prev = oldById.get(id);
+    const attrPrev = normAttrs(prev.attributes);
+    const attrNow = normAttrs(row.attributes);
+    const changedFields = [];
+    const detail = { id, fields: changedFields, from: {}, to: {} };
+    for (const f of fields) {
+      const a = f === 'attributes' ? stable(attrPrev) : String(prev[f] === null || prev[f] === undefined ? '' : prev[f]);
+      const b = f === 'attributes' ? stable(attrNow) : String(row[f] === null || row[f] === undefined ? '' : row[f]);
+      if (a !== b) {
+        changedFields.push(f);
+        detail.from[f] = f === 'attributes' ? attrPrev : (prev[f] === null || prev[f] === undefined ? '' : prev[f]);
+        detail.to[f] = f === 'attributes' ? attrNow : (row[f] === null || row[f] === undefined ? '' : row[f]);
+      }
+    }
+    if (changedFields.length) changed.push(detail);
+  }
+  for (const [id, row] of oldById) if (!newById.has(id)) removed.push(pick(row, fields));
+  return { added, removed, changed, summary: { [label + '_added']: added.length, [label + '_removed']: removed.length, [label + '_changed']: changed.length } };
+}
+
+function pick(row, fields) {
+  const out = { id: row.id };
+  for (const f of fields) out[f] = f === 'attributes' ? normAttrs(row.attributes) : (row[f] === null || row[f] === undefined ? '' : row[f]);
+  return out;
+}
+
+// 对比两个快照 {entities, relations}；from=旧 to=新
+function diffSnapshots(fromSnap, toSnap) {
+  const ent = diffRows(fromSnap.entities, toSnap.entities, ['name', 'category', 'attributes'], 'entities');
+  const rel = diffRows(fromSnap.relations, toSnap.relations, ['source_id', 'target_id', 'name', 'category', 'confidence', 'source_ref', 'attributes'], 'relations');
+  return {
+    entities: { added: ent.added, removed: ent.removed, changed: ent.changed },
+    relations: { added: rel.added, removed: rel.removed, changed: rel.changed },
+    summary: { ...ent.summary, ...rel.summary },
+  };
+}
+
+module.exports = { diffSnapshots, normAttrs };

package/lib/git.js

@@ -172,4 +172,27 @@ function restore(hash) {
   return { restored: hash, backup: backup && backup.hash ? backup.hash : null, counts };
 }
 
-module.exports = { ensureRepo, savepoint, history, restore, readMeta, writeMeta, backupCopy, DATA_DIR };
+// 导出任意保存点的库快照（只读）：供版本 Diff 对比，不动主库
+function exportSnapshot(hash) {
+  ensureRepo();
+  if (!hasCommits()) { const e = new Error('仓库中还没有任何保存点'); e.status = 400; throw e; }
+  try { git(['cat-file', '-e', `${hash}^{commit}`]); } catch (_) {
+    const e = new Error(`保存点 ${hash} 不存在`); e.status = 404; throw e;
+  }
+  const buf = gitBuffer(['show', `${hash}:${DB_FILE}`]);
+  const tmp = path.join(os.tmpdir(), `kg_snap_${Date.now()}_${Math.random().toString(36).slice(2, 8)}.db`);
+  fs.writeFileSync(tmp, buf);
+  const { DatabaseSync } = require('node:sqlite');
+  let probe;
+  try {
+    probe = new DatabaseSync(tmp, { readOnly: true });
+    const entities = probe.prepare('SELECT id, name, category, attributes FROM entities ORDER BY id').all();
+    const relations = probe.prepare('SELECT id, source_id, target_id, name, category, confidence, source_ref, attributes FROM relations ORDER BY id').all();
+    return { entities, relations };
+  } finally {
+    try { if (probe) probe.close(); } catch (_) {}
+    try { fs.unlinkSync(tmp); } catch (_) {}
+  }
+}
+
+module.exports = { ensureRepo, savepoint, history, restore, exportSnapshot, readMeta, writeMeta, backupCopy, DATA_DIR };

package/lib/triples_io.js

@@ -137,6 +137,7 @@ function parseImport(content, format) {
       entities.push({
         name: e.name, category: e.category || '抽象实体',
         attributes: e.attributes && typeof e.attributes === 'object' ? e.attributes : {},
+        aliases: Array.isArray(e.aliases) ? e.aliases.map(String) : [],
         fromId: Number.isInteger(e.id) ? e.id : null,
       });
     }

package/lib/validator.js

@@ -182,6 +182,43 @@ function validateRelationPatch(patch, existing, db) {
   return check;
 }
 
+// ---- 修复回执（Archify 式）：把本包定义的校验错误文案映射为稳定规则码与允许的修复动作 ----
+// 错误文案全部由本包抛出（validator/db），正则匹配可靠；新增校验规则时同步在此登记
+const RECEIPT_RULES = [
+  { re: /实体大类必须为/, code: 'E_ENTITY_CATEGORY', fixes: ['category 改为以下之一: 物理实体 / 抽象实体 / 数值实体 / 时间实体'] },
+  { re: /关系大类必须为/, code: 'E_RELATION_CATEGORY', fixes: ['category 改为以下之一: 空间 / 互动 / 归属 / 时间 / 属性'] },
+  { re: /置信度必须为/, code: 'E_CONFIDENCE', fixes: ['confidence 改为以下之一: 确证 / 推测 / 存疑；省略该字段时默认确证'] },
+  { re: /禁止嵌套对象或数组/, code: 'E_ATTR_NESTED', fixes: ['attributes 的值只能是字符串/数值/布尔/空值；把嵌套结构拆成多个扁平键，或改为一段说明文本'] },
+  { re: /必须为JSON对象/, code: 'E_ATTR_TYPE', fixes: ['attributes 必须是JSON对象（如 {"键":"值"}）；无属性时省略该字段'] },
+  { re: /起点实体id=\d+ 不存在/, code: 'E_SOURCE_MISSING', fixes: ['先用 {"op":"add_entity",...,"ref":"X"} 创建该实体，再用 "source_ref":"X" 引用；或改用图谱中已存在实体的数字id'] },
+  { re: /终点实体id=\d+ 不存在/, code: 'E_TARGET_MISSING', fixes: ['先用 {"op":"add_entity",...,"ref":"X"} 创建该实体，再用 "target_ref":"X" 引用；或改用图谱中已存在实体的数字id'] },
+  { re: /起点与终点不能为同一实体/, code: 'E_SELF_LOOP', fixes: ['source 与 target 不能相同；确需表达自反关系时改为实体属性或拆分为两个实体'] },
+  { re: /重复三元组|已存在同名/, code: 'E_DUPLICATE_RELATION', fixes: ['同起点+终点+关系名的组合只能存在一条：删除本条 add_relation，需要修改时改用 update_relation，或换一个关系名'] },
+  { re: /(实体|关系)名称必须为非空字符串/, code: 'E_NAME_EMPTY', fixes: ['name 必须为非空字符串'] },
+  { re: /长度不得超过200字符/, code: 'E_NAME_TOO_LONG', fixes: ['name 截断到 200 字符以内'] },
+  { re: /未知操作类型/, code: 'E_UNKNOWN_OP', fixes: ['op 仅支持: add_entity / add_relation / update_entity / delete_entity / update_relation / delete_relation'] },
+  { re: /ref必须为非空字符串/, code: 'E_REF_INVALID', fixes: ['ref 必须为非空字符串占位符，如 "ref":"A"'] },
+  { re: /引用的实体不存在/, code: 'E_REF_UNRESOLVED', fixes: ['ref 未在本次操作的 add_entity 中定义：先输出对应 add_entity（带相同 ref），或改用数字id'] },
+];
+
+// 构造单条修复回执：index 从1开始对应操作序号；evidence 为出错操作原文（截断）
+function buildReceipt(index, op, err) {
+  const msg = String((err && err.message) || err);
+  const rule = RECEIPT_RULES.find((r) => r.re.test(msg));
+  let evidence = '';
+  try { evidence = JSON.stringify(op).slice(0, 300); } catch (_) { evidence = String(op).slice(0, 300); }
+  const subjectSrc = op && (op.name !== undefined ? op.name : (op.ref !== undefined ? op.ref : op.id));
+  return {
+    index,
+    op_kind: (op && op.op) || '未知',
+    code: rule ? rule.code : 'E_UNKNOWN',
+    subject: subjectSrc !== undefined ? String(subjectSrc) : '',
+    message: msg,
+    evidence,
+    supportedFixes: rule ? rule.fixes : ['核对该操作是否符合 RDF 规范（大类/扁平属性/实体引用）后重试'],
+  };
+}
+
 module.exports = {
   ENTITY_CATEGORIES,
   RELATION_CATEGORIES,
@@ -194,4 +231,6 @@ module.exports = {
   validateRelationInput,
   validateRelationPatch,
   findDuplicateRelation,
+  RECEIPT_RULES,
+  buildReceipt,
 };

package/lib/viewer_template.html

@@ -316,6 +316,29 @@ function resize() {
 }
 window.addEventListener('resize', resize);
 resize();
+
+// 深链：#entity=<id> 打开时自动选中并飞向该实体（与主应用链接格式一致）
+(function applyHash() {
+  const m = location.hash.match(/^#entity=(\d+)$/);
+  if (!m) return;
+  const id = Number(m[1]);
+  if (!entityMap.has(id)) return;
+  selected.obj = { type: 'entity', id };
+  renderCard();
+  const nd = simNodes.find(n => n.id === id);
+  if (nd) {
+    const dir = camera.position.clone().sub(controls.target).normalize();
+    const from = camera.position.clone(), fromT = controls.target.clone(), to = nd.pos.clone().add(dir.multiplyScalar(110));
+    let t = 0;
+    (function fly() {
+      t = Math.min(1, t + 0.04);
+      const k = t < 0.5 ? 2*t*t : 1 - Math.pow(-2*t + 2, 2)/2;
+      camera.position.lerpVectors(from, to, k);
+      controls.target.lerpVectors(fromT, nd.pos, k);
+      if (t < 1) requestAnimationFrame(fly);
+    })();
+  }
+})();
 </script>
 </body>
 </html>

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "local-knowledge-graph",
-  "version": "1.11.0",
+  "version": "1.12.0",
   "description": "本地知识图谱整合器：3D可视化 + AI对话建图 + 智能检索 + Git回溯 + RDF合规，全流程本地运行",
   "main": "server.js",
   "bin": {

package/public/app.js

@@ -1651,21 +1651,109 @@ async function loadLogs() {
 $('log-type').addEventListener('change', renderLogs);
 $('log-kw').addEventListener('input', renderLogs);
 
+/* ================= 保存点 Diff（勾选两个版本对比，Archify Before/Delta/After 式） ================= */
+const diffSel = []; // [{hash, date, short, title}]，最多2个
+let diffResult = null;
+
+function toggleDiffSel(hash) {
+  const idx = diffSel.findIndex((x) => x.hash === hash);
+  if (idx >= 0) diffSel.splice(idx, 1);
+  else {
+    if (diffSel.length >= 2) diffSel.shift();
+    diffSel.push({ hash, date: diffMeta[hash]?.date || '', short: diffMeta[hash]?.short || hash.slice(0, 7), title: diffMeta[hash]?.title || '' });
+  }
+  updateDiffBar();
+  loadHistory();
+}
+window.toggleDiffSel = toggleDiffSel;
+let diffMeta = {};
+
+function updateDiffBar() {
+  const bar = $('diff-bar');
+  bar.style.display = diffSel.length ? 'flex' : 'none';
+  $('btn-diff-run').disabled = diffSel.length !== 2;
+  $('diff-bar-text').textContent = diffSel.length === 2
+    ? `已选 2 个保存点：${diffSel[0].short} 与 ${diffSel[1].short}`
+    : `已选 ${diffSel.length}/2 个保存点`;
+}
+
+async function runDiff() {
+  if (diffSel.length !== 2) return;
+  // history 按时间倒序（新→旧），早的作为 from（基线）
+  const [a, b] = [...diffSel].sort((x, y) => (x.date < y.date ? -1 : 1));
+  try {
+    diffResult = await api(`/api/git/diff?from=${encodeURIComponent(a.hash)}&to=${encodeURIComponent(b.hash)}`);
+    renderDiffResult(a, b);
+  } catch (e) { toast(e.message, true); }
+}
+window.runDiff = runDiff;
+
+function clearDiffSel() {
+  diffSel.length = 0;
+  diffResult = null;
+  $('diff-result').style.display = 'none';
+  updateDiffBar();
+  loadHistory();
+}
+window.clearDiffSel = clearDiffSel;
+
+function diffSection(title, sec, color) {
+  if (!sec.added.length && !sec.removed.length && !sec.changed.length) return '';
+  const row = (icon, label, color2, text) => `<div style="display:flex;gap:6px;align-items:baseline"><span style="color:${color2};flex:0 0 auto">${icon}</span><span style="font-size:12px">${text} <span style="color:#5c6f92">(${label})</span></span></div>`;
+  const f = (o) => typeof o === 'object' && o !== null ? JSON.stringify(o) : String(o ?? '');
+  const parts = [
+    ...sec.added.map((x) => row('+', '新增', '#7ee787', f(x))),
+    ...sec.removed.map((x) => row('−', '移除', '#f87171', f(x))),
+    ...sec.changed.map((c) => row('~', '修改', '#e0c068', `#${c.id} ${c.fields.map((k) => `${k}: ${f(c.from[k])} → ${f(c.to[k])}`).join('；')}`)),
+  ];
+  return `<div style="margin:8px 0"><div style="font-size:12px;font-weight:600;color:${color};margin-bottom:4px">${title}（${sec.added.length}增 ${sec.removed.length}删 ${sec.changed.length}改）</div>${parts.join('')}</div>`;
+}
+
+function renderDiffResult(a, b) {
+  const el = $('diff-result');
+  if (!diffResult) { el.style.display = 'none'; return; }
+  const s = diffResult.summary;
+  const total = Object.values(s).reduce((x, y) => x + y, 0);
+  el.style.display = 'block';
+  el.innerHTML = `
+    <div class="card" style="border:1px solid #2d3f5e;margin-top:10px">
+      <h3>版本对比 ${a.short} → ${b.short}</h3>
+      <div style="font-size:12px;color:#8fa3c0;margin-bottom:6px">${escapeHtml(a.title || '')} → ${escapeHtml(b.title || '')}</div>
+      ${total === 0 ? '<div class="sub" style="color:#7ee787">两个版本之间无差异</div>' : `
+        ${diffSection('实体', diffResult.entities, '#9db8e8')}
+        ${diffSection('关系', diffResult.relations, '#9db8e8')}
+      `}
+      <div class="row" style="margin-top:8px"><button id="btn-diff-close" style="padding:4px 10px;font-size:12px">收起对比</button></div>
+    </div>`;
+  $('btn-diff-close').onclick = () => { el.style.display = 'none'; };
+}
+
 async function loadHistory() {
   try {
     const list = await api('/api/git/history');
+    diffMeta = {};
+    list.forEach((c) => { diffMeta[c.hash] = c; });
     $('v-list').innerHTML = list.map((c, i) => `
       <div class="ver-item">
         <div class="v1"><code>${c.short}</code><span style="color:#7ee787;font-size:10px">${i === 0 ? '当前' : ''}</span>
           <span style="flex:1"></span>
+          <label style="display:flex;align-items:center;gap:4px;font-size:11px;color:#8fa3c0;cursor:pointer"><input type="checkbox" ${diffSel.some((x) => x.hash === c.hash) ? 'checked' : ''} onchange="toggleDiffSel('${c.hash}')" style="width:auto">对比</label>
           ${i === 0 ? '' : `<button onclick="restoreTo('${c.hash}')">恢复此版本</button>`}
         </div>
         <div class="v2">${escapeHtml(c.title)}</div>
         <div class="v3">${c.date} · ${escapeHtml(c.source || c.author)}${c.log_range ? ` · 覆盖日志 #${c.log_range[0]}-#${c.log_range[1]}` : ''}</div>
       </div>`).join('') || '<div class="sub" style="color:#5c6f92">暂无保存点</div>';
+    updateDiffBar();
+    if (diffResult && diffSel.length === 2) {
+      const [a, b] = [...diffSel].sort((x, y) => (x.date < y.date ? -1 : 1));
+      renderDiffResult(a, b);
+    }
   } catch (e) { toast(e.message, true); }
 }
 
+$('btn-diff-run').addEventListener('click', runDiff);
+$('btn-diff-clear').addEventListener('click', clearDiffSel);
+
 async function restoreTo(hash) {
   if (!confirm(`回溯到保存点 ${hash.slice(0, 8)}？当前未保存的修改会先自动备份。`)) return;
   try {
@@ -1735,6 +1823,7 @@ document.addEventListener('keydown', (e) => {
     }
     if ($('style-panel').classList.contains('show')) { $('style-panel').classList.remove('show'); return; }
     if ($('file-menu').classList.contains('show')) { $('file-menu').classList.remove('show'); return; }
+    if ($('view-menu').classList.contains('show')) { $('view-menu').classList.remove('show'); return; }
     if (state.pathHi) { clearCanvasHi(); return; }
     if (state.selected) { state.selected = null; renderInfoCard(); return; }
     if (state.ego) exitEgo();
@@ -2052,9 +2141,13 @@ async function sendAgent() {
         r.applied.map((a) => `- ${a.op}: ${a.name || ''}#${a.id}`).join('\n'));
     }
     if (r.ops_found > 0 && (r.applied_total !== undefined ? !r.applied_total : (!r.applied || !r.applied.length))) {
-      appendMsg('system', `OpenCode 提交了 ${r.ops_found} 项操作，但被RDF校验拦截${r.apply_error ? '：' + r.apply_error : ''}。数据库保持上一个合规版本。`, ['已拦截'], true);
+      const rep = r.repair_rounds ? `；已自动按回执修复 ${r.repair_rounds} 轮仍未通过` : '；可尝试换一种表述让AI修正';
+      const rcpt = r.receipts && r.receipts.length ? `\n回执：${r.receipts.map((x) => `#${x.index} ${x.code} ${x.message}`).join('；')}` : '';
+      appendMsg('system', `OpenCode 提交了 ${r.ops_found} 项操作，但被RDF校验拦截${r.apply_error ? '：' + r.apply_error : ''}${rep}。数据库保持上一个合规版本。${rcpt}`, ['已拦截'], true);
     } else if (r.apply_error) {
       appendMsg('system', '部分操作被拦截：' + r.apply_error, ['已拦截'], true);
+    } else if (r.repaired) {
+      appendMsg('system', `有 ${r.ops_found} 项操作经 ${r.repair_rounds} 轮回执修复后写入成功`);
     }
     if (r.parse_error) appendMsg('system', '输出协议解析警告: ' + r.parse_error);
     const sp = r.savepoint;
@@ -2307,15 +2400,47 @@ $('help-close').addEventListener('click', () => {
   $('info-card').style.display = '';
 });
 
+/* ================= 演示数据一键载入（太阳系示例） ================= */
+$('btn-load-demo').addEventListener('click', async () => {
+  const btn = $('btn-load-demo');
+  if (btn.disabled) return;
+  if (!confirm('载入太阳系演示数据到当前图谱？\n载入前会自动打保存点备份现有数据，可随时通过版本回溯找回。')) return;
+  btn.disabled = true;
+  btn.textContent = '载入中…';
+  try {
+    const r = await api('/api/demo/load', { method: 'POST', headers: { 'Content-Type': 'application/json' }, body: '{}' });
+    toast(`演示数据已载入：新建实体 ${r.entities_added}（复用 ${r.entities_reused}），新建关系 ${r.relations_added}（跳过重复 ${r.relations_skipped_duplicate}）`);
+    await refreshAll();
+    loadHistory();
+  } catch (e) { toast('载入失败: ' + e.message, true); }
+  btn.disabled = false;
+  btn.textContent = '载入演示数据';
+});
+
 /* ================= 文件菜单（手机端：打开/保存/另存/网页版） ================= */
 $('m-file').addEventListener('click', (e) => {
   e.stopPropagation();
+  $('view-menu').classList.remove('show');
   $('file-menu').classList.toggle('show');
 });
 document.addEventListener('click', (e) => {
   if (!$('file-menu').contains(e.target) && e.target !== $('m-file')) $('file-menu').classList.remove('show');
 });
 
+/* ================= 视图菜单（布局/视角/主题/推理/截图折叠） ================= */
+$('m-view').addEventListener('click', (e) => {
+  e.stopPropagation();
+  $('file-menu').classList.remove('show');
+  $('view-menu').classList.toggle('show');
+});
+document.addEventListener('click', (e) => {
+  if (!$('view-menu').contains(e.target) && e.target !== $('m-view')) $('view-menu').classList.remove('show');
+});
+// 点任意菜单项执行后自动收起（事件委托，无需逐按钮绑定）
+$('view-menu').addEventListener('click', () => {
+  setTimeout(() => $('view-menu').classList.remove('show'), 150);
+});
+
 function downloadUrl(url) {
   const a = document.createElement('a');
   a.href = url;
@@ -2818,7 +2943,6 @@ $('agent-input').addEventListener('keydown', (e) => {
 });
 $('btn-savepoint').addEventListener('click', () => doSavepoint(''));
 $('v-save').addEventListener('click', () => doSavepoint($('v-message').value));
-$('btn-export').addEventListener('click', () => window.open('/api/export/rdf', '_blank'));
 $('btn-inference').addEventListener('click', async () => {
   state.showInferred = !state.showInferred;
   $('btn-inference').classList.toggle('active', state.showInferred);
@@ -2864,12 +2988,80 @@ $('btn-screenshot').addEventListener('click', () => {
   }
 });
 
+/* ================= URL 深链（#entity=5 / #ego=5&depth=2 / #path=6-13） ================= */
+// 解析当前视图状态为 hash 参数（优先级：路径高亮 > 中心模式 > 选中实体）
+function buildViewHash() {
+  if (state.pathHi && state._lastPaths && state._lastPaths.length) {
+    const p = state._lastPaths[0];
+    const a = p.entities[0], b = p.entities[p.entities.length - 1];
+    if (a && b) return `#path=${a.id}-${b.id}`;
+  }
+  if (state.ego) {
+    const d = state.ego.depth;
+    return `#ego=${state.ego.centerId}` + (d ? `&depth=${d}` : '');
+  }
+  if (state.selected && state.selected.type === 'entity') return `#entity=${state.selected.id}`;
+  return '';
+}
+
+async function applyViewHash() {
+  const h = location.hash.replace(/^#/, '');
+  if (!h) return false;
+  const params = new URLSearchParams(h);
+  const num = (v) => { const n = Number(v); return Number.isInteger(n) && n > 0 ? n : null; };
+  try {
+    if (params.has('path')) {
+      const m = String(params.get('path')).match(/^(\d+)-(\d+)$/);
+      if (m) {
+        const r = await api(`/api/graph/paths?from=${m[1]}&to=${m[2]}`);
+        if (r.found && r.paths && r.paths.length) {
+          renderPathPanel(r);
+          highlightCanvasPath(0);
+          toast('已按链接打开路径视图（第1条）');
+          return true;
+        }
+        renderPathPanel(r);
+        toast('链接中的两实体之间无连通路径', true);
+      }
+    } else if (params.has('ego')) {
+      const id = num(params.get('ego'));
+      if (id && state.entities.find((e) => e.id === id)) {
+        const dep = num(params.get('depth'));
+        state.ego = { centerId: id, depth: dep };
+        if (state.subGraph) { state.subGraph = null; updateSubBar(); }
+        updateEgoBar();
+        rebuildGraph();
+        focusEntity(id);
+        toast('已按链接打开中心视图');
+        return true;
+      }
+    } else if (params.has('entity')) {
+      const id = num(params.get('entity'));
+      if (id && state.entities.find((e) => e.id === id)) { focusEntity(id); return true; }
+    }
+  } catch (e) { toast('深链视图打开失败: ' + e.message, true); }
+  return false;
+}
+
+window.addEventListener('hashchange', () => { applyViewHash(); });
+
+// 视图菜单：复制视图链接（确定性：布局初始坐标由实体id决定，他人打开看到同一构图）
+$('btn-share-link').addEventListener('click', async () => {
+  const h = buildViewHash();
+  if (!h) return toast('当前没有可分享的视图状态（先选中实体/进入中心模式/高亮路径）', true);
+  const url = location.origin + location.pathname + h;
+  try { await navigator.clipboard.writeText(url); } catch (_) { copyText(url); }
+  toast('视图链接已复制：' + h);
+});
+
 (async function boot() {
   resize();
   try {
     const meta = await api('/api/meta');
     fillCategorySelects(meta);
     await refreshAll();
+    // URL 深链：首次加载后按 hash 恢复视图（确定性布局保证两端构图一致）
+    applyViewHash();
   } catch (e) {
     toast('后端连接失败: ' + e.message, true);
   }

package/public/index.html

@@ -18,15 +18,10 @@
     <button id="m-right" class="m-btn" title="打开AI对话">AI</button>
     <button id="btn-savepoint" title="将当前合规数据提交为Git保存点（仅存差异）">打保存点</button>
     <button id="btn-undo" title="撤销最近一次操作（按快照还原，快捷键Ctrl+Z）">撤销</button>
-    <button id="btn-export" title="导出标准RDF(Turtle)格式文件">导出RDF</button>
-    <button id="btn-relayout" title="重新进行力导向布局">重新布局</button>
     <button id="btn-multisel" title="多选模式：点击节点加入/移出选区，然后提取子图或导出">多选</button>
-    <button id="btn-resetview" title="重置相机视角">重置视角</button>
-    <button id="btn-screenshot" title="将当前3D视图截图为PNG图片（2倍分辨率）">截图</button>
-    <button id="btn-style" title="自定义实体/关系的颜色、大小与线型">视图设置</button>
     <button id="btn-help" title="帮助：查看版本现状、检查更新与使用指南">帮助</button>
-    <button id="btn-inference" title="叠加显示推理得到的隐性关系（虚线，OWL传递/对称/逆规则），点击推理边可查看推导依据">推理</button>
-    <button id="m-file" class="m-btn" title="文件：打开/保存/另存">文件</button>
+    <button id="m-view" class="m-btn" title="视图：布局/视角/主题/推理/截图">视图</button>
+    <button id="m-file" class="m-btn" title="文件：打开/保存/另存/导入导出">文件</button>
   </header>
 
   <main>
@@ -214,7 +209,16 @@
           <div class="row"><button class="primary" id="v-save">打保存点</button></div>
           <div class="hint-text">数据文件 data/kg.db 由本地Git仓库托管，仅存差异版本；恢复前会自动备份当前状态。</div>
         </div>
-        <div class="card"><h3>提交历史（与操作日志双向绑定）</h3><div id="v-list"></div></div>
+        <div class="card"><h3>提交历史（与操作日志双向绑定）</h3>
+          <div class="hint-text">勾选两个保存点可对比版本差异（Diff）。</div>
+          <div id="diff-bar" style="display:none;align-items:center;gap:8px;flex-wrap:wrap;margin:8px 0">
+            <span id="diff-bar-text" style="font-size:12px;color:#8fa3c0"></span>
+            <button class="primary" id="btn-diff-run" style="padding:4px 10px;font-size:12px">对比所选版本</button>
+            <button id="btn-diff-clear" style="padding:4px 10px;font-size:12px">清除选择</button>
+          </div>
+          <div id="diff-result" style="display:none"></div>
+          <div id="v-list"></div>
+        </div>
       </div>
 
       <div class="tabbody" id="tab-mcp">
@@ -307,6 +311,7 @@
           <p class="hp-p">本地知识图谱整合器 —— 把文档与联网信息整理成可导航的 3D 知识图谱。全流程本地运行，数据存于本机 data/ 目录（独立 Git 仓库托管，可回溯）。</p>
           <h3>版本与更新</h3>
           <div id="help-upd"></div>
+          <div class="hp-line">想先看看效果？<button id="btn-load-demo" class="ghost" style="padding:3px 10px;font-size:12px;margin:0 4px">载入演示数据</button>（太阳系示例，现有数据会先自动打保存点备份）</div>
           <div class="hp-line">详细帮助文档：项目目录下 <b>HELP.md</b></div>
           <div class="hp-line">发布记录：<a href="https://github.com/iamsamyiok/local-knowledge-graph/releases" target="_blank" rel="noopener">GitHub Releases</a></div>
           <h3>快速上手</h3>
@@ -370,6 +375,14 @@
   <button id="fm-export-csv">导出三元组 CSV</button>
   <button id="fm-import-triples">导入三元组（JSON/CSV）</button>
 </div>
+<div id="view-menu">
+  <button id="btn-relayout">重新布局</button>
+  <button id="btn-resetview">重置视角</button>
+  <button id="btn-style">视图设置（颜色/线型/主题）</button>
+  <button id="btn-inference">推理关系叠加</button>
+  <button id="btn-share-link" title="复制当前视图的URL链接，打开即恢复同一视图">复制视图链接</button>
+  <button id="btn-screenshot">截图（PNG）</button>
+</div>
 <input type="file" id="db-file-input" accept=".db,.sqlite,.sqlite3" style="display:none">
 <input type="file" id="triples-file-input" accept=".json,.csv" style="display:none">
 <div id="lightbox">

package/public/style.css

@@ -271,19 +271,20 @@
   .log-filter input { flex: 1; }
 
   /* ================= 文件菜单（手机端） ================= */
-  #file-menu {
+  /* 文件菜单与视图菜单：同一套下拉样式，视图菜单锚点按钮在其左侧 */
+  #file-menu, #view-menu {
     position: fixed; top: 46px; right: 8px; z-index: 45; display: none;
     background: #101a30; border: 1px solid #2a3a5c; border-radius: 8px;
     box-shadow: 0 8px 24px rgba(0,0,0,.5); min-width: 172px; overflow: hidden;
   }
-  #file-menu.show { display: block; }
-  #file-menu button {
+  #file-menu.show, #view-menu.show { display: block; }
+  #file-menu button, #view-menu button {
     display: block; width: 100%; text-align: left; background: transparent;
     border: none; border-bottom: 1px solid #16213a; border-radius: 0;
     padding: 11px 14px; font-size: 13px; color: #cfe2ff; min-height: 42px;
   }
-  #file-menu button:last-child { border-bottom: none; }
-  #file-menu button:active { background: #1b2b4d; }
+  #file-menu button:last-child, #view-menu button:last-child { border-bottom: none; }
+  #file-menu button:active, #view-menu button:active { background: #1b2b4d; }
 
   /* ================= 平板/小屏桌面适配（769px-1100px） ================= */
   @media (min-width: 769px) and (max-width: 1100px) {
@@ -299,7 +300,6 @@
   /* ================= 手机端适配 ================= */
   @media (max-width: 768px) {
     .m-btn { display: inline-block; background: #16233f; }
-    #btn-inference { display: none; }
     /* 主题设置移动端可达：按钮保留，面板收窄为屏幕内浮层 */
     #style-panel { max-width: calc(100vw - 16px); width: 288px; top: 8px; right: 8px; }
 
@@ -312,7 +312,6 @@
     header::-webkit-scrollbar { display: none; }
     header h1 { display: none; }
     header button { padding: 5px 6px; font-size: 11px; flex-shrink: 0; min-width: 0; }
-    #btn-export { display: none; } /* 导出RDF移入文件菜单 */
     #stat-badge, #agent-badge { display: none; }
 
     /* 左右面板变为抽屉 */
@@ -504,9 +503,9 @@
   html[data-theme="light"] .log-filter select, html[data-theme="light"] .log-filter input {
     background: #ffffff; border-color: #c9d6ea; color: #22304c;
   }
-  html[data-theme="light"] #file-menu { background: #ffffff; border-color: #c9d6ea; box-shadow: 0 8px 24px rgba(30, 50, 80, 0.18); }
-  html[data-theme="light"] #file-menu button { color: #22304c; border-bottom-color: #edf2f9; }
-  html[data-theme="light"] #file-menu button:active { background: #eaf3ff; }
+  html[data-theme="light"] #file-menu, html[data-theme="light"] #view-menu { background: #ffffff; border-color: #c9d6ea; box-shadow: 0 8px 24px rgba(30, 50, 80, 0.18); }
+  html[data-theme="light"] #file-menu button, html[data-theme="light"] #view-menu button { color: #22304c; border-bottom-color: #edf2f9; }
+  html[data-theme="light"] #file-menu button:active, html[data-theme="light"] #view-menu button:active { background: #eaf3ff; }
   html[data-theme="light"] .m-btn { background: #eaf3ff; }
   html[data-theme="light"] #m-legend { background: rgba(255, 255, 255, 0.92); }
 

package/server.js

@@ -605,6 +605,21 @@ api.get('/export/csv', (req, res) => {
 });
 
 // ---------- 三元组 CSV/JSON 批量导入 ----------
+// ---------- 演示数据一键载入（先打保存点保护现有数据，再灌入太阳系示例） ----------
+api.post('/demo/load', (req, res) => {
+  try {
+    const parsed = require('./lib/demo').demoData();
+    const sp = git.savepoint(`载入演示数据前自动备份`, '系统');
+    const r = db.applyTriplesImport(parsed, '手工');
+    r.entity_ids = undefined;
+    bus.emit('graph-changed', { via: 'demo' });
+    git.savepoint(`载入演示数据：实体+${r.entities_added} 关系+${r.relations_added}`, '系统');
+    res.json({ ok: true, backup: sp && sp.hash ? sp.hash : null, ...r, counts: db.counts(), version: db.getVersion() });
+  } catch (e) {
+    res.status(e.status || 500).json({ error: e.message });
+  }
+});
+
 api.post('/import/triples', (req, res) => {
   const { content, format, dry_run } = req.body || {};
   if (!content || typeof content !== 'string') return res.status(400).json({ error: '必须提供 content（CSV/JSON 文本）' });
@@ -643,6 +658,22 @@ api.post('/git/restore', (req, res) => {
   res.json(r);
 });
 
+// ---------- 保存点 Diff（Archify Before/Delta/After 式对比） ----------
+api.get('/git/diff', (req, res) => {
+  const from = String(req.query.from || '').trim();
+  const to = String(req.query.to || '').trim();
+  if (!from || !to) return res.status(400).json({ error: '必须提供 from 与 to 两个保存点hash' });
+  if (from === to) return res.status(400).json({ error: '两个保存点相同，无差异可比' });
+  try {
+    const differ = require('./lib/diff');
+    const a = git.exportSnapshot(from);
+    const b = git.exportSnapshot(to);
+    res.json({ from, to, ...differ.diffSnapshots(a, b) });
+  } catch (e) {
+    res.status(e.status || 500).json({ error: e.message });
+  }
+});
+
 // ---------- MCP 外部接入设置 ----------
 api.get('/mcp/settings', (req, res) => {
   const s = embeddings.loadSettings();
@@ -707,19 +738,38 @@ api.post('/agent', async (req, res) => {
 
     let applied = [];
     let applyError = null;
-    if (result.ops && result.ops.length) {
-      try {
-        applied = db.applyAgentOps(result.ops);
-        // Agent批次写入后自动打保存点，与日志双向绑定
-        const title = `OpenCode: ${String(instruction).slice(0, 60).replace(/\n/g, ' ')}`;
-        let sp = null;
-        try { sp = git.savepoint(title, 'OpenCode'); } catch (e) { sp = { committed: false, message: e.message }; }
-        result.savepoint = sp;
-      } catch (e) {
-        applyError = e.message; // 违规操作被拦截，数据库保持上一个合规版本
+    let receipts = [];
+    let repair_rounds = 0;
+    let repaired = false;
+    let curOps = result.ops;
+    let curReply = result.reply;
+    if (curOps && curOps.length) {
+      // 修复回路：写入被回执拦截时，带结构化回执让AI修正，最多2轮（Archify式 repair receipt）
+      for (let round = 0; round <= 2; round++) {
+        try {
+          applied = db.applyAgentOps(curOps);
+          // Agent批次写入后自动打保存点，与日志双向绑定
+          const title = `OpenCode: ${String(instruction).slice(0, 60).replace(/\n/g, ' ')}`;
+          let sp = null;
+          try { sp = git.savepoint(title, 'OpenCode'); } catch (e) { sp = { committed: false, message: e.message }; }
+          result.savepoint = sp;
+          if (round > 0) repaired = true;
+          applyError = null;
+          receipts = [];
+          break;
+        } catch (e) {
+          applyError = e.message;
+          receipts = e.receipts || [];
+          if (round === 2 || !receipts.length) break;
+          const rep = await agent.runRepair(curOps, receipts);
+          repair_rounds++;
+          if (!rep.ok || !rep.ops || !rep.ops.length) { applyError += '（AI修复未返回有效操作）'; break; }
+          curOps = rep.ops;
+          curReply = rep.reply;
+        }
       }
     }
-    res.json({ reply: result.reply, ops_found: (result.ops || []).length, applied, apply_error: applyError, parse_error: result.parse_error, savepoint: result.savepoint || null, retried: result.retried || false, partial_reply: result.partial_reply || null, session: result.session ? { has_session: true } : null });
+    res.json({ reply: curReply, ops_found: (curOps || []).length, applied, apply_error: applyError, receipts, repair_rounds, repaired, parse_error: result.parse_error, savepoint: result.savepoint || null, retried: result.retried || false, partial_reply: result.partial_reply || null, session: result.session ? { has_session: true } : null });
   } finally { agentBusy = false; }
 });