Order ledger

For the selected word,

under the declared contraction-degree prescription. The fully contracted order-three term is a constant functional, but the order-two terms are not.

Observation differentiation changes neither the number of insertions nor the contraction order. It does not supply an extension theorem for independently opened functional derivative slots.