Explicit finite product and truncated reciprocal-series construction of a cardinal Hermite polynomial. Its cardinality identities are separate theorems.
Proposed arity: 6. Parameters: nodes mults ell k polynomial trace. No reviewed kernel definition exists yet.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.