undo_lift_composition_event
Reverses a prior lift composition event, persisting inverse state across affected models. Detects any material state evolution and returns 409 with a refusal block to prevent unsafe undo.
Instructions
Apply the inverse of a previous lift_applied composition event. Mutating — persists inverse state across multiple models.
Re-runs the divergence detector immediately before applying and
refuses with 409 + the structured refusal block when state has
materially evolved since the forward lift (assertions submitted on
the lifted entity, downstream COs added that reference it, the
entity edited, etc.). On success, persists the inverse state
operations across the LCA + every affected source descendant and
emits a structured lift_undone activity event citing
original_event_id so the audit pack can chain undo to its
forward.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| lift_id | Yes | Either the surrogate id of the ``lift_applied`` activity event, or the structured ``lift_id`` carried in the event payload. | |
| model_id | Yes | The model whose composition view originated the lift. Must match the cited event's ``threat_model_id`` — the server rejects cross-model citations with 404. | |
| server_version | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||