cadrumo.application.evidence package

Inert namespace for evidence-bundle 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 inspection and audit handoff. Bundles are durable artifacts stored inside the active bucket; they are not the source of relational truth.

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

The persisted manifest is encrypted bucket-local state reached through the required EvidenceBundlePorts capabilities supplied by outer composition. 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

Bucket events emitted by mutating operations:

modelo.audit.verified - a fresh verify-pass completed modelo.audit.exported - a ZIP was successfully written

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

Models are defined in models, required capabilities in ports, and service operations in service. The package initializer exports no symbols.

See also

EvidenceBundleService

Build, verify, and export service for audit bundles.

EvidenceBundlePorts

Required application capabilities for one bucket-bound service call.

EvidenceBundleVerificationReport

Integrity-check summary emitted by check and export flows.

BundleVerificationState

Closed verification state vocabulary for bundle manifests.

application.ledger.evidence.PurchaseInvoiceEvidence

Source-document evidence for ledger rows.

ExternalEvidence

Official filing evidence stamped on current modelo filing records.

Submodules