dsh-logicprobe 0.3.1 → 0.5.0

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 (34) hide show
  1. package/README.en-US.md +7 -1
  2. package/README.md +9 -2
  3. package/lib/concurrency-tool.js +34 -0
  4. package/lib/concurrency.js +76 -0
  5. package/lib/data-engine.js +930 -0
  6. package/lib/data-tool.js +61 -0
  7. package/lib/engine.js +1622 -1103
  8. package/lib/index.js +291 -277
  9. package/lib/tool.js +57 -45
  10. package/lib/types/concurrency-tool.d.ts +8 -0
  11. package/lib/types/concurrency.d.ts +20 -0
  12. package/lib/types/data-engine.d.ts +199 -0
  13. package/lib/types/data-tool.d.ts +10 -0
  14. package/lib/types/engine.d.ts +171 -133
  15. package/lib/types/tool.d.ts +4 -2
  16. package/package.json +79 -78
  17. package/skills/logicprobe/SKILL.md +285 -266
  18. package/skills/logicprobe/references/__pycache__/verification-harness.cpython-312.pyc +0 -0
  19. package/skills/logicprobe/references/concurrency-risk-guide.md +54 -0
  20. package/skills/logicprobe/references/dsh-model-schema.md +145 -104
  21. package/skills/logicprobe/references/logic-verification-guide.md +463 -413
  22. package/skills/logicprobe/references/verification-harness.py +806 -582
  23. package/skills/logicprobe-datamodel/SKILL.md +124 -0
  24. package/skills/logicprobe-datamodel/references/__pycache__/data-model-harness.cpython-312.pyc +0 -0
  25. package/skills/logicprobe-datamodel/references/data-model-guide.md +62 -0
  26. package/skills/logicprobe-datamodel/references/data-model-harness.py +528 -0
  27. package/skills/logicprobe-datamodel/references/data-model-schema.md +128 -0
  28. package/src/concurrency-tool.ts +37 -0
  29. package/src/concurrency.ts +102 -0
  30. package/src/data-engine.ts +1001 -0
  31. package/src/data-tool.ts +65 -0
  32. package/src/engine.ts +533 -0
  33. package/src/index.ts +315 -301
  34. package/src/tool.ts +60 -48
package/package.json CHANGED
@@ -1,81 +1,82 @@
1
1
  {
2
- "name": "dsh-logicprobe",
3
- "version": "0.3.1",
4
- "description": "Design document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to logic-primitive verification (7 structural checks + 7 adversarial probes) for behavioral claims. Before/after model comparison for refactoring regression detection. Ships a native DeepSeek Harness (dsh) bundle that injects the claim-verification gate into the first model step.",
5
- "type": "module",
6
- "main": "lib/index.js",
7
- "types": "lib/types/index.d.ts",
8
- "exports": {
9
- ".": {
10
- "types": "./lib/types/index.d.ts",
11
- "default": "./lib/index.js"
12
- },
13
- "./cordis.patch.yml": "./cordis.patch.yml",
14
- "./package.json": "./package.json"
2
+ "name": "dsh-logicprobe",
3
+ "version": "0.5.0",
4
+ "description": "Design document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to logic-primitive verification (7 structural checks + 7 adversarial probes) for behavioral claims. Before/after model comparison for refactoring regression detection. Ships a native DeepSeek Harness (dsh) bundle that injects the claim-verification gate into the first model step.",
5
+ "type": "module",
6
+ "main": "lib/index.js",
7
+ "types": "lib/types/index.d.ts",
8
+ "exports": {
9
+ ".": {
10
+ "types": "./lib/types/index.d.ts",
11
+ "default": "./lib/index.js"
15
12
  },
16
- "files": [
17
- "lib",
18
- "src",
19
- "skills",
20
- "cordis.patch.yml"
21
- ],
22
- "dsh": {
23
- "category": "skill",
24
- "displayName": "逻辑探针",
25
- "bundle": {
26
- "patch": "./cordis.patch.yml"
27
- }
28
- },
29
- "scripts": {
30
- "build": "tsc -p tsconfig.json",
31
- "typecheck": "tsc -p tsconfig.json --noEmit",
32
- "test:engine": "npm run build && node tests/engine/run.mjs && node tests/apply-smoke.mjs"
33
- },
34
- "dependencies": {},
35
- "peerDependencies": {
36
- "@deepseek-ai/cordis": "^4.0.1",
37
- "@deepseek-ai/dsh-agent": "^0.1.0-rc.6",
38
- "@deepseek-ai/dsh-llm": "^0.0.1-rc.1",
39
- "@deepseek-ai/dsh-session": "^0.0.1-rc.1",
40
- "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.6",
41
- "@deepseek-ai/schemastery": "^3.18.1",
42
- "@deepseek-ai/dsh-tools": "^0.1.0-rc.6"
43
- },
44
- "devDependencies": {
45
- "@deepseek-ai/cordis": "^4.0.1",
46
- "@deepseek-ai/dsh-agent": "^0.1.0-rc.6",
47
- "@deepseek-ai/dsh-cordis-host-runner": "^0.1.0-rc.6",
48
- "@deepseek-ai/dsh-home-paths": "^0.1.0-rc.6",
49
- "@deepseek-ai/dsh-llm": "^0.0.1-rc.1",
50
- "@deepseek-ai/dsh-scope": "^0.1.0-rc.6",
51
- "@deepseek-ai/dsh-session": "^0.0.1-rc.1",
52
- "@deepseek-ai/dsh-skill": "^0.1.0-rc.6",
53
- "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.6",
54
- "@deepseek-ai/schemastery": "^3.18.1",
55
- "@deepseek-ai/dsh-timeout": "^0.0.1-rc.1",
56
- "@types/node": "^20.0.0",
57
- "typescript": "^5.0.0",
58
- "@deepseek-ai/dsh-tools": "^0.1.0-rc.6",
59
- "@deepseek-ai/dsh-system-prompt": "^0.1.0-rc.6"
60
- },
61
- "author": {
62
- "name": "Amethyst Luna",
63
- "url": "https://github.com/AmethystLuna"
64
- },
65
- "license": "MIT",
66
- "repository": "https://github.com/AmethystLuna/logicprobe",
67
- "keywords": [
68
- "verification",
69
- "fact-check",
70
- "design-review",
71
- "plan-review",
72
- "state-machine",
73
- "logic-verification",
74
- "adversarial",
75
- "refactoring",
76
- "model-checking",
77
- "agentskills",
78
- "plugin",
79
- "dsh"
80
- ]
13
+ "./cordis.patch.yml": "./cordis.patch.yml",
14
+ "./package.json": "./package.json"
15
+ },
16
+ "files": [
17
+ "lib",
18
+ "src",
19
+ "skills",
20
+ "cordis.patch.yml"
21
+ ],
22
+ "dsh": {
23
+ "category": "skill",
24
+ "displayName": "逻辑探针",
25
+ "bundle": {
26
+ "patch": "./cordis.patch.yml"
27
+ }
28
+ },
29
+ "scripts": {
30
+ "build": "tsc -p tsconfig.json",
31
+ "typecheck": "tsc -p tsconfig.json --noEmit",
32
+ "test:engine": "npm run build && node tests/engine/run.mjs && node tests/data-engine/run.mjs && node tests/concurrency/run.mjs && node tests/apply-smoke.mjs",
33
+ "test:full": "npm run build && node tests/full-suite.mjs"
34
+ },
35
+ "dependencies": {},
36
+ "peerDependencies": {
37
+ "@deepseek-ai/cordis": "^4.0.1",
38
+ "@deepseek-ai/dsh-agent": "^0.1.0-rc.6",
39
+ "@deepseek-ai/dsh-llm": "^0.0.1-rc.1",
40
+ "@deepseek-ai/dsh-session": "^0.0.1-rc.1",
41
+ "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.6",
42
+ "@deepseek-ai/schemastery": "^3.18.1",
43
+ "@deepseek-ai/dsh-tools": "^0.1.0-rc.6"
44
+ },
45
+ "devDependencies": {
46
+ "@deepseek-ai/cordis": "^4.0.1",
47
+ "@deepseek-ai/dsh-agent": "^0.1.0-rc.6",
48
+ "@deepseek-ai/dsh-cordis-host-runner": "^0.1.0-rc.6",
49
+ "@deepseek-ai/dsh-home-paths": "^0.1.0-rc.6",
50
+ "@deepseek-ai/dsh-llm": "^0.0.1-rc.1",
51
+ "@deepseek-ai/dsh-scope": "^0.1.0-rc.6",
52
+ "@deepseek-ai/dsh-session": "^0.0.1-rc.1",
53
+ "@deepseek-ai/dsh-skill": "^0.1.0-rc.6",
54
+ "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.6",
55
+ "@deepseek-ai/schemastery": "^3.18.1",
56
+ "@deepseek-ai/dsh-timeout": "^0.0.1-rc.1",
57
+ "@types/node": "^20.0.0",
58
+ "typescript": "^5.0.0",
59
+ "@deepseek-ai/dsh-tools": "^0.1.0-rc.6",
60
+ "@deepseek-ai/dsh-system-prompt": "^0.1.0-rc.6"
61
+ },
62
+ "author": {
63
+ "name": "Amethyst Luna",
64
+ "url": "https://github.com/AmethystLuna"
65
+ },
66
+ "license": "MIT",
67
+ "repository": "https://github.com/AmethystLuna/logicprobe",
68
+ "keywords": [
69
+ "verification",
70
+ "fact-check",
71
+ "design-review",
72
+ "plan-review",
73
+ "state-machine",
74
+ "logic-verification",
75
+ "adversarial",
76
+ "refactoring",
77
+ "model-checking",
78
+ "agentskills",
79
+ "plugin",
80
+ "dsh"
81
+ ]
81
82
  }