Visible Residual Transport in Isogeny Descent: A Computational Certification of the Paper13 Core Ledger | Synapse