Geometric–Orchestration Obstructions in SAT Landscapes: A Supermanifold Framework for Restricted Lower Bounds and a Program Toward P versus NP | Synapse