# Record an amendment as four operations

## Intent

I want to present the result of each amendment.

## Wrong form and why it stays silent

The instruction “replace the words” is not the fragment’s resulting text.

```text title="Incorrect form"
text """Слова пять заменить словом семь."""; }
```

## Correct form

```law
language "law.core" version "0.2";
package recipe.i03 version "1.0.0";
namespace "urn:recipe:i-sources:03";
source Act { kind policy; }
edition Prev of Act { language ru; officiality unofficial; materialization_status ABSTRACT_ONLY; in_force [@2026-01-01, infinity); }
edition Next of Act { language ru; officiality unofficial; materialization_status ABSTRACT_ONLY; in_force [@2026-01-01, infinity); }
fragment Old1 in Prev { kind article; locator "article/1"; text ru unofficial """Срок пять дней."""; }
fragment Old2 in Prev { kind article; locator "article/2"; text ru unofficial """Временный пункт."""; }
fragment Old3 in Prev { kind article; locator "article/3"; text ru unofficial """Сохраняемый пункт."""; }
fragment New1 in Next { kind article; locator "article/1"; text ru unofficial """Срок семь дней."""; }
fragment New3 in Next { kind article; locator "article/4"; text ru unofficial """Сохраняемый пункт."""; }
fragment New5 in Next { kind article; locator "article/5"; text ru unofficial """Новый пункт."""; }
revision Change { previous Prev; next Next; relation amends; effective @2026-07-01;
 op replace { locator "article/1"; language ru; text """Срок семь дней."""; }
 op repeal { locator "article/2"; }
 op renumber { locator "article/3"; to_locator "article/4"; }
 op insert { locator "article/5"; language ru; text """Новый пункт."""; }
}
```

## Frozen execution scene

| Variant | Result |
|---|---|
| replace, repeal, renumber, insert | the result matches Next |
| instruction instead of result | E5401 |
| missing target | E5402 |
| coincident operations | E5403 |

```python
>>> import runpy
>>> checks = runpy.run_path("docs/recipes/i-sources/resources/check.py")
>>> checks["migration"](https://github.com/arxohq/law/blob/master/docs/recipes/i-sources/3)
True
```

## Counterfactual

The `teaches` mutation reproduces `LDC-E5401`. Additional variants are checked by the shown adapter call.

## Boundary

Effective is ordered before the declaration. Fragments are a projection of the text; this is not a completeness check of a publication.

## Pitfall

The target check and the consolidation check refuse differently; here both refusals are repeated on this page's own text.