@shgroup/dsh-serenity-hooks 1.56.1 → 1.56.2

package/README.md

@@ -65,7 +65,7 @@ dsh plugin --profile web add link:$(pwd)/hooks/dsh-serenity-hooks
 
 ## 3. 装完之后你多了什么
 
-### 3.1 十二个工具（其中三个按条件出现）
+### 3.1 十四个工具（其中三个按条件出现）
 
 | 工具 | 干什么 | 什么时候用 |
 |---|---|---|

package/dsh.plugin.json

@@ -1,8 +1,8 @@
 {
   "id": "dsh-serenity-hooks",
-  "version": "1.56.1",
+  "version": "1.56.2",
   "main": "lib/index.js",
-  "description": "宁静号 ACC harness（Native Cordis 插件）：给 DSH 装一个「AI 工作区」——14 个工具（container_fs/container_trajectory/dashboard/container_git/msm/praxis/ontology/serenity-skill-creator/handyman/localstore/container_admin；另三个 im-bridge/acc-diag/diagram 按配置条件出现）+ 机械约束（安全模式/工作区围墙/密钥守卫）+ 轨迹日志与原地重建 + 网页登录入口/微信桥/子角色/对外问答页/trajectory 唤醒注册表。适配 DSH 0.1.7-rc.1（deepseek-ai/deepseek-harness）。",
+  "description": "宁静号 ACC harness（Native Cordis 插件）：给 DSH 装一个「AI 工作区」——14 个工具（container_fs/container_trajectory/dashboard/container_git/msm/praxis/ontology/serenity-skill-creator/handyman/localstore/container_admin；另三个 im-bridge/acc-diag/diagram 按配置条件出现）+ 机械约束（安全模式/工作区围墙/密钥守卫）+ 轨迹日志与原地重建 + 网页登录入口/微信桥/子角色/对外问答页/trajectory 唤醒注册表。适配 DSH 0.1.7-rc.1 与 0.2.0-rc.1（双档，deepseek-ai/deepseek-harness）。",
   "engines": {
     "dsh": ">=0.1.7-rc.1"
   },

package/lib/index.js

@@ -5710,7 +5710,13 @@ function turtleToOnto(r) {
 		const td = {};
 		for (const s of stmts) {
 			if (s.predicate === "http://www.w3.org/2000/01/rdf-schema#subClassOf") td.superTypes = [...td.superTypes || [], stripDefaultPrefix(i2q(String(s.object), prefixes))];
-			if (s.predicate === "http://www.w3.org/2000/01/rdf-schema#label" || s.predicate === "http://www.w3.org/2000/01/rdf-schema#comment") td.description = String(s.object);
+			if (s.predicate === "http://www.w3.org/2000/01/rdf-schema#label") {
+				td.label = String(s.object);
+				td.description = String(s.object);
+			} else if (s.predicate === "http://www.w3.org/2000/01/rdf-schema#comment") {
+				td.comment = String(s.object);
+				if (td.label === void 0) td.description = String(s.object);
+			}
 			if (s.predicate === SR + "rigidity") td.rigidity = String(s.object);
 			if (s.predicate === SR + "identity") td.identity = [...td.identity || [], String(s.object)];
 			if (s.predicate === SR + "dependsOn") td.dependsOn = [...td.dependsOn || [], stripDefaultPrefix(i2q(String(s.object), prefixes))];
@@ -5742,6 +5748,8 @@ function turtleToOnto(r) {
 		for (const s of stmts) {
 			if (s.predicate === "http://www.w3.org/2000/01/rdf-schema#domain") rd.domain = stripDefaultPrefix(i2q(String(s.object), prefixes));
 			if (s.predicate === "http://www.w3.org/2000/01/rdf-schema#range") rd.range = stripDefaultPrefix(i2q(String(s.object), prefixes));
+			if (s.predicate === "http://www.w3.org/2000/01/rdf-schema#label") rd.label = String(s.object);
+			if (s.predicate === "http://www.w3.org/2000/01/rdf-schema#comment") rd.comment = String(s.object);
 			if (s.predicate === SR + "cardinality") rd.cardinality = String(s.object);
 		}
 		onto.relations[name] = rd;
@@ -5751,7 +5759,14 @@ function turtleToOnto(r) {
 		const astmts = subjectMap.get(anode) || [];
 		const ad = { rule: "" };
 		for (const as_ of astmts) {
-			if (as_.predicate === SR + "description" || as_.predicate === "http://www.w3.org/2000/01/rdf-schema#label") ad.description = String(as_.object);
+			if (as_.predicate === SR + "description") ad.description = String(as_.object);
+			else if (as_.predicate === "http://www.w3.org/2000/01/rdf-schema#label") {
+				ad.label = String(as_.object);
+				if (ad.description === void 0) ad.description = String(as_.object);
+			} else if (as_.predicate === "http://www.w3.org/2000/01/rdf-schema#comment") {
+				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 + "axiomType") ad.type = String(as_.object);
 		}
@@ -6846,6 +6861,19 @@ function printLlmReviewHints(onto, issues) {
 	if (typeNames.length > 0) emit(`  [L4] Review types: ${typeNames.join(", ")} — are there missing distinctions?\n`);
 	if ((onto.axioms || []).map((a) => a.description || a.rule).join("; ")) emit(`  [L5] Axioms reference concepts — review if all referenced entities are defined\n`);
 }
+/**
+* Markdown **表格单元**转义（`explain` 的类型表用）。
+*
+* 🔴 为什么必须有：描述是**任意散文**，而表格行由 `|` 分列、由换行断行 ⇒
+*  - 描述里出现 `|`（本容器实测有：`sr:identity` 一类规则句、A45 探针注释都带）
+*    ⇒ **当场多切一列**，整表错位；
+*  - 描述跨多行 ⇒ **断行**，表格结构直接散架。
+* 两处都是"看着还能读、其实已经错位"的形态 ⇒ 在**唯一出口**统一处理，不指望作者自律。
+*/
+function mdCell(v) {
+	if (v === void 0 || v === "") return "-";
+	return v.replace(/\|/g, "\\|").replace(/\r?\n/g, " ");
+}
 function cmdExplain(args) {
 	if (args.length === 0) throw new MsmError("PARAMETER_MISSING", "user", "explain requires a file path", { validArgs: ["<path>"] }, "Usage: ontology explain <path>");
 	const filePath = args[0];
@@ -6856,9 +6884,9 @@ function cmdExplain(args) {
 	if (onto.imports && onto.imports.length > 0) emit(`Imports: ${onto.imports.join(", ")}\n`);
 	const types = merged.types || {};
 	emit(`\n### Types (${Object.keys(types).length})\n\n`);
-	emit("| Type | SuperTypes | Rigidity | Properties |\n");
-	emit("|------|-----------|----------|------------|\n");
-	for (const [name, td] of Object.entries(types)) emit(`| ${name} | ${(td.superTypes || []).join(", ") || "-"} | ${td.rigidity || "-"} | ${td.properties ? Object.keys(td.properties).join(", ") : "-"} |\n`);
+	emit("| Type | SuperTypes | Rigidity | Properties | Description |\n");
+	emit("|------|-----------|----------|------------|-------------|\n");
+	for (const [name, td] of Object.entries(types)) emit(`| ${name} | ${(td.superTypes || []).join(", ") || "-"} | ${td.rigidity || "-"} | ${td.properties ? Object.keys(td.properties).join(", ") : "-"} | ${mdCell(td.description)} |\n`);
 	const relations = merged.relations || {};
 	if (Object.keys(relations).length > 0) {
 		emit(`\n### Relations\n\n`);
@@ -7195,6 +7223,8 @@ function cmdReview(args) {
 				types: Object.entries(types).map(([n, t]) => ({
 					name: n,
 					description: t.description,
+					label: t.label,
+					comment: t.comment,
 					superTypes: t.superTypes,
 					rigidity: t.rigidity,
 					identity: t.identity,

package/lib/invariant.d.ts

@@ -10,6 +10,29 @@
  * 返回不一致项列表（空 = 通过）。
  */
 export declare function verifyToolConsistency(manifestPath: string, registeredTools: readonly string[]): string[];
+/**
+ * 把「声明面散文」钉成可判（v1.56.2，2026-10-12）。
+ *
+ * 🔴 **为什么需要它**：同一形状的漏改本仓已经犯过**三次** ——
+ *  - v1.31.0 加 `im-bridge`：两个包的 `description` 仍写「10 个工具」且不含它；
+ *  - v1.52.0 加 `ontology`：`package.json` 的 description 仍写「12 个工具」、`dsh.plugin.json`
+ *    的收尾用**位置指代**（"后三个按条件出现"）而被追加项**当场改指**、`README.md` 缺行；
+ *  - **v1.54.0 加 `serenity-skill-creator`**：`package.json` 的 description 仍写「13 个工具」
+ *    （且清单里没有它）、**两份 `README.md` 的 §3.1 标题**仍写「十二个工具」。
+ * v1.52.1 当时写下的判据是「后三处只能靠纪律」—— **本版起改为机械钉**：纪律已被三次证伪。
+ *
+ * 被判的三处（都是**装包的人最先看到的**，也都没有别的钉子）：
+ *  ① `contributes.tools.length === REGISTERED_TOOLS.length`；
+ *  ② **两份** `description` 都含正确的**总数**（`N 个工具`）—— 防"数错"；
+ *  ③ **两份** `description` 都含**每一个**工具名 —— 防"数对了、名单漏了"（v1.54.0 的形态）。
+ * ⚠️ 判据刻意**不要求**工具名出现在特定的逗号分隔段里（散文的排布是人的事，一钉就碎）；
+ *    「后三个按条件出现」这句话由 `CONDITIONAL_TOOL_COUNT` ＋ **顺序约定**保证**永远为真**
+ *    （见 `REGISTERED_TOOLS` 的注释），**不需要**逐句解析。
+ *
+ * @param manifestPath dsh.plugin.json 路径
+ * @param readmePaths   需要一并被判的 README 路径（仓库根 ＋ 包内两份；缺文件即报）
+ */
+export declare function assertManifestProse(manifestPath: string, readmePaths: readonly string[]): string[];
 /**
  * 包级不变量：本插件注册的工具集合（与 dsh.plugin.json contributes.tools 一致）。
  *
@@ -35,4 +58,6 @@ export declare function verifyToolConsistency(manifestPath: string, registeredTo
  * `review`（C 档，调引擎 `compliance`）／`index`（调 P1 的生成器）／`status` ⇒ **14**。
  * 同规格：**条件可见与否不影响这里列它**（本常量 = "插件**具备**的工具面"）。
  */
-export declare const REGISTERED_TOOLS: readonly ["container_fs", "container_trajectory", "dashboard", "container_git", "msm", "praxis", "handyman", "localstore", "container_admin", "im-bridge", "acc-diag", "diagram", "ontology", "serenity-skill-creator"];
+export declare const REGISTERED_TOOLS: readonly ["container_fs", "container_trajectory", "dashboard", "container_git", "msm", "praxis", "ontology", "serenity-skill-creator", "handyman", "localstore", "container_admin", "im-bridge", "acc-diag", "diagram"];
+/** 条件出现的工具数（`REGISTERED_TOOLS` 的**末段**；`assertManifestProse` 用） */
+export declare const CONDITIONAL_TOOL_COUNT = 3;

package/lib/invariant.js

@@ -1,3 +1,4 @@
+import { dirname, resolve } from "node:path";
 import { existsSync, readFileSync } from "node:fs";
 //#region src/invariant.ts
 /**
@@ -32,6 +33,84 @@ function verifyToolConsistency(manifestPath, registeredTools) {
 	return issues;
 }
 /**
+* 把「声明面散文」钉成可判（v1.56.2，2026-10-12）。
+*
+* 🔴 **为什么需要它**：同一形状的漏改本仓已经犯过**三次** ——
+*  - v1.31.0 加 `im-bridge`：两个包的 `description` 仍写「10 个工具」且不含它；
+*  - v1.52.0 加 `ontology`：`package.json` 的 description 仍写「12 个工具」、`dsh.plugin.json`
+*    的收尾用**位置指代**（"后三个按条件出现"）而被追加项**当场改指**、`README.md` 缺行；
+*  - **v1.54.0 加 `serenity-skill-creator`**：`package.json` 的 description 仍写「13 个工具」
+*    （且清单里没有它）、**两份 `README.md` 的 §3.1 标题**仍写「十二个工具」。
+* v1.52.1 当时写下的判据是「后三处只能靠纪律」—— **本版起改为机械钉**：纪律已被三次证伪。
+*
+* 被判的三处（都是**装包的人最先看到的**，也都没有别的钉子）：
+*  ① `contributes.tools.length === REGISTERED_TOOLS.length`；
+*  ② **两份** `description` 都含正确的**总数**（`N 个工具`）—— 防"数错"；
+*  ③ **两份** `description` 都含**每一个**工具名 —— 防"数对了、名单漏了"（v1.54.0 的形态）。
+* ⚠️ 判据刻意**不要求**工具名出现在特定的逗号分隔段里（散文的排布是人的事，一钉就碎）；
+*    「后三个按条件出现」这句话由 `CONDITIONAL_TOOL_COUNT` ＋ **顺序约定**保证**永远为真**
+*    （见 `REGISTERED_TOOLS` 的注释），**不需要**逐句解析。
+*
+* @param manifestPath dsh.plugin.json 路径
+* @param readmePaths   需要一并被判的 README 路径（仓库根 ＋ 包内两份；缺文件即报）
+*/
+function assertManifestProse(manifestPath, readmePaths) {
+	const manifest = readPluginManifest(manifestPath);
+	if (!manifest) return [`manifest not found or invalid: ${manifestPath}`];
+	const tools = manifest.contributes?.tools ?? [];
+	const n = tools.length;
+	const issues = [];
+	if (n !== REGISTERED_TOOLS.length) issues.push(`contributes.tools 有 ${n} 项，而 REGISTERED_TOOLS 有 ${REGISTERED_TOOLS.length} 项（两侧必须同长）`);
+	const pkgPath = resolve(dirname(manifestPath), "package.json");
+	const surfaces = [];
+	if (existsSync(pkgPath)) try {
+		const pkg = JSON.parse(readFileSync(pkgPath, "utf-8"));
+		surfaces.push({
+			where: "package.json description",
+			text: pkg.description ?? ""
+		});
+	} catch {
+		issues.push(`package.json 无法解析：${pkgPath}`);
+	}
+	else issues.push(`package.json 不存在：${pkgPath}`);
+	surfaces.push({
+		where: "dsh.plugin.json description",
+		text: manifest.description ?? ""
+	});
+	for (const s of surfaces) {
+		if (!s.text.includes(`${n} 个工具`)) issues.push(`${s.where} 未声明工具总数「${n} 个工具」（防"数错"）`);
+		const absent = tools.filter((t) => !s.text.includes(t));
+		if (absent.length) issues.push(`${s.where} 的名单缺 ${absent.length} 项：${absent.join(", ")}（防"数对了、名单漏了"）`);
+	}
+	const cn = [
+		"零",
+		"一",
+		"二",
+		"三",
+		"四",
+		"五",
+		"六",
+		"七",
+		"八",
+		"九",
+		"十"
+	];
+	const countCn = n <= 10 ? cn[n] : n < 20 ? `十${cn[n - 10]}` : `二十${n === 20 ? "" : cn[n - 20]}`;
+	for (const p of readmePaths) {
+		if (!existsSync(p)) {
+			issues.push(`README 不存在：${p}`);
+			continue;
+		}
+		const m = readFileSync(p, "utf-8").match(/^###\s*3\.1\s*(\S+?)个工具/m);
+		if (!m) {
+			issues.push(`${p} 里找不到 §3.1 的「…个工具」标题（形态已变 ⇒ 钉子也要跟着改）`);
+			continue;
+		}
+		if (m[1] !== countCn) issues.push(`${p} 的 §3.1 标题写「${m[1]}个工具」，应为「${countCn}个工具」（工具数已 ${n}）`);
+	}
+	return issues;
+}
+/**
 * 包级不变量：本插件注册的工具集合（与 dsh.plugin.json contributes.tools 一致）。
 *
 * v1.31.1 修正：v1.31.0 新增 `im-bridge`（条件可见）时**漏改此处与清单**——两侧同错 →
@@ -63,14 +142,16 @@ const REGISTERED_TOOLS = [
 	"container_git",
 	"msm",
 	"praxis",
+	"ontology",
+	"serenity-skill-creator",
 	"handyman",
 	"localstore",
 	"container_admin",
 	"im-bridge",
 	"acc-diag",
-	"diagram",
-	"ontology",
-	"serenity-skill-creator"
+	"diagram"
 ];
+/** 条件出现的工具数（`REGISTERED_TOOLS` 的**末段**；`assertManifestProse` 用） */
+const CONDITIONAL_TOOL_COUNT = 3;
 //#endregion
-export { REGISTERED_TOOLS, verifyToolConsistency };
+export { CONDITIONAL_TOOL_COUNT, REGISTERED_TOOLS, assertManifestProse, verifyToolConsistency };

package/lib/ontology/engine.d.ts

@@ -56,6 +56,8 @@ interface PropertyDef {
 }
 interface TypeDef {
     description?: string;
+    label?: string;
+    comment?: string;
     superTypes?: string[];
     rigidity?: "rigid" | "anti-rigid" | "semi-rigid";
     identity?: string[];
@@ -64,6 +66,8 @@ interface TypeDef {
     axioms?: string[];
 }
 interface RelationDef {
+    label?: string;
+    comment?: string;
     domain?: string;
     range?: string;
     cardinality?: string;
@@ -76,6 +80,10 @@ interface RelationDef {
 }
 interface AxiomDef {
     description?: string;
+    /** `rdfs:label`（与 `description` 分开存；description 仍以 `sr:description` 优先） */
+    label?: string;
+    /** `rdfs:comment` */
+    comment?: string;
     rule: string;
     type?: string;
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@shgroup/dsh-serenity-hooks",
-  "version": "1.56.1",
-  "description": "宁静号 ACC harness（Native Cordis 插件）——给 DeepSeek Harness 装一个「AI 工作区」：13 个工具（container_fs/container_trajectory/dashboard/container_git/msm/praxis/ontology/handyman/localstore/container_admin；另三个 im-bridge/acc-diag/diagram 按配置条件出现）+ 机械约束（安全模式/工作区围墙/密钥守卫/对外输出守卫）+ 工作日志与原地重建 + 网页登录入口/微信桥/子角色/对外问答页/trajectory 唤醒注册表。适配 DSH 0.1.7-rc.1。",
+  "version": "1.56.2",
+  "description": "宁静号 ACC harness（Native Cordis 插件）——给 DeepSeek Harness 装一个「AI 工作区」：14 个工具（container_fs/container_trajectory/dashboard/container_git/msm/praxis/ontology/serenity-skill-creator/handyman/localstore/container_admin；另三个 im-bridge/acc-diag/diagram 按配置条件出现）+ 机械约束（安全模式/工作区围墙/密钥守卫/对外输出守卫）+ 工作日志与原地重建 + 网页登录入口/微信桥/子角色/对外问答页/trajectory 唤醒注册表。适配 DSH 0.1.7-rc.1 与 0.2.0-rc.1（双档）。",
   "license": "MIT",
   "repository": {
     "type": "git",