The edge multiset dimension of hypercubes: certificate and code package

Certificate and code package for the paper "The edge multiset dimension of hypercubes", which resolves Problem 7 of Farhan, Klavžar, Kuziak and Yero (arXiv:2607.10311): the edge multiset dimension of the hypercube Qd is infinite exactly for 2 ≤ d ≤ 5 and finite for every d ≥ 6. Contents: exhaustive verification for Q2, Q3, Q4 and the full 232 scan of Q5 (enumerator, survivor statistics, all 796 survivor orbits with an independent Python re-verification and one explicit colliding edge pair per orbit); certified resolving sets for 6 ≤ d ≤ 10 with independent verifiers; exact rational certificates Ud < 1 for 11 ≤ d ≤ 50 (script and all 40 exact fractions); numerical cross-checks of the cell formulas and of the analytic tail bound for d ≥ 51; and a SHA-256 manifest. All programs are self-contained (C++17, stock Python 3).