dsh-model-everything 0.4.0 → 0.4.1
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.
- package/package.json +132 -131
package/package.json
CHANGED
|
@@ -1,131 +1,132 @@
|
|
|
1
|
-
{
|
|
2
|
-
"name": "dsh-model-everything",
|
|
3
|
-
"version": "0.4.
|
|
4
|
-
"description": "Modeling abstraction and automated review for designs and code, including a refactoring harness: UML diagrams, executable verification of machines and protocols with before/after regression, data-model and migration checks, concurrency claim routing, export to external checkers, dependency-graph review, and report diffing. Native plugin for DeepSeek Harness (dsh).",
|
|
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
|
-
"./gate": {
|
|
14
|
-
"types": "./lib/types/gate.d.ts",
|
|
15
|
-
"default": "./lib/gate.js"
|
|
16
|
-
},
|
|
17
|
-
"./gate/package.json": "./gate/package.json",
|
|
18
|
-
"./gate/locale/*.json": "./gate/locale/*.json",
|
|
19
|
-
"./cordis.patch.yml": "./cordis.patch.yml",
|
|
20
|
-
"./package.json": "./package.json",
|
|
21
|
-
"./locale/*.json": "./locale/*.json"
|
|
22
|
-
},
|
|
23
|
-
"files": [
|
|
24
|
-
"lib",
|
|
25
|
-
"src",
|
|
26
|
-
"skills",
|
|
27
|
-
"cordis.patch.yml",
|
|
28
|
-
"examples",
|
|
29
|
-
"gate",
|
|
30
|
-
"locale"
|
|
31
|
-
],
|
|
32
|
-
"dsh": {
|
|
33
|
-
"engines": {
|
|
34
|
-
"dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1"
|
|
35
|
-
},
|
|
36
|
-
"category": "tools/dev",
|
|
37
|
-
"displayName": "dsh-model-everything",
|
|
38
|
-
"bundle": {
|
|
39
|
-
"patch": "./cordis.patch.yml"
|
|
40
|
-
},
|
|
41
|
-
"compatibility": {
|
|
42
|
-
"dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
|
|
43
|
-
"dshReleases": {
|
|
44
|
-
"0.1.7-alpha.2": "compatible",
|
|
45
|
-
"0.1.7-rc.1": "compatible",
|
|
46
|
-
"0.1.7-rc.2": "compatible",
|
|
47
|
-
"0.2.0-rc.1": "compatible",
|
|
48
|
-
"0.2.0-rc.2": "compatible",
|
|
49
|
-
"0.2.1-alpha.1": "compatible",
|
|
50
|
-
"0.2.1-alpha.2": "compatible",
|
|
51
|
-
"0.2.1-alpha.3": "compatible",
|
|
52
|
-
"0.2.1-alpha.4": "compatible",
|
|
53
|
-
"0.2.1-alpha.5": "compatible",
|
|
54
|
-
"0.2.1-rc.2": "compatible"
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
"
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
"
|
|
65
|
-
"
|
|
66
|
-
"
|
|
67
|
-
"
|
|
68
|
-
"
|
|
69
|
-
"
|
|
70
|
-
"test:
|
|
71
|
-
"
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
"@deepseek-ai/
|
|
76
|
-
"@deepseek-ai/dsh-
|
|
77
|
-
"@deepseek-ai/dsh-
|
|
78
|
-
"@deepseek-ai/dsh-
|
|
79
|
-
"@deepseek-ai/dsh-
|
|
80
|
-
"@deepseek-ai/
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
"@deepseek-ai/
|
|
85
|
-
"@deepseek-ai/dsh-
|
|
86
|
-
"@deepseek-ai/dsh-
|
|
87
|
-
"@deepseek-ai/dsh-
|
|
88
|
-
"@deepseek-ai/dsh-
|
|
89
|
-
"@deepseek-ai/dsh-
|
|
90
|
-
"@deepseek-ai/dsh-
|
|
91
|
-
"@deepseek-ai/dsh-sandbox
|
|
92
|
-
"@deepseek-ai/dsh-
|
|
93
|
-
"@deepseek-ai/dsh-
|
|
94
|
-
"@deepseek-ai/dsh-
|
|
95
|
-
"@deepseek-ai/dsh-skill
|
|
96
|
-
"@deepseek-ai/dsh-
|
|
97
|
-
"@deepseek-ai/dsh-
|
|
98
|
-
"@deepseek-ai/dsh-
|
|
99
|
-
"@deepseek-ai/
|
|
100
|
-
"@
|
|
101
|
-
"
|
|
102
|
-
"
|
|
103
|
-
|
|
104
|
-
|
|
105
|
-
|
|
106
|
-
"
|
|
107
|
-
|
|
108
|
-
|
|
109
|
-
"
|
|
110
|
-
"
|
|
111
|
-
|
|
112
|
-
"
|
|
113
|
-
|
|
114
|
-
|
|
115
|
-
|
|
116
|
-
"
|
|
117
|
-
"
|
|
118
|
-
"
|
|
119
|
-
"
|
|
120
|
-
"
|
|
121
|
-
"
|
|
122
|
-
"
|
|
123
|
-
"
|
|
124
|
-
"
|
|
125
|
-
"dsh
|
|
126
|
-
"plugin"
|
|
127
|
-
|
|
128
|
-
|
|
129
|
-
|
|
130
|
-
|
|
131
|
-
}
|
|
1
|
+
{
|
|
2
|
+
"name": "dsh-model-everything",
|
|
3
|
+
"version": "0.4.1",
|
|
4
|
+
"description": "Modeling abstraction and automated review for designs and code, including a refactoring harness: UML diagrams, executable verification of machines and protocols with before/after regression, data-model and migration checks, concurrency claim routing, export to external checkers, dependency-graph review, and report diffing. Native plugin for DeepSeek Harness (dsh).",
|
|
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
|
+
"./gate": {
|
|
14
|
+
"types": "./lib/types/gate.d.ts",
|
|
15
|
+
"default": "./lib/gate.js"
|
|
16
|
+
},
|
|
17
|
+
"./gate/package.json": "./gate/package.json",
|
|
18
|
+
"./gate/locale/*.json": "./gate/locale/*.json",
|
|
19
|
+
"./cordis.patch.yml": "./cordis.patch.yml",
|
|
20
|
+
"./package.json": "./package.json",
|
|
21
|
+
"./locale/*.json": "./locale/*.json"
|
|
22
|
+
},
|
|
23
|
+
"files": [
|
|
24
|
+
"lib",
|
|
25
|
+
"src",
|
|
26
|
+
"skills",
|
|
27
|
+
"cordis.patch.yml",
|
|
28
|
+
"examples",
|
|
29
|
+
"gate",
|
|
30
|
+
"locale"
|
|
31
|
+
],
|
|
32
|
+
"dsh": {
|
|
33
|
+
"engines": {
|
|
34
|
+
"dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1"
|
|
35
|
+
},
|
|
36
|
+
"category": "tools/dev",
|
|
37
|
+
"displayName": "dsh-model-everything",
|
|
38
|
+
"bundle": {
|
|
39
|
+
"patch": "./cordis.patch.yml"
|
|
40
|
+
},
|
|
41
|
+
"compatibility": {
|
|
42
|
+
"dsh": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
|
|
43
|
+
"dshReleases": {
|
|
44
|
+
"0.1.7-alpha.2": "compatible",
|
|
45
|
+
"0.1.7-rc.1": "compatible",
|
|
46
|
+
"0.1.7-rc.2": "compatible",
|
|
47
|
+
"0.2.0-rc.1": "compatible",
|
|
48
|
+
"0.2.0-rc.2": "compatible",
|
|
49
|
+
"0.2.1-alpha.1": "compatible",
|
|
50
|
+
"0.2.1-alpha.2": "compatible",
|
|
51
|
+
"0.2.1-alpha.3": "compatible",
|
|
52
|
+
"0.2.1-alpha.4": "compatible",
|
|
53
|
+
"0.2.1-alpha.5": "compatible",
|
|
54
|
+
"0.2.1-rc.2": "compatible",
|
|
55
|
+
"0.2.1-rc.3": "compatible"
|
|
56
|
+
},
|
|
57
|
+
"profiles": [
|
|
58
|
+
"headless",
|
|
59
|
+
"web"
|
|
60
|
+
]
|
|
61
|
+
}
|
|
62
|
+
},
|
|
63
|
+
"scripts": {
|
|
64
|
+
"build": "tsc -p tsconfig.json",
|
|
65
|
+
"typecheck": "tsc -p tsconfig.json --noEmit",
|
|
66
|
+
"lint:md": "markdownlint --dot --ignore \"**/node_modules/**\" .",
|
|
67
|
+
"bump": "node scripts/bump-version.mjs",
|
|
68
|
+
"test:cards": "node tests/presentation/run.mjs && node tests/automaton/run.mjs && node tests/routing/run.mjs",
|
|
69
|
+
"coverage": "c8 --reporter=text --exclude-after-remap=false npm run test:engine",
|
|
70
|
+
"test:engine": "npm run build && node tests/engine/run.mjs && node tests/design-engine/run.mjs && node tests/catalog/run.mjs && node tests/data-engine/run.mjs && node tests/concurrency/run.mjs && node tests/uml/run.mjs && node tests/apply-smoke.mjs && node tests/memory/run.mjs && node tests/skills/run.mjs && node tests/gate/run.mjs && node tests/skill-routing/run.mjs && node tests/toolset/run.mjs && node tests/principles/run.mjs && node tests/feature-checklist/run.mjs && node tests/usage/run.mjs && node tests/translation/run.mjs && node tests/documentation/run.mjs && node tests/contributing/run.mjs && node tests/routing-map/run.mjs && node tests/report-reading/run.mjs && node tests/structure/run.mjs && node tests/automaton/run.mjs && node tests/presentation/run.mjs && node tests/routing/run.mjs && node tests/tool-routing/run.mjs && node tests/tools/run.mjs && node tests/baseline/run.mjs && node tests/granularity/run.mjs && node tests/exporters/run.mjs && node tests/report-view/run.mjs && node tests/contracts/run.mjs && node tests/tool-boundary/run.mjs && node tests/negatives/run.mjs && node tests/external/run.mjs",
|
|
71
|
+
"test:full": "npm run build && node tests/full-suite.mjs",
|
|
72
|
+
"check": "npm run lint:md && npm run test:engine"
|
|
73
|
+
},
|
|
74
|
+
"peerDependencies": {
|
|
75
|
+
"@deepseek-ai/cordis": "^4.0.4",
|
|
76
|
+
"@deepseek-ai/dsh-agent": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
|
|
77
|
+
"@deepseek-ai/dsh-llm": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
|
|
78
|
+
"@deepseek-ai/dsh-session": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
|
|
79
|
+
"@deepseek-ai/dsh-skill-filesystem": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
|
|
80
|
+
"@deepseek-ai/dsh-tools": "^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
|
|
81
|
+
"@deepseek-ai/schemastery": "^3.18.4"
|
|
82
|
+
},
|
|
83
|
+
"devDependencies": {
|
|
84
|
+
"@deepseek-ai/cordis": "^4.0.4",
|
|
85
|
+
"@deepseek-ai/dsh-agent": "^0.2.0-rc.2",
|
|
86
|
+
"@deepseek-ai/dsh-cordis-host-runner": "^0.2.0-rc.2",
|
|
87
|
+
"@deepseek-ai/dsh-home-paths": "^0.2.0-rc.2",
|
|
88
|
+
"@deepseek-ai/dsh-invariants": "^0.2.0-rc.2",
|
|
89
|
+
"@deepseek-ai/dsh-llm": "^0.2.0-rc.2",
|
|
90
|
+
"@deepseek-ai/dsh-ptc-runtime": "^0.2.0-rc.2",
|
|
91
|
+
"@deepseek-ai/dsh-sandbox": "^0.2.0-rc.2",
|
|
92
|
+
"@deepseek-ai/dsh-sandbox-policy": "^0.2.0-rc.2",
|
|
93
|
+
"@deepseek-ai/dsh-scope": "^0.2.0-rc.2",
|
|
94
|
+
"@deepseek-ai/dsh-session": "^0.2.0-rc.2",
|
|
95
|
+
"@deepseek-ai/dsh-skill": "^0.2.0-rc.2",
|
|
96
|
+
"@deepseek-ai/dsh-skill-filesystem": "^0.2.0-rc.2",
|
|
97
|
+
"@deepseek-ai/dsh-system-prompt": "^0.2.0-rc.2",
|
|
98
|
+
"@deepseek-ai/dsh-tools": "^0.2.0-rc.2",
|
|
99
|
+
"@deepseek-ai/dsh-user-approval": "^0.2.0-rc.2",
|
|
100
|
+
"@deepseek-ai/schemastery": "^3.18.4",
|
|
101
|
+
"@types/node": "^26.6.5",
|
|
102
|
+
"markdownlint-cli": "0.49.1",
|
|
103
|
+
"typescript": "^7.0.2"
|
|
104
|
+
},
|
|
105
|
+
"author": {
|
|
106
|
+
"name": "AmethystLuna",
|
|
107
|
+
"url": "https://github.com/AmethystLuna"
|
|
108
|
+
},
|
|
109
|
+
"license": "MIT",
|
|
110
|
+
"repository": "https://github.com/AmethystLuna/dsh-model-everything",
|
|
111
|
+
"funding": {
|
|
112
|
+
"type": "custom",
|
|
113
|
+
"url": "https://afdian.com/a/amethystluna"
|
|
114
|
+
},
|
|
115
|
+
"keywords": [
|
|
116
|
+
"verification",
|
|
117
|
+
"model-checking",
|
|
118
|
+
"uml",
|
|
119
|
+
"diagrams",
|
|
120
|
+
"state-machine",
|
|
121
|
+
"data-model",
|
|
122
|
+
"concurrency",
|
|
123
|
+
"mermaid",
|
|
124
|
+
"plantuml",
|
|
125
|
+
"dsh",
|
|
126
|
+
"dsh-plugin",
|
|
127
|
+
"plugin"
|
|
128
|
+
],
|
|
129
|
+
"engines": {
|
|
130
|
+
"node": ">=20"
|
|
131
|
+
}
|
|
132
|
+
}
|