Algorithmic universality in F-theory compactifications | Synapse