HostDeathDischarge
What one host_exited call did.
Type alias in muse_code
Discriminated on kind because the three outcomes leave the session in
three different states: after notADeath it is still usable; after
durableDeath it is dead until resume with every live wait rejected; after
discharged the ephemeral obligation was paid in full. A bare
discharged: bool collapsed the first two, so an embedder had to re-derive
the state from the profile and the exit row this call already read.
Declaration
Section titled “Declaration”HostDeathDischarge = Union[_NotADeath, _DurableDeath, _Discharged[_I]]
Source
clients/sdk-py/src/muse_code/facade/host_death.py:244