這條線對 Neo.K 的 Collatz 系列做獨立重算，並另外跑一次有界的窮舉驗證。兩件事分開：窮舉的那一半是關於整數的宣稱，逐篇重查的那一半是關於該系列有限敘述與它自帶腳本的宣稱。每一項自己重算、自己種缺陷演練，作者的腳本只在自己重建之後才讀。這裡達到的界遠低於已發表的前沿，對猜想本身不構成任何結論。
第一層（探索頁面）：考拉茲猜想。這一頁是它的驗證紀錄。
以這條線自己發表的 results.v1.json 為準
solved NO
literature novelty claimed NO
record attempt NO
這條線自己劃的界線：A bounded exhaustive verification and a falsifiability-drilled instrument. Nothing here bears on the conjecture itself, and the bound reached is far below the published frontier.
逐項演練，全線合計
種植缺陷 1474 ＝ 被具名檢查抓到 1472 ＋ 由崩潰偵測到 1 ＋ 由逾時偵測到 1；後兩類不算「被具名檢查抓到」。
每一輪：主題 · 55
| 回合 | 主題 |
|---|---|
| 001 | Run 001 — exhaustive descent verification of [3, 2^40] |
| 002 | Run 002 — independent recheck of the Operation Translation Series |
| 003 | RUN-003 — The draft chain, and what the repair repaired |
| 004 | RUN-004 — The Hard-Zeta origin: Z_k(s) measured, and L = 1 refuted |
| 005 | RUN-005 — Hard-Zeta Phase I / Round 01: the chart algebra, checked |
| 006 | RUN-006 — Hard-Zeta Round 02: the two compartments, and Terras by word |
| 007 | RUN-007 — Round 03-A: the coefficient frontier, and the minimum anchor measured |
| 008 | RUN-008 — Round 03-A.1: the accelerated code, and one anchor sequence in two coordinates |
| 009 | RUN-009 — Round 03-A.2: the 2–3 bridge, and what §24's route actually costs |
| 010 | RUN-010 — Round 03-A.3: the zero-lift spine, and a tree that collapses to paths |
| 011 | RUN-011 — Round 03-A.4: the deficit ledger, and what CF tools can actually reach |
| 012 | RUN-012 — the B-line handoff, and whether the A-line closure closes what it says |
| 013 | RUN-013 — Round A-U.1: the no-go holds, and the datum it says is missing is measurable |
| 014 | RUN-014 — Round A-U.2a: the algebra holds, and it already reaches A-U.1's countermodel |
| 015 | RUN-015 — Round A-U.2b: a real elimination, and how far its own constant can go |
| 016 | RUN-016 — Round A-U.2b.1: the constant reproduces to 80 digits, by a different method |
| 017 | RUN-017 — Round A-U.2b.2: the lever bought nothing at first order, and the shipped JSON is not the shipped script's output |
| 018 | RUN-018 — Round A-U.2b.3: the subject corrected a defect this arm reproduced faithfully and did not notice |
| 019 | RUN-019 — Round A-U.2e: every exact identity holds, and both inequalities turn out to be the same line, on the vacuous side of which every computable spine sits |
| 022 | RUN-022 — Hard-Zeta A-U.2e.1: the round holds, and the two things worth saying are about what a check is allowed to count as evidence |
| 023 | RUN-023 — Hard-Zeta A-U.2e.2: the round holds, its two headline inequalities turn out to be one inequality, and its Diophantine gate is a partition rather than a choice |
| 024 | RUN-024 — Hard-Zeta A-U.2e.3: the round holds, its own corrigendum turns out to be measurable, and one of its sections cannot be tested on any orbit that ends |
| 025 | RUN-025 — Hard-Zeta A-U.2e.4: the arithmetic holds, and one inference in §5 does not follow from its own premise |
| 026 | RUN-026 — Hard-Zeta A-U.2d: everything checks, the bi-exact regime is not one any real start is in when it crosses, and one cited reference has been withdrawn |
| 027 | RUN-027 — Hard-Zeta A-U.2d.1: the rotation cap holds and is attained, and it is exactly rational — plus three defects in the shipped artifacts and none in the mathematics |
| 028 | RUN-028 — Hard-Zeta A-U.2d.2: the saturation equivalence is an exact iff and holds both ways, the gap prediction survives contact with real orbits, and two of my own instruments turn out to have been measuring nothing |
| 029 | RUN-029 — Hard-Zeta A-U.2d.3: both second-order coefficients survive a test that would reject a neighbour, the continued fraction is certified without a single logarithm, and the round's one load-bearing citation names the wrong paper |
| 030 | RUN-030 — the New-Chat Handoff: 132 documents reshipped 27 times without a byte of drift, and one lemma compressed into a stronger one than the round proves |
| 031 | RUN-031 — the consolidated archive: 964 files open at nine levels, 47 entries are byte-identical to what the sweep verified, and a checksum manifest certifies only the half that cannot change |
| 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 |
| 033 | RUN-033 — Hard-Zeta A-U.2d.5: the exact-code separation holds in both directions, every B-source really is 3 mod 4, and one section mixes an unconditional corollary with a cap that is vacuous on real orbits |
| 034 | RUN-034 — Hard-Zeta A-U.2d.6: a closed-form count checked against brute-force enumeration, the extra bit of section 6 is really there, and a continued fraction that was right when I expected it to be wrong |
| 035 | RUN-035 — Hard-Zeta A-U.2d.7: the crossing slope really does move by whole numbers, the caps above it rest on a premise almost no real chain meets, and the round's new machine-readable ledger under-reports its own paper |
| 036 | RUN-036 — Hard-Zeta A-U.2d.8: a Gamma identity that needs no Gamma, a depth cap no real orbit can be tested against, and two rational constants published as their float64 evaluations |
| 037 | RUN-037 — Hard-Zeta A-U.2d.9: one line of arithmetic closes the previous round's open problem, a theorem whose premise real orbits actually meet, and a rounding chain with four links |
| 038 | RUN-038 — Hard-Zeta A-U.2d.10: the bridge the previous round refused to build, a countermodel that checks out against its own closed forms, and a ledger that is finer than its paper |
| 039 | RUN-039 — Hard-Zeta A-U.2d.11: an exact rational certificate, which is the first headline number in this sweep that could be checked with no reference of my own |
| 040 | RUN-040 — Hard-Zeta A-U.2d.12: a hierarchy that reaches exponent zero, and constants that outrun it |
| 041 | RUN-041 — Hard-Zeta A-U.2d.13: a collision assembled from five finite links, and a constants family with one parameter |
| 042 | RUN-042 — Hard-Zeta A-U.2d.14: the round whose central theorem a real orbit can actually be asked about |
| 043 | RUN-043 — Hard-Zeta A-U.2d.15: an inequality that needs no premise, and a checker report that publishes both its honest zeros and their vacuous twins |
| 044 | RUN-044 — Hard-Zeta A-U.2d.16: the round where the central coordinate turns out to be an integer identity |
| 045 | RUN-045 — Hard-Zeta A-U.2d.17: the round whose central identity is a definition, and whose content is one line below it |
| 046 | RUN-046 — Hard-Zeta A-U.2d.18: the round that makes the slack profile an integer, and the branch that has no finite instance |
| 047 | RUN-047 — Hard-Zeta A-U.2d.19: the conjugacy that makes the real cocycle trivial, and the first constant the bundle contradicts itself on |
| 048 | RUN-048 — Hard-Zeta A-U.2d.20: the round whose central object is a loop, and the two things "loop" turns out to mean |
| 049 | RUN-049 — Hard-Zeta A-U.2d.21: the round that names yesterday's finding, and a law that self-composition cannot see |
| 050 | RUN-050 — Hard-Zeta A-U.2d.22: the strongest checker of the sweep, and the one claim it leaves out |
| 051 | RUN-051 — Hard-Zeta A-U.2d.23: a sharpening confirmed on last round's own data, and a theorem with no counter |
| 052 | RUN-052 — Hard-Zeta A-U.2d.24: every counter reproduced, two theorems with none, and two bounds carrying the same spare three |
| 053 | RUN-053 — Hard-Zeta A-U.2d.25: a bound that is finally sharp, and three synthetic blocks that restate their own setup |
| 054 | RUN-054 — Hard-Zeta A-U.2d.26: a withdrawn constant, a certificate rebuilt from exact rationals, and a PASS for a file that isn't there |
| 055 | RUN-055 — The programme's Diophantine input, read from the review of the paper it cites: the general result covers β, the withdrawal's reason does not hold, and every exponent derived from it re-evaluated at the review's 4.117 |
| 056 | RUN-056 — corrections from review: the **Legendre gate** tested δ < 1/2 instead of δ < 1/(2m); the drill tally that counted a **crash and a time-out as named-check catches**; and four figures the crystallization papers state, now logged where a reader can find them |
| 057 | RUN-057 — no machine-local location left in this tree: the private source folder leaves every default, fourteen gates log their bundle by name, and FELRA's artifacts carry variables where they carried absolute paths |
python -X utf8 code/src11_gate_drill.py # the whole-tree mutation drill
python -X utf8 code/src<NN>_<gate>.py # any one gate; each round's report names its gate