dsh-model-everything

设计与评审里常堆满「应该如此」的断言，却要靠通读代码或凭印象拍板。dsh-model-everything 把这些关于行为的说法抽象成可执行模型，交给引擎跑一遍：结论带 file:line 出处与模型哈希，能复算、能比对，把「想清楚」变成「跑一遍」。

插件覆盖事实核验、状态机与协议验证、UML 图的解析与建模审查、依赖图与分层规则审计、数据模型与迁移比对，以及多机组合下的死锁与会合检查。并发相关声明会先被挖掘并路由到 TSan、TLA+ 等外部工具；共享位置上的部分组合问题可在模型上直接判定。重构前后可各建一份模型做行为回归，报告用 report_diff 与基线对照，新增 error 即是不应接受的改动信号。

它只处理你提交的模型、图源与路径，不代替你保证模型忠实于代码，也不读 diff、不改代码、不跑你的测试套件。适合需要在 Harness 里做设计留痕、状态机/流程审查、架构依赖审计，或希望把规格断言逐条落到源码的团队与维护者。