A formal proof of the Sands-Sauer-Woodrow theorem using the Rocq prover and mathcomp/ssreflect (ArXiv cs.DM Recent Papers, 2026)