@shgroup/dsh-serenity-hooks 1.56.2 → 1.56.3

package/lib/index.js

@@ -20,12 +20,12 @@ import { platform as platform$1 } from "node:process";
 import { fileURLToPath } from "node:url";
 import { createUserMessage } from "@deepseek-ai/dsh-llm";
 import { createHash, createHmac, randomBytes, randomUUID, scryptSync, timingSafeEqual } from "node:crypto";
+import { Resvg, initWasm } from "@resvg/resvg-wasm";
 import { createServer, request } from "node:http";
 import * as zlib from "node:zlib";
 import { deriveEventMessage } from "@deepseek-ai/dsh-session";
 import { lookup } from "node:dns/promises";
 import { isIP } from "node:net";
-import { Resvg, initWasm } from "@resvg/resvg-wasm";
 //#region src/fs-ops.ts
 /**
 * fs-ops.ts — container_fs 纯操作层（cc_fs → container_fs，v1.30；零 DSH 依赖，可独立单测）
@@ -5646,6 +5646,9 @@ function parseTurtle(raw) {
 		errors
 	};
 }
+function bnodeId(node) {
+	return node.startsWith("_:b") ? node : "";
+}
 function i2q(iri, prefixes) {
 	let best = null;
 	let bestLen = 0;
@@ -5666,7 +5669,8 @@ function turtleToOnto(r) {
 	const onto = {
 		types: {},
 		relations: {},
-		axioms: []
+		axioms: [],
+		instances: []
 	};
 	const subjectMap = /* @__PURE__ */ new Map();
 	for (const t of triples) {
@@ -5754,9 +5758,12 @@ function turtleToOnto(r) {
 		}
 		onto.relations[name] = rd;
 	}
-	for (const [subj, stmts] of subjectMap) for (const s of stmts) if (s.predicate === SR + "axiom" && s.objectType === "blank") {
-		const anode = String(s.object);
-		const astmts = subjectMap.get(anode) || [];
+	const axiomBnodes = /* @__PURE__ */ new Set();
+	for (const [, stmts] of subjectMap) for (const s of stmts) if (s.predicate === SR + "axiom" && s.objectType === "blank") axiomBnodes.add(String(s.object));
+	for (const [subj, stmts] of subjectMap) {
+		const isNamed = stmts.some((s) => s.predicate === "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" && stripDefaultPrefix(i2q(String(s.object), prefixes)) === "sr:Axiom");
+		if (!axiomBnodes.has(subj) && !isNamed) continue;
+		const astmts = stmts;
 		const ad = { rule: "" };
 		for (const as_ of astmts) {
 			if (as_.predicate === SR + "description") ad.description = String(as_.object);
@@ -5767,11 +5774,29 @@ function turtleToOnto(r) {
 				ad.comment = String(as_.object);
 				if (ad.description === void 0) ad.description = String(as_.object);
 			}
-			if (as_.predicate === SR + "rule") ad.rule = String(as_.object);
+			if (as_.predicate === SR + "axiomRule" || as_.predicate === SR + "rule") ad.rule = String(as_.object);
 			if (as_.predicate === SR + "axiomType") ad.type = String(as_.object);
 		}
 		onto.axioms.push(ad);
 	}
+	for (const [subj, stmts] of subjectMap) {
+		if (bnodeId(subj) !== "") continue;
+		const typeStmt = stmts.find((s) => s.predicate === "http://www.w3.org/1999/02/22-rdf-syntax-ns#type");
+		if (typeStmt === void 0) continue;
+		const cls = stripDefaultPrefix(i2q(String(typeStmt.object), prefixes));
+		if (cls === "owl:Ontology" || propIris.has(String(typeStmt.object))) continue;
+		if (onto.types === void 0 || onto.types[cls] === void 0) continue;
+		const inst = {
+			id: stripDefaultPrefix(i2q(subj, prefixes)),
+			ofClass: cls
+		};
+		const litOf = (p) => {
+			const hit = stmts.find((s) => s.predicate === p && s.objectType === "literal");
+			return hit === void 0 ? void 0 : String(hit.object);
+		};
+		inst.label = litOf("http://www.w3.org/2000/01/rdf-schema#label") ?? litOf(SR + "trapName") ?? litOf(SR + "name") ?? stmts.find((s) => s.objectType === "literal" && !s.predicate.startsWith(RDF))?.object !== void 0 ? String(stmts.find((s) => s.objectType === "literal" && !s.predicate.startsWith(RDF)).object) : void 0;
+		onto.instances.push(inst);
+	}
 	return onto;
 }
 function ontoToTurtle(onto, baseIri = "http://example.org/onto#") {
@@ -7235,7 +7260,8 @@ function cmdReview(args) {
 					name: n,
 					...r
 				})),
-				axioms
+				axioms,
+				instances: onto.instances || []
 			},
 			reviewLevel: level,
 			dimensions: dimensions.map((d) => ({
@@ -7659,6 +7685,849 @@ function runOntologyCli(argv, opts = {}) {
 	};
 }
 //#endregion
+//#region src/ontology/viz.ts
+/**
+* viz.ts — 把 `.ttl` 本体**渲染成一张可读的结构图**（2026-10-13 S142 从 CCC 搬进 ACC）
+*
+* 🔴 **本次搬家的两条纪律**（否则"搬"会变成"抄一份新的"）：
+*  ① **渲染器（layout / svg / html）逐字保留** —— 它们的视觉是 owner 亲自认可的，
+*     搬的过程里**一个像素都不该动**。本文件里 `toSvg`／`toHtml`／`layout`／`edgePath`
+*     等仍是原件，未做任何"顺手改好一点"。
+*  ② 🔴 **自带解析器整块删除**，改用**引擎的 `turtleToOnto`** —— 这是本次搬家的
+*     **全部意义**：原 viz 的解析器实测有三类错（只认具名式公理 ⇒ **8/16 文件公理数归零**；
+*     `sr:identity` 只认括号形 ⇒ **18 处假阳**；`sr:description` 从不读 ⇒ 公理正文丢失）。
+*     复用引擎后这三类**自动消失**，因为引擎两种写法都认。
+*
+* ⚠️ 调用面由 `src/tools/ontology-eng.ts` 提供（`ontology viz`），本文件**不自己读 argv/退出**。
+*
+* 原始出处 = CCC 的 `.opencode/skills/home-serenity/scripts/ontology-viz.ts`（1505 行）。
+* 搬家判据与验收基准 = `AGENT_SESSIONS/…S142…/2026-10-13T0751-a3f1-viz-parser-baseline.md`
+* （16 份 `.ttl` 的逐文件读数，改后须与之**逐条对读**）。
+*
+* ---
+* 原文件头（保留其下的设计说明，仍成立的部分）：
+*
+* 把 `.ttl` 本体**渲染成一张可读的结构图**（Mech，零环境依赖）
+*
+* ## 它解决什么
+* 本体的真相是文本（`.ttl`），但"这个领域里有哪些东西、它们怎么连、约束在哪"——
+* 在 200 行 Turtle 里是**看不出来**的。`ontology explain` 给的是**清单**（段落文字），
+* 本工具给的是**图**（空间关系：谁在中心、谁孤立、链路怎么走）。
+*
+* ## 与既有工具的分工（不重复造）
+* | 工具 | 给什么 | 形态 |
+* |---|---|---|
+* | `ontology check/verify` | **判定**（对不对） | 报表 / 退出码 |
+* | `ontology explain` | **清单**（有什么） | 段落文字 |
+* | **本工具** | **结构**（怎么连的） | 图 |
+*
+* ## 子命令
+*   stats <ttl>              只出读数（类/关系/公理/实例/外部链），不画图
+*   diagram <ttl> [--show-axioms]    输出**内置 `diagram` 工具的标签源码**（可直接贴进对话看）
+*   svg <ttl> [--out=路径]    输出独立 SVG（矢量、可入文档）
+*   html <ttl> [--out=路径]   输出**交互版** HTML（拖拽平移/滚轮缩放/点节点看详情/搜索）
+*   list [扫描根]             列出所有可用 .ttl（缺省 = <CCC>/.opencode/skills）
+*   all  [扫描根] [--out-dir] 批量出 html（体检用）
+*
+* 业务 flag（协议 flag --format/--log/--help 由 msm 拦截，本脚本不接受）：
+*   --out=<path>        输出路径（缺省 _tmp/ontology-viz/<名>.{svg,html}）
+*   --show-axioms       公理也画成节点并连到它提到的类（缺省只在侧栏列）
+*   --show-instances    实例画成小方块挂在所属类下（缺省只在侧栏列）
+*   --no-imports        不画外部链节点
+*   --max-nodes=N       超过 N 个类就拒绝画图并提示（缺省 40；防一张糊图）
+*
+* 退出码：0 成功 ／ 1 参数错 ／ 2 文件不可读 ／ 4 内部异常 ／ 5 跑完但有发现（如超节点上限）
+*
+* ## 解析到什么程度（诚实边界 E↑）
+* **不是**通用 Turtle 解析器：不递归处理嵌套空白节点、不做 IRI 归一、不校验语义。
+* 它认的是**本容器实际在写的那种形态**（逐条实测自 16 份 `.ttl`）：
+*   `@prefix` / `@base` / `<>` ／ `:X a owl:Class ; rdfs:label "…"@en ; sr:rigidity sr:rigid ;
+*   sr:identity (…) ; sr:property [ sr:name "…" ; sr:type "…" ; sr:cardinality "…" ] .`
+*   `:p a owl:ObjectProperty ; rdfs:domain :A ; rdfs:range :B .`
+*   `:ax a sr:Axiom ; sr:axiomRule "…" ; sr:axiomType "…" .` ／ 实例 `:i a :SomeClass ; …`
+* 遇到不认识的构造**跳过并在 stats 里报数**（fail-loud，不静默吞）。
+*/
+/**
+* `OntoModel` 的**唯一来源 = 引擎的解析器**（2026-10-13 S142）。
+*
+* 🔴 这里**不解析任何 Turtle** —— 只把引擎的 `OntologyDefinition` **翻译**成本文件的
+*    渲染模型。原 viz 自带的手写解析器已整块删除：它实测错三类
+*    （只认具名式公理 ⇒ 8/16 文件公理数归零；`sr:identity` 只认括号形 ⇒ 18 处假阳；
+*     从不读 `sr:description` ⇒ 公理正文丢失）。引擎两种写法都认 ⇒ 三类**自动消失**。
+*
+* 需引擎侧先满足两件事（已随 82e740f 落地）：导出 `loadOntoFile`／类型；模型收 `instances`。
+*/
+function fromEngine(file, absPath) {
+	const onto = loadOntoFile(absPath).onto;
+	const model = {
+		file,
+		prefixes: /* @__PURE__ */ new Map(),
+		base: null,
+		meta: { imports: onto.imports ?? [] },
+		classes: [],
+		relations: [],
+		axioms: [],
+		instances: [],
+		unknownTypes: []
+	};
+	for (const [id, td] of Object.entries(onto.types ?? {})) model.classes.push({
+		id,
+		label: td.label ?? td.description ?? id,
+		comment: td.comment ?? td.description ?? "",
+		rigidity: td.rigidity ?? null,
+		identity: td.identity ?? [],
+		properties: Object.entries(td.properties ?? {}).map(([name, pd]) => ({
+			name,
+			type: pd.type,
+			cardinality: pd.cardinality ?? ""
+		})),
+		parents: td.superTypes ?? []
+	});
+	for (const [id, rd] of Object.entries(onto.relations ?? {})) model.relations.push({
+		id,
+		label: rd.label ?? id,
+		comment: rd.comment ?? "",
+		domain: rd.domain ?? null,
+		range: rd.range ?? null,
+		cardinality: rd.cardinality ?? "",
+		isObject: true
+	});
+	onto.axioms?.forEach((ax, i) => {
+		const rule = ax.rule !== "" ? ax.rule : ax.description ?? "";
+		model.axioms.push({
+			id: `#${i + 1}`,
+			rule,
+			type: ax.type ?? "",
+			comment: ax.comment ?? ax.description ?? "",
+			mentions: []
+		});
+	});
+	for (const inst of onto.instances ?? []) model.instances.push({
+		id: inst.id,
+		ofClass: inst.ofClass,
+		label: inst.label ?? inst.id
+	});
+	for (const ax of model.axioms) {
+		const found = /* @__PURE__ */ new Set();
+		for (const c of model.classes) {
+			const bare = c.id.includes(":") ? c.id.slice(c.id.indexOf(":") + 1) : c.id;
+			const esc = (s) => s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+			if (new RegExp(`(?:^|[^\\w:])${esc(bare)}(?![\\w])`).test(ax.rule)) found.add(c.id);
+		}
+		ax.mentions = [...found];
+	}
+	return model;
+}
+const RIG_FILL = {
+	rigid: {
+		class: "#1e3a5f",
+		label: "稳定（rigid）"
+	},
+	"anti-rigid": {
+		class: "#4a2f5f",
+		label: "易变（anti-rigid）"
+	},
+	"semi-rigid": {
+		class: "#2f4a3a",
+		label: "半稳定（semi-rigid）"
+	},
+	none: {
+		class: "#3a3f46",
+		label: "未声明刚性"
+	}
+};
+function planLayers(ids, edges) {
+	const out = /* @__PURE__ */ new Map();
+	const inc = /* @__PURE__ */ new Map();
+	for (const id of ids) {
+		out.set(id, []);
+		inc.set(id, []);
+	}
+	const backEdges = [];
+	const seen = /* @__PURE__ */ new Set();
+	for (const e of edges) {
+		if (e.from === e.to) {
+			backEdges.push(e);
+			continue;
+		}
+		if (!out.has(e.from) || !inc.has(e.to)) continue;
+		const key = `${e.from}->${e.to}`;
+		if (seen.has(key)) continue;
+		seen.add(key);
+		out.get(e.from).push(e.to);
+		inc.get(e.to).push(e.from);
+	}
+	const level = new Map(ids.map((id) => [id, 0]));
+	const indeg = new Map(ids.map((id) => [id, inc.get(id).length]));
+	const queue = ids.filter((id) => (indeg.get(id) ?? 0) === 0).sort();
+	const processed = /* @__PURE__ */ new Set();
+	while (queue.length) {
+		const u = queue.shift();
+		processed.add(u);
+		for (const v of out.get(u) ?? []) {
+			level.set(v, Math.max(level.get(v) ?? 0, (level.get(u) ?? 0) + 1));
+			const d = (indeg.get(v) ?? 1) - 1;
+			indeg.set(v, d);
+			if (d === 0) queue.push(v);
+		}
+	}
+	for (const id of ids) {
+		if (processed.has(id)) continue;
+		for (const e of edges) if (e.from === id && processed.has(e.to)) backEdges.push(e);
+	}
+	const maxLevel = Math.max(0, ...[...level.values()]);
+	const layers = Array.from({ length: maxLevel + 1 }, () => []);
+	for (const id of ids) layers[level.get(id) ?? 0].push(id);
+	return {
+		layers,
+		level,
+		backEdges
+	};
+}
+/**
+* 框尺寸**由内容反推**（不拍脑袋定常数）。
+*
+*
+* 🔴 为什么必须这样：`diagram` 工具的体检（体检 2）会按**实际文字**算每行宽度，
+* 固定尺寸必然报"标签溢出"（实测：3 行标签需 ≈360px 而框只有 206px）。
+* 这里**照搬 `diagram` 的度量规则**（`src/diagram/dsl-render.ts` 的 `textWidth`：
+* `codePoint > 0x2e80 ⇒ 整宽，否则 0.55×`），保证两边算出来一致 ⇒ 不再报假溢出。
+*/
+function textWidth$1(s, size) {
+	let w = 0;
+	for (const ch of s) w += (ch.codePointAt(0) ?? 0) > 11904 ? size : size * .55;
+	return w;
+}
+/** 一个框：标题 1 行（14px）＋ 正文若干行（11px）⇒ 宽高 */
+function measureBox(title, lines) {
+	const titleW = textWidth$1(title, 14) + 20;
+	const lineW = Math.max(0, ...lines.map((l) => textWidth$1(l, 11))) + 20;
+	return {
+		w: Math.max(140, Math.ceil(Math.max(titleW, lineW))),
+		h: Math.ceil(26 + Math.max(1, lines.length) * 16 + 12)
+	};
+}
+function layout(model, opts) {
+	const notes = [];
+	const boxes = [];
+	const edges = [];
+	const PAD = 34;
+	const COL_GAP = 210;
+	const ROW_GAP = 30;
+	const nodes = [];
+	for (const c of model.classes) nodes.push({
+		id: `class:${c.id}`,
+		kind: "class",
+		title: c.label,
+		lines: [`${c.id}${c.identity.length ? `  ◆ ${c.identity.join(",")}` : ""}`, `${c.properties.length} 属性${c.rigidity ? ` ／ ${c.rigidity}` : ""}`],
+		fill: RIG_FILL[c.rigidity ?? "none"].class
+	});
+	if (opts.instances) for (const i of model.instances) nodes.push({
+		id: `inst:${i.id}`,
+		kind: "instance",
+		title: i.id,
+		lines: [`属于 ${i.ofClass ?? "?"}`],
+		fill: "#3f3420"
+	});
+	if (opts.axioms) for (const a of model.axioms) nodes.push({
+		id: `ax:${a.id}`,
+		kind: "axiom",
+		title: a.id,
+		lines: [`[${a.type || "rule"}]`],
+		fill: "#5f2f2f"
+	});
+	const classIds = new Set(model.classes.map((c) => `class:${c.id}`));
+	for (const r of model.relations) {
+		const fromId = r.domain ? `class:${r.domain}` : null;
+		const toId = r.range ? `class:${r.range}` : null;
+		if (fromId && toId && classIds.has(fromId) && classIds.has(toId)) edges.push({
+			from: fromId,
+			to: toId,
+			label: `${r.label} [${r.cardinality || "?"}]`,
+			kind: "relation"
+		});
+		else {
+			const why = [!r.domain ? "缺 domain" : !classIds.has(fromId) ? `domain=${r.domain} 不在本文件的类里` : "", !r.range ? "缺 range" : !classIds.has(toId) ? `range=${r.range} 不在本文件的类里` : ""].filter(Boolean).join(" ／ ");
+			notes.push(`关系 \`${r.id}\` 没画成边：${why}`);
+		}
+	}
+	if (opts.axioms) {
+		for (const ax of model.axioms) for (const m of ax.mentions) if (classIds.has(`class:${m}`)) edges.push({
+			from: `ax:${ax.id}`,
+			to: `class:${m}`,
+			label: "",
+			kind: "axiom"
+		});
+	}
+	if (opts.instances) {
+		for (const inst of model.instances) if (inst.ofClass && classIds.has(`class:${inst.ofClass}`)) edges.push({
+			from: `inst:${inst.id}`,
+			to: `class:${inst.ofClass}`,
+			label: "",
+			kind: "instance"
+		});
+	}
+	const ids = nodes.map((n) => n.id);
+	const layerEdges = edges.filter((e) => e.kind === "relation" && e.from !== e.to);
+	const plan = planLayers(ids.filter((i) => classIds.has(i)), layerEdges);
+	const sideNodes = nodes.filter((n) => !classIds.has(n.id));
+	const leftCols = sideNodes.length ? 1 : 0;
+	const level = /* @__PURE__ */ new Map();
+	for (const [id, lv] of plan.level) level.set(id, lv + leftCols);
+	for (const n of sideNodes) level.set(n.id, 0);
+	for (const id of ids) if (!level.has(id)) level.set(id, 0);
+	const maxLevel = Math.max(0, ...[...level.values()]);
+	const layers = Array.from({ length: maxLevel + 1 }, () => []);
+	const nodeById = new Map(nodes.map((n) => [n.id, n]));
+	const deg = /* @__PURE__ */ new Map();
+	for (const e of edges) {
+		deg.set(e.from, (deg.get(e.from) ?? 0) + 1);
+		deg.set(e.to, (deg.get(e.to) ?? 0) + 1);
+	}
+	for (const id of [...nodes].map((n) => n.id).sort((a, b) => (deg.get(b) ?? 0) - (deg.get(a) ?? 0) || a.localeCompare(b))) layers[level.get(id) ?? 0].push(id);
+	const sizes = new Map(nodes.map((n) => [n.id, measureBox(n.title, n.lines)]));
+	const colW = layers.map((l) => Math.max(140, ...l.map((id) => sizes.get(id).w)));
+	const colX = [];
+	let cursor = PAD;
+	for (let i = 0; i < layers.length; i++) {
+		colX.push(cursor);
+		cursor += colW[i] + COL_GAP;
+	}
+	const colH = layers.map((l) => l.reduce((a, id) => a + sizes.get(id).h, 0) + Math.max(0, l.length - 1) * ROW_GAP);
+	const maxH = Math.max(1, ...colH);
+	const headerBoxes = [];
+	let headerBottom = PAD;
+	if (opts.imports && model.meta.imports.length) {
+		let ix = PAD;
+		model.meta.imports.forEach((im, i) => {
+			const s = measureBox("外部链", [im]);
+			headerBoxes.push({
+				id: `import:${i}`,
+				kind: "import",
+				x: ix,
+				y: PAD,
+				w: s.w,
+				h: s.h,
+				title: "外部链",
+				lines: [im],
+				fill: "#4a3b1f"
+			});
+			edges.push({
+				from: "self",
+				to: `import:${i}`,
+				label: "owl:imports",
+				kind: "import"
+			});
+			ix += s.w + ROW_GAP;
+			headerBottom = Math.max(headerBottom, PAD + s.h);
+		});
+		cursor = Math.max(cursor, ix + PAD);
+	}
+	const selfLines = [`版本 ${model.meta.version ?? "—"}`, `类 ${model.classes.length} ／ 关系 ${model.relations.length} ／ 公理 ${model.axioms.length} ／ 实例 ${model.instances.length}`];
+	const selfSize = measureBox(model.meta.label || basename(model.file), selfLines);
+	headerBoxes.push({
+		id: "self",
+		kind: "self",
+		x: PAD,
+		y: headerBottom + 16,
+		w: selfSize.w,
+		h: selfSize.h,
+		title: model.meta.label || basename(model.file),
+		lines: selfLines,
+		fill: "#14524a"
+	});
+	headerBottom = headerBottom + 16 + selfSize.h;
+	boxes.push(...headerBoxes);
+	const TOP = headerBottom + 34;
+	layers.forEach((l, li) => {
+		const slack = Math.max(0, maxH - l.reduce((a, id) => a + sizes.get(id).h, 0));
+		const gap = l.length > 1 ? slack / (l.length - 1) : 0;
+		let y = TOP;
+		for (const id of l) {
+			const s = sizes.get(id);
+			const n = nodeById.get(id);
+			boxes.push({
+				id,
+				kind: n.kind,
+				x: colX[li],
+				y,
+				w: colW[li],
+				h: s.h,
+				title: n.title,
+				lines: n.lines,
+				fill: n.fill
+			});
+			y += s.h + gap;
+		}
+	});
+	const width = Math.max(600, cursor);
+	const height = Math.max(320, TOP + maxH + PAD);
+	const boxById = new Map(boxes.map((b) => [b.id, b]));
+	const gaps = /* @__PURE__ */ new Map();
+	for (const e of edges) {
+		const a = boxById.get(e.from);
+		const b = boxById.get(e.to);
+		if (!a || !b || a.id === b.id) continue;
+		if (b.x < a.x) {
+			e.detour = true;
+			continue;
+		}
+		const gapLo = a.x + a.w;
+		const gapHi = b.x;
+		const key = `${Math.round(gapLo)}:${Math.round(gapHi)}`;
+		if (!gaps.has(key)) gaps.set(key, []);
+		gaps.get(key).push(e);
+	}
+	for (const [, group] of gaps) {
+		if (group.length === 1) {
+			const a = boxById.get(group[0].from);
+			const b = boxById.get(group[0].to);
+			group[0].channelX = (a.x + a.w + b.x) / 2;
+			continue;
+		}
+		group.sort((p, q) => (boxById.get(p.to)?.y ?? 0) - (boxById.get(q.to)?.y ?? 0) || p.label.localeCompare(q.label) || p.to.localeCompare(q.to));
+		const lo = Math.min(...group.map((e) => boxById.get(e.from).x + boxById.get(e.from).w));
+		const step = (Math.max(...group.map((e) => boxById.get(e.to).x)) - lo) / (group.length + 1);
+		group.forEach((e, i) => {
+			e.channelX = lo + step * (i + 1);
+		});
+	}
+	return {
+		boxes,
+		edges,
+		width,
+		height,
+		notes
+	};
+}
+function trim(s, n) {
+	return s.length > n ? s.slice(0, n - 1) + "…" : s;
+}
+function esc$1(s) {
+	return s.replace(/[&<>"]/g, (c) => ({
+		"&": "&amp;",
+		"<": "&lt;",
+		">": "&gt;",
+		"\"": "&quot;"
+	})[c]);
+}
+const EDGE_COLOR = {
+	relation: "#8ab4f8",
+	axiom: "#e08a8a",
+	instance: "#c8a860",
+	import: "#7fd1b9"
+};
+/**
+* 折线路径：
+*  **正向**（相邻/跨列向右）⇒ 出右边界 → 走到**本边专属的竖直通道** → 水平进目标左边界。
+*  **自环** ⇒ 在框右上角画一个小弧；**绕行**（右→左）⇒ 从上方绕过。
+* 每条边的通道由布局逐条错开（`channelX`）—— 否则同源的多条边会叠成一条竖线，
+* 标签也全糊在一起（实测：mail 的 4 条边全走 x=527）。
+*/
+function edgePath(a, b, e) {
+	if (a.id === b.id) {
+		const x = a.x + a.w;
+		const y = a.y + a.h / 2 - 14;
+		return {
+			d: `M ${x} ${y} C ${x + 44} ${y - 30}, ${x + 44} ${y + 44}, ${x} ${y + 28}`,
+			mid: [x + 42, y + 8]
+		};
+	}
+	if (e.detour || b.x < a.x) {
+		const yTop = Math.min(a.y, b.y) - 26;
+		return {
+			d: `M ${a.x + a.w / 2} ${a.y} L ${a.x + a.w / 2} ${yTop} L ${b.x + b.w / 2} ${yTop} L ${b.x + b.w / 2} ${b.y}`,
+			mid: [(a.x + a.w / 2 + b.x + b.w / 2) / 2, yTop]
+		};
+	}
+	const x1 = a.x + a.w;
+	const y1 = a.y + a.h / 2;
+	const x2 = b.x;
+	const y2 = b.y + b.h / 2;
+	const mx = e.channelX ?? (x1 + x2) / 2;
+	const ly = (y1 + y2) / 2;
+	return {
+		d: `M ${x1} ${y1} L ${mx} ${y1} L ${mx} ${y2} L ${x2} ${y2}`,
+		mid: e.labelAt ?? [mx, ly]
+	};
+}
+function toSvg(model, L, opts) {
+	const byId = new Map(L.boxes.map((b) => [b.id, b]));
+	const parts = [];
+	parts.push(`<svg xmlns="http://www.w3.org/2000/svg" width="${Math.round(L.width)}" height="${Math.round(L.height)}" viewBox="0 0 ${Math.round(L.width)} ${Math.round(L.height)}" font-family="Noto Sans CJK SC, Noto Sans, DejaVu Sans, sans-serif">`);
+	parts.push(`<defs>
+    <marker id="ah" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="7" markerHeight="7" orient="auto-start-reverse">
+      <path d="M 0 0 L 10 5 L 0 10 z" fill="context-stroke"/>
+    </marker>
+  </defs>`);
+	parts.push(`<rect width="100%" height="100%" fill="#12161c"/>`);
+	const occupied = [];
+	const boxRects = L.boxes.map((b) => [
+		b.x,
+		b.y,
+		b.x + b.w,
+		b.y + b.h
+	]);
+	const hits = (r, list) => list.some((o) => Math.min(r[2], o[2]) - Math.max(r[0], o[0]) > 2 && Math.min(r[3], o[3]) - Math.max(r[1], o[1]) > 2);
+	for (const e of L.edges) {
+		const a = byId.get(e.from);
+		const b = byId.get(e.to);
+		if (!a || !b) continue;
+		const c = EDGE_COLOR[e.kind];
+		const dash = e.kind === "axiom" ? ` stroke-dasharray="6 4"` : e.kind === "instance" ? ` stroke-dasharray="2 3"` : "";
+		const { d, mid } = edgePath(a, b, e);
+		parts.push(`<path d="${d}" fill="none" stroke="${c}" stroke-width="1.7" marker-end="url(#ah)"${dash} opacity="0.85"/>`);
+		if (e.label) {
+			const w = textWidth$1(e.label, 11) + 8;
+			let [lx, ly] = mid;
+			for (const dy of [
+				0,
+				-15,
+				15,
+				-30,
+				30,
+				-45,
+				45
+			]) {
+				const r = [
+					lx - w / 2,
+					ly + dy - 9,
+					lx + w / 2,
+					ly + dy + 7
+				];
+				if (!hits(r, occupied) && !hits(r, boxRects)) {
+					parts.push(`<rect x="${(lx - w / 2).toFixed(1)}" y="${(ly + dy - 9).toFixed(1)}" width="${w.toFixed(1)}" height="16" rx="3" fill="#12161c" opacity="0.95"/>`);
+					parts.push(`<text x="${lx.toFixed(1)}" y="${(ly + dy + 2.5).toFixed(1)}" fill="${c}" font-size="11" text-anchor="middle">${esc$1(trim(e.label, 26))}</text>`);
+					occupied.push(r);
+					break;
+				}
+			}
+		}
+	}
+	for (const b of L.boxes) {
+		parts.push(`<rect x="${b.x}" y="${b.y}" width="${b.w}" height="${b.h}" rx="8" fill="${b.fill}" stroke="#48536488" stroke-width="1"/>`);
+		parts.push(`<text x="${b.x + 12}" y="${b.y + 22}" fill="#eef3f8" font-size="14" font-weight="600">${esc$1(trim(b.title, 30))}</text>`);
+		b.lines.slice(0, 2).forEach((ln, i) => {
+			parts.push(`<text x="${b.x + 12}" y="${b.y + 40 + i * 15}" fill="#b8c4d2" font-size="11" font-family="DejaVu Sans Mono, monospace">${esc$1(trim(ln, 36))}</text>`);
+		});
+	}
+	parts.push("</svg>");
+	return parts.join("\n");
+}
+function payloads(model, L) {
+	const out = [];
+	const relByClass = (cid) => ({
+		out: model.relations.filter((r) => r.domain === cid).map((r) => `${r.label} → ${r.range ?? "?"} (${r.cardinality})`),
+		in: model.relations.filter((r) => r.range === cid).map((r) => `${r.domain ?? "?"} → ${r.label} (${r.cardinality})`)
+	});
+	out.push({
+		id: "self",
+		kind: "self",
+		title: model.meta.label || basename(model.file),
+		comment: model.meta.comment ?? "",
+		rows: [
+			["文件", basename(model.file)],
+			["版本", model.meta.version ?? "—"],
+			["外部链", model.meta.imports.join(", ") || "（无）"],
+			["类／关系／公理／实例", `${model.classes.length} / ${model.relations.length} / ${model.axioms.length} / ${model.instances.length}`]
+		],
+		linksIn: [],
+		linksOut: model.meta.imports.map((i) => `owl:imports ${i}`),
+		axioms: []
+	});
+	for (const c of model.classes) {
+		const rel = relByClass(c.id);
+		out.push({
+			id: `class:${c.id}`,
+			kind: "class",
+			title: c.label,
+			comment: c.comment,
+			rows: [
+				["标识", c.id],
+				["刚性", c.rigidity ?? "未声明"],
+				["身份判据", c.identity.join(", ") || "—（无 identity ⇒ M4 会警告）"],
+				...c.parents.length ? [["父类", c.parents.join(", ")]] : [],
+				...c.properties.map((p) => [`属性 ${p.name}`, `${p.type} ／ ${p.cardinality}`])
+			],
+			linksIn: rel.in,
+			linksOut: rel.out,
+			axioms: model.axioms.filter((a) => a.mentions.includes(c.id)).map((a) => `${a.id}: ${a.rule}`)
+		});
+	}
+	for (const ax of model.axioms) out.push({
+		id: `ax:${ax.id}`,
+		kind: "axiom",
+		title: ax.id,
+		comment: ax.comment,
+		rows: [
+			["类型", ax.type],
+			["规则", ax.rule],
+			["涉及", ax.mentions.join(", ") || "（本文件里没有它提到的类型）"]
+		],
+		linksIn: [],
+		linksOut: ax.mentions.map((m) => `涉及 ${m}`),
+		axioms: []
+	});
+	for (const inst of model.instances) out.push({
+		id: `inst:${inst.id}`,
+		kind: "instance",
+		title: inst.id,
+		comment: "",
+		rows: [["属于", inst.ofClass ?? "?"]],
+		linksIn: [],
+		linksOut: [],
+		axioms: []
+	});
+	return out;
+}
+function toHtml(model, L, svg) {
+	const data = JSON.stringify(payloads(model, L));
+	const notes = L.notes.length ? `<div class="notes"><b>未画出的边（${L.notes.length}）</b><ul>${L.notes.map((n) => `<li>${esc$1(n)}</li>`).join("")}</ul></div>` : "";
+	const unknowns = model.unknownTypes.length ? `<div class="notes"><b>没认出来的类型（${model.unknownTypes.length}）</b> ${esc$1(model.unknownTypes.join(", "))}</div>` : "";
+	return `<!doctype html><html lang="zh"><head><meta charset="utf-8">
+<title>${esc$1(model.meta.label || basename(model.file))} — 本体结构图</title>
+<style>
+ :root{--bg:#0d1117;--panel:#161b22;--fg:#e6edf3;--dim:#8b949e;--line:#30363d}
+ *{box-sizing:border-box}
+ body{margin:0;background:var(--bg);color:var(--fg);font:14px/1.5 "Noto Sans CJK SC",system-ui,sans-serif;overflow:hidden}
+ #wrap{display:flex;height:100vh}
+ #stage{flex:1;position:relative;overflow:hidden;cursor:grab}
+ #stage.drag{cursor:grabbing}
+ #stage svg{position:absolute;left:0;top:0;transform-origin:0 0}
+ #side{width:340px;min-width:340px;background:var(--panel);border-left:1px solid var(--line);overflow-y:auto;padding:16px}
+ #bar{position:absolute;left:12px;top:12px;display:flex;gap:8px;align-items:center;background:#161b22dd;border:1px solid var(--line);border-radius:8px;padding:8px 10px;backdrop-filter:blur(6px);z-index:5;flex-wrap:wrap;max-width:calc(100% - 24px)}
+ button,label{background:#21262d;color:var(--fg);border:1px solid var(--line);border-radius:6px;padding:4px 9px;font-size:12px;cursor:pointer}
+ button:hover{background:#30363d}
+ input{background:#0d1117;color:var(--fg);border:1px solid var(--line);border-radius:6px;padding:4px 8px;font-size:12px;width:150px}
+ h1{font-size:15px;margin:0 0 4px}
+ h2{font-size:12px;color:var(--dim);text-transform:uppercase;letter-spacing:.08em;margin:16px 0 6px;border-bottom:1px solid var(--line);padding-bottom:4px}
+ .meta{color:var(--dim);font-size:12px}
+ table{width:100%;border-collapse:collapse;font-size:12px}
+ td{padding:3px 4px;vertical-align:top;border-bottom:1px solid #21262d}
+ td:first-child{color:var(--dim);width:34%}
+ code,.mono{font-family:DejaVu Sans Mono,monospace;font-size:11.5px;word-break:break-all}
+ .notes{margin-top:14px;font-size:12px;color:#d2a24c}
+ .notes ul{margin:4px 0 0 14px;padding:0}
+ .tag{display:inline-block;background:#21262d;border:1px solid var(--line);border-radius:4px;padding:1px 5px;font-size:11px;margin-right:4px}
+ .pill{display:inline-block;border-radius:10px;padding:1px 8px;font-size:11px}
+</style></head><body>
+<div id="wrap">
+  <div id="stage">
+    <div id="bar">
+      <input id="q" placeholder="搜索类 / 关系 / 公理…">
+      <button id="fit">适应窗口</button>
+      <button id="reset">100%</button>
+      <span class="meta" id="hint">拖动平移 · 滚轮缩放 · 点节点看详情</span>
+    </div>
+    ${svg.replace("<svg ", "<svg id=\"graph\" ")}
+  </div>
+  <div id="side">
+    <h1>${esc$1(model.meta.label || basename(model.file))}</h1>
+    <div class="meta">${esc$1(basename(model.file))}${model.meta.version ? " · v" + esc$1(model.meta.version) : ""}</div>
+    <div class="meta" style="margin-top:6px">
+      <span class="tag">类 ${model.classes.length}</span><span class="tag">关系 ${model.relations.length}</span>
+      <span class="tag">公理 ${model.axioms.length}</span><span class="tag">实例 ${model.instances.length}</span>
+      <span class="tag">外部链 ${model.meta.imports.length}</span>
+    </div>
+    <div id="detail"><div class="meta">点左侧任一方块看它的详情（注释 / 属性 / 进出关系 / 涉及的公理）。</div></div>
+    ${notes}${unknowns}
+    <h2>图例</h2>
+    <div class="meta">
+      <div><span class="pill" style="background:#1e3a5f">稳定 rigid</span> <span class="pill" style="background:#4a2f5f">易变 anti-rigid</span> <span class="pill" style="background:#2f4a3a">半稳定</span> <span class="pill" style="background:#3a3f46">未声明</span></div>
+      <div style="margin-top:6px">蓝线=对象关系（带基数） · 红虚线=公理涉及 · 黄虚线=实例归属 · 绿线=外部链</div>
+    </div>
+  </div>
+</div>
+<script>
+const DATA=${data}; const BY=new Map(DATA.map(d=>[d.id,d]));
+const svg=document.getElementById('graph'), stage=document.getElementById('stage');
+let k=1,tx=0,ty=0;
+function apply(){svg.style.transform=\`translate(\${tx}px,\${ty}px) scale(\${k})\`}
+function fit(){const w=svg.viewBox.baseVal.width,h=svg.viewBox.baseVal.height;
+ const r=stage.getBoundingClientRect(); k=Math.min((r.width-40)/w,(r.height-40)/h,1.4); tx=(r.width-w*k)/2; ty=(r.height-h*k)/2; apply()}
+stage.addEventListener('mousedown',e=>{if(e.target.closest('#bar'))return;let sx=e.clientX,sy=e.clientY;const ox=tx,oy=ty;stage.classList.add('drag');
+ const mv=ev=>{tx=ox+ev.clientX-sx;ty=oy+ev.clientY-sy;apply()};
+ const up=()=>{stage.classList.remove('drag');window.removeEventListener('mousemove',mv);window.removeEventListener('mouseup',up)};
+ window.addEventListener('mousemove',mv);window.addEventListener('mouseup',up)});
+stage.addEventListener('wheel',e=>{e.preventDefault();const r=stage.getBoundingClientRect();const mx=e.clientX-r.left,my=e.clientY-r.top;
+ const f=e.deltaY<0?1.12:1/1.12;const nk=Math.max(.15,Math.min(6,k*f));tx=mx-(mx-tx)*(nk/k);ty=my-(my-ty)*(nk/k);k=nk;apply()},{passive:false});
+svg.querySelectorAll('rect[id]').forEach(el=>{el.style.cursor='pointer';
+ el.addEventListener('click',ev=>{ev.stopPropagation();show(el.id);highlight(el.id)})});
+svg.querySelectorAll('rect').forEach(el=>{if(!el.id)el.style.pointerEvents='none'});
+function highlight(id){svg.querySelectorAll('rect[id]').forEach(r=>r.setAttribute('stroke',r.id===id?'#e6edf3':'#48536488'));
+ svg.querySelectorAll('rect[id]').forEach(r=>r.setAttribute('stroke-width',r.id===id?'2.5':'1'))}
+function show(id){const d=BY.get(id);if(!d)return;
+ const row=(a,b)=>\`<tr><td>\${esc(a)}</td><td class="mono">\${esc(b)}</td></tr>\`;
+ let h=\`<h1>\${esc(d.title)}</h1>\`;
+ if(d.comment)h+=\`<div class="meta" style="margin-bottom:8px">\${esc(d.comment)}</div>\`;
+ h+='<table>'+d.rows.map(r=>row(r[0],r[1])).join('')+'</table>';
+ if(d.linksOut.length)h+='<h2>出去的关系</h2>'+d.linksOut.map(x=>\`<div class="mono">\${esc(x)}</div>\`).join('');
+ if(d.linksIn.length)h+='<h2>进来的关系</h2>'+d.linksIn.map(x=>\`<div class="mono">\${esc(x)}</div>\`).join('');
+ if(d.axioms&&d.axioms.length)h+='<h2>涉及的公理</h2>'+d.axioms.map(x=>\`<div class="mono">\${esc(x)}</div>\`).join('');
+ document.getElementById('detail').innerHTML=h}
+function esc(s){return String(s).replace(/[&<>"]/g,c=>({'&':'&amp;','<':'&lt;','>':'&gt;','"':'&quot;'}[c]))}
+document.getElementById('fit').onclick=fit;
+document.getElementById('reset').onclick=()=>{k=1;tx=0;ty=0;apply()};
+document.getElementById('q').oninput=e=>{const q=e.target.value.toLowerCase();
+ svg.querySelectorAll('rect[id]').forEach(r=>{if(!q){r.style.opacity=1;return}
+  const d=BY.get(r.id);const hay=(r.id+' '+JSON.stringify(d||'')).toLowerCase();
+  r.style.opacity=hay.includes(q)?1:.16})};
+fit();
+<\/script></body></html>`;
+}
+//#endregion
+//#region src/diagram/fonts.ts
+/**
+* diagram 字体事实源（**唯一真相源**：资产路径 ＋ 家族名 ＋ CSS 家族栈）
+*
+* 为什么单独成模块（R↓）：两处都要它，而它们的依赖面**必须**保持不同 ——
+*   · `dsl-render.ts` 只生成 SVG 字符串（**纯函数、零 fs**），它需要在 SVG 里写 `font-family` 栈；
+*   · `rasterize.ts` 要读字体文件喂给 wasm，并设 `defaultFontFamily`。
+* ⇒ 谁都不该从对方 import（前者会被拖进 `node:fs`／wasm，后者不该定义 SVG 措辞）。
+*
+* ## 为什么是**三个**字型（每一个都由一张实测图证明，不是偏好，也不是"多带点保险"）
+*
+* | 字型 | 覆盖 | 它修好了什么（实测） |
+* |---|---|---|
+* | `DroidSansFallbackFull.ttf` | 汉字 | 没有它 ⇒ 中文全是方框（docker 实测：wasm 对系统字体**完全不可见**） |
+* | `NotoSans-Regular.ttf` | 拉丁 | 没有它 ⇒ `diagram` ／ `parseDsl` 全变方框（Droid 是 **CJK 兜底字型**，**不含拉丁**） |
+* | `DejaVuSans.ttf` | 符号 | 没有它 ⇒ `① ② ③` ／ `⇒ ⇒` ／ `→` 仍是方框（**前两个都没有这些字形**，实测对照图见 `docs/diagram-tool-feasibility.md`） |
+*
+* 🔴 **上一版的判据漏洞**（v1.51.1 修的）：那条"有字 vs 无字逐字节不同"只证明**有墨**，
+* 没证明**墨是那个字** —— 方框也是墨 ⇒ 拉丁全变方框时它**照样绿**。
+* ⇒ 现在每条覆盖声明都配一条**点名字符集**的差分用例：同长度不同字形 ⇒ 必须出不同墨。
+*
+* ## 家族名是**量出来的**，不是猜的
+* 下表取自各文件 `name` 表 `nameID=1`（平台 3 ／ UTF-16BE）：
+* `Droid Sans Fallback` ／ `Noto Sans` ／ `DejaVu Sans`。
+* 写错名字时 resvg 的自动回退仍可能把字画出来（**图上看不出来**）⇒ 名字正确与否只能这样证明。
+*/
+const DIAGRAM_CJK_FONT_ASSET = "assets/diagram/DroidSansFallbackFull.ttf";
+const DIAGRAM_LATIN_FONT_ASSET = "assets/diagram/NotoSans-Regular.ttf";
+const DIAGRAM_SYMBOL_FONT_ASSET = "assets/diagram/DejaVuSans.ttf";
+/** 汉字字型的家族名（**字体文件自报的族名**，写错就取不到） */
+const DIAGRAM_CJK_FONT_FAMILY = "Droid Sans Fallback";
+/**
+* SVG 里写的家族栈（**顺序即回退顺序**）：拉丁优先取 Noto，符号落 DejaVu，其余字形落到 Droid。
+* ⚠️ 末尾的通用名（`sans-serif`）只是兜底惯例：本部署里 resvg **不带系统字体**
+* （`loadSystemFonts: false`）⇒ 它取不到任何东西，真正的兜底是上面三个内置字型。
+*/
+const DIAGRAM_FONT_STACK = `'Noto Sans', 'DejaVu Sans', '${DIAGRAM_CJK_FONT_FAMILY}', sans-serif`;
+//#endregion
+//#region src/diagram/rasterize.ts
+/**
+* diagram 光栅化 —— SVG → PNG（**纯进程内，不起浏览器、不截图**）
+*
+* 为什么是 `@resvg/resvg-wasm`（owner 2026-09-29 裁「内置」，判据 = 可行性调研 §7 的 docker 实测）：
+*   ① **纯 wasm**：无原生二进制、无平台/架构约束、无 postinstall 构建（公开包最怕那三样）；
+*   ② 实测渲染一张图尺寸画布 ≈60 ms ／ ~55 KB PNG。
+*
+* 🔴 **必须喂字体，且这是实测结论不是设计偏好**：docker 里给容器装好中文字体（`fc-list` 认它）
+*   后，resvg-wasm 渲染中文**仍得到空白画布**，且 `loadSystemFonts:true` 与 `false` **逐字节相同**
+*   ⇒ **wasm 对系统字体完全不可见**。只有 `fontBuffers` 才画得出字。
+*   ⇒ 顺带白拿一个好处：**输出与机器无关**（同一份内置字体 ⇒ 逐字节可复现，S↑ 稳定）。
+*
+* 字体资产随包分发（三个，各有各的覆盖，见 `fonts.ts` 的表）：汉字 3.8 MB（Apache-2.0）／
+* 拉丁 0.5 MB（OFL-1.1）／符号 0.75 MB（DejaVu 许可证），各自带许可证与出处。
+*/
+/**
+* 包根 = **向上找到含 `package.json` 的那一级**。
+*
+* 🔴 为什么不能照抄 `voyage-page.ts` 的「`..` 一次」：那个文件在 `src/` 根下，一次 `..` 恰好是包根；
+* 本模块在 `src/diagram/` 里 ⇒ 开发态（vitest 直接跑 TS 源码）一次 `..` 只到 `src/`，
+* 于是去找 `src/assets/…` —— **实测 ENOENT**（测试全红，且现象是"字体不在"，与真因"路径层级算错"
+* 长得完全不同）。按 `package.json` 上溯对**开发态（src/diagram）与发布态（lib/diagram）都成立**。
+* @returns 包根绝对路径；四层内找不到 `package.json` 时回落"上一级"（不抛——定位失败由调用方响亮报错）
+*/
+function packageRootPath$1() {
+	const start = dirname(fileURLToPath(import.meta.url));
+	let dir = start;
+	for (let i = 0; i < 4; i++) {
+		if (existsSync(join(dir, "package.json"))) return dir;
+		dir = dirname(dir);
+	}
+	return join(start, "..");
+}
+/** 汉字字型绝对路径（导出以便测试与 pack-check 共用同一判据来源） */
+function diagramFontPath() {
+	return join(packageRootPath$1(), DIAGRAM_CJK_FONT_ASSET);
+}
+/** 拉丁字型绝对路径 */
+function diagramLatinFontPath() {
+	return join(packageRootPath$1(), DIAGRAM_LATIN_FONT_ASSET);
+}
+/** 符号字型绝对路径 */
+function diagramSymbolFontPath() {
+	return join(packageRootPath$1(), DIAGRAM_SYMBOL_FONT_ASSET);
+}
+/**
+* 兜底字型的族名 = **汉字字型**（本工具的图以中文为主）。
+* 两个内置字型的家族名与 CSS 家族栈统一定义在 `fonts.ts`（单一真相源），此处只透出兜底那一个。
+*/
+const DIAGRAM_FONT_FAMILY = DIAGRAM_CJK_FONT_FAMILY;
+let wasmReady = null;
+let fontBuf = null;
+let latinBuf = null;
+let symbolBuf = null;
+/**
+* wasm 模块路径：**先解析 JS 入口再取同目录的 `.wasm`**。
+* 不直接 resolve `.wasm` 的原因：包的 `exports` 表未必暴露该子路径（解析失败会抛，
+* 而"抛"与"文件不在"在验收上长得一样 —— 故走这条更稳的路）。
+*/
+function wasmPath() {
+	const req = createRequire(import.meta.url);
+	return join(dirname(req.resolve("@resvg/resvg-wasm")), "index_bg.wasm");
+}
+function ensureReady() {
+	if (wasmReady === null) wasmReady = initWasm(readFileSync(wasmPath())).catch((err) => {
+		if (/already initialized/iu.test(String(err?.message ?? err))) return;
+		throw err;
+	});
+	return wasmReady;
+}
+/** 三个字型各只读一次（3.8 MB ＋ 0.5 MB ＋ 0.75 MB，进程内缓存） */
+function fontBuffer() {
+	if (fontBuf === null) fontBuf = readFileSync(diagramFontPath());
+	return fontBuf;
+}
+function latinFontBuffer() {
+	if (latinBuf === null) latinBuf = readFileSync(diagramLatinFontPath());
+	return latinBuf;
+}
+function symbolFontBuffer() {
+	if (symbolBuf === null) symbolBuf = readFileSync(diagramSymbolFontPath());
+	return symbolBuf;
+}
+/**
+* SVG → PNG。
+* @param width 输出像素宽（矢量无损放大；高度按 SVG 自身比例推出）
+*/
+async function rasterizeSvg(svg, width) {
+	await ensureReady();
+	const t0 = Date.now();
+	const img = new Resvg(svg, {
+		fitTo: {
+			mode: "width",
+			value: width
+		},
+		font: {
+			fontBuffers: [
+				latinFontBuffer(),
+				symbolFontBuffer(),
+				fontBuffer()
+			],
+			loadSystemFonts: false,
+			defaultFontFamily: DIAGRAM_FONT_FAMILY
+		}
+	}).render();
+	return {
+		png: img.asPng(),
+		width: img.width,
+		height: img.height,
+		ms: Date.now() - t0
+	};
+}
+//#endregion
 //#region src/tools/ontology-eng.ts
 /**
 * ontology-eng.ts（工具面）— 本体工程**引擎**（v1.52.0，S142 D121）
@@ -7685,7 +8554,8 @@ const COMMANDS = [
 	"explain",
 	"verify",
 	"review",
-	"compliance"
+	"compliance",
+	"viz"
 ];
 const LEVELS = [
 	"normal",
@@ -7769,6 +8639,10 @@ function createOntologyTool() {
 				type: "string",
 				enum: [...FORMATS],
 				description: "review / compliance only: prompt (LLM-readable checklist, default) or json."
+			},
+			png: {
+				type: "boolean",
+				description: "viz only: also rasterize a PNG next to the HTML (for pasting a static image into the conversation)."
 			}
 		},
 		output: {
@@ -7785,6 +8659,35 @@ function createOntologyTool() {
 			const absPath = resolveInside(root, rawPath);
 			const relPath = relative(root, absPath) || ".";
 			const argv = [command, absPath];
+			if (command === "viz") {
+				const model = fromEngine(relPath, absPath);
+				const L = layout(model, {
+					axioms: false,
+					instances: true,
+					imports: true
+				});
+				const svg = toSvg(model, L, { axioms: false });
+				const html = toHtml(model, L, svg);
+				const stem = basename(relPath).replace(/\.ttl$/, "");
+				const outDir = join(root, "_tmp", "ontology-viz");
+				mkdirSync(outDir, { recursive: true });
+				const htmlPath = join(outDir, `${stem}.html`);
+				writeFileSync(htmlPath, html, "utf-8");
+				const lines = [
+					`[ontology viz] ✓ ${relPath}`,
+					``,
+					`类 ${model.classes.length} ／ 关系 ${model.relations.length} ／ 公理 ${model.axioms.length} ／ 实例 ${model.instances.length}`,
+					`交互版 HTML ⇒ ${relative(root, htmlPath)}`,
+					`  打开后可拖动平移、滚轮缩放、点节点看详情（注释／属性／进出关系／涉及的公理）`
+				];
+				if (args.png === true) {
+					const r = await rasterizeSvg(svg, 2400);
+					const pngPath = join(outDir, `${stem}.png`);
+					writeFileSync(pngPath, r.png);
+					lines.push(`静态 PNG ⇒ ${relative(root, pngPath)}（${r.width}×${r.height}，${r.ms} ms）`);
+				}
+				return lines.join("\n");
+			}
 			const level = typeof args.level === "string" ? args.level.trim() : "";
 			if (level !== "") {
 				const allowed = LEVELS_BY_COMMAND[command];
@@ -14723,12 +15626,12 @@ const VOYAGE_PATH = "/serenity/voyage";
 */
 const VOYAGE_ASSET = "assets/serenity-voyage.html";
 /** 包根 = 本模块所在目录的上一级（构建产物在 `lib/`，与 `assets/` 同级；同 constants.ts 定位法） */
-function packageRootPath$1() {
+function packageRootPath() {
 	return join(dirname(fileURLToPath(import.meta.url)), "..");
 }
 /** 资产绝对路径（导出以便测试与 pack-check 共用同一判据来源） */
 function voyageAssetPath() {
-	return join(packageRootPath$1(), VOYAGE_ASSET);
+	return join(packageRootPath(), VOYAGE_ASSET);
 }
 /** 缓存（830 KB，避免每次展开卡片都读盘；进程内只读一次） */
 let cachedHtml = null;
@@ -23621,44 +24524,6 @@ function parseDsl(source) {
 	};
 }
 //#endregion
-//#region src/diagram/fonts.ts
-/**
-* diagram 字体事实源（**唯一真相源**：资产路径 ＋ 家族名 ＋ CSS 家族栈）
-*
-* 为什么单独成模块（R↓）：两处都要它，而它们的依赖面**必须**保持不同 ——
-*   · `dsl-render.ts` 只生成 SVG 字符串（**纯函数、零 fs**），它需要在 SVG 里写 `font-family` 栈；
-*   · `rasterize.ts` 要读字体文件喂给 wasm，并设 `defaultFontFamily`。
-* ⇒ 谁都不该从对方 import（前者会被拖进 `node:fs`／wasm，后者不该定义 SVG 措辞）。
-*
-* ## 为什么是**三个**字型（每一个都由一张实测图证明，不是偏好，也不是"多带点保险"）
-*
-* | 字型 | 覆盖 | 它修好了什么（实测） |
-* |---|---|---|
-* | `DroidSansFallbackFull.ttf` | 汉字 | 没有它 ⇒ 中文全是方框（docker 实测：wasm 对系统字体**完全不可见**） |
-* | `NotoSans-Regular.ttf` | 拉丁 | 没有它 ⇒ `diagram` ／ `parseDsl` 全变方框（Droid 是 **CJK 兜底字型**，**不含拉丁**） |
-* | `DejaVuSans.ttf` | 符号 | 没有它 ⇒ `① ② ③` ／ `⇒ ⇒` ／ `→` 仍是方框（**前两个都没有这些字形**，实测对照图见 `docs/diagram-tool-feasibility.md`） |
-*
-* 🔴 **上一版的判据漏洞**（v1.51.1 修的）：那条"有字 vs 无字逐字节不同"只证明**有墨**，
-* 没证明**墨是那个字** —— 方框也是墨 ⇒ 拉丁全变方框时它**照样绿**。
-* ⇒ 现在每条覆盖声明都配一条**点名字符集**的差分用例：同长度不同字形 ⇒ 必须出不同墨。
-*
-* ## 家族名是**量出来的**，不是猜的
-* 下表取自各文件 `name` 表 `nameID=1`（平台 3 ／ UTF-16BE）：
-* `Droid Sans Fallback` ／ `Noto Sans` ／ `DejaVu Sans`。
-* 写错名字时 resvg 的自动回退仍可能把字画出来（**图上看不出来**）⇒ 名字正确与否只能这样证明。
-*/
-const DIAGRAM_CJK_FONT_ASSET = "assets/diagram/DroidSansFallbackFull.ttf";
-const DIAGRAM_LATIN_FONT_ASSET = "assets/diagram/NotoSans-Regular.ttf";
-const DIAGRAM_SYMBOL_FONT_ASSET = "assets/diagram/DejaVuSans.ttf";
-/** 汉字字型的家族名（**字体文件自报的族名**，写错就取不到） */
-const DIAGRAM_CJK_FONT_FAMILY = "Droid Sans Fallback";
-/**
-* SVG 里写的家族栈（**顺序即回退顺序**）：拉丁优先取 Noto，符号落 DejaVu，其余字形落到 Droid。
-* ⚠️ 末尾的通用名（`sans-serif`）只是兜底惯例：本部署里 resvg **不带系统字体**
-* （`loadSystemFonts: false`）⇒ 它取不到任何东西，真正的兜底是上面三个内置字型。
-*/
-const DIAGRAM_FONT_STACK = `'Noto Sans', 'DejaVu Sans', '${DIAGRAM_CJK_FONT_FAMILY}', sans-serif`;
-//#endregion
 //#region src/diagram/dsl-render.ts
 const TITLE_BAND = 68;
 const EPS = .35;
@@ -23976,120 +24841,6 @@ function renderDsl(model) {
 	};
 }
 //#endregion
-//#region src/diagram/rasterize.ts
-/**
-* diagram 光栅化 —— SVG → PNG（**纯进程内，不起浏览器、不截图**）
-*
-* 为什么是 `@resvg/resvg-wasm`（owner 2026-09-29 裁「内置」，判据 = 可行性调研 §7 的 docker 实测）：
-*   ① **纯 wasm**：无原生二进制、无平台/架构约束、无 postinstall 构建（公开包最怕那三样）；
-*   ② 实测渲染一张图尺寸画布 ≈60 ms ／ ~55 KB PNG。
-*
-* 🔴 **必须喂字体，且这是实测结论不是设计偏好**：docker 里给容器装好中文字体（`fc-list` 认它）
-*   后，resvg-wasm 渲染中文**仍得到空白画布**，且 `loadSystemFonts:true` 与 `false` **逐字节相同**
-*   ⇒ **wasm 对系统字体完全不可见**。只有 `fontBuffers` 才画得出字。
-*   ⇒ 顺带白拿一个好处：**输出与机器无关**（同一份内置字体 ⇒ 逐字节可复现，S↑ 稳定）。
-*
-* 字体资产随包分发（三个，各有各的覆盖，见 `fonts.ts` 的表）：汉字 3.8 MB（Apache-2.0）／
-* 拉丁 0.5 MB（OFL-1.1）／符号 0.75 MB（DejaVu 许可证），各自带许可证与出处。
-*/
-/**
-* 包根 = **向上找到含 `package.json` 的那一级**。
-*
-* 🔴 为什么不能照抄 `voyage-page.ts` 的「`..` 一次」：那个文件在 `src/` 根下，一次 `..` 恰好是包根；
-* 本模块在 `src/diagram/` 里 ⇒ 开发态（vitest 直接跑 TS 源码）一次 `..` 只到 `src/`，
-* 于是去找 `src/assets/…` —— **实测 ENOENT**（测试全红，且现象是"字体不在"，与真因"路径层级算错"
-* 长得完全不同）。按 `package.json` 上溯对**开发态（src/diagram）与发布态（lib/diagram）都成立**。
-* @returns 包根绝对路径；四层内找不到 `package.json` 时回落"上一级"（不抛——定位失败由调用方响亮报错）
-*/
-function packageRootPath() {
-	const start = dirname(fileURLToPath(import.meta.url));
-	let dir = start;
-	for (let i = 0; i < 4; i++) {
-		if (existsSync(join(dir, "package.json"))) return dir;
-		dir = dirname(dir);
-	}
-	return join(start, "..");
-}
-/** 汉字字型绝对路径（导出以便测试与 pack-check 共用同一判据来源） */
-function diagramFontPath() {
-	return join(packageRootPath(), DIAGRAM_CJK_FONT_ASSET);
-}
-/** 拉丁字型绝对路径 */
-function diagramLatinFontPath() {
-	return join(packageRootPath(), DIAGRAM_LATIN_FONT_ASSET);
-}
-/** 符号字型绝对路径 */
-function diagramSymbolFontPath() {
-	return join(packageRootPath(), DIAGRAM_SYMBOL_FONT_ASSET);
-}
-/**
-* 兜底字型的族名 = **汉字字型**（本工具的图以中文为主）。
-* 两个内置字型的家族名与 CSS 家族栈统一定义在 `fonts.ts`（单一真相源），此处只透出兜底那一个。
-*/
-const DIAGRAM_FONT_FAMILY = DIAGRAM_CJK_FONT_FAMILY;
-let wasmReady = null;
-let fontBuf = null;
-let latinBuf = null;
-let symbolBuf = null;
-/**
-* wasm 模块路径：**先解析 JS 入口再取同目录的 `.wasm`**。
-* 不直接 resolve `.wasm` 的原因：包的 `exports` 表未必暴露该子路径（解析失败会抛，
-* 而"抛"与"文件不在"在验收上长得一样 —— 故走这条更稳的路）。
-*/
-function wasmPath() {
-	const req = createRequire(import.meta.url);
-	return join(dirname(req.resolve("@resvg/resvg-wasm")), "index_bg.wasm");
-}
-function ensureReady() {
-	if (wasmReady === null) wasmReady = initWasm(readFileSync(wasmPath())).catch((err) => {
-		if (/already initialized/iu.test(String(err?.message ?? err))) return;
-		throw err;
-	});
-	return wasmReady;
-}
-/** 三个字型各只读一次（3.8 MB ＋ 0.5 MB ＋ 0.75 MB，进程内缓存） */
-function fontBuffer() {
-	if (fontBuf === null) fontBuf = readFileSync(diagramFontPath());
-	return fontBuf;
-}
-function latinFontBuffer() {
-	if (latinBuf === null) latinBuf = readFileSync(diagramLatinFontPath());
-	return latinBuf;
-}
-function symbolFontBuffer() {
-	if (symbolBuf === null) symbolBuf = readFileSync(diagramSymbolFontPath());
-	return symbolBuf;
-}
-/**
-* SVG → PNG。
-* @param width 输出像素宽（矢量无损放大；高度按 SVG 自身比例推出）
-*/
-async function rasterizeSvg(svg, width) {
-	await ensureReady();
-	const t0 = Date.now();
-	const img = new Resvg(svg, {
-		fitTo: {
-			mode: "width",
-			value: width
-		},
-		font: {
-			fontBuffers: [
-				latinFontBuffer(),
-				symbolFontBuffer(),
-				fontBuffer()
-			],
-			loadSystemFonts: false,
-			defaultFontFamily: DIAGRAM_FONT_FAMILY
-		}
-	}).render();
-	return {
-		png: img.asPng(),
-		width: img.width,
-		height: img.height,
-		ms: Date.now() - t0
-	};
-}
-//#endregion
 //#region src/tools/diagram.ts
 /**
 * diagram.ts — `diagram` 工具：**agent 直接给一段标签格式源码，自动出图**