Skip to content
docs
Arxo ↗

Keep contradictory documents

For LLMs7 sections

Intent

Section titled “Intent”

I want to see both accepted supports when documents diverge.

The example rules are teaching material, not norms of a force-of-law act.

Wrong form and why it stays silent

Section titled “Wrong form and why it stays silent”
Incorrect form
// supports и refutes взаимно уничтожаются, значит NEITHER.

Opposite accepted supports yield BOTH. The unit of acceptance is an edge, not a fact and not a document; a rejected edge does not create opposite support.

Correct form

Section titled “Correct form”
Arxo Law
language "law.core" version "0.2";
package recipes.d.r06 version "0.1.0";
namespace "urn:recipe:d-evidence:06";


entity Person;
entity Record;
relation finding(p: Person) kind empirical;
relation eligible(p: Person) kind institutional;
relation edge(e: Text, d: Text, link: Text);
relation evidence_status(d: Text, state: Text);
relation authentic(d: Text, verifier: Text, outcome: Text);
relation available(d: Text);
relation current(d: Text);
relation accepted(e: Text);
rule Accept strict {
    for e: Text; for d: Text; for link: Text;
    when edge(e,d,link) and evidence_status(d,"verified")
      and authentic(d,"urn:recipe:verifier","verified") and available(d) and current(d);
    then accepted(e);
}
evidence policy Documents {
    profile "law.core.evidence-policy/0.1";
    accepts accepted; protects finding;
    input edge edge; input status evidence_status; input authentic authentic;
    input available available; input current current;
    rule Accept;
}
rule Use strict { for p: Person; when finding(p); then eligible(p); }

Frozen execution scene

Section titled “Frozen execution scene”

In the table P and Q are different entities of the page, C is a case; full identifiers are pinned in the scenes.

Input on 13.09.2026 (a different date is named in the scene)QuestionAnswer
positive supporttruth(finding(P))TRUE_ONLY / COMPUTED
negative supporttruth(finding(P))FALSE_ONLY / COMPUTED
two documentstruth(finding(P))BOTH / COMPUTED
one document not acceptedtruth(finding(P))TRUE_ONLY / COMPUTED
contested premise not establishedtruth(eligible(P))NEITHER / COMPUTED
supporting edge establishes finding
Arxo Law
test "supporting edge establishes finding" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00Z;
            knowledge_time @2026-09-13T09:00:00Z;
            timezone "UTC";
            evidence_policy Documents;
        }
        evidence Doc: Record {
    status verified; observed_at @2026-09-01T08:00:00Z;
    recorded_at @2026-09-01T09:00:00Z;
    valid [@2026-09-01, @2026-10-01);
    content_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
}
support Doc supports finding(entity_ref("urn:recipe:d-evidence:06:p"));
verification VDoc { evidence Doc; document_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
    verifier "urn:recipe:verifier"; outcome verified; recorded @2026-09-02T09:00:00Z;
}
    }
    evaluate truth(finding(entity_ref("urn:recipe:d-evidence:06:p")));
    expect truth_status == TRUE_ONLY;
    expect evaluation_status == COMPUTED;


}
refuting edge defeats finding
Arxo Law
test "refuting edge defeats finding" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00Z;
            knowledge_time @2026-09-13T09:00:00Z;
            timezone "UTC";
            evidence_policy Documents;
        }
        evidence Doc: Record {
    status verified; observed_at @2026-09-01T08:00:00Z;
    recorded_at @2026-09-01T09:00:00Z;
    valid [@2026-09-01, @2026-10-01);
    content_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
}
support Doc refutes finding(entity_ref("urn:recipe:d-evidence:06:p"));
verification VDoc { evidence Doc; document_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
    verifier "urn:recipe:verifier"; outcome verified; recorded @2026-09-02T09:00:00Z;
}
    }
    evaluate truth(finding(entity_ref("urn:recipe:d-evidence:06:p")));
    expect truth_status == FALSE_ONLY;
    expect evaluation_status == COMPUTED;


}
two documents support and refute
Arxo Law
test "two documents support and refute" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00Z;
            knowledge_time @2026-09-13T09:00:00Z;
            timezone "UTC";
            evidence_policy Documents;
        }
        evidence Doc: Record {
    status verified; observed_at @2026-09-01T08:00:00Z;
    recorded_at @2026-09-01T09:00:00Z;
    valid [@2026-09-01, @2026-10-01);
    content_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
}
support Doc supports finding(entity_ref("urn:recipe:d-evidence:06:p"));
verification VDoc { evidence Doc; document_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
    verifier "urn:recipe:verifier"; outcome verified; recorded @2026-09-02T09:00:00Z;
}evidence Other: Record {
    status verified; observed_at @2026-09-01T08:00:00Z;
    recorded_at @2026-09-01T09:00:00Z;
    valid [@2026-09-01, @2026-10-01);
    content_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
}
support Other refutes finding(entity_ref("urn:recipe:d-evidence:06:p"));
verification VOther { evidence Other; document_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
    verifier "urn:recipe:verifier"; outcome verified; recorded @2026-09-02T09:00:00Z;
}
    }
    evaluate truth(finding(entity_ref("urn:recipe:d-evidence:06:p")));
    expect truth_status == BOTH;
    expect evaluation_status == COMPUTED;


}
unaccepted edge changes nothing
Arxo Law
test "unaccepted edge changes nothing" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00Z;
            knowledge_time @2026-09-13T09:00:00Z;
            timezone "UTC";
            evidence_policy Documents;
        }
        evidence Doc: Record {
    status verified; observed_at @2026-09-01T08:00:00Z;
    recorded_at @2026-09-01T09:00:00Z;
    valid [@2026-09-01, @2026-10-01);
    content_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
}
support Doc supports finding(entity_ref("urn:recipe:d-evidence:06:p"));
verification VDoc { evidence Doc; document_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
    verifier "urn:recipe:verifier"; outcome verified; recorded @2026-09-02T09:00:00Z;
}evidence Other: Record {
    status verified; observed_at @2026-09-01T08:00:00Z;
    recorded_at @2026-09-01T09:00:00Z;
    valid [@2026-09-01, @2026-10-01);
    content_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
}
support Other refutes finding(entity_ref("urn:recipe:d-evidence:06:p"));
    }
    evaluate truth(finding(entity_ref("urn:recipe:d-evidence:06:p")));
    expect truth_status == TRUE_ONLY;
    expect evaluation_status == COMPUTED;


}
disputed premise stays unestablished
Arxo Law
test "disputed premise stays unestablished" {
    given {
        context {
            legal_time @2026-09-13;
            decision_time @2026-09-13T09:00:00Z;
            knowledge_time @2026-09-13T09:00:00Z;
            timezone "UTC";
            evidence_policy Documents;
        }
        evidence Doc: Record {
    status verified; observed_at @2026-09-01T08:00:00Z;
    recorded_at @2026-09-01T09:00:00Z;
    valid [@2026-09-01, @2026-10-01);
    content_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
}
support Doc supports finding(entity_ref("urn:recipe:d-evidence:06:p"));
verification VDoc { evidence Doc; document_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
    verifier "urn:recipe:verifier"; outcome verified; recorded @2026-09-02T09:00:00Z;
}evidence Other: Record {
    status verified; observed_at @2026-09-01T08:00:00Z;
    recorded_at @2026-09-01T09:00:00Z;
    valid [@2026-09-01, @2026-10-01);
    content_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
}
support Other refutes finding(entity_ref("urn:recipe:d-evidence:06:p"));
verification VOther { evidence Other; document_hash "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa";
    verifier "urn:recipe:verifier"; outcome verified; recorded @2026-09-02T09:00:00Z;
}
    }
    evaluate truth(eligible(entity_ref("urn:recipe:d-evidence:06:p")));
    expect truth_status == NEITHER;
    expect evaluation_status == COMPUTED;


}
Python
>>> import runpy
>>> check = runpy.run_path("docs/recipes/d-evidence/resources/check.py")
>>> check["check_acceptance"](https://github.com/arxohq/law/blob/master/docs/recipes/d-evidence/6)
'Д6: принятие, отчёт и proof проверены; lawc = lawref'

Counterfactual

Section titled “Counterfactual”

Diagnostic mutation (check) — LDC-E4703.

Original fragment:

Output
then eligible(p);

Replacement:

Output
then finding(p);

The paired scenes above pin the change of outcome.

Boundary

Section titled “Boundary”

BOTH does not mean proven falsehood and is not replaced by NEITHER. The normative rule Use reads establishment; choice of conflict policy is the context’s responsibility. Provenance of acceptance is checked separately from truthStatus.

Pitfall

Section titled “Pitfall”

Opposite accepted supports yield BOTH rather than cancelling out: the unit of acceptance is an edge, not a fact and not a document.

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

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