@shgroup/dsh-serenity-hooks 1.51.6 → 1.52.1

package/lib/invariant.d.ts

@@ -24,5 +24,9 @@ export declare function verifyToolConsistency(manifestPath: string, registeredTo
  * v1.51（**D104**）：新增 **`diagram`**（标签源码 → 进程内光栅化成 PNG；**缺省关**，
  * 关时连 `ctx.tools.register` 都不调用）⇒ **12**。同规格：开关关着**不影响这里列它** ——
  * 本常量描述的是"插件**具备**的工具面"，不是"此刻注册了几个"。
+ *
+ * v1.52（**D121**，owner 2026-10-11 裁「引擎搬进 ACC」）：新增 **`ontology`** —— 本体工程
+ * **引擎**（原为 CCC 的 MSM `ontology-engineering`，逐字搬迁；见 `src/ontology/engine.ts` 文件头
+ * 的三处改写）。它与 `praxis ontology`（**方法文本**）是**同一领域的两个面**：一个说、一个跑 ⇒ **13**。
  */
-export declare const REGISTERED_TOOLS: readonly ["container_fs", "container_trajectory", "dashboard", "container_git", "msm", "praxis", "handyman", "localstore", "container_admin", "im-bridge", "acc-diag", "diagram"];
+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"];

package/lib/invariant.js

@@ -45,6 +45,10 @@ function verifyToolConsistency(manifestPath, registeredTools) {
 * v1.51（**D104**）：新增 **`diagram`**（标签源码 → 进程内光栅化成 PNG；**缺省关**，
 * 关时连 `ctx.tools.register` 都不调用）⇒ **12**。同规格：开关关着**不影响这里列它** ——
 * 本常量描述的是"插件**具备**的工具面"，不是"此刻注册了几个"。
+*
+* v1.52（**D121**，owner 2026-10-11 裁「引擎搬进 ACC」）：新增 **`ontology`** —— 本体工程
+* **引擎**（原为 CCC 的 MSM `ontology-engineering`，逐字搬迁；见 `src/ontology/engine.ts` 文件头
+* 的三处改写）。它与 `praxis ontology`（**方法文本**）是**同一领域的两个面**：一个说、一个跑 ⇒ **13**。
 */
 const REGISTERED_TOOLS = [
 	"container_fs",
@@ -58,7 +62,8 @@ const REGISTERED_TOOLS = [
 	"container_admin",
 	"im-bridge",
 	"acc-diag",
-	"diagram"
+	"diagram",
+	"ontology"
 ];
 //#endregion
 export { REGISTERED_TOOLS, verifyToolConsistency };

package/lib/ontology/engine.d.ts

@@ -0,0 +1,168 @@
+/**
+ * engine.ts — Ontology Definition, Validation & Semantic Review（ACC 侧引擎）
+ *
+ * 来源：宁静号 CCC 的 MSM `ontology-engineering`
+ *   （原 `.opencode/skills/home-ontology/scripts/ontology-engineering.ts`；
+ *    2026-10-11 owner 裁「搬到 ACC」）。
+ *   搬迁方式 = **复制 ＋ 机械改写**，不是重写 —— 判据群（M1–M10／L1–L5／D1–D8／V1–V4）与
+ *   全部输出文案**逐字保留**，只在"如何被调用/如何吐字"这一层做了三处改写（见下）。
+ *
+ * 本文件是**纯引擎**：只用 node 内建模块，不依赖宿主与 CCC。三段分工：
+ *   · 引擎（本文件）＝ 解析与检查；
+ *   · 工具壳 `src/tools/ontology-eng.ts` ＝ 参数、路径守卫、把结果翻成回执；
+ *   · 方法手册 `src/tools/ontology.ts`（praxis 第四段）＝ 人/模型读的方法论。
+ *
+ * 🔴 搬迁改写清单（相对原 MSM 脚本，行为差异仅此三处）：
+ *   ① **输出不再直写 `process.stdout`** ⇒ 经 `emit()`／`emitErr()` 汇聚。宿主是**长驻进程**，
+ *      工具调用必须**返回文本**（且不能污染服务器自己的 stdout）。
+ *   ② **`main()` ＋ `process.argv` 守卫 ⇒ 导出 `runOntologyCli(argv, opts)`**：**不再 `process.exit`**，
+ *      退出码（0/1/2/4）改为**返回值**，由工具壳翻译成可读回执。
+ *   ③ **运行时工作目录由调用方给**（`opts.cwd` = CCC 根）：引擎多处按相对路径解析
+ *      `.opencode/skills` ⇒ 改用**显式基准目录 `BASE`**（一律 `resolve(BASE, …)`），
+ *      **不用 `process.chdir`** —— chdir 在 **worker 线程里不被支持**
+ *      （`ERR_WORKER_UNSUPPORTED_OPERATION`；vitest 就用 worker 跑），且长驻进程
+ *      改全局 cwd 是隐患。`BASE` 只在本进程内、由 `runOntologyCli` 的 try/finally
+ *      保存与恢复；`resolve(BASE, x)` 对**绝对路径天然无害**（原样返回）⇒ 生产路径
+ *      （工具壳传绝对路径进来）行为不变。
+ *
+ * subcommands（与原脚本逐一对应）：
+ *   init       <path> [--template minimal|full]       写一份 Turtle 模板
+ *   check      <path> [--level normal|strict]         M1–M10 结构检查（strict 另出 L1–L5 提示）
+ *   explain    <path>                                 自然语言摘要
+ *   verify     <path> [--level operational|continuity|full]  V1–V4 运行时合规
+ *   review     <path> [--level semantic|onto-clean|full] [--format prompt|json]  语义审查提示词
+ *   compliance <path> [--skills <dir>] [--format prompt|json]  公理↔skill 合规清单
+ *
+ * 退出码：0 成功 ／ 1 user（参数或校验失败）／ 2 system（文件缺失／解析失败）／ 4 internal
+ * 错误码：PARAMETER_MISSING ／ PARAMETER_INVALID_VALUE ／ ONTO_FILE_NOT_FOUND ／ ONTO_PARSE_ERROR
+ *        ／ ONTO_AXIOM_PARSE_ERROR ／ ONTO_VALIDATION_FAILED ／ INTERNAL_UNHANDLED_STATE
+ */
+type Category = "user" | "system" | "operator" | "internal";
+declare class MsmError extends Error {
+    code: string;
+    category: Category;
+    message: string;
+    context: Record<string, unknown>;
+    remediation?: string | undefined;
+    cause?: unknown | undefined;
+    constructor(code: string, category: Category, message: string, context?: Record<string, unknown>, remediation?: string | undefined, cause?: unknown | undefined);
+    toStderr(): string;
+    exitCode(): number;
+}
+interface PropertyDef {
+    type: string;
+    cardinality?: string;
+    values?: string[];
+}
+interface TypeDef {
+    description?: string;
+    superTypes?: string[];
+    rigidity?: "rigid" | "anti-rigid" | "semi-rigid";
+    identity?: string[];
+    dependsOn?: string[];
+    properties?: Record<string, PropertyDef>;
+    axioms?: string[];
+}
+interface RelationDef {
+    domain?: string;
+    range?: string;
+    cardinality?: string;
+    functional?: boolean;
+    transitive?: boolean;
+    symmetric?: boolean;
+    asymmetric?: boolean;
+    reflexive?: boolean;
+    irreflexive?: boolean;
+}
+interface AxiomDef {
+    description?: string;
+    rule: string;
+    type?: string;
+}
+interface OntologyDefinition {
+    name?: string;
+    version?: string;
+    imports?: string[];
+    types?: Record<string, TypeDef>;
+    relations?: Record<string, RelationDef>;
+    axioms?: AxiomDef[];
+}
+type ExprNode = PropAccessNode | LiteralNode | FuncCallNode | QuantifierNode | BinaryOpNode | UnaryOpNode | ImplicationNode | ParensNode;
+interface PropAccessNode {
+    kind: "propAccess";
+    path: string[];
+    pos: number;
+}
+interface LiteralNode {
+    kind: "literal";
+    value: string | number | boolean | null;
+    raw: string;
+    pos: number;
+}
+interface FuncCallNode {
+    kind: "funcCall";
+    name: string;
+    args: ExprNode[];
+    pos: number;
+}
+interface QuantifierNode {
+    kind: "quantifier";
+    quant: "exists" | "forall";
+    variable: string;
+    typeName: string;
+    body: ExprNode;
+    pos: number;
+}
+interface BinaryOpNode {
+    kind: "binaryOp";
+    op: string;
+    left: ExprNode;
+    right: ExprNode;
+    pos: number;
+}
+interface UnaryOpNode {
+    kind: "unaryOp";
+    op: "not" | "minus";
+    operand: ExprNode;
+    pos: number;
+}
+interface ImplicationNode {
+    kind: "implication";
+    antecedent: ExprNode;
+    consequent: ExprNode;
+    pos: number;
+}
+interface ParensNode {
+    kind: "parens";
+    expr: ExprNode;
+    pos: number;
+}
+interface CheckIssue {
+    check: string;
+    severity: "error" | "warning";
+    message: string;
+}
+declare function validateOnto(onto: OntologyDefinition, level: "normal" | "strict"): CheckIssue[];
+export interface OntologyRunOptions {
+    /** 运行时工作目录（= CCC 根）：引擎多处按相对路径解析 `.opencode/skills` 等。
+     *  ⇒ 落到**解析基准 `BASE`**（改写 ③）；**不做 `process.chdir`**（worker 线程不支持）。 */
+    cwd?: string;
+    /** 顶层 skill 名（缺省 `home-serenity`）：容器级资产（根标记／MSM 注册表／合规扫描）按它定位 */
+    topSkill?: string;
+    /** `sr:` 命名空间（缺省 `http://home-serenity/ontology#`） */
+    namespace?: string;
+}
+export interface OntologyRunResult {
+    /** 退出码：0 成功 ／ 1 user ／ 2 system ／ 4 internal */
+    code: number;
+    stdout: string;
+    stderr: string;
+}
+/**
+ * runOntologyCli —— 同步跑一次引擎调用，**返回**输出与退出码（不打印、不退出）。
+ *
+ * 调用方（工具壳 `src/tools/ontology-eng.ts`）负责：路径守卫（必须落在 CCC 内）、
+ * 以及把 `code !== 0` 翻成响亮的回执（引擎的 stderr 文案**逐字保留**，不重写）。
+ */
+export declare function runOntologyCli(argv: string[], opts?: OntologyRunOptions): OntologyRunResult;
+export { MsmError, validateOnto, type OntologyDefinition, type CheckIssue, type ExprNode };

package/lib/tools/ontology-eng.d.ts

@@ -0,0 +1,14 @@
+export interface OntologyToolResult {
+    ok: boolean;
+    code: number;
+    command: string;
+    /** 容器内相对路径（回执里给相对路径：它是可重建的那一个） */
+    path: string;
+    stdout: string;
+    stderr: string;
+}
+/**
+ * 本体工程引擎（`ontology`）—— 六个子命令：init/check/explain/verify/review/compliance。
+ * 只读的五个不写任何文件；`init` 会在容器内**新建** .ttl 模板。
+ */
+export declare function createOntologyTool(): import("@deepseek-ai/dsh-tools").ToolDefinition;

package/package.json

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