III.T32 — Product-Meet Collapse

At E₂, meet (∧ = finding a witness) IS product (× = constructing the composite). Search = construction. This is the computational content of the bi-square pasting. Proof via Interface Width Principle + CRT decomposition.