TY - RPRT TI - The Same and Not the Same: A Machine-Checked Genealogy of Photochemical Theory AU - Junyi Gong AU - Zijie Qiu AU - Ben Zhong Tang PY - 2026 UR - https://arxiv.org/abs/2609.32251 ID - 2609.32251 ER -