{
  "meta": {
    "title": "逻辑探针",
    "description": "核验设计与代码里的声称：事实类对着源码查，行为类跑可执行模型。"
  }
}