Arithmetic spectroscopy of elliptic curves. Part VI: The supersingular extension and the full spectral BSD formula | Synapse