Manuscript XIV-A@1 · XIV-A.tex · section · 71020abe
The relative differential of the observable is the pairing
A2: the observable ledger › The relative differential of the observable is the pairing · lines 1183–1193
Proposition prop:relO is a statement about the off-shell ghost evaluated on a bosonic shell configuration. It is not an evaluation in : by Proposition prop:carrier, a nonzero relative ghost is not a free-shell configuration, and XIII-A's display of for unrestricted free ghosts retains the coordinate ramp and scalar switching terms, which vanish identically for . The two displays are different evaluations of the same functional .