Manuscript IX-A@1 · IX-A.tex · remark · 55aa6f6d
Remark: Classical IX-P versus quantum IX-P
Faithfulness, classical presentation independence, and formal slots › Actual functionals, not an undecorated symbol algebra · lines 1656–1666
The theorem establishes presentation independence of the carrier. It does not establish presentation independence of future renormalized contractions.
Once quantum maps are introduced, they must be shown to factor through these actual-functional relations. A graph presentation cannot be granted a different quantum value merely because its classical formula was obtained by another valid integration by parts.