Reader’s Guide
The shortest path to the thesis, the primitives, and a first contribution.
One sentence
Open infrastructure that turns papers into versioned claims and auditable traces—so knowledge can be navigated, corrected, and applied before it goes stale in the archive.
Primitives
Claim: a structured assertion with evidence, constraints, dissent, lineage, and transparent confidence inputs. Claims change over time; the history is preserved.
Trace: a recorded path through knowledge—what was searched, found, evaluated, decided, and why. Failures included.
Proof Request: a reviewable change to what we collectively know. Practically, this is a pull request for a claim or trace—first via Git diffs, later via dedicated tooling.