Markdown for LLMs
A judge's answer with authority and form
The source Markdown for this article. Copy it into your assistant or download it as a text file.
# 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.