dsh-logicprobe 1.4.0 → 1.4.2

package/README.en-US.md

@@ -2,7 +2,26 @@
 
 <p align="center"><strong>English</strong> · <a href="README.md">中文</a></p>
 
-[![HOL Guard Scanner](https://img.shields.io/badge/HOL%20Guard-passing-00a67e)](https://github.com/hashgraph-online/hol-guard)
+<p align="center">
+  <a href="https://github.com/AmethystLuna/logicprobe/actions/workflows/dsh-bundle.yml"><img src="https://github.com/AmethystLuna/logicprobe/actions/workflows/dsh-bundle.yml/badge.svg" alt="CI"></a>
+  <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg" alt="License: MIT"></a>
+  <a href="https://nodejs.org/"><img src="https://img.shields.io/badge/node-%3E%3D20-blue.svg" alt="Node 20+"></a>
+  <a href="https://github.com/hashgraph-online/hol-guard"><img src="https://img.shields.io/badge/HOL%20Guard-passing-00a67e" alt="HOL Guard"></a>
+  <a href="https://afdian.com/a/amethystluna"><img src="https://img.shields.io/badge/%E7%88%B1%E5%8F%91%E7%94%B5-Afdian-946CE6" alt="Sponsor on Afdian"></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.3; per-release evidence is in
+> [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md).
 
 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 +29,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 +319,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.3. The earlier round measured 0.1.5-rc.2 through 0.2.1-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.
 
@@ -374,3 +401,9 @@ To report a security vulnerability, do **not** open a public issue. Use the priv
 ## Acknowledgments
 
 The claim-verification methodology (logic primitives, adversarial probing, refactoring before/after comparison) and the trigger test framework (`tests/skill-triggering/`) follow the conventions of [Superpowers](https://github.com/obra/superpowers) by Jesse Vincent (MIT License), as adapted in the [embedded-workbench](https://github.com/AmethystLuna/embedded-workbench) plugin.
+
+## Sponsor
+
+This plugin is open source under the MIT license. If it saves you time, you can support development on [Afdian](https://afdian.com/a/amethystluna).
+
+Sponsorship is voluntary and changes neither the license nor the features.

package/README.md

@@ -2,12 +2,35 @@
 
 <p align="center"><a href="README.en-US.md">English</a> · <strong>中文</strong></p>
 
+<p align="center">
+  <a href="https://github.com/AmethystLuna/logicprobe/actions/workflows/dsh-bundle.yml"><img src="https://github.com/AmethystLuna/logicprobe/actions/workflows/dsh-bundle.yml/badge.svg" alt="CI"></a>
+  <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg" alt="License: MIT"></a>
+  <a href="https://nodejs.org/"><img src="https://img.shields.io/badge/node-%3E%3D20-blue.svg" alt="Node 20+"></a>
+  <a href="https://github.com/hashgraph-online/hol-guard"><img src="https://img.shields.io/badge/HOL%20Guard-passing-00a67e" alt="HOL Guard"></a>
+  <a href="https://afdian.com/a/amethystluna"><img src="https://img.shields.io/badge/%E7%88%B1%E5%8F%91%E7%94%B5-Afdian-946CE6" alt="在爱发电上赞助"></a>
+</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.3 上已实测安装、挂载、启动、工具调用与卸载；逐版本证据见
+> [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 +313,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.3 上实测了安装、挂载、启动与卸载；更早一轮实测覆盖 0.1.5-rc.2 到 0.2.1-rc.2。逐版本证据见 [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md)。
 - Web 端的「Gate 注入」开关需要 **dsh ≥ 0.1.7-alpha.1**，因为设置服务必须能投影即时字段。更早的 dsh 上插件照常加载、照常注入，只是开关不出现，也不报错。
 - Python 3.8+（标准库），在 dsh 之外运行验证所需；手动兜底模式不需要任何依赖。
 
@@ -371,3 +394,9 @@ npm run build
 ## 致谢
 
 声称核查方法论（逻辑原语、对抗探测、重构前后对比）与触发测试框架（`tests/skill-triggering/`）遵循 [Superpowers](https://github.com/obra/superpowers)（Jesse Vincent，MIT License）的约定，经 [embedded-workbench](https://github.com/AmethystLuna/embedded-workbench) 插件改编而来。
+
+## 赞助
+
+本插件以 MIT 许可证开源。如果它节省了你的时间，可以在[爱发电](https://afdian.com/a/amethystluna)赞助开发。
+
+赞助完全自愿，不影响许可证，也不改变任何功能。