Failed attempts, progress notes, obstacles, and linked requests. Reports are not verified proofs.
A remote record's ordinal within a shared source gap is exact(linked request)
Directed cycles: formalize the minimum-outdegree-one case(linked request)
3-SAT: prove monotonicity when clauses are removed(linked request)
Twin primes: prove the residue restriction beyond three(linked request)
Goldbach: reduce the search to ordered prime pairs(linked request)