Interface TCorePropagationOptions

Premise IDs excluded from propagation entirely — their expressions are not indexed, so no operator inside them contributes a value.

Variable IDs dropped from the seed before closure runs. Used by the attribution counterfactual: withhold an assertion, then recompute from the remaining inputs rather than deleting a value after the fact.