An explicit two-readout, two-route certificate

This section exhibits a nontrivial multi-instrument law rather than merely asserting that a tree exists. Its capacity requirements are stated, not inferred from finiteness.