{
  "case": "o04",
  "checks": {
    "LSP 关闭时无诊断": true,
    "未发模型请求": true,
    "CLI 已执行": true
  },
  "commands": [
    {
      "command": "opencode --pure debug lsp diagnostics input.ts",
      "exit": 0,
      "stdout": "{}",
      "stderr": "Performing one time database migration, may take a few minutes...\nsqlite-migration:done\nDatabase migration complete."
    }
  ],
  "localRequests": [],
  "passed": true,
  "mode": "isolated local fixture",
  "date": "2026-11-04"
}