rank 5: n=6, forms (rhombi + coordinates)=36, candidates z=92 (max coordinate 2), level-2 boxes: 4096
boxes tested per level: [(2, 4096), (3, 16128), (4, 1536)]; boxes of the partition per level: [(2, 3844), (3, 16104), (4, 1536)]; total 21484; volume 1; unresolved: []; distinct z used: 67; 0.1s
RESULT rank 5: [0,1)^6 is partitioned into 21484 half-open dyadic boxes, each contained in an integer translate of U+ (certificate cover_r5.json). Hence (ii+) and (ii) hold for rank 5; no vertex lemma used.
