cadrumo.entrypoints.tui.modelo.view.filing module

The modelo.workspace.filing read destination.

The narrowest destination in the cohort, and deliberately so. What the Workspace contract carries about filing is one capability row and its producer attribution – nothing else. Canonical filing state and filing history are not projected, and there is no filing-record or work-unit history contributor among the production ports, so this screen has no honest way to show them.

FILING_DRAFT_READINESS is permanently unmeasured. build_draft is pure and stateless – it persists nothing, emits no event and stamps no revision field – so there is no producer whose verdict could be read, and calling it to see whether it raises would be the derivation the contract forbids. That is a structural fact about the filing architecture, not a wiring gap awaiting a fix.

The capability is named and its disposition said in words; the producer attribution sits in a collapsed technical-details group.

NO REMOTE SUBMISSION, and none is offered. Filing happens outside this application by a human; this destination reports what is known and names the handoff.

class ModeloWorkspaceFilingScreen(session, *, id=None)[source]

Bases: TypedAppAccess, AccountChromeScreen

The filing capability beside the reason it reads as it does.

Parameters:
BINDINGS: ClassVar

A list of key bindings.

compose()[source]

Called by Textual to create child widgets.

This method is called when a widget is mounted or by setting recompose=True when calling [refresh()][textual.widget.Widget.refresh].

Note that you don’t typically need to explicitly call this method.

Return type:

Iterable[Widget]

Example

def compose(self) -> ComposeResult:
    yield Header()
    yield Label("Press the button below:")
    yield Button()
    yield Footer()
on_mount()[source]

Populate the header, capability table, and filing disclosures.

Return type:

None

action_quit_filing()[source]

Leave the destination without returning a value; this screen decides nothing.

Return type:

None

action_toggle_appearance()[source]

Switch between the two shipped appearances.

Return type:

None

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.