[T-hawk]

That last isn't defined explicitly. It's an emergent property from the constraint that the solution must be unique.

Any blue circle (or any linear group of them) that is not in line-of-sight with a numbered circle would have no constraint preventing it/them from being red instead. Therefore the solution wouldn't be unique, so such blue circles can't exist.