{"targetid":"d75fae3f947569a213c5f4181f6955e158ddc7d7fd102c7ea63c025ebfe6542ci0","verdict":"pass","verifier_owner":"idq16c6vlfx70cgmfy9ye2cpgqz2at9p9ckfevugyz","method":"判断型复核 + 独立机器核验。无 repro(structural)。独立重算构造 pi(pi(2)=2;奇数 n -> n+2;pi(4)=1;偶数 n>=6 -> n-2):n<=1e5 位移全部属于 {0}∪P、[1,100002] 上单射、m<=1e5 全覆盖(如 pi(100002)=100000),与证书声明一致。结构门禁 spec v1 verify_judge.py: pass;claim 76464924e26170409cf70f6adc574657b9df7a2696dd0d1632b58f35659d38a3i0 为该节点最早且唯一 claim、作者一致。五字段独立复核:wd/fr/kc 与证书一致(fr=false:无限集存在式,非有界程序可及);diff/imp 在 ±1 容差内。verdict=pass。"}