# 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 ```text title="Incorrect form" 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 ```law 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` | ```law 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); } ``` ```law 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); } ``` ```law 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); } ``` ```law 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; } ``` ```law 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](https://github.com/arxohq/law/blob/master/docs/recipes/z-interpretations/resources/09-valid.json) wholly replaces `given` of the corresponding scene through `runs.caseJson`: ```json { "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](https://github.com/arxohq/law/blob/master/docs/recipes/z-interpretations/resources/09-authority.json) wholly replaces `given` of the corresponding scene through `runs.caseJson`: ```json { "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](https://github.com/arxohq/law/blob/master/docs/recipes/z-interpretations/resources/09-payload.json) wholly replaces `given` of the corresponding scene through `runs.caseJson`: ```json { "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](https://github.com/arxohq/law/blob/master/docs/recipes/z-interpretations/resources/09-legacy.json) wholly replaces `given` of the corresponding scene through `runs.caseJson`: ```json { "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](https://github.com/arxohq/law/blob/master/docs/recipes/z-interpretations/resources/09-input.json) wholly replaces `given` of the corresponding scene through `runs.caseJson`: ```json { "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.