Mathematics as Executable Ontology: Three Case Studies in Tonal Necessity | Synapse