Modal host

modal_host

Defines the Modal Host panel

Deploys, inspects, tears down, and backs up the full Mirumoji app hosted on the user's own Modal account, mirroring the mirumoji modal CLI command group. The offload worker is not managed here since the server owns its lifecycle

PANEL_INDEX = 4 module-attribute

This panel's navigation index, which its refresh callback registers under

build(page, state)

Builds the Modal Host panel

Parameters:

Name	Type	Description	Default
page	Page	The owning page	required
state	AppState	The shared GUI state	required

Returns:

Type	Description
Control	The panel's root control