# Check consolidation without preferring a side

## Intent

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

## Wrong form and why it stays silent

A correct delta does not make a mismatched Next correct.

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

## Correct form

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