aeat.application.evidence package

Public facade for EvidenceBundle audit services.

The evidence bundle is a bucket-scoped, work-unit-bound EvidenceBundle manifest plus EvidenceRecordRef records used to package the provenance of a modelo calculation, verification, or filing for offline replay and audit handoff. Bundles are durable artifacts stored inside the active bucket; they are not the source of relational truth.

Bundle manifests can reference domain.modelos.WorkUnit, domain.modelos.CalculationRevision, and domain.modelos.ModeloRecord payloads by stable id, with each record typed by domain.buckets.BucketEventObjectType. They are audit packaging records, not purchase-invoice evidence or official AEAT filing evidence claims.

The persisted manifest is encrypted bucket-local state managed by EvidenceBundleRepository. The ZIP produced by export is an operator-directed plaintext handoff artifact written only to the caller’s requested path after verification.

Verbs supported by the operator surface (aeat app modelo audit …):

show - render the bundle’s manifest and referenced records check - re-verify the bundle’s integrity (report-only) export - write a ZIP archive with the manifest emitted last replay - evidence-case replay (never contacts AEAT)

Bucket events emitted by mutating operations:

modelo.audit.verified - a fresh verify-pass completed modelo.audit.exported - a ZIP was successfully written modelo.audit.replayed - an evidence-case replay completed

Replay never contacts AEAT and never performs live submission. Export refuses on failed verification unless --force-incomplete is explicitly passed at the operator boundary.

See also

EvidenceBundleService

Build, verify, export, and replay service for audit bundles.

EvidenceBundleRepository

Encrypted bucket-local repository for bundle manifests.

EvidenceBundleVerificationReport

Integrity-check summary emitted by check, export, and replay flows.

BundleVerificationState

Closed verification state vocabulary for bundle manifests.

application.ledger.PurchaseInvoiceEvidence

Source-document evidence for ledger rows.

domain.modelos.ExternalEvidence

Official filing evidence stamped on current modelo filing records.

Submodules