RUN_FIELDS

The run:<field> names a rule may read; they are the keys of Run.facts.