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.

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. 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.