aeat.application.calculations package¶

Application-layer calculation source stores, proof records, and prefill helpers.

The registry runtime consumes already-resolved binding_values and relation_values for domain.calculations.registry.calculate_registry_snapshot(). This package is the public application facade for the stores, source resolvers, and typed proof records that produce those inputs from local filing history, IVA wallet reconciliation, relation prefill, row-set detail captures, and cross-period clean-state evidence.

This facade is not the formula runtime. It owns persisted observations, source-proof assembly, carry-forward policy, and source resolvers that feed the registry engine; the registry remains the authority for casilla definitions, binding declarations, relation closure, and formula execution.

Direct prior-filing bindings and registry relations are deliberately separate source owners. PreviousFilingSourceResolver resolves core.BindingSourceKind.PREVIOUS_FILING binding carries; RelationPrefillSourceResolver resolves core.BindingSourceKind.RELATION_PREFILL relation fold-ins and their materialised target bindings; IvaWalletDecisionSourceResolver resolves the Modelo 303 core.BindingSourceKind.IVA_WALLET_DECISION compensation authority outside the ordinary previous-filing carry; and IvaCompensationAnnualPartitionSourceResolver resolves Modelo 390 core.BindingSourceKind.IVA_COMPENSATION_ANNUAL_PARTITION boxes 97 and 662 from the same FIFO carry projection.

The main public surfaces are:

CalculationObservationRepository and IvaWalletDecisionRepository, encrypted stores for prior domain.calculations.registry.RegistryModeloObservation records, plus IvaCompensationHistoryRepository for secure Modelo 303 compensation history.
PreviousFilingSourceResolver, RelationPrefillSourceResolver, and IvaWalletDecisionSourceResolver, source-mesh adapters that produce application.aggregation.CalculationSourceResolution envelopes.
resolve_bindings_from_local_store() and resolve_relations_from_local_store(), prefill readers over the same local observation substrate; BindingPrefillReport and PrefilledBinding carry the direct previous-filing coverage.
cross_period_dependency_requirements() and evaluate_cross_period_clean_state(), the filing-grade dependency proof whose CrossPeriodCleanStateVerdict joins CrossPeriodDependencyRequirement rows to filing records, revisions, verification reports, and justificante evidence.
Row-set assemblers such as assemble_withholding_observations(), which turn pull-side Detalle cells into AssembledObservations payloads for persistence.

aeat.application.calculations package¶

Submodules¶