Expands premiseScope decisions into per-expression operator
assignments via TEvaluablePremise.getDecidableOperatorExpressions(),
then layers expressionOverrides on top.
Overrides without matching premiseScope: An override whose parent
premise is not listed in premiseScope is still applied verbatim. This
lets the review wizard collect expression-level decisions without
having to decide at premise scope first.
Output keys are exactly those expression ids that ended up with an
assignment — not every expression in the argument.
For any override id that does not
exist in the argument.
Throws
With reason: "is-not-operator"
for overrides targeting a "not" operator, or with
reason: "not-an-operator-type" for overrides targeting a variable
or formula expression.
Expands
premiseScopedecisions into per-expression operator assignments viaTEvaluablePremise.getDecidableOperatorExpressions(), then layersexpressionOverrideson top.Overrides without matching premiseScope: An override whose parent premise is not listed in
premiseScopeis still applied verbatim. This lets the review wizard collect expression-level decisions without having to decide at premise scope first.Output keys are exactly those expression ids that ended up with an assignment — not every expression in the argument.