aeat.domain.calculations.registry._validate_record_sections module

Core revision record-section validation helpers.

Validates the primary record sections declared on a ModeloRevision: casillas, formulas, parameters, bindings, and extraction profiles. Each validator checks local reference closure plus legal/source grounding through EvidenceValidator.

See also

validate_revision_definition()

Per-revision dispatcher that invokes these record-section validators.

_validate_formulas

Formula-expression validation used by the formula section.

_validate_extraction_profiles

Extraction-profile artefact and specimen gates used by this module.

validate_casilla_section(failures, *, prefix, revision, formulas, bindings, export_field_ids, legal_refs, source_refs, evidence)[source]

Append casilla metadata, formula, binding, and export-ref failures.

The ModeloRevision supplies CasillaDefinition rows. Each casilla, constraint, and alias must be legally/source grounded; formula, binding, alternate-binding, and export-field references must point at ids in the shared revision-validation context.

Return type:

None

Parameters:
validate_formula_section(failures, *, prefix, revision, casillas, bindings, parameters, relations, legal_refs, source_refs, evidence)[source]

Append formula reference, evidence, citation, and duplicate-target failures.

The ModeloRevision supplies FormulaDefinition rows. Each formula must cite official-source guidance, target a declared CasillaId, and contain only expression references accepted by validate_formula_expression().

Return type:

None

Parameters:
validate_parameter_section(failures, *, prefix, revision, legal_refs, source_refs, evidence)[source]

Append parameter reference, citation, and dated-value failures.

The ModeloRevision supplies ParameterDefinition rows. Each parameter must carry known legal/source refs, official-source citations, and valid dated-value windows.

Return type:

None

Parameters:
validate_binding_section(failures, *, prefix, revision, legal_refs, source_refs, evidence)[source]

Append binding selector-shape, reference, and evidence failures.

The ModeloRevision supplies DataBindingDefinition rows. Selectors are validated through the single binding-selector contract; layout bindings require layout-authority evidence, while other bindings require official-source guidance and source citations.

Return type:

None

Parameters:
validate_extraction_profile_section(failures, *, prefix, modelo_id, revision, casillas, exported_casillas, legal_refs, source_refs, evidence, corpus_root=None)[source]

Append extraction-profile reference, artefact, and specimen failures.

The ModeloRevision supplies ExtractionProfileDefinition rows. Each profile must target declared/exported casillas as required, declare layout-authority evidence, use a dotted parser callable, and satisfy bundled justificante PDF specimen/round-trip gates when a corpus root is available.

Return type:

None

Parameters: