Live demo
Try it in the browser
The full engine, running live — no install, no account. Deterministic and with no model anywhere in the answer path, so the same input always produces the same board.
Never paste confidential documents here
This is a public server. Anything you paste or upload is transmitted to it. Use fictional data, or documents that are already published. To run the same engine on documents you cannot share, install it locally — it makes no network calls at all.
How to install it — two minutes →vera field # no network, 127.0.0.1Hosted on Hugging Face Spaces · open in a new tab ↗ · the Space sleeps when idle and takes a moment to wake
Five tabs
Two texts
Settled, updated, contested and unanswered, separated and never blended — each claim carrying the source that made it.
Self-evolution
The engine proves a defect in its own reading with no answer key, repairs what it can, and hands you what it cannot.
Closed loop
Candidate repairs built from what was PROVEN, then measured — accepted or rejected, with the numbers that decided it.
Lexicon
A jgen carrying only its embed table, so it cannot generate. It answers two questions that were measured usable, and refuses the one that was not.
Files
PDF, Word, HTML, CSV. Public documents only — the same warning as everywhere else on this page.
What it repairs alone, and what it hands back
The engine cannot decide whether its own reading is right — that needs the world. It can decide whether two readings of the same content agree, and if they do not, one of them is wrong. That is a proof, and it is the whole difference between the first two lines below and the third.
Layout defects
unattendedA space between two kanji was put there by a PDF extractor, not an author — Japanese does not space its words. So layout carries no information, and a claim that appears only in the spaced reading is provably spurious. Repaired unattended.
Guard conflicts
unattendedA guard's meaning is: match this after a polar term and the term asserts nothing. A placed pole whose tail a guard matches is an internal contradiction — and both live inside the same process, so no world knowledge enters. Repaired unattended.
Vocabulary
your approvalNo transformation of a document reveals what an unseen word means. Candidates are found, anchored, damage-tested and queued — and the one judgement left is yours. On the real corpora that queue held two true candidates and two false ones, and nothing inside the engine can tell them apart.