Migration write-ups and verification reports — each one a self-contained deck plus its source markdown.