cadrumo.application.modelo.preconditions module

Locale-neutral precondition identities for modelo application verbs.

class ModeloPreconditionFailure(**data)

Bases: BaseModel

One application-owned failed condition at a canonical modelo leaf.

Parameters:

data (Any)

subject_leaf_key: NamespacedId

scenario_id: NamespacedId

verdict: PreconditionVerdict

property identity: tuple[str, str, str]

Return the exact leaf, condition, and scenario identity.

build_modelo_precondition_failure(*, subject_leaf_key, condition_id, scenario_id, evidence_id, evidence_values, provenance, action_id=None, action_argument_values=None)

Build one declared verdict and fail closed on catalogue disagreement.

Return type:

ModeloPreconditionFailure

Parameters:

• subject_leaf_key (str)

• condition_id (str)

• scenario_id (str)

• evidence_id (str)

• evidence_values (Mapping[str, str | int | bool | Decimal])

• provenance (ActionEvidenceProvenance)

• action_id (str | None)

• action_argument_values (Mapping[str, str | int | bool | Decimal] | None)

build_modelo_precondition_failure_for_scenario(*, subject_leaf_key, scenario_id, evidence_id, evidence_values, provenance, action_argument_values=None)

Build a failure from its declared leaf/scenario profile without re-declaring its condition.

Return type:

ModeloPreconditionFailure

Parameters:

• subject_leaf_key (str)

• scenario_id (str)

• evidence_id (str)

• evidence_values (Mapping[str, str | int | bool | Decimal])

• provenance (ActionEvidenceProvenance)

• action_argument_values (Mapping[str, str | int | bool | Decimal] | None)

build_modelo_work_file_unverified_revision_failure(*, calculation_revision_id, state, work_unit)

Build the one declared filing-admission refusal for an unverified revision.

Both the operator-addressing facade and the direct filing operation enforce this same persisted lifecycle condition. Keeping its evidence and action binding here prevents either entry path from independently re-declaring the recovery contract.

Return type:

ModeloPreconditionFailure

Parameters:

• calculation_revision_id (CalculationRevisionId)

• state (str)

• work_unit (WorkUnit)