Deriving DDIM Reverse Sampling from First Principles, with a TensorFlow Implementation

A math-first walkthrough of DDPM/DDIM sampling, velocity prediction, and CIFAR-10 experiments in TensorFlow/Keras.