cadrumo.application.filing.export_verification module

Canonical declaration-export receipts and read-back verification.

class DeclaracionExportFormat(*values)[source]

Bases: StrEnum

Closed catalogue of local declaration-export formats.

FICHERO_BOE
XML_DICTIONARY
class DeclaracionVerifyVerdict(*values)[source]

Bases: StrEnum

Closed verdict the verifier surfaces to the operator.

MATCH
DRIFT
MISSING
class DeclaracionExportResult(**data)[source]

Bases: BaseModel

Receipt produced by exporting an approved draft to disk.

Parameters:

data (Any)

draft_id: str
modelo: str
period: Period
format: DeclaracionExportFormat
output_path: Path
byte_size: NonNegativeInt
file_sha256: ContentDigest
exported_at: datetime
narrative: str
casilla_provenance: tuple[ModeloCasillaProvenance, ...]
class FilingExportConsumedResult(**data)[source]

Bases: BaseModel

Internal receipt for a validated payload delivered without plaintext disk.

Parameters:

data (Any)

draft_id: str
modelo: str
period: Period
format: DeclaracionExportFormat
byte_size: int
file_sha256: ContentDigest
exported_at: datetime
casilla_provenance: tuple[ModeloCasillaProvenance, ...]
class FilingExportValidatedPayload(**data)[source]

Bases: BaseModel

Secret-bearing in-memory payload delivered only after validation.

Parameters:
draft_id: str
modelo: str
period: Period
format: DeclaracionExportFormat
payload: bytes
casilla_provenance: tuple[ModeloCasillaProvenance, ...]
class FilingExportPayloadConsumer(*args, **kwargs)[source]

Bases: Protocol

Destination port for validated bytes that must not touch plaintext disk.

consume_validated_payload(payload)[source]

Consume the payload synchronously before its in-memory owner returns.

Return type:

None

Parameters:

payload (FilingExportValidatedPayload)

class DeclaracionVerifyResult(**data)[source]

Bases: BaseModel

Verdict produced by verifying an exported file against an approved draft.

Parameters:

data (Any)

draft_id: str
file_path: Path
verdict: DeclaracionVerifyVerdict
mismatched_casilla_ids: tuple[CasillaId, ...]
unchecked_casilla_ids: tuple[CasillaId, ...]
mismatched_root_fields: tuple[str, ...]
casilla_provenance: tuple[ModeloCasillaProvenance, ...]
mismatched_casilla_provenance: tuple[ModeloCasillaProvenance, ...]
file_sha256: str | None
verified_at: datetime
narrative: str
assert_export_artifact_matches_receipt(receipt, *, artifact_path)[source]

Bind a disk artifact’s extent and digest to its export receipt.

Return type:

None

Parameters:
verify_export(draft, *, file_path, schema_provider=None)[source]

Verify parser-covered bytes and root identity against an approved draft.

Core types: ModeloDraft.

Return type:

DeclaracionVerifyResult

Parameters:
verify_written_export(draft, *, file_path, schema_provider)[source]

Fail closed unless the just-written declaration re-parses as a match.

Core types: ModeloDraft.

Return type:

None

Parameters:
exported_casilla_provenance(layout, *, draft, schema_provider)[source]

Return the provenance rows for the casillas the layout actually exports.

Parameters:
Return type:

tuple[ModeloCasillaProvenance, ...]

Returns:

One ModeloCasillaProvenance per exported casilla.