Interface TransitionEvaluation

Derived state of the transition's when trigger — the atoms standing between here and the next stage. whenSatisfied/unevaluable are projections of insight.outcome; one evaluation feeds all three.

The trigger evaluated to GROQ null — a referenced operand was missing or incomparable, so it couldn't be decided. whenSatisfied is false, but this is a recoverable hold, not a deliberate false: the engine halts selection (it won't fall through to a later transition) and the cascade re-fires once the operand resolves. Lets a diagnosis tell an undecidable hold apart from a genuine routing dead-end.

Whether the transition's when trigger is definitively satisfied at read time. Projected caller-free, exactly as the engine's cascade evaluates it — the evaluation's actor and grants never participate.