Method and provenance

Recording

Each historical dossier keeps Woeginger’s note, its direction, its printed links, and the exact source selector. The full source object is held in the ledger as native JSON. Seed rows are tracked in Git and do not create journal events.

The 43 entries numbered 117–159 are a separate, Register-owned post-2016 census. Their source field named woeginger_commentary is treated only as a misnamed Register census note. It is never presented as Woeginger’s writing or given the historical verbatim-note style.

Adjudication

A dossier is marked adjudicated only when the imported historical record says that a refutation, withdrawal, or correction was recorded. No recorded review means unadjudicated. It never means accepted, endorsed, or correct.

All 43 post-2016 entries are published as unadjudicated candidates. A census flag that a refutation, critique, correction, or withdrawal was located is displayed as documentary evidence, not converted into a Register adjudication. New status changes require human review and citable evidence.

Shared grade mapping

The shared claim grade is neutral: every P versus NP dossier uses silent. That field measures acknowledgement in the older CFSG model, so it must not be used to encode mathematical direction. The values equal, not_equal, and other stay in the direction field and native dossier.

Corrections

Send a correction with a stable source. A human checks it. We keep the historical wording visible, add a dated correction or new revision, and record the event in the append-only journal. We do not silently rewrite a claim’s history.

Hashes and pulse

Held sources carry SHA-256 hashes. Every generated page names the ledger and journal hashes used to build it. Watcher checks have public times and states, including failures. This makes a stale or broken check visible instead of turning silence into proof.

No analytics, cookies, or reader tracking are used. The site does not watch its readers; it watches mathematics.