{"version": "2.1", "ai_approved": false, "mode_note": "AI requires separate approval. The local baseline uses rule templates. Literature results are leads, not confirmation of novelty.", "latest": {"created_at": "2026-10-31T19:34:42+00:00", "status": "completed", "options": {"mode": "baseline", "rounds": 3, "literature": true}, "claims": [{"id": 1, "round": 1, "candidate": {"kind": "uniform_descent", "k": 2, "rationale": "Local pipeline baseline: propose a fixed descent horizon and prioritize counterexamples."}, "statement": "∀ n∈ℕ, n>1 → ∃ j∈[1,2], Tʲ(n)<n", "source": "rule_template", "parent_id": null, "mathematical_status": "falsified", "formal": {"status": "not_checked"}, "literature": {"status": "leads_found", "query": "all:Collatz AND (all:descent OR all:residue OR all:congruence)", "searched_at": "2026-10-31T08:02:04+00:00", "papers": [{"title": "Recurrence Structures, Finite State Decomposition, and Statistical Bias in Collatz Path Sequences", "url": "https://arxiv.org/abs/1608.03600v7", "published": "2016-08-11T20:14:36Z", "authors": ["Sawon Pratiher"], "comparison": "not_reviewed"}, {"title": "Collatz Dynamics is Partitioned by Residue Class Regularly", "url": "https://arxiv.org/abs/2304.11388v1", "published": "2023-04-22T12:48:43Z", "authors": ["Wei Ren"], "comparison": "not_reviewed"}, {"title": "Counting the Collatz numbers", "url": "https://arxiv.org/abs/2512.13760v2", "published": "2025-12-15T13:01:46Z", "authors": ["Chunlei Liu"], "comparison": "not_reviewed"}, {"title": "Functional Equations for Generalized Collatz Dynamics Using Integral Representations and Residue Calculus", "url": "https://arxiv.org/abs/2510.06736v1", "published": "2025-10-08T07:47:30Z", "authors": ["Christos N. Efrem"], "comparison": "not_reviewed"}, {"title": "Quantifying the degree of average contraction of Collatz orbits", "url": "https://arxiv.org/abs/1612.07820v1", "published": "2016-12-21T22:38:02Z", "authors": ["Timoteo Carletti", "Duccio Fanelli"], "comparison": "not_reviewed"}], "novelty": "unassessed", "coverage": "arXiv metadata only; theorem equivalence and other literature require review.", "cached": true}, "search": {"status": "counterexample", "n": "7", "trajectory": ["7", "11", "17"], "checked": 1, "range_limit": 2000, "boundary_and_adversarial": true}, "next_strategy": "The uniform step bound failed. Restrict the claim to a specific residue class and test its boundary."}, {"id": 2, "round": 2, "candidate": {"kind": "residue_descent", "k": 2, "residue": 1, "min_n": 1, "rationale": "The uniform step bound failed. Restrict the claim to a specific residue class and test its boundary."}, "statement": "∀ n∈ℕ, n≥1 ∧ n mod 4=1 → T^2(n)<n", "source": "rule_template", "parent_id": 1, "mathematical_status": "falsified", "formal": {"status": "not_checked"}, "literature": {"status": "leads_found", "query": "all:Collatz AND (all:descent OR all:residue OR all:congruence)", "searched_at": "2026-10-31T08:02:04+00:00", "papers": [{"title": "Recurrence Structures, Finite State Decomposition, and Statistical Bias in Collatz Path Sequences", "url": "https://arxiv.org/abs/1608.03600v7", "published": "2016-08-11T20:14:36Z", "authors": ["Sawon Pratiher"], "comparison": "not_reviewed"}, {"title": "Collatz Dynamics is Partitioned by Residue Class Regularly", "url": "https://arxiv.org/abs/2304.11388v1", "published": "2023-04-22T12:48:43Z", "authors": ["Wei Ren"], "comparison": "not_reviewed"}, {"title": "Counting the Collatz numbers", "url": "https://arxiv.org/abs/2512.13760v2", "published": "2025-12-15T13:01:46Z", "authors": ["Chunlei Liu"], "comparison": "not_reviewed"}, {"title": "Functional Equations for Generalized Collatz Dynamics Using Integral Representations and Residue Calculus", "url": "https://arxiv.org/abs/2510.06736v1", "published": "2025-10-08T07:47:30Z", "authors": ["Christos N. Efrem"], "comparison": "not_reviewed"}, {"title": "Quantifying the degree of average contraction of Collatz orbits", "url": "https://arxiv.org/abs/1612.07820v1", "published": "2016-12-21T22:38:02Z", "authors": ["Timoteo Carletti", "Duccio Fanelli"], "comparison": "not_reviewed"}], "novelty": "unassessed", "coverage": "arXiv metadata only; theorem equivalence and other literature require review.", "cached": true}, "search": {"status": "counterexample", "n": "1", "trajectory": ["1", "2", "1"], "checked": 1, "range_limit": 2000, "boundary_and_adversarial": true}, "next_strategy": "After a boundary counterexample, revise the lower bound using the exact descent inequality."}, {"id": 3, "round": 3, "candidate": {"kind": "residue_descent", "k": 2, "residue": 1, "min_n": 5, "rationale": "After a boundary counterexample, revise the lower bound using the exact descent inequality."}, "statement": "∀ n∈ℕ, n≥5 ∧ n mod 4=1 → T^2(n)<n", "source": "rule_template", "parent_id": 2, "mathematical_status": "formally_verified_local", "formal": {"status": "checked", "source_sha256": "4ab2b319fcb3aba8388b5b4bcf797698105e27c381183d964be5745a387d5f35", "toolchain": "leanprover/lean4:v4.35.0", "axioms": ["propext", "Quot.sound"], "log": "'ResearchClaim.claim' depends on axioms: [propext, Quot.sound]\n", "source_url": "/api/research/evidence/4/3"}, "literature": {"status": "leads_found", "query": "all:Collatz AND (all:descent OR all:residue OR all:congruence)", "searched_at": "2026-10-31T08:02:04+00:00", "papers": [{"title": "Recurrence Structures, Finite State Decomposition, and Statistical Bias in Collatz Path Sequences", "url": "https://arxiv.org/abs/1608.03600v7", "published": "2016-08-11T20:14:36Z", "authors": ["Sawon Pratiher"], "comparison": "not_reviewed"}, {"title": "Collatz Dynamics is Partitioned by Residue Class Regularly", "url": "https://arxiv.org/abs/2304.11388v1", "published": "2023-04-22T12:48:43Z", "authors": ["Wei Ren"], "comparison": "not_reviewed"}, {"title": "Counting the Collatz numbers", "url": "https://arxiv.org/abs/2512.13760v2", "published": "2025-12-15T13:01:46Z", "authors": ["Chunlei Liu"], "comparison": "not_reviewed"}, {"title": "Functional Equations for Generalized Collatz Dynamics Using Integral Representations and Residue Calculus", "url": "https://arxiv.org/abs/2510.06736v1", "published": "2025-10-08T07:47:30Z", "authors": ["Christos N. Efrem"], "comparison": "not_reviewed"}, {"title": "Quantifying the degree of average contraction of Collatz orbits", "url": "https://arxiv.org/abs/1612.07820v1", "published": "2016-12-21T22:38:02Z", "authors": ["Timoteo Carletti", "Duccio Fanelli"], "comparison": "not_reviewed"}], "novelty": "unassessed", "coverage": "arXiv metadata only; theorem equivalence and other literature require review.", "cached": true}, "search": {"status": "no_counterexample_in_range", "checked": 499, "range_limit": 2000, "boundary_and_adversarial": true}, "certificate": {"type": "collatz_modular_descent", "k": 2, "residue": 1, "modulus": 4, "a": 3, "b": 1, "parities": [1, 0], "steps": 2, "map": "accelerated_collatz", "status": "proved_local_descent", "min_n": 5}}], "model_calls": 0, "novelty": "unassessed", "phase": "finished", "id": 4, "updated_at": "2026-10-31T19:34:50+00:00"}}