Priority (resolved against the primary source): t(6)=2 and t(7)=2 follow by combining EHT91's own displayed results (Theorem 3 upper bound ceil(r/5)=2; p.80 lower bound floor(3r/16+7/8)=2, whose construction conditions were verified to hold at r=6,7), but neither value is recorded anywhere in the paper, on the problem page, its forum thread, or in located citing literature. This finding's contribution: first explicit recording, plus independent proofs by a NEW method (exhaustive MEIF/rigidity classification, which EHT91 does not have) with complete machine certificates.