dsh-logicprobe 1.4.0 → 1.4.1

package/README.en-US.md

@@ -2,6 +2,19 @@
 
 <p align="center"><strong>English</strong> · <a href="README.md">中文</a></p>
 
+> **Status**: this plugin checks claims about designs, code and plans. It continues
+> as `dsh-model-everything`, which covers the same claim, behaviour, structure, UML,
+> data-model, concurrency, export and report-comparison ground, and adds a design
+> review engine (layering, boundaries, substitutability, interface width, graph
+> shape), a report-reading skill, label explanation, and an optional session-start
+> routing component. It is not an API twin: the UML capability is split across tools
+> where this plugin has one `logicprobe_uml`. It is published as
+> [`dsh-model-everything`](https://github.com/AmethystLuna/dsh-model-everything)
+> ([npm](https://www.npmjs.com/package/dsh-model-everything)). Existing installs
+> keep working. Installation, mount, boot, tool call and uninstall were measured on
+> 0.2.1-rc.2 and 0.2.1-rc.1; per-release evidence is in
+> [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md).
+
 [![HOL Guard Scanner](https://img.shields.io/badge/HOL%20Guard-passing-00a67e)](https://github.com/hashgraph-online/hol-guard)
 
 For an unverified design, failure is only a matter of time. However complex the code, model it and run it — then it becomes clear.
@@ -10,6 +23,14 @@ logicprobe checks a claim against the thing it describes. Facts go against the s
 
 **Cross-platform**: works with Claude Code, Codex CLI, Cursor, Kimi CLI, OpenCode, and ZCode. Built on the [Agent Skills](https://agentskills.io) open standard.
 
+> **Use case diagrams and the other UML families**: this plugin models state machines
+> and flows only. A use case diagram (`:Actor: --> (UseCase)`), a class, component or
+> deployment diagram is **refused by name** instead of being misread as a state machine.
+> For render/parse/review across all fourteen UML 2.5 diagram families, use
+> [dsh-model-everything](https://github.com/AmethystLuna/dsh-model-everything), which
+> carries this plugin's whole diagram capability (notation syntax engine, capability
+> matrix, use case and structure family modules).
+
 ## What It Does
 
 | Phase | What |
@@ -292,7 +313,7 @@ Skills are invoked with `$logicprobe`. See `.zcode/INSTALL.md`.
 ## Requirements
 
 - Host: Claude Code v2.1+ / Codex CLI latest / Cursor 2.5+ / Kimi CLI latest / OpenCode latest / ZCode 3.0+
-- DeepSeek Harness (dsh): dev preview, declared support for `>= 0.1.0-rc.7`. The latest round measured install, mount, boot and uninstall on 0.2.1-alpha.1. The earlier round measured 0.1.5-rc.2 through 0.2.0-rc.2. Per-release evidence is in [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md).
+- DeepSeek Harness (dsh): dev preview, declared support for `>= 0.1.0-rc.7`. The latest round measured install, mount, boot and uninstall on 0.2.1-rc.2 and 0.2.1-rc.1. The earlier round measured 0.1.5-rc.2 through 0.2.0-rc.2. Per-release evidence is in [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md).
 - The Web Plugins-page "Gate injection" switch requires **dsh ≥ 0.1.7-alpha.1**, because its settings service must be able to project live fields. On older dsh the plugin still loads and still injects. The switch is simply absent, with no error.
 - Python 3.8+ (standard library), needed to run the checks outside dsh. The manual mode needs no dependencies.
 

package/README.md

@@ -2,12 +2,27 @@
 
 <p align="center"><a href="README.en-US.md">English</a> · <strong>中文</strong></p>
 
+> **状态**：本插件核验设计、代码与计划中的声称。它继续以 `dsh-model-everything`
+> 的形式发展，同样覆盖声称、行为、结构、UML、数据模型、并发、导出与报告对比，
+> 并加上设计原则审查（分层、边界、可替换性、接口宽度、图形状）、报告阅读技能、
+> 标签口径解释和可选的会话启动路由。它不是本插件的 API 镜像：UML 能力拆在多个
+> 工具里，本插件只有一个 `logicprobe_uml`。它已发布为
+> [`dsh-model-everything`](https://github.com/AmethystLuna/dsh-model-everything)
+> （[npm](https://www.npmjs.com/package/dsh-model-everything)）。现有安装继续可用。
+> 0.2.1-rc.2 与 0.2.1-rc.1 上已实测安装、挂载、启动、工具调用与卸载；逐版本证据见
+> [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md)。
+
 没验证过的设计，翻车只是时间问题；再复杂的代码，建模再跑就清楚了。
 
 logicprobe 核验声称与实物是否一致。事实类对着源码查。行为类跑模型：状态机、协议、组合、数据模型、迁移。图按依赖图读，单层或多层。改动前后用基线对比。验不了的维度明说，并指出该用哪个工具。
 
 **跨平台**：支持 Claude Code、Codex CLI、Cursor、Kimi CLI、OpenCode、ZCode。技能基于 [Agent Skills](https://agentskills.io) 开放标准。
 
+> **用例图与其它 UML 图族**：本插件只建模状态机与流程。用例图（`:Actor: --> (UseCase)`）、类图、
+> 组件图、部署图等会被**按名拒绝**，不会被误读成状态机。需要完整 14 类 UML 2.5 图族的
+> render/parse/review 时，用 [dsh-model-everything](https://github.com/AmethystLuna/dsh-model-everything)：
+> 它承接了本插件的全部图能力（记号语法引擎、能力矩阵、用例与结构族模块）。
+
 ## 功能
 
 | 阶段 | 内容 |
@@ -290,7 +305,7 @@ cp -r logicprobe/skills/* .zcode/skills/
 ## 环境要求
 
 - 宿主：Claude Code v2.1+ / Codex CLI 最新 / Cursor 2.5+ / Kimi CLI 最新 / OpenCode 最新 / ZCode 3.0+
-- DeepSeek Harness (dsh)：dev preview，声明支持 `>= 0.1.0-rc.7`。最新一轮在 0.2.1-alpha.1 上实测了安装、挂载、启动与卸载；更早一轮实测覆盖 0.1.5-rc.2 到 0.2.0-rc.2。逐版本证据见 [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md)。
+- DeepSeek Harness (dsh)：dev preview，声明支持 `>= 0.1.0-rc.7`。最新一轮在 0.2.1-rc.2 与 0.2.1-rc.1 上实测了安装、挂载、启动与卸载；更早一轮实测覆盖 0.1.5-rc.2 到 0.2.0-rc.2。逐版本证据见 [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md)。
 - Web 端的「Gate 注入」开关需要 **dsh ≥ 0.1.7-alpha.1**，因为设置服务必须能投影即时字段。更早的 dsh 上插件照常加载、照常注入，只是开关不出现，也不报错。
 - Python 3.8+（标准库），在 dsh 之外运行验证所需；手动兜底模式不需要任何依赖。