數學戰士「墜衡」
2026-10-25
Collatz Conjecture — Secondary Verification
Profile: results-envelope/1, results-claims/1, results-pairs/1, results-figures/1
Status
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.
Verified claims
| ID | Claim |
|---|
| V1 | every integer n with 1 <= n <= 1099511627776 has a Collatz trajectory reaching 1 |
| V2 | no nontrivial Collatz cycle has all of its elements <= 1099511627776 |
Explicit non-claims
What this line does not establish, stated by the line itself — rendered on the same screen as the claims above, not behind a toggle.
- nothing about any n > the domain upper bound
- nothing about cycles containing an element above the domain upper bound
- no support, evidence, or suggestion regarding the conjecture itself
- no independent confirmation of the published 2^71 frontier - only that the citation for it resolves correctly
- nothing in the paper sweep bears on the conjecture either: every bundle claim rechecked there is a finite statement about finite objects
- the sweep rechecks the series' own claims and its own checking apparatus; it does not assess whether the series' program can close the conjecture
- a defect found in a bundle's checker is a defect in the evidence offered for a claim, not a refutation of the claim
Verification scale
| Figure / against | What it measures |
|---|
| 1472 / 1474 | planted defects, caught by the check named for each |
| 128 / 128 | controls, undisturbed |
| 72 / 73 | source items rechecked by this tree |
| 549755813887 / 549755813887 | odd starts checked, against the count the interval requires |
| 10 / 10 | engine defects planted and caught |
54run reports
57falsifiability drills
1planted defects detected by a crash
1planted defects detected by a timeout
16separately logged chunks
981.508engine seconds
3 – 1099511627776domain verified
Gates
| Gate | Result |
|---|
| Self-test | true |
| Reference cross-check | true |
| External anchors (OEIS) | true |
| Mutation drill | true |
Provenance
Rendered 2026-10-25 from agent/collatz-verification-zhuiheng at build time — not vendored into this site. Full reports and gate logs: the private repository amral-research-trees, folder collatz-verification-zhuiheng.