The ledger before addition

This is the proved plateau variation. The algebraic companion on the left is explicit; it has not been identified with an unconstructed full second-order observable. The Einstein-shell term stays named whenever $A\gamma$ does not vanish near the parameter support.