dsh-logicprobe 0.4.0 → 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 (33) hide show
  1. package/README.en-US.md +7 -1
  2. package/README.md +7 -1
  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 -1364
  8. package/lib/index.js +291 -277
  9. package/lib/tool.js +57 -57
  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 -151
  15. package/package.json +79 -78
  16. package/skills/logicprobe/SKILL.md +285 -268
  17. package/skills/logicprobe/references/__pycache__/verification-harness.cpython-312.pyc +0 -0
  18. package/skills/logicprobe/references/concurrency-risk-guide.md +54 -0
  19. package/skills/logicprobe/references/dsh-model-schema.md +145 -129
  20. package/skills/logicprobe/references/logic-verification-guide.md +463 -413
  21. package/skills/logicprobe/references/verification-harness.py +806 -582
  22. package/skills/logicprobe-datamodel/SKILL.md +124 -0
  23. package/skills/logicprobe-datamodel/references/__pycache__/data-model-harness.cpython-312.pyc +0 -0
  24. package/skills/logicprobe-datamodel/references/data-model-guide.md +62 -0
  25. package/skills/logicprobe-datamodel/references/data-model-harness.py +528 -0
  26. package/skills/logicprobe-datamodel/references/data-model-schema.md +128 -0
  27. package/src/concurrency-tool.ts +37 -0
  28. package/src/concurrency.ts +102 -0
  29. package/src/data-engine.ts +1001 -0
  30. package/src/data-tool.ts +65 -0
  31. package/src/engine.ts +234 -0
  32. package/src/index.ts +315 -301
  33. package/src/tool.ts +60 -60
package/package.json CHANGED
@@ -1,81 +1,82 @@
1
1
  {
2
- "name": "dsh-logicprobe",
3
- "version": "0.4.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"
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
  }