Documented Contestation

View on GitHub

examples/03_documented_contestation/

An ESTABLISHED finding sits in the graph. A new agent runs a larger analysis and gets a different result. Using contradicts=, it names the tension explicitly. Both coexist, neither is overwritten. ESTABLISHED here is a label on the stored support_level ladder (the legacy per-claim axis, deprecated for v0.4.0): it means human-validated evidence, not settled truth. The contestation itself surfaces on the derived question axis, question_status per frame_id, which reads divided once a contrary-direction proposition with independent support (support ≥ 1) sits in the same frame.

Run

pip install langchain-core
cd examples/03_documented_contestation
python 03_documented_contestation.py

Key pattern

established = graph.query("treatment X", min_support="ESTABLISHED")

graph.assert_claim(
    "Treatment X shows no effect (n=1240, p=0.21)",
    classification="ANALYTICAL",
    contradicts=[c["claim_id"] for c in established],
    supports=["cohort_2026_upstream"],
    generated_by="agent/model-b/lab_b",
)

Introduction

Concepts

For agents

Reference

Examples

Documented Contestation

View on GitHub

Run

Key pattern

View on GitHub

​Run

​Key pattern

Run

Key pattern