Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.mareforma.com/llms.txt

Use this file to discover all available pages before exploring further.

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 means human-validated evidence — not settled truth.

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",
)