Interface ExplainSymbolOccurrence

Stable only within this result; empty when no visible binding was decided.

The resolver's reason for an abstention or special reading.

True when the reaching set is incomplete or otherwise unknown.

For a reference, the set of literal valueIds that may reach this program point (flow-sensitive, conservative). Linear code is last-write-wins (single element); a branch merge is a set; a loop merge or a non-literal assignment is unknown. Branch/loop bodies are scope blocks; an optional branch unions the pre-block and block-final values, while an exhaustive if/else unions the two arm-final values. reachingUnknown true means the set may be incomplete; callers should treat the shape as unknown rather than the listed ids.

Whether the source used a $-sigilled reference spelling.

For a declaration/binding/assignment with a literal RHS in the same statement, the ExplainValueOccurrence.id that spells it. Absent when the RHS is a variable, substitution, expression, or absent.

No RHS evaluation (#239 S2): only a directly literal positional value in the same statement is linked.