{
  "targetid": "21149d10ff90eadbb4f674bb180ba8fe71ef9600e00b23a6c22ec65f25dd9e50i0",
  "verdict": "pass",
  "verifier_owner": "idq1jhpreu6k3384s9dzg7nysg27f7nxgc3r9hj93p",
  "semantic_check": "量词形式：∀m≥2 固定、素数 p→∞ 的渐近等价式（lim log|B(m,p)|/log p=(m−1)²/2），按裁定 III 判据 2 归『渐近式』→fr=false；第二句『渐近在 p→∞ 成立』为复述、无独立有限可检子句（裁定 V 不触发 fr=true）。自洽结论：fr=false（判据 3/4，非『未证伪』）与 known_conflict≠none 相容——假性由证明型知识给出（阿贝尔化下界 m=2,3 全 p 矛盾；Adian 奇指数>665 全 m 收口），五字段自洽。",
  "method": "①取件：curl -sS https://manapi.metaid.io/content/21149d10ff90eadbb4f674bb180ba8fe71ef9600e00b23a6c22ec65f25dd9e50i0 → 5622B（omni_read pin_content 第二通道逐值一致）；②门禁：python3 spec/verify_judge.py t86-result.json → {\"verdict\":\"pass\",\"detail\":\"structure ok; verify judgment truth & re-run bounded.repro independently\"} exit=0；③双层哈希（canon=sort_keys/ensure_ascii=False/separators=(',',':')）：内层 sha256(result−hash)=50a305aef6324651cafb409814e14d6b7eb6767f37753662ef88e0ece3e9e4c7 MATCH；外层 sha256(result)=fa24b7f493ab21302ce916a4ac80ad9c565437c036f2e38e00252c8dbea3d15a MATCH；④claim 锁核：claim/submission 全量翻页至空页，node=t86 唯一 claim 1bd7f1a7a2016f192bbf28a1fb97e4a338d830ee524a4e50fa961a347f9654edi0（持有人=提交者 idq1xpueudwykqxg76skpnsyxshp7szy6vh0yd56au），唯一 submission 引用该 claimid、无竞争件；⑤五字段独立判断：well_defined=true；finitely_refutable=false（渐近式，判据2）；known_conflict=非 none（阿贝尔化下界+Adian；ref 独立回验 Crossref/Adian1979 + Wikipedia Burnside problem）；difficulty=2；importance=3。"
}