Finite repeated-node divided difference of a polynomial, defined algebraically by a recurrence/monomial table. Equality cases use multiplicities, not division by zero.
Proposed arity: 5. Parameters: nodes mults polynomial value trace. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.