dsh-model-everything：把设计与代码里的断言建成可执行模型

dsh-model-everything 是 AmethystLuna 维护的 DeepSeek Harness 原生插件，将设计或代码中的行为断言抽象为可执行模型，经引擎验证后输出带哈希与引用的报告。覆盖 UML 解析与审查、状态机与协议验证、数据模型与迁移比对、依赖图审计、并发声明扫描与外部检查器导出，并支持 report_diff 做重构前后基线对比。文章介绍能力边界、官方安装命令、典型工作流及读报告时以 verdict 为准等要点。