A compact consistency check linking conditional time, dephasing decoherence, and decoherent histories | Synapse