nodesWithPosition

The nodes the map draws from.

Built from the repository rather than from nodes, which drops every ignored node unconditionally — that is the right default for the pickers that read it, but it left the map's own show-ignored filter with nothing to add back. MapNodePolicy still decides; this only stops the discard happening before it is asked.

Declared here rather than beside nodes because it reads storedFilters, and a property initialiser cannot see one declared below it.