clarify om.core/root app state invariant