The three machines called a world model

Three machines, one name. Test one asks whether the model's internal map matches the real world (identifiability). Test two asks whether the map stays accurate as the model rolls forward (temporal consistency).