cadrumo.application.modelo._edit_execution module

The guarded application-owned edit executor for the Modelo Edit Contract V1.

Behind cadrumo.application.modelo. Only the enrolled operation executor may invoke this boundary (D6). Immediately before effect it revision-loads the work and calculation catalogues and rechecks every baseline coordinate through reconfirm_modelo_edit_baseline(); any disagreement refuses with stale_edit_baseline, writes nothing, and settles the domain effect as NONE. It never silently rebases, merges, or promotes a green preflight into authority.

V1 scope: the CALCULATE mutation family with SET_TYPED_VALUE and CLEAR_DECLARED_VALUE scalar intents, because those are the only intents the shared calculation boundary (calculate_modelo_revision_from_bucket_aggregation_with_diagnostics()) has an input shape for today – a set value and an explicit clear, the latter via its own cleared_casilla_ids identity axis so a cleared casilla stays provably distinguishable from one never declared. Every other syntactically admitted intent – including every binding-override intent, which the calculate boundary has no binding_overrides-clearing input shape for yet – refuses with a typed, enumerated ModeloEditUnsupportedIntentReason naming the specific intent kind, not a generic bucket – extending the shared calculation boundary’s own input surface further, or materialising repeatable rows inside this executor, are out of this Step’s scope (they would either widen the live calculate path’s blast radius or re-implement the write path it already owns).

apply_modelo_edit(request, *, ports, receipt_repository, now, result_destination)[source]

Recheck the baseline at the guarded commit point and execute a CALCULATE edit.

Delegates the actual formula evaluation and persistence to the existing calculation boundary and single-writer primitive; this function adds only the commit-point recheck, the intent-reachability gate, and the atomically co-committed result receipt.

The required calculation ports arrive as one bucket-bound bundle from the outer composition root. This executor owns no calculation repository construction.

Return type:

TypeAliasType

Parameters: