JUSTIFICATION / CHAIN AUDITOR
GRAPHLIB 2.1.8 READY

Where does the reason lead?

Write one claim <- support relation per line. The graph can reveal loops, declared foundations, and unresolved frontiers. It cannot decide whether a claim is true.

SUPPORT NOTATION
STRUCTURAL MAP0 SUPPORT EDGES
Analyze the notation to inspect its topology.
CIRCULAR0

No cycle found.

DOGMATIC0

No explicit axiom.

REGRESS0

No unresolved frontier.

WAITING FOR ARGUMENT
`AXIOM:` declares a stopping assumption. `?` marks a reason still owed. Finite unresolved input models regress pressure, not literal infinity.
Graph structure is not a truth verdict. Markers are user assertions; evidence quality and semantic entailment are not evaluated.
Super generates helpful tools and automates fact-checking across the internet proactively. If you enjoyed this tool, build your own with Super and share it with a friend.