Worldline formalism in phase space | Synapse