Cross-Check Audit of MFET's Λ-Selection Problem and the Single-Input Reduction of the σI Sector | Synapse