cadrumo.entrypoints.tui.aeat_sync.screens module

Six safe, host-neutral AEAT Sync projection screens.

aeat_sync_copy(key, **values)

Resolve every operator-facing AEAT Sync string through one boundary.

Return type:

str

Parameters:

• key (str)

• values (object)

class AeatSyncRouteRequested(target)

Bases: Message

Ask the owning host to replace this active internal workspace body.

Parameters:

target (AeatSyncRouteTargetV1)

time

bubble: ClassVar[bool]

handler_name: ClassVar[str]

Name of the default message handler.

no_dispatch: ClassVar[bool]

verbose: ClassVar[bool]

class AeatSyncWorkspaceScreen(controller, *, id)

Bases: AccountChromeScreen

Common one-scroll shell; it reads only the injected immutable projection.

Parameters:

• controller (AeatSyncWorkspaceController)

• id (str)

BINDINGS: ClassVar

A list of key bindings.

CSS: ClassVar[str]

Inline CSS, useful for quick scripts. Rules here take priority over CSS_PATH.

Note

This CSS applies to the whole app.

zone: AeatSyncWorkspaceZone

heading: str

compose()

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()

Render all six independent source states and this screen’s safe rows.

Return type:

None

refresh_projection(projection)

Apply one explicit preloaded snapshot and retain semantic focus.

Return type:

None

Parameters:

projection (AeatSyncWorkspaceProjectionV1)

populate_rows(table)

Populate one safe public zone body in subclasses.

Return type:

None

Parameters:

table (DataTable[str])

add_operation(row)

Render an explicit mutation button only for a closed admitted pair.

Return type:

None

Parameters:

row (_OperationRow)

async on_button_pressed(event)

Hand the exact admitted request to the optional owning host door.

Return type:

None

Parameters:

event (Pressed)

async on_data_table_row_selected(event)

Request a host-owned internal route only for an observable zone.

Return type:

None

Parameters:

event (RowSelected)

on_data_table_row_highlighted(event)

Track semantic identity instead of a mutable row position.

Return type:

None

Parameters:

event (RowHighlighted)

action_back()

Return a zone to the AEAT Sync overview; leave the workspace only from the overview.

Return type:

None

on_aeat_sync_route_requested(event)

Resolve the requested zone here and hand the finished body to the host.

Return type:

None

Parameters:

event (AeatSyncRouteRequested)

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.

class AeatSyncOverviewScreen(controller)

Bases: AeatSyncWorkspaceScreen

Overview preserving local, AEAT, and discrepancy axes per area.

Parameters:

controller (AeatSyncWorkspaceController)

zone: AeatSyncWorkspaceZone

heading: str

populate_rows(table)

Render public overview states without collapsing either source.

Return type:

None

Parameters:

table (DataTable[str])

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.

class AeatSyncCensusScreen(controller)

Bases: AeatSyncWorkspaceScreen

Census comparison without taxpayer values.

Parameters:

controller (AeatSyncWorkspaceController)

zone: AeatSyncWorkspaceZone

heading: str

populate_rows(table)

Render the census comparison, dropping columns before overflowing.

Return type:

None

Parameters:

table (DataTable[str])

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.

class AeatSyncFiledDeclarationsScreen(controller)

Bases: AeatSyncWorkspaceScreen

Filed declaration observation retaining local and AEAT state separately.

Parameters:

controller (AeatSyncWorkspaceController)

zone: AeatSyncWorkspaceZone

heading: str

populate_rows(table)

Render only public filing and receipt state.

Return type:

None

Parameters:

table (DataTable[str])

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.

class AeatSyncNotificationsScreen(controller)

Bases: AeatSyncWorkspaceScreen

Notification metadata surface with no identity or document content.

Parameters:

controller (AeatSyncWorkspaceController)

zone: AeatSyncWorkspaceZone

heading: str

populate_rows(table)

Render dates and public read/custody metadata only.

Return type:

None

Parameters:

table (DataTable[str])

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.

class AeatSyncEvidenceComparisonScreen(controller)

Bases: AeatSyncWorkspaceScreen

Evidence comparison screen retaining the two observed source states.

Parameters:

controller (AeatSyncWorkspaceController)

zone: AeatSyncWorkspaceZone

heading: str

populate_rows(table)

Render a safe public comparison coordinate and discrepancy.

Return type:

None

Parameters:

table (DataTable[str])

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.

class AeatSyncReconciliationScreen(controller)

Bases: AeatSyncWorkspaceScreen

Reconciliation status surface without a generic mutation path.

Parameters:

controller (AeatSyncWorkspaceController)

zone: AeatSyncWorkspaceZone

heading: str

can_focus: bool

Widget may receive focus.

can_focus_children: bool

Widget’s children may receive focus.

populate_rows(table)

Render source states, discrepancy, and application-set resolution.

Return type:

None

Parameters:

table (DataTable[str])