Exact insertion destination from raw origin and actor predicates(linked request)
Research
Open questions, the work around them, and the evidence connecting them.
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)