ReadonlyactionsReadonlydataWhat enter returns: the user's data, flat on the handle; never in a trail.
ReadonlyenterReadonlyidReadonlyinputWhat an edge passes to enter — for an item, the schema of one list entry.
ReadonlykindReadonlyleaveWhat the engine runs each time the thing stops being on top — covered by another screen, closed, or left by a tab switch — after the transition that did it committed. It cannot fail; absent when the thing does nothing then.
ReadonlyresumeWhat the engine runs each time the thing is on top again after a leave —
the screen that covered it was closed — after that transition committed.
Never on the first show (that is enter), never after a rolled-back
transition. It cannot fail; absent when the thing does nothing then.
ReadonlystateWhat continuing from it needs, from its input and data.
What screens and items share: an id, a kind, the schemas, the
enterthe engine runs when the thing is shown, and the actions.