Registry · Theorem V.T288 tau-effective not_formalized V.T288 — Path integral recovery Path integral recovered as tau-native spectral sum Book V Part 7 Ch. 60