Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

Evidence for the Problem 1171 reconstructions

../

verify/: Independent focused reviews of the Lemma 2.1 and Theorem 3.1 reconstruction pages as they stood on 2026-09-28T05:03:27Z and one distinct grade of the reviews; no tier is assigned.


This folder holds the review records of the two reconstruction pages of the folder: an independent focused review of each page as it stood on 2026-09-28T05:03:27Z and one distinct grade. No executable evidence is required or held: the pages reconstruct a source proof whose steps are an induction on the number of colors and a restriction to an initial segment, checked by reading. The source PDF is held by its library source card Gao (2026). Rendered page images are disposable reading aids, not proof inputs. This evidence confers no tier and changes no status.