The first screen a launch shows: the login home of a process without a user
session and the feed of one that holds a stored user. It is the public screen
definitions here because a published declaration may not name the internal
launch declarations; the pins below make it the very type those declarations
start with, so it is not a second source of truth. A member comes only from a
recording of a launch, so adding one is a breaking change of this type.
The location-permission splash is not a member, as a type fact rather than a
sentence: it is the launch declaration's splash, it can only appear after a
login in the same process (its screen reads the login path), and the
simulation either starts a fresh install or restores a stored session.
The first screen a launch shows: the login home of a process without a user session and the feed of one that holds a stored user. It is the public screen definitions here because a published declaration may not name the internal launch declarations; the pins below make it the very type those declarations start with, so it is not a second source of truth. A member comes only from a recording of a launch, so adding one is a breaking change of this type.
The location-permission splash is not a member, as a type fact rather than a sentence: it is the launch declaration's splash, it can only appear after a login in the same process (its screen reads the login path), and the simulation either starts a fresh install or restores a stored session.