dsh-model-everything：把設計與代碼裏的斷言建成可執行模型

dsh-model-everything 是 AmethystLuna 維護的 DeepSeek Harness 原生插件，將設計或代碼中的行爲斷言抽象爲可執行模型，經引擎驗證後輸出帶哈希與引用的報告。覆蓋 UML 解析與審查、狀態機與協議驗證、數據模型與遷移比對、依賴圖審計、併發聲明掃描與外部檢查器導出，並支持 report_diff 做重構前後基線對比。文章介紹能力邊界、官方安裝命令、典型工作流及讀報告時以 verdict 爲準等要點。