dsh-tool-strict-check: 用真實編譯器校驗代碼與命令

`dsh-tool-strict-check` 是一個用於 DeepSeek Harness (DSH) 的主機插件，旨在通過引入真實的編譯器檢查器（如 Lean 4 內核、Shell 危險規則）來替代智能體主觀判斷，從而修復其機械性錯誤。 該插件位於 `admin-security` 類別，提供四種檢查模式：`status`、`lean`（運行 Lean 4 並禁止 `sorry`）、`batch`（編譯器語法檢查）和 `commands`（Shell 靜態規則）。安裝需將插件添加至 DSH profile，並按需安裝 Lean 4 工具鏈。它通過強制執行嚴格的編譯規則來驗證代碼，但不支持