cadrumo.domain.calculations.registry.iva_wallet_carry_targets module

The Modelo 303 iva-wallet carry carve-out, declared once.

One carry coordinate in the whole registry is owned by the iva-wallet compensación decision rather than by the cross-filing fold mesh, so it is exempt from the slot-source hygiene gate that otherwise governs how a compensación-pendiente slot is fed.

The exemption is a REVISION-EXACT binding coordinate, never a globally-owned binding name: the same identifier appearing in another modelo or another revision does not inherit the carve-out.

MODELO_303_IVA_COMPENSATION_BINDING_ID: Final[str]

The single M303 compensación-pendiente binding id, owned by the iva-wallet compensación decision. This is the one canonical declaration of the identifier: the calculate orchestrator’s mesh exclusion and the previous-filing exclusion both consume it rather than re-spelling the literal. It rides down here in the registry domain so both the domain and the application orchestrator (application -> domain) read one source of truth.

IVA_WALLET_OWNED_CARRY_TARGETS: frozenset[IvaWalletCarryTarget]

The exact revision coordinates the carve-out covers. Every M303 revision that declares the compensación-pendiente carry is listed; a revision absent from this set is governed by the ordinary fold rules even if it declares a binding of the same name.

is_iva_wallet_owned_carry_target(*, modelo_id, revision_id, binding_id)[source]

Return whether one exact binding coordinate belongs to the wallet.

Return type:

bool

Parameters:
  • modelo_id (str)

  • revision_id (RevisionId)

  • binding_id (str)

iva_wallet_owned_binding_ids_for_revision(*, modelo_id, revision_id)[source]

Return wallet-owned binding ids within one exact revision coordinate.

Return type:

frozenset[TypeAliasType]

Parameters:
  • modelo_id (str)

  • revision_id (RevisionId)