Constraint-First Topology