Effective hyperbolization and length bounds for Heegaard splittings | Synapse