Different language editions

Intention

I want to show the difference of conclusions of two language editions without automatically choosing one.

Two language editions may conclude differently; the alignment between them chooses neither.

Correct formFrozen execution sceneBoundary

Incorrect form and why it stays silent

Incorrect form

align KkClause with RuClause { relation corresponding_official_text; status reviewed; reviewer Editor; }
// Из этого НЕ следует: licensed(p), если registered(p).

Alignment is an addressed correspondence, not an equivalence rule. On a registered person without a licence the editions give different answers; removing align changes neither answer.

Correct form

Arxo Law

language "law.core" version "0.2";
package recipes.z.r07 version "0.1.0";
namespace "urn:recipe:z-interpretations:07";

source Standard { kind standard; jurisdiction "none"; }
edition Kk of Standard { language kk-KZ; officiality official; in_force [@2026-01-01, infinity); }
edition Ru of Standard { language ru-KZ; officiality official; in_force [@2026-01-01, infinity); }
fragment KkClause in Kk { kind paragraph; locator "1"; text kk-KZ official "Тіркелген тұлға жіберіледі."; }
fragment RuClause in Ru { kind paragraph; locator "1"; text ru-KZ official "Лицо допускается при наличии лицензии."; }
align KkClause with RuClause { relation corresponding_official_text; status reviewed; reviewer Editor; }
entity Person;
relation registered(p: Person);
relation licensed(p: Person);
relation admitted(p: Person);
rule FromKk strict { for p: Person; when registered(p); then admitted(p); }
rule FromRu strict { for p: Person; when licensed(p); then admitted(p); }
interpretation KkReading of KkClause { status disputed; include FromKk; }
interpretation RuReading of RuClause { status disputed; include FromRu; }
interpretation_group Meaning { alternatives KkReading, RuReading; selection exactly_one; }

Frozen execution scene

Facts and choice	Question	Answer
1. registered, KkReading chosen	admitted	TRUE_ONLY / COMPUTED
2. registered, RuReading chosen	admitted	NEITHER / COMPUTED
3. alignment removed, Russian reading	admitted	NEITHER / COMPUTED
4. alignment without a choice	admitted	NEITHER / INTERPRETATION_REQUIRED

registered, Kazakh reading chosen

Arxo Law

test "registered, Kazakh reading chosen" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00+05:00;
            knowledge_time @2026-09-13T09:00:00+05:00;
            timezone "Asia/Almaty";
            interpretation KkReading;
        }
        assert registered(entity_ref("urn:recipe:z-interpretations:07:p"));
    }
    evaluate truth(admitted(entity_ref("urn:recipe:z-interpretations:07:p")));
    expect truth_status == TRUE_ONLY;
    expect evaluation_status == COMPUTED;

}

registered, Russian reading chosen

Arxo Law

test "registered, Russian reading chosen" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00+05:00;
            knowledge_time @2026-09-13T09:00:00+05:00;
            timezone "Asia/Almaty";
            interpretation RuReading;
        }
        assert registered(entity_ref("urn:recipe:z-interpretations:07:p"));
    }
    evaluate truth(admitted(entity_ref("urn:recipe:z-interpretations:07:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == COMPUTED;

}

alignment removed, Russian reading

Arxo Law

test "alignment removed, Russian reading" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00+05:00;
            knowledge_time @2026-09-13T09:00:00+05:00;
            timezone "Asia/Almaty";
            interpretation RuReading;
        }
        assert registered(entity_ref("urn:recipe:z-interpretations:07:p"));
    }
    evaluate truth(admitted(entity_ref("urn:recipe:z-interpretations:07:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == COMPUTED;

}

alignment without choice

Arxo Law

test "alignment without choice" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00+05:00;
            knowledge_time @2026-09-13T09:00:00+05:00;
            timezone "Asia/Almaty";

        }
        assert registered(entity_ref("urn:recipe:z-interpretations:07:p"));
    }
    evaluate truth(admitted(entity_ref("urn:recipe:z-interpretations:07:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == INTERPRETATION_REQUIRED;

}

An executable resource check from the repository root:

Python

>>> import runpy
>>> checks = runpy.run_path("docs/recipes/z-interpretations/resources/check.py")
>>> print(checks["check_divergence"]())
diverged=true; kk-KZ и ru-KZ; lawc = lawref

Counterfactual

Sidecar mutation: alternatives KkReading, RuReading; → alternatives KkReading;; expected LDC-E0201. Additional scenes with fragment deletion are marked in the table; the outcome is checked by both evaluators.

Boundary

The texts are synthetic on purpose and do not quote a real act. A divergence report compares formalizations; it does not translate the text and does not choose an authentic language. The resource report is checked by both evaluators.

Pitfall

Alignment leaves Established for the kk-KZ reading and Not established, not refuted for the ru-KZ reading; removing the alignment does not change either answer.