we only label states as ‘different’ if they actually result in different controller behaviour at some point down the line.
This reminds me a lot of the coarse-graining of “causal” states in comp mech.
This reminds me a lot of the coarse-graining of “causal” states in comp mech.