The field entry name — the head segment of every read below.
Every site whose condition reads this field.
Verified single-value proposals harvested from blocking atoms; empty when nothing solvable blocks on this field.
The distinct $fields reads naming this field across all sites.
Everything the evaluation derived about one
$fieldsentry.involvedInis the field's full footprint — every gate whose condition reads it — independent of whether any single value flips anything. Scope caveat: the name is the RENDERED scope name; a stage-/activity-scope declaration shadows a workflow-scope one lexically, so the same name in two sites' scopes can denote two declarations.