{
  "kind": "合成对照输入与本地模型/解析结果，非设备实测",
  "article": "https://qifudev.com/article/watchdog-nonoverlap-budget/",
  "tool": "https://qifudev.com/tools/watchdog-budget/",
  "model": "间隔假设=t计算+t等待+t额外调度；预算=间隔×(1+余量%)",
  "inputs": {
    "computeMs": "20",
    "waitMs": "50",
    "jitterMs": "10",
    "margin": "25"
  },
  "outputs": {
    "intervalMs": 80,
    "timeoutMs": 100
  },
  "extra_checks": [],
  "warnings": [
    "三段应互不重叠，且覆盖实际最坏喂狗间隔；不生成具体SDK配置，不证明死锁可被正确检测。"
  ],
  "limitation": "不生成SDK配置，不保证死锁检测和系统恢复；不同看门狗、任务订阅及喂狗语义需查官方实现。",
  "source": {
    "label": "乐鑫：看门狗机制",
    "url": "https://docs.espressif.com/projects/esp-idf/en/stable/esp32/api-reference/system/wdts.html"
  },
  "measured": {
    "device": null,
    "firmware": null,
    "instrument": null,
    "conditions": null,
    "raw_result": null,
    "verdict": null
  }
}