cadrumo.adapters.outbound.aeat.verify package

Read-only CSV verification against AEAT’s Sede electrónica.

The verify_csv() helper is opt-in: it only runs when the caller supplies or constructs a adapters.outbound.aeat.browser.factory.DefaultBrowserSession. It is guarded by domain.calculations.registry.remote_state_guard.RemoteStateGuardPolicy and never mutates AEAT-side state. The contract is:

• open the CSV-keyed Sede viewer,

• read back the server response,

• return True iff AEAT confirms the document as valid.

The function degrades gracefully when a browser cannot be constructed and surfaces the underlying error to the caller via domain.justificante.errors.JustificanteVerificationError.

The defining contract module owns verify_csv() and the Playwright protocol types (VerifyBrowserPageLike, VerifyBrowserContextLike, VerifyBrowserSessionLike, and VerifyBrowserSessionFactory) shared by the concrete browser adapters. The package initializer is inert and exports none of these symbols.

See also

adapters.outbound.aeat.browser.factory.default_browser_session_factory()

Production factory used by DEFAULT_BROWSER_SESSION_FACTORY.

adapters.outbound.aeat.browser.session.BrowserSession

Concrete browser session whose context/page surface these protocols mirror.

domain.calculations.registry.remote_state_guard.assert_remote_operation_allowed()

Guard used to allow only the reviewed read-only CSV verification URL.

Submodules

• cadrumo.adapters.outbound.aeat.verify.contract module
  • VerifyBrowserPageLike
    • VerifyBrowserPageLike.url
    • VerifyBrowserPageLike.goto()
    • VerifyBrowserPageLike.content()
  • VerifyBrowserContextLike
    • VerifyBrowserContextLike.new_page()
    • VerifyBrowserContextLike.close()
  • VerifyBrowserSessionLike
    • VerifyBrowserSessionLike.create_context()
    • VerifyBrowserSessionLike.close()
  • VerifyBrowserSessionFactory
  • DEFAULT_BROWSER_SESSION_FACTORY()
  • verify_csv()