A judgment on a live branch

Intention

I want to request a proportionality assessment only where a court answer can change the outcome.

The court is asked only on a live branch: where its answer can still change the outcome.

Incorrect form and why it stays silent

external judgment relation proportionate(p: Person) { }

Without authority the channel has no addressee and is rejected with LDC-E0201. Presence of an addressee does not mean a request will be asked on a dead branch.

Correct form

Minimal standalone form:

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

entity Person;
external judgment relation proportionate(p: Person) { authority Court; }
relation eligible(p: Person);
relation blocked(p: Person);
relation allowed(p: Person);
rule Allow defeasible { for p: Person; when eligible(p) and proportionate(p); then allowed(p); }
rule Block defeater { for p: Person; when blocked(p); then allowed(p); }

Frozen execution scene

Facts and choice	Question	Answer
1. live branch, no answer	`allowed`	`NEITHER` / `REQUIRES_JUDGMENT`
2. conjunct refuted	`allowed`	`NEITHER` / `COMPUTED`
3. conjunct unknown	`allowed`	`NEITHER` / `REQUIRES_JUDGMENT`
4. defeater applies	`allowed`	`NEITHER` / `COMPUTED`
5. positive answer accepted	`allowed`	`TRUE_ONLY` / `COMPUTED`
6. the court does not revive a defeated candidate	`allowed`	`NEITHER` / `COMPUTED`

live branch, no answer

test "live branch, no answer" {
    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 eligible(entity_ref("urn:recipe:z-interpretations:03:p"));
    }
    evaluate truth(allowed(entity_ref("urn:recipe:z-interpretations:03:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == REQUIRES_JUDGMENT;
    expect judgment_request(proportionate, Court);
}

conjunct refuted

test "conjunct refuted" {
    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 not eligible(entity_ref("urn:recipe:z-interpretations:03:p"));
    }
    evaluate truth(allowed(entity_ref("urn:recipe:z-interpretations:03:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == COMPUTED;
    expect judgment_requests(0);
}

conjunct unknown

test "conjunct unknown" {
    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";

        }

    }
    evaluate truth(allowed(entity_ref("urn:recipe:z-interpretations:03:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == REQUIRES_JUDGMENT;
    expect judgment_request(proportionate, Court);
}

defeater applies

test "defeater applies" {
    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 eligible(entity_ref("urn:recipe:z-interpretations:03:p")); assert blocked(entity_ref("urn:recipe:z-interpretations:03:p"));
    }
    evaluate truth(allowed(entity_ref("urn:recipe:z-interpretations:03:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == COMPUTED;
    expect judgment_requests(0);
}

positive answer accepted

test "positive answer accepted" {
    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 eligible(entity_ref("urn:recipe:z-interpretations:03:p")); assert proportionate(entity_ref("urn:recipe:z-interpretations:03:p")) { origin adjudicated; }
    }
    evaluate truth(allowed(entity_ref("urn:recipe:z-interpretations:03:p")));
    expect truth_status == TRUE_ONLY;
    expect evaluation_status == COMPUTED;
    expect judgment_requests(0);
}

court does not revive defeated

test "court does not revive defeated" {
    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 eligible(entity_ref("urn:recipe:z-interpretations:03:p")); assert blocked(entity_ref("urn:recipe:z-interpretations:03:p")); assert proportionate(entity_ref("urn:recipe:z-interpretations:03:p")) { origin adjudicated; }
    }
    evaluate truth(allowed(entity_ref("urn:recipe:z-interpretations:03:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == COMPUTED;
    expect judgment_requests(0);
}

Counterfactual

Sidecar mutation: authority Court; → “; expected LDC-E0201. Additional scenes with fragment deletion are marked in the table; the outcome is checked by both evaluators.

Boundary

A refuted conjunct and an applied defeater close the branch silently; an unknown conjunct still calls for the court’s answer.

Pitfall

No request is raised for a refuted body or a defeated candidate; the scenes pin both boundaries.

Documentation for Arxo. Writings — blog.arxo.io.

Anonymous visit counts on stats.arxo.io, no cookies.