A judge's answer with authority and form

Intention

I want to accept an answer only from the channel’s authority and with a matching data form.

Only an answer from the channel’s authority, in the declared data form, counts.

Incorrect form and why it stays silent

assert proportionate(p) { origin adjudicated; judgment { authority OtherCourt; payload "да"; } }

Two errors are mixed here: a nested object is not expressed by the surface; its JSON equivalent with OtherCourt is rejected at execution with JUDGMENT_AUTHORITY_MISMATCH. The correct form below separates the program and the case JSON.

Correct form

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

entity Person;
external judgment relation proportionate(p: Person) { authority Court; request_schema Text; }

Frozen execution scene

Facts and choice	Question	Answer
1. correct authority and string	`proportionate`	`TRUE_ONLY` / `COMPUTED`
2. foreign authority	`proportionate`	`NEITHER` / `REQUIRES_JUDGMENT`
3. number instead of string	`proportionate`	`NEITHER` / `REQUIRES_JUDGMENT`
4. compatible answer without judgment	`proportionate`	`TRUE_ONLY` / `COMPUTED`
5. Known defect: party input accepted without an authority answer	`proportionate`	actually `TRUE_ONLY` / `COMPUTED`

right authority and string

test "right authority and string" {
    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(proportionate(entity_ref("urn:recipe:z-interpretations:09:p")));
    expect truth_status == TRUE_ONLY;
    expect evaluation_status == COMPUTED;
    expect judgment_requests(0);
}

foreign authority

test "foreign authority" {
    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(proportionate(entity_ref("urn:recipe:z-interpretations:09:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == REQUIRES_JUDGMENT;
    expect issue(JUDGMENT_AUTHORITY_MISMATCH); expect judgment_request(proportionate, Court);
}

number instead of string

test "number instead of string" {
    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(proportionate(entity_ref("urn:recipe:z-interpretations:09:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == REQUIRES_JUDGMENT;
    expect issue(JUDGMENT_PAYLOAD_MISMATCH);
}

compatible answer without judgment

test "compatible answer without judgment" {
    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(proportionate(entity_ref("urn:recipe:z-interpretations:09:p")));
    expect truth_status == TRUE_ONLY;
    expect evaluation_status == COMPUTED;

}

unadjudicated input accepted

test "unadjudicated input 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";

        }

    }
    evaluate truth(proportionate(entity_ref("urn:recipe:z-interpretations:09:p")));
    expect truth_status == TRUE_ONLY;
    expect evaluation_status == COMPUTED;
    expect judgment_requests(0);
}

Input 09-valid.json wholly replaces given of the corresponding scene through runs.caseJson:

{
  "id": "urn:recipe:z-interpretations:09#case",
  "context": {
    "legalTime": "2026-09-13",
    "decisionTime": "2026-09-13T09:00:00+05:00",
    "knowledgeTime": "2026-09-13T09:00:00+05:00",
    "timezone": "Asia/Almaty"
  },
  "assertions": [
    {
      "id": "urn:recipe:z-interpretations:09#answer",
      "kind": "assertion",
      "package": "urn:recipe:z-interpretations:09",
      "origin": "adjudicated",
      "literal": {
        "kind": "literal",
        "predicate": "urn:recipe:z-interpretations:09#proportionate",
        "polarity": "positive",
        "args": [
          {
            "kind": "entity_ref",
            "id": "urn:recipe:z-interpretations:09:p"
          }
        ]
      },
      "evidence": [],
      "judgment": {
        "authority": "urn:recipe:z-interpretations:09#Court",
        "payload": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Text"
          },
          "value": "да"
        }
      },
      "contentHash": "sha256:c8cbc3be571a3832746dbd83f0484be76997916f316c60bb5a422078bfe46fe4"
    }
  ]
}

Input 09-authority.json wholly replaces given of the corresponding scene through runs.caseJson:

{
  "id": "urn:recipe:z-interpretations:09#case",
  "context": {
    "legalTime": "2026-09-13",
    "decisionTime": "2026-09-13T09:00:00+05:00",
    "knowledgeTime": "2026-09-13T09:00:00+05:00",
    "timezone": "Asia/Almaty"
  },
  "assertions": [
    {
      "id": "urn:recipe:z-interpretations:09#answer",
      "kind": "assertion",
      "package": "urn:recipe:z-interpretations:09",
      "origin": "adjudicated",
      "literal": {
        "kind": "literal",
        "predicate": "urn:recipe:z-interpretations:09#proportionate",
        "polarity": "positive",
        "args": [
          {
            "kind": "entity_ref",
            "id": "urn:recipe:z-interpretations:09:p"
          }
        ]
      },
      "evidence": [],
      "judgment": {
        "authority": "urn:recipe:z-interpretations:09#OtherCourt",
        "payload": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Text"
          },
          "value": "да"
        }
      },
      "contentHash": "sha256:b36484317c247c69c1142501d33e6f79da552e99588800217054441aab32da82"
    }
  ]
}

Input 09-payload.json wholly replaces given of the corresponding scene through runs.caseJson:

{
  "id": "urn:recipe:z-interpretations:09#case",
  "context": {
    "legalTime": "2026-09-13",
    "decisionTime": "2026-09-13T09:00:00+05:00",
    "knowledgeTime": "2026-09-13T09:00:00+05:00",
    "timezone": "Asia/Almaty"
  },
  "assertions": [
    {
      "id": "urn:recipe:z-interpretations:09#answer",
      "kind": "assertion",
      "package": "urn:recipe:z-interpretations:09",
      "origin": "adjudicated",
      "literal": {
        "kind": "literal",
        "predicate": "urn:recipe:z-interpretations:09#proportionate",
        "polarity": "positive",
        "args": [
          {
            "kind": "entity_ref",
            "id": "urn:recipe:z-interpretations:09:p"
          }
        ]
      },
      "evidence": [],
      "judgment": {
        "authority": "urn:recipe:z-interpretations:09#Court",
        "payload": {
          "kind": "value",
          "type": {
            "name": "urn:law:std#Int"
          },
          "value": 1
        }
      },
      "contentHash": "sha256:e2ad18832445b7065d984f11aa51cd3605ed90bb5e9ef44dbe6e1a59195fe95c"
    }
  ]
}

Input 09-legacy.json wholly replaces given of the corresponding scene through runs.caseJson:

{
  "id": "urn:recipe:z-interpretations:09#case",
  "context": {
    "legalTime": "2026-09-13",
    "decisionTime": "2026-09-13T09:00:00+05:00",
    "knowledgeTime": "2026-09-13T09:00:00+05:00",
    "timezone": "Asia/Almaty"
  },
  "assertions": [
    {
      "id": "urn:recipe:z-interpretations:09#answer",
      "kind": "assertion",
      "package": "urn:recipe:z-interpretations:09",
      "origin": "adjudicated",
      "literal": {
        "kind": "literal",
        "predicate": "urn:recipe:z-interpretations:09#proportionate",
        "polarity": "positive",
        "args": [
          {
            "kind": "entity_ref",
            "id": "urn:recipe:z-interpretations:09:p"
          }
        ]
      },
      "evidence": [],
      "contentHash": "sha256:5fa8eddd9fa5532acb87a5c457ecc58418a47d6c81113c5ab00c5b92c7730bdd"
    }
  ]
}

Input 09-input.json wholly replaces given of the corresponding scene through runs.caseJson:

{
  "id": "urn:recipe:z-interpretations:09#case",
  "context": {
    "legalTime": "2026-09-13",
    "decisionTime": "2026-09-13T09:00:00+05:00",
    "knowledgeTime": "2026-09-13T09:00:00+05:00",
    "timezone": "Asia/Almaty"
  },
  "assertions": [
    {
      "id": "urn:recipe:z-interpretations:09#answer",
      "kind": "assertion",
      "package": "urn:recipe:z-interpretations:09",
      "origin": "case_input",
      "literal": {
        "kind": "literal",
        "predicate": "urn:recipe:z-interpretations:09#proportionate",
        "polarity": "positive",
        "args": [
          {
            "kind": "entity_ref",
            "id": "urn:recipe:z-interpretations:09:p"
          }
        ]
      },
      "evidence": [],
      "contentHash": "sha256:1982e80700118c7f39d635ac4bde866a0b2b7e4df551642c467712082446d0fa"
    }
  ]
}

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

request is an optional request address; the channel checks the authority and the payload type, but does not promise cryptographic authenticity or a signature check. A compatible answer without a judgment object is still accepted; that is a named boundary of the current version. Known implementation defect: scene 5 with origin case_input is also accepted, although the channel should stay Not established, not refuted until an adjudicated assertion arrives. This is an observed violation, not an allowed answer method.

Pitfall

Authority and payload used to pass unchecked. The JSON scenes separate a wrong authority, a wrong type, and an old compatible answer.

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

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