terminalBindMap

The properties a terminal write sets, and only those.

Counts and failures are on the map only when the transition carries them. Null means "keep what the run recorded", so leaving the key out is exactly what ExtractionRunTransition.applyTo does with counts ?: run.counts — and binding null instead would remove the stored properties, which is the opposite.