Finite sum of all monomials of total degree in the listed nodes, with explicit weak-composition enumeration.
Proposed arity: 4. Parameters: nodes degree value trace. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.