BS-MIN-01 sample checks PASS: projection invariance, squared distances,
mirror ambiguity, signed orientation, off-plane anchor discrimination
Sample domain: exact rational t values -3 to +3
Limit: finite executable check; algebraic reasoning required for all real t