{
  "engine": "CODE-1369",
  "p0_sha8": "2fe633e6",
  "registry_subset_theorems": 15,
  "collected_at": "2026-08-13",
  "tool": "anchor_toolkit/auditor_cli.py batch",
  "mix_67_reference": {
    "verified": 2,
    "unverifiable": 1,
    "falsified": 0,
    "verified_pct": 67
  },
  "real_world_claim_set": {
    "total": 33,
    "verified": 13,
    "unverifiable": 14,
    "falsified": 6,
    "verified_pct": 39,
    "unverifiable_pct": 42,
    "falsified_pct": 18
  },
  "per_claim": [
    {
      "text": "2+2=4",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "3*5=15",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "勾股定理成立",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "sin^2(x)+cos^2(x)=1",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "能量守恒定律成立",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "能量守恒定律是物理学的基石",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "牛顿第二定律F=ma成立",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "动量守恒定律成立",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "角动量守恒定律成立",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "热力学第二定律成立",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "万有引力定律成立",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "加法交换律成立",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "乘法分配律成立",
      "verdict": "verified",
      "domain": "hard"
    },
    {
      "text": "(a+b)^2 = a^2 + 2ab + b^2",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "动量是质量乘以速度",
      "verdict": "unverifiable",
      "domain": "hard"
    },
    {
      "text": "2+2=5",
      "verdict": "falsified",
      "domain": "hard"
    },
    {
      "text": "x^2=x",
      "verdict": "falsified",
      "domain": "hard"
    },
    {
      "text": "能量守恒是错误的",
      "verdict": "falsified",
      "domain": "hard"
    },
    {
      "text": "万有引力不存在",
      "verdict": "falsified",
      "domain": "hard"
    },
    {
      "text": "勾股定理是错误的",
      "verdict": "falsified",
      "domain": "hard"
    },
    {
      "text": "x=x+1",
      "verdict": "falsified",
      "domain": "hard"
    },
    {
      "text": "自由是人生最重要的价值",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "这个政策是最好的选择",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "每个人都应该相信自己的直觉",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "教育应该培养批判性思维",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "出版行业的审校成本在持续上升",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "合规审核必须由人工完成",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "这本书的销量今年会翻倍",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "这家出版社的编辑能力很强",
      "verdict": "unverifiable",
      "domain": "hard"
    },
    {
      "text": "人工智能正在改变教育方式",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "火星表面存在液态金属湖泊",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "上海位于长江入海口",
      "verdict": "unverifiable",
      "domain": "soft"
    },
    {
      "text": "法国大革命发生于1789年",
      "verdict": "unverifiable",
      "domain": "soft"
    }
  ]
}