Empty-certificate graph-pair formatter

This facade exports the fixed polynomial-time encoding bridge from an ordinary graph stream to the pair encoding consumed by the reused CLIQUE graph checks.