Structure as Constraint: A Formal Framework for Non-Derivability Across Domains | Synapse