When Static Equivalence Is Not Enough: Infimal Realization Cost on an Admissible Domain | Synapse