The full upstream README, mirrored here for reference. Install config, tool schemas, adoption signals, and an original overview live on the Concordance listing page.
A deterministic verification engine. It checks what is true and hands you a receipt you can re-verify — a verdict, the worked reasoning, and a permanent content-addressed seal. It eliminates what is not the answer so that what survives stands on its own.
Rebuilt like a watch (the Calibre 44 discipline): one bounded, counted movement; serviceable by any competent hand; machine-honest — the accuracy is the finish. See
docs/V2_DEFINITION.md.
Every answer is a (verdict, trail, seal) — three things, each independently checkable.
{domain, spec} (or text the router resolves)spec → verdict + worked trail (no I/O, no LLM)PASS | REJECT | QUARANTINE + the worked math (the elimination trail){claim, verdict, trail}secular reach / witness)The measure: reproducibility, zero false-positives on the published benchmark (docs/BENCHMARK.md), re-checkability.
The foundation is the Bible (FOUNDATION.md) — Christ at the center. From it the
engine reaches the world two ways: a secular .com (the reach) and an explicit-witness .org.
One engine, one foundation, selected by config — never a fork.
Then open http://127.0.0.1:8000/ — bring a claim, get a receipt. (Data — the keeping, the WEB
Bible, Strong's — is generated by tools/migrate_*.py and gitignored; the engine runs without it,
just with less to retrieve.)
The 2.0 engine is built end to end — floor 7/7, the derivation moat (0 false-positives), the
tamper-evident ledger + precedent overlay, 62 verifiers, the witness overlay (theology / witness /
scripture / canon), the shared corpus + ranker, scripture ref-resolution + original-language word
study, the axes grid, a sovereign HTTP API, and the site. 13 test suites green. Sovereign,
stdlib-first; heavy deps (sympy/scipy/numpy) are optional, lazy-loaded. Port progress:
PORT_PLAN.md.
1.0 is frozen (v1.0-frozen in the Lighthouse repo) — the shape that taught us the floor.