Source code for cadrumo.application.modelo.m303_regimen_simplificado_scope

"""Secure-profile scope resolution for the M303 simplified-regime branch."""

from __future__ import annotations

from collections.abc import Mapping

from ...core.operator_action_enums import ActionEvidenceProvenance
from ...domain.calculations.registry.errors import RegistryValidationError
from ...domain.calculations.registry.iva_schema_vocabulary import (
    m303_regime_composition_simplified_scope,
)
from ...domain.deadlines.models import M303RegimeComposition, TaxpayerProfile
from ...domain.iva.regimen_simplificado_rows import M303RegimenSimplificadoScopeDecision
from ...domain.modelos.work_unit import WorkUnit
from ...domain.user_profile.values import ProfileSetupState
from ..user_profile.projections import projection_for_taxpayer
from .action_errors import ModeloProfileReadinessError
from .preconditions import ModeloPreconditionFailure, build_modelo_precondition_failure_for_scenario
from .profile_readiness_gate import load_modelo_work_profile
from .work_profile import ModeloWorkProfile

_READINESS_SUBJECT_LEAF_KEY = "modelo.work.calculate"
_READINESS_SCENARIO_PREFIX = "modelo.work.calculate.m303_profile_readiness"




def m303_profile_readiness_failure(
    scenario_code: str,
    evidence_values: Mapping[str, str | int | bool],
) -> ModeloPreconditionFailure:
    """Return the declared failure for one Modelo 303 profile-readiness scenario."""
    return build_modelo_precondition_failure_for_scenario(
        subject_leaf_key=_READINESS_SUBJECT_LEAF_KEY,
        scenario_id=f"{_READINESS_SCENARIO_PREFIX}.{scenario_code}",
        evidence_id=f"{_READINESS_SCENARIO_PREFIX}.{scenario_code}.observation",
        evidence_values=evidence_values,
        provenance=ActionEvidenceProvenance.APPLICATION_STATE,
    )





def active_taxpayer_profile(work_unit: WorkUnit) -> TaxpayerProfile:
    """Load the work unit's active, setup-complete taxpayer profile, or raise."""
    from ...domain.calculations.registry.authority import bundled_indexed_authority

    with bundled_indexed_authority().operation() as operation:
        profile = load_modelo_work_profile(
            bucket_id=work_unit.bucket_id,
            profile_decode_context=operation.profile_decode_context(),
        )
    return taxpayer_profile_for_work(profile)





def taxpayer_profile_for_work(profile: ModeloWorkProfile | None) -> TaxpayerProfile:
    """Project an already-loaded work profile, refusing an absent or incomplete one."""
    if profile is None:
        raise ModeloProfileReadinessError(
            precondition_failure=m303_profile_readiness_failure("profile_absent", {"profile_present": False}),
        )
    record = profile.record
    if record.setup_state is not ProfileSetupState.COMPLETE:
        raise ModeloProfileReadinessError(
            precondition_failure=m303_profile_readiness_failure(
                "profile_inactive",
                {"profile_present": True, "profile_setup_state": str(record.setup_state)},
            ),
        )
    return projection_for_taxpayer(record, schema=profile.profile_decode_context.schema)





def m303_regimen_simplificado_scope_for_profile(
    profile: TaxpayerProfile,
) -> M303RegimenSimplificadoScopeDecision:
    """Map the canonical secure IVA profile composition to the closed simplified-regime scope.

    Core types:
    :class:`~cadrumo.domain.deadlines.models.TaxpayerProfile`.
    """
    iva_profile = profile.iva
    if iva_profile is None:
        raise ModeloProfileReadinessError(
            precondition_failure=m303_profile_readiness_failure(
                "iva_composition_missing",
                {"iva_profile_present": False},
            ),
        )
    return m303_regimen_simplificado_scope_for_composition(iva_profile.regime_composition)





def m303_regimen_simplificado_scope_for_composition(
    composition: M303RegimeComposition | str,
) -> M303RegimenSimplificadoScopeDecision:
    """Map one registry-projected IVA composition to its registry-projected scope."""
    try:
        scope = m303_regime_composition_simplified_scope(composition)
    except RegistryValidationError as exc:
        raise ModeloProfileReadinessError(
            precondition_failure=m303_profile_readiness_failure(
                "iva_composition_unknown",
                {"iva_profile_present": True, "regime_composition": str(composition)},
            ),
        ) from exc
    return M303RegimenSimplificadoScopeDecision(
        scope=scope,
    )





def m303_regimen_simplificado_annual_summary_applies(work_unit: WorkUnit) -> bool:
    """Return whether regimen simplificado reaches this work unit's taxpayer.

    The single derivation the Modelo 390 annual-summary guard, resolver, and
    persisted-handoff validator all consult, so one taxpayer cannot be judged
    applicable by one and not another. Boxes 74--83 ride on every Modelo 390
    form, so a revision declaring that binding family says what the FORM
    carries and never that the regime reaches this filer: LIVA art. 122 Uno
    applies regimen simplificado only to sujetos pasivos meeting its three
    stated requirements.
    """
    return m303_regimen_simplificado_annual_summary_applies_to_profile(active_taxpayer_profile(work_unit))





def m303_regimen_simplificado_annual_summary_applies_to_profile(profile: TaxpayerProfile) -> bool:
    """The same derivation as :func:`m303_regimen_simplificado_annual_summary_applies`, on a loaded profile.

    Core types:
    :class:`~cadrumo.domain.deadlines.models.TaxpayerProfile`.
    """
    return not m303_regimen_simplificado_scope_for_profile(profile).is_not_claimed



__all__ = [
    "active_taxpayer_profile",
    "m303_regimen_simplificado_annual_summary_applies",
    "m303_regimen_simplificado_annual_summary_applies_to_profile",
    "m303_regimen_simplificado_scope_for_composition",
    "m303_regimen_simplificado_scope_for_profile",
    "taxpayer_profile_for_work",
]