aeat.domain.calculations.registry._coverage module

Coverage ledger for registry authority and verification tiers.

Audits every ModeloDefinition and ModeloRevision in the registry for the four mandatory evidence tiers (legal authority, official source guidance, executable parity, and layout authority). Each revision is examined through a RegistrySnapshot so referential integrity is verified before coverage is assessed.

class CoverageModel(**data)[source]

Bases: BaseModel

Strict frozen base for coverage reports.

class EvidenceTierCoverageGate(**data)[source]

Bases: CoverageModel

Coverage state for one evidence tier.

Parameters:

  • tier (Literal['legal_authority', 'official_source_guidance', 'executable_parity_evidence', 'layout_authority'])

  • status (Literal['satisfied', 'gap'])

  • legal_refs (tuple[LegalRefId, ...])

  • source_refs (tuple[SourceRefId, ...])

  • workbook_refs (tuple[WorkbookParityRefId, ...])

  • cross_reference_refs (tuple[CrossReferenceId, ...])

  • detail (str)

tier: EvidenceTier
status: CoverageGateStatus
legal_refs: tuple[LegalRefId, ...]
source_refs: tuple[SourceRefId, ...]
workbook_refs: tuple[WorkbookParityRefId, ...]
cross_reference_refs: tuple[CrossReferenceId, ...]
detail: str
class ModelLawCoverageLedger(**data)[source]

Bases: CoverageModel

Per-modelo/revision coverage ledger for legal, source, parity, and layout evidence.

Parameters:
modelo: str
revision: str
gates: tuple[EvidenceTierCoverageGate, ...]
property gaps: tuple[EvidenceTierCoverageGate, ...]

Return EvidenceTierCoverageGate entries that have no supporting registry evidence.

class RegistryCoverageAudit(**data)[source]

Bases: CoverageModel

Audit result for model-law coverage across the committed registry.

Parameters:
ledgers: tuple[ModelLawCoverageLedger, ...]
required_gate_failures: tuple[str, ...]
executable_parity_gaps: tuple[str, ...]
property ok: bool

Return whether every mandatory model-law evidence tier is covered.

audit_registry_model_law_coverage(modelos, catalogues, *, source_root)[source]

Validate registry coverage ledgers and return a RegistryCoverageAudit.

Legal authority, official guidance, and layout authority are mandatory for every revision because the registry cannot be filing-grade without them. Executable parity remains a reported gap unless an official safe calculator or formula workbook exists for the revision.

Parameters:
Return type:

RegistryCoverageAudit

build_model_law_coverage_ledger(snapshot)[source]

Build the four-tier coverage ledger for a validated registry snapshot.

Parameters:

snapshot (RegistrySnapshot) – The RegistrySnapshot to assess for model-law coverage.

Return type:

ModelLawCoverageLedger

Returns:

A ModelLawCoverageLedger summarising coverage across all evidence tiers.