aeat.application.verification._verify module

Registry-backed declaration verification.

Verifies a parsed declaracion against the engine output for the same inputs. The ValidatedRegistryAuthority supplies the RegistrySnapshot used to run the formula engine over operator-provided casilla values.

The verifier consumes InboundDeclaracionObservation values from the inbound parser, selects the law-determined registry revision for the filing period, calculates the snapshot with supplied BindingId values, and emits a local VerificationVerdict. It does not perform live AEAT reads or filing-state reconciliation.

verify_declaracion(declaracion, *, binding_values=None, registry_root=None)

Compare the printed casilla values against a registry snapshot.

Parameters:

• declaracion (InboundDeclaracionObservation) – The parsed filing returned by aeat.adapters.inbound.declaracion.parse_declaracion().

• binding_values (Mapping[TypeAliasType, Decimal] | None) – External BindingId facts required for calculations that depend on facts not printed in the declaration.

• registry_root (Path | None) – Optional registry root override. Defaults to registry/aeat under the repository root.

Return type:

VerificationVerdict

Returns:

A frozen VerificationVerdict carrying the status, every ClassifiedDiscrepancy, the coverage fraction, a multilingual narrative key, and the UTC timestamp the verdict was produced.

Raises:

VerificationError – When the registry snapshot cannot be loaded for the declaracion’s modelo and period.