aeat.domain.calculations.registry._validate_revision_closure module

Revision closure and reference-surface validation helpers.

Runs closure validators for one ModeloRevision, checking application links, constructs, formulas, completeness-manifest references, continuity references, and revision-level invariants against a prebuilt RevisionValidationContext.

The reference-surface pass checks revision-level LegalReference and SourceReference ids with the EvidenceValidator.

See also

domain.calculations.registry._validate_application_links.validate_application_link_closure()

Application-link surface closure invoked by this module.

domain.calculations.registry._validate_constructs.validate_construct_closure()

Construct member and grounding closure invoked by this module.

domain.calculations.registry._validate_formulas.validate_formula_dag()

Formula dependency-cycle guard invoked by this module.