Record an amendment as four operations

Intent

I want to present the result of each amendment.

Correct formFrozen execution sceneBoundary

Wrong form and why it stays silent

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

Incorrect form

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

Correct form

Arxo 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.