proofwright 0.1.0

Deterministic, zero-LLM structural checks for an LLM Wiki (Karpathy raw/→wiki/ pattern).

Proofwright

Deterministic, zero-LLM structural tooling for an LLM Wiki — the Karpathy raw/ → LLM → wiki/ research-synthesis pattern.

Proofwright is the deterministic layer: it checks the wiki against invariants and rebuilds derived artifacts, but never authors content. A "wright" is a maker/keeper — it builds the index, link graph, and report, not just flags problems.

What it checks

• Structural — orphan pages, missing pages, broken [[wikilinks]], stale index, missing provenance.
• Frontmatter — required keys, types, allowed tag/grade vocabularies.
• Citation integrity — every [n] resolves to a source that maps to a real file in raw/; prose lacking a citation is flagged. (The primary defense against hallucination-baking.)
• Source grades — every source graded, grades from a fixed vocabulary.
• Graph — phantom hubs, hub stubs, fragile bridges.
• Freshness — stale-page candidate list from recency markers.

Everything semantic (synthesis, meaning-level contradiction, supersession) stays with the LLM and is out of scope by design.

Usage

uv run proofwright check --config wiki.toml            # run all checks → report
uv run proofwright check --format json                 # machine-readable findings
uv run proofwright index --check                        # is the committed index stale?
uv run proofwright index --write                        # regenerate the index
uv run proofwright graph --report                       # graph-health report

proofwright is a library, not a framework: all per-wiki variance (paths, vocabularies, thresholds) lives in wiki.toml; custom rules register via the plugin hook. No subject-matter knowledge lives in the package.

See templates/ for a starter wiki.toml, CLAUDE.md schema, and page templates.