Check consolidation without preferring a side

Intent

I want to compare the computed edition with the presented one.

Correct formFrozen execution sceneBoundary

Wrong form and why it stays silent

A correct delta does not make a mismatched Next correct.

Incorrect form

fragment New1 in Next { kind article; locator "article/1"; text ru unofficial """Срок восемь дней.""";

Correct form

Arxo Law

language "law.core" version "0.2";
package recipe.i04 version "1.0.0";
namespace "urn:recipe:i-sources:04";
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
original pair	no diagnostics
different Next	E5401
different delta	E5401

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/4)
True

Counterfactual

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

Boundary

The diagnostic does not choose the legally correct side. A check of membership in a publication is performed separately.

Pitfall

The consolidation check compares exactly the AST and the diagnostic codes.