cadrumo.application.modelo.verification_preconditions module

Typed, locale-neutral precondition projections for modelo verification.

class VerificationFindingPreconditionProjection(**data)

Bases: BaseModel

Pair one report fact with its exact application precondition identity.

Parameters:

data (Any)

finding: ModeloVerificationFinding

precondition_failure: ModeloPreconditionFailure | None

class ModeloVerificationResult(**data)

Bases: BaseModel

Persisted report facts paired with transient application decisions.

Parameters:

data (Any)

report: VerificationReport

finding_preconditions: tuple[VerificationFindingPreconditionProjection, ...]

build_verification_precondition_failure(*, calculation_revision_id, work_unit_id, condition_id, scenario_id, evidence_id, evidence_values, provenance, action_id=None)

Build one verify failure with the common persisted addressing facts.

Return type:

ModeloPreconditionFailure

Parameters:

• calculation_revision_id (CalculationRevisionId)

• work_unit_id (str)

• condition_id (str)

• scenario_id (str)

• evidence_id (str)

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

• provenance (ActionEvidenceProvenance)

• action_id (str | None)

project_verification_findings(findings, *, failures_by_finding_id)

Project findings by constructor identity; never classify from rendered text.

Return type:

tuple[VerificationFindingPreconditionProjection, ...]

Parameters:

• findings (Iterable[ModeloVerificationFinding])

• failures_by_finding_id (Mapping[int, ModeloPreconditionFailure])