cadrumo.application.overview package

Application read models for aeat app overview.

The package owns the typed DTOs and pure builders behind the overview status, calendar, agenda, backlog, and explain surfaces. CLI adapters supply the active profile or bucket state, already-persisted live-read snapshots, local filing records, and query dates; these builders do not contact AEAT and do not mutate storage.

overview status delegates to application.state_projection.build_operator_state_projection() and projects the canonical application.state_projection.OperatorStateProjection through overview_status_report_from_projection() into OverviewStatusReport. overview calendar composes the existing domain.deadlines.engine.DeadlineEngine over the requested year window, returning OverviewCalendarEntry obligation rows, additive OverviewCalendarEvent observations, and OverviewCalendarFilingEvidence rows.

Calendar evidence deliberately keeps OverviewLocalFilingState separate from OverviewAeatSubmissionState: a local ready/filed record never implies an AEAT submission, and an observed AEAT submission is not a verified justificante until persisted receipt metadata proves the CSV/model/year/period/taxpayer match. Raw profile values may also produce typed CalendarWarning and CalendarCompleteness records through build_filing_obligation_advisories() so deadline-engine defaults are visible rather than silent.

See also

application.state_projection

Canonical producer for the application.state_projection.OperatorStateProjection consumed by overview status.

domain.deadlines

Deadline engine and domain.deadlines.models.Schedule authority used by calendar, agenda, backlog, and explain read models.

application.live

Read-only capture surface that persists the live evidence this package can display without opening AEAT again.

domain.modelos

Local ModeloRecord and ExternalEvidence records projected into overview calendar evidence.

application.workflow

Active-profile and pending-obligation state that remains upstream of overview rendering.

The initializer is inert; import contracts from their defining modules.

Submodules