← AMRAL · Collatz Conjecture · Layer 2 · Recomputation · RUN-032

RUN-032

RUN-032 — Hard-Zeta A-U.2d.4: the first round in this line whose core holds on orbits that exist, verified in exact integers, and the identity its own checker evaluates in floating point