dsh-logicprobe 1.4.1 → 1.4.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/README.en-US.md +16 -4
  2. package/README.md +16 -2
  3. package/package.json +14 -8
package/README.en-US.md CHANGED
@@ -2,6 +2,14 @@
2
2
 
3
3
  <p align="center"><strong>English</strong> · <a href="README.md">中文</a></p>
4
4
 
5
+ <p align="center">
6
+ <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>
7
+ <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg" alt="License: MIT"></a>
8
+ <a href="https://nodejs.org/"><img src="https://img.shields.io/badge/node-%3E%3D20-blue.svg" alt="Node 20+"></a>
9
+ <a href="https://github.com/hashgraph-online/hol-guard"><img src="https://img.shields.io/badge/HOL%20Guard-passing-00a67e" alt="HOL Guard"></a>
10
+ <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>
11
+ </p>
12
+
5
13
  > **Status**: this plugin checks claims about designs, code and plans. It continues
6
14
  > as `dsh-model-everything`, which covers the same claim, behaviour, structure, UML,
7
15
  > data-model, concurrency, export and report-comparison ground, and adds a design
@@ -12,11 +20,9 @@
12
20
  > [`dsh-model-everything`](https://github.com/AmethystLuna/dsh-model-everything)
13
21
  > ([npm](https://www.npmjs.com/package/dsh-model-everything)). Existing installs
14
22
  > keep working. Installation, mount, boot, tool call and uninstall were measured on
15
- > 0.2.1-rc.2 and 0.2.1-rc.1; per-release evidence is in
23
+ > 0.2.1-rc.4; per-release evidence is in
16
24
  > [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md).
17
25
 
18
- [![HOL Guard Scanner](https://img.shields.io/badge/HOL%20Guard-passing-00a67e)](https://github.com/hashgraph-online/hol-guard)
19
-
20
26
  For an unverified design, failure is only a matter of time. However complex the code, model it and run it — then it becomes clear.
21
27
 
22
28
  logicprobe checks a claim against the thing it describes. Facts go against the source. Behaviour goes through a model: state machines, protocols, composition, data models, migrations. Diagrams are read as dependency graphs, at one level or several. Two reports can be compared to see whether a change made things worse. Dimensions it cannot verify are named, and routed.
@@ -313,7 +319,7 @@ Skills are invoked with `$logicprobe`. See `.zcode/INSTALL.md`.
313
319
  ## Requirements
314
320
 
315
321
  - Host: Claude Code v2.1+ / Codex CLI latest / Cursor 2.5+ / Kimi CLI latest / OpenCode latest / ZCode 3.0+
316
- - 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).
322
+ - 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.4. The earlier round measured 0.1.5-rc.2 through 0.2.1-rc.3. Per-release evidence is in [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md).
317
323
  - 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.
318
324
  - Python 3.8+ (standard library), needed to run the checks outside dsh. The manual mode needs no dependencies.
319
325
 
@@ -395,3 +401,9 @@ To report a security vulnerability, do **not** open a public issue. Use the priv
395
401
  ## Acknowledgments
396
402
 
397
403
  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.
404
+
405
+ ## Sponsor
406
+
407
+ 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).
408
+
409
+ Sponsorship is voluntary and changes neither the license nor the features.
package/README.md CHANGED
@@ -2,6 +2,14 @@
2
2
 
3
3
  <p align="center"><a href="README.en-US.md">English</a> · <strong>中文</strong></p>
4
4
 
5
+ <p align="center">
6
+ <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>
7
+ <a href="LICENSE"><img src="https://img.shields.io/badge/license-MIT-blue.svg" alt="License: MIT"></a>
8
+ <a href="https://nodejs.org/"><img src="https://img.shields.io/badge/node-%3E%3D20-blue.svg" alt="Node 20+"></a>
9
+ <a href="https://github.com/hashgraph-online/hol-guard"><img src="https://img.shields.io/badge/HOL%20Guard-passing-00a67e" alt="HOL Guard"></a>
10
+ <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>
11
+ </p>
12
+
5
13
  > **状态**：本插件核验设计、代码与计划中的声称。它继续以 `dsh-model-everything`
6
14
  > 的形式发展，同样覆盖声称、行为、结构、UML、数据模型、并发、导出与报告对比，
7
15
  > 并加上设计原则审查（分层、边界、可替换性、接口宽度、图形状）、报告阅读技能、
@@ -9,7 +17,7 @@
9
17
  > 工具里，本插件只有一个 `logicprobe_uml`。它已发布为
10
18
  > [`dsh-model-everything`](https://github.com/AmethystLuna/dsh-model-everything)
11
19
  > （[npm](https://www.npmjs.com/package/dsh-model-everything)）。现有安装继续可用。
12
- > 0.2.1-rc.2 与 0.2.1-rc.1 上已实测安装、挂载、启动、工具调用与卸载；逐版本证据见
20
+ > 0.2.1-rc.4 上已实测安装、挂载、启动、工具调用与卸载；逐版本证据见
13
21
  > [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md)。
14
22
 
15
23
  没验证过的设计，翻车只是时间问题；再复杂的代码，建模再跑就清楚了。
@@ -305,7 +313,7 @@ cp -r logicprobe/skills/* .zcode/skills/
305
313
  ## 环境要求
306
314
 
307
315
  - 宿主：Claude Code v2.1+ / Codex CLI 最新 / Cursor 2.5+ / Kimi CLI 最新 / OpenCode 最新 / ZCode 3.0+
308
- - 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)。
316
+ - DeepSeek Harness (dsh)：dev preview，声明支持 `>= 0.1.0-rc.7`。最新一轮在 0.2.1-rc.4 上实测了安装、挂载、启动与卸载；更早一轮实测覆盖 0.1.5-rc.2 到 0.2.1-rc.3。逐版本证据见 [DSH-COMPATIBILITY.md](DSH-COMPATIBILITY.md)。
309
317
  - Web 端的「Gate 注入」开关需要 **dsh ≥ 0.1.7-alpha.1**，因为设置服务必须能投影即时字段。更早的 dsh 上插件照常加载、照常注入，只是开关不出现，也不报错。
310
318
  - Python 3.8+（标准库），在 dsh 之外运行验证所需；手动兜底模式不需要任何依赖。
311
319
 
@@ -386,3 +394,9 @@ npm run build
386
394
  ## 致谢
387
395
 
388
396
  声称核查方法论（逻辑原语、对抗探测、重构前后对比）与触发测试框架（`tests/skill-triggering/`）遵循 [Superpowers](https://github.com/obra/superpowers)（Jesse Vincent，MIT License）的约定，经 [embedded-workbench](https://github.com/AmethystLuna/embedded-workbench) 插件改编而来。
397
+
398
+ ## 赞助
399
+
400
+ 本插件以 MIT 许可证开源。如果它节省了你的时间，可以在[爱发电](https://afdian.com/a/amethystluna)赞助开发。
401
+
402
+ 赞助完全自愿，不影响许可证，也不改变任何功能。
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "dsh-logicprobe",
3
- "version": "1.4.1",
3
+ "version": "1.4.3",
4
4
  "description": "Verifies claims about designs and code. Facts go against the source. Behaviour goes through an executable model: state machines, protocols, composition, data models, migrations. Structure diagrams are read as dependency graphs, at one level or several. Two reports can be compared for regression. Exports UPPAAL, TLA+, PRISM and SPIN input. Ships a native DeepSeek Harness bundle that injects the verification gate into the first model step.",
5
5
  "type": "module",
6
6
  "main": "lib/index.js",
@@ -40,7 +40,7 @@
40
40
  ]
41
41
  },
42
42
  "compatibility": {
43
- "dsh": "^0.1.0-rc.7 || ^0.1.1-rc.1 || ^0.1.2-alpha.2 || ^0.1.2-alpha.3 || ^0.1.2-alpha.4 || ^0.1.2-alpha.5 || ^0.1.2-rc.1 || ^0.1.3-alpha.1 || ^0.1.3-alpha.2 || ^0.1.5-alpha.1 || ^0.1.5-rc.1 || ^0.1.5-alpha.2 || ^0.1.5-rc.2 || ^0.1.5-rc.3 || ^0.1.6-alpha.1 || ^0.1.6-alpha.2 || ^0.1.7-alpha.1 || ^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.1.7-rc.2 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2",
43
+ "dsh": "^0.1.0-rc.7 || ^0.1.1-rc.1 || ^0.1.2-alpha.2 || ^0.1.2-alpha.3 || ^0.1.2-alpha.4 || ^0.1.2-alpha.5 || ^0.1.2-rc.1 || ^0.1.3-alpha.1 || ^0.1.3-alpha.2 || ^0.1.5-alpha.1 || ^0.1.5-rc.1 || ^0.1.5-alpha.2 || ^0.1.5-rc.2 || ^0.1.5-rc.3 || ^0.1.6-alpha.1 || ^0.1.6-alpha.2 || ^0.1.7-alpha.1 || ^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.1.7-rc.2 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2 || ^0.2.1-rc.3 || ^0.2.1-rc.4",
44
44
  "dshReleases": {
45
45
  "0.1.0-rc.7": "compatible",
46
46
  "0.1.0-rc.8": "compatible",
@@ -69,7 +69,9 @@
69
69
  "0.2.1-alpha.1": "compatible",
70
70
  "0.2.1-alpha.2": "compatible",
71
71
  "0.2.1-rc.1": "compatible",
72
- "0.2.1-rc.2": "compatible"
72
+ "0.2.1-rc.2": "compatible",
73
+ "0.2.1-rc.3": "compatible",
74
+ "0.2.1-rc.4": "compatible"
73
75
  },
74
76
  "profiles": [
75
77
  "headless",
@@ -87,11 +89,11 @@
87
89
  },
88
90
  "peerDependencies": {
89
91
  "@deepseek-ai/cordis": "^4.0.4",
90
- "@deepseek-ai/dsh-agent": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2",
91
- "@deepseek-ai/dsh-llm": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2",
92
- "@deepseek-ai/dsh-session": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2",
93
- "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.8 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2",
94
- "@deepseek-ai/dsh-tools": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2",
92
+ "@deepseek-ai/dsh-agent": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2 || ^0.2.1-rc.3 || ^0.2.1-rc.4",
93
+ "@deepseek-ai/dsh-llm": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2 || ^0.2.1-rc.3 || ^0.2.1-rc.4",
94
+ "@deepseek-ai/dsh-session": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2 || ^0.2.1-rc.3 || ^0.2.1-rc.4",
95
+ "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.8 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2 || ^0.2.1-rc.3 || ^0.2.1-rc.4",
96
+ "@deepseek-ai/dsh-tools": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2 || ^0.2.1-rc.1 || ^0.2.1-rc.2 || ^0.2.1-rc.3 || ^0.2.1-rc.4",
95
97
  "@deepseek-ai/schemastery": "^3.18.4"
96
98
  },
97
99
  "devDependencies": {
@@ -121,6 +123,10 @@
121
123
  },
122
124
  "license": "MIT",
123
125
  "repository": "https://github.com/AmethystLuna/logicprobe",
126
+ "funding": {
127
+ "type": "custom",
128
+ "url": "https://afdian.com/a/amethystluna"
129
+ },
124
130
  "keywords": [
125
131
  "verification",
126
132
  "fact-check",