Proof of `Actual paired-witness key spaces satisfy the baseline hypotheses` (2nd statement)
What this proof establishes
no assumptions
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
There are at most fourteen selected atoms at each of the two endpoints. Each incident ray has zero channel coordinates. Their span therefore lies in the primal space and has dimension at most twenty-eight.