Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Independent examinations of the linear-bipartization results
analytic_conclusions/: Accepted scoped examination of Proposition B and its consequences, retaining the signed-budget disproof and the unreviewed nonnegative repair.
whole_conclusion/: A separate PASS grade accepts the arbitrary-cardinality countable-coloring theorem and then the full E111 limit, with exact subjects, independent derivations, eligibility findings and source limits retained.
The whole-conclusion examination accepts the complete layered countable-coloring proof and then its full E111 consequence, with its separate grade and eligibility findings. The auxiliary examination concerns the countable-coloring equivalence and Proposition B with its consequences; that narrower record does not decide Problem 111 or the partitioned vector lemma.