Algebraic Bounds on Perturbative Control and Solver Stiffness in Scalar–Tensor Screening Mechanisms | Synapse