The live state of a launch (§2). Terminal states (dismissed/revoked/ failed) are reached identically for self-exit, user dismiss, and host revoke — the host debounces so the launcher gets no timing oracle (R-SAL-1 / §6.4).
dismissed
revoked
failed
The live state of a launch (§2). Terminal states (
dismissed/revoked/failed) are reached identically for self-exit, user dismiss, and host revoke — the host debounces so the launcher gets no timing oracle (R-SAL-1 / §6.4).