dsh-logicprobe 0.6.2 → 0.6.4

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 (1) hide show
  1. package/package.json +5 -3
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "dsh-logicprobe",
3
- "version": "0.6.2",
3
+ "version": "0.6.4",
4
4
  "description": "Design document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to state-machine verification (S1-S8/A1-A12, including budget/worst-case path-cost checks) and data-model verification (DS/DA/DD) for behavioral claims. Supports before/after regression, idempotency/monotonic/sequence/leads-to/atomicity constraints, and concurrency risk mining. Ships a native DeepSeek Harness (dsh) bundle that injects the claim-verification gate into the first model step.",
5
5
  "type": "module",
6
6
  "main": "lib/index.js",
@@ -29,7 +29,7 @@
29
29
  "patch": "./cordis.patch.yml"
30
30
  },
31
31
  "compatibility": {
32
- "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",
32
+ "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",
33
33
  "dshReleases": {
34
34
  "0.1.0-rc.7": "compatible",
35
35
  "0.1.0-rc.8": "compatible",
@@ -41,7 +41,9 @@
41
41
  "0.1.2-alpha.5": "compatible",
42
42
  "0.1.2-rc.1": "compatible",
43
43
  "0.1.3-alpha.1": "compatible",
44
- "0.1.3-alpha.2": "compatible"
44
+ "0.1.3-alpha.2": "compatible",
45
+ "0.1.5-alpha.1": "compatible",
46
+ "0.1.5-rc.1": "compatible"
45
47
  },
46
48
  "profiles": [
47
49
  "headless"