The screens a map of definitions makes reachable from start by their edges,
at run time — the twin of ScreenReachableFrom. A platform derives
facts the registry implies but does not state from it: Android reads the
pre-session screen set from the login home with it, and the launch checks a
checkpoint's screen against the same set its types were derived from.
The screens a map of definitions makes reachable from
startby their edges, at run time — the twin of ScreenReachableFrom. A platform derives facts the registry implies but does not state from it: Android reads the pre-session screen set from the login home with it, and the launch checks a checkpoint's screen against the same set its types were derived from.