The Conditional Trace Formula on the SCT Spectral Triple: A Reduction Theorem | Synapse