dsh.so
EN
English中文
@AmethystLuna/dsh-model-everything avatar

@AmethystLuna/dsh-model-everything

设计与代码的建模与自动化审查：把断言抽成可执行模型再判定——UML、状态机与协议、数据模型与迁移、并发断言路由、结构审查、外部检查器导出、报告对比。dsh 原生插件。 | Modeling and automated review for designs and code — claims as executable models: UML, state machines and protocols, data models and migrations, concurrency claim routing, structure review, external-checker export and report diffing. Native dsh plugin.

PluginDeveloperAutomationDataCode review
Verification
L5 · Run tested
Verified
Risk
LowRisk
Health
Active
Trust
Gold

Install verification: runtime verified (L5) · tested on dsh 0.2.1-rc.2 · last checked Install verification details →

Install verification badge dsh 0.2.1-rc.2

What it does

设计与代码的建模与自动化审查：把断言抽成可执行模型再判定——UML、状态机与协议、数据模型与迁移、并发断言路由、结构审查、外部检查器导出、报告对比。dsh 原生插件。 | Modeling and automated review for designs and code — claims as executable models: UML, state machines and protocols, data models and migrations, concurrency claim routing, structure review, external-checker export and report diffing. Native dsh plugin.

Installation

dsh plugin --profile web add dsh-model-everything@0.2.0

security scan passed · npm package v0.2.0

Install method: npm · runtime verified (L5)

Verification & Compatibility

Grouped by plugin version: each card lists the dsh versions actually tested against that artifact version and their install verdicts (L5 wins). Untested combinations are omitted — absence means untested, never assumed compatible. L1–L3 are a plugin-level static archive (independent of the dsh version — the same verdict on every dsh row): they sit in each row's level grid next to L4/L5, marked "static", while their evidence is stored once per plugin inside that row's "checks & evidence" instead of being duplicated per version.

External credentials (plugin-level): none detected

Declared DSH compatibilityfrom package.json · peerDependencies
author declared no dsh version requirement

○ The author declares no dsh version requirement — install is not blocked by version.

Install compatibility matrix (rows = plugin versions〔latest 5〕, columns = dsh versions〔latest 5〕)
At-a-glance → evidence in the cards below
plugin ＼ dshdsh 0.2.1-rc.2
current
v0.2.0·
0.1.0✓
v0.1.0·
Install compatibility (by plugin version, dsh versions within)
Legend:✓ L5 runtime verified○ ecosystem plugin◼ ecosystem app✗ failed
v0.2.0github2026-10-21

https://github.com/AmethystLuna/dsh-model-everything

No runtime install test for this version (static scan only) — compatibility unknown, never assumed.

0.1.0npm✓ 1 runtime-verified2026-10-18

dsh-model-everything

✓dsh 0.2.1-rc.2current2026-10-18L5 · runtime verified
Environment & artifact
  • • Node.js: v24.14.0
  • • DSH: 0.2.1-rc.2
  • • Plugin artifact: npm · dsh-model-everything@0.1.0
Levels (L1–L3 plugin-level static archive · L4/L5 newest real verdicts for this combination)
L1 static
Passed
L2 static
Passed
L3 static
Passed
L4 sandbox
Passed
L5 runtime
Passed
Install + runtime smoke verified in the dsh sandbox — installs and runs
L5 · runtime verified · valid for dsh 0.2.1-rc.2

ID: dsh-model-everything@0.1.0@dsh0.2.1-rc.2 · profile: l4-sandbox

Issued: 2026-10-18 · expires: 2026-10-25

View checks & evidence
L1 · Found✓ Passed

↳ carried from earlier record dsh-model-everything@v0.2.0@dsh0.2.1-rc.2 (l3-fullscan)

Defaulted from L3✓ Passed
defaulted to passed — L3 install spec passed (full-registry L3 sweep policy)
L2 · Structured✓ Passed

↳ carried from earlier record dsh-model-everything@v0.2.0@dsh0.2.1-rc.2 (l3-fullscan)

Defaulted from L3✓ Passed
defaulted to passed — L3 install spec passed (full-registry L3 sweep policy)
L3 · Install spec✓ Passed

↳ carried from earlier record dsh-model-everything@v0.2.0@dsh0.2.1-rc.2 (l3-fullscan)

Install command parsed✓ Passed
Source: registry verification · Method: install spec parse · Captured 2026-10-21
DSH version declared✓ Passed
Source: registry verification · Method: DSH version declaration · Captured 2026-10-21
L4 · Install tested✓ Passed
Install executed in confined sandbox✓ Passed
Source: Windows ACL sandbox · Method: sandbox install run · Captured 2026-10-18
spec dsh-model-everything · channel npm package · outcome ran · exit 0
check took: 2.9s
Install succeeded✓ Passed
Source: Windows ACL sandbox · Method: sandbox install run · Captured 2026-10-18
spec dsh-model-everything · channel npm package · outcome ran · exit 0
check took: 2.9s
Installed artifact confirmed✓ Passed
Source: Windows ACL sandbox · Method: sandbox install run · Captured 2026-10-18
spec dsh-model-everything · channel npm package · outcome ran · exit 0
check took: 2.9s
Resolved version recorded✓ Passed
Source: Windows ACL sandbox · Method: sandbox install run · Captured 2026-10-18
spec dsh-model-everything · channel npm package · outcome ran · exit 0
check took: 2.9s
L5 · Run tested✓ Passed

active in loader tree (151 entries)

Sandbox install passed✓ Passed
Source: Windows ACL sandbox · Method: sandbox install run · Captured 2026-10-18
spec dsh-model-everything · install mode reused L4 scratch
check took: 44ms
Web boot ready✓ Passed
Source: DSH runtime · Method: web boot · Captured 2026-10-18
ready line dsh web: http://127.0.0.1:63683/?token=…
HTTP endpoint served✓ Passed
Source: DSH runtime · Method: HTTP request · Captured 2026-10-18
path / · HTTP 200 · took 44ms
Plugin active in inventory✓ Passed
Source: DSH runtime · Method: plugin inventory query · Captured 2026-10-18
verdict active · entries 151
match: include:dsh-model-everything · dsh-model-everything · phase active
match: include:dsh-model-everything-gate · dsh-model-everything/gate · phase active
phases: active 123 · null 28

L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.

v0.1.0github2026-10-18

https://github.com/AmethystLuna/dsh-model-everything

No runtime install test for this version (static scan only) — compatibility unknown, never assumed.

Author badges

Embed the official badges in your README to showcase security & install-test status:

dsh.so risk
`[![dsh.so risk](https://www.dsh.so/badge/dsh-model-everything.svg)](https://www.dsh.so/artifact/dsh-model-everything/)`
dsh 0.2.1-rc.2 install verified
`[![dsh.so install · dsh 0.2.1-rc.2](https://www.dsh.so/badge/install/dsh-model-everything@0.2.1-rc.2.svg)](https://www.dsh.so/artifact/dsh-model-everything/)`

Security Report

Two automated layers, neither a manual review: a static scan (per-plugin rule checks) and a model-driven dynamic security audit that covers only the subset static-flagged at warn or above and never executes plugin code.

dsh-model-everythingAutomated review · daily

Static low, dynamic no conclusion — stricter wins → overall low.

static low→dynamic no conclusion→overall low
0 critical·0 high
lowoverall · low
1static scan · vet primaryvet AST static analysis (npm artifact or git source)
Version binding
plugin versionv0.2.0dsh manifest
scanned version0.2.0npm2026-10-21
current version0.2.0same version
vet verdictclean · npm

Vet is an AST static scan (npm artifact or git source).

2dynamic auditmodel reads redacted source context · never executes plugin code

not in the dynamic queue (queue only covers plugins static-flagged at warn or above) — this does not mean the dynamic audit found it safe.

Rule: the dynamic audit can only raise risk, never lower it (raise-only, never an exemption); a wrong raise is withdrawn by human review and the tier falls back to the static verdict. Overall verdict = the stricter of the two layers.

Disclaimer: the static scan and the dynamic security audit are both automated analysis, not a security guarantee. Always review what you install.

Activity

Last commit 2026-10-21 · activity: Active

• Repo created: 2026-10-17

• Stars: ★ 0 · Forks: 0

• Health: Active — committed within last 30 days

Source

GitHub: github.com/AmethystLuna/dsh-model-everything

Was this page helpful?