Reasoning-Constraint Elasticity under Dynamic Feasible Sets | Synapse