cadrumo.application.aeat_sync._workspace_projection module

Projection and authority checks for the AEAT Sync workspace.

The public workspace module owns the row models and their invariants. This module owns the projection pipeline: admission scope, capability joins, source claims, deterministic ordering, and zone summaries.

aeat_sync_workspace_sources(zone)

Return the canonical independent sources required by one zone.

Return type:

tuple[AeatSyncWorkspaceSource, ...]

Parameters:

zone (AeatSyncWorkspaceZone)

project_aeat_sync_workspace(*, bucket_id, subject_key, zone_observations, action_catalogue, operation_contracts, overview=(), census=(), filed_declarations=(), notifications=(), evidence_comparison=(), reconciliation=())

Project already-loaded, scoped facts without retaining their scope.

Return type:

AeatSyncWorkspaceProjectionV1

Parameters:

• bucket_id (Annotated[str, StringConstraints(strip_whitespace=True, to_upper=None, to_lower=None, strict=None, min_length=1, max_length=128, pattern=None, ascii_only=None)])

• subject_key (str)

• zone_observations (tuple[AeatSyncWorkspaceZoneObservationV1, ...])

• action_catalogue (ActionCatalogue)

• operation_contracts (OperationPublicContractSetV1)

• overview (tuple[AeatSyncWorkspaceFactV1[AeatSyncWorkspaceOverviewRowV1], ...])

• census (tuple[AeatSyncWorkspaceFactV1[AeatSyncWorkspaceCensusRowV1], ...])

• filed_declarations (tuple[AeatSyncWorkspaceFactV1[AeatSyncWorkspaceFiledDeclarationRowV1], ...])

• notifications (tuple[AeatSyncWorkspaceFactV1[AeatSyncWorkspaceNotificationRowV1], ...])

• evidence_comparison (tuple[AeatSyncWorkspaceFactV1[AeatSyncWorkspaceEvidenceComparisonRowV1], ...])

• reconciliation (tuple[AeatSyncWorkspaceFactV1[AeatSyncWorkspaceReconciliationRowV1], ...])