Collatz auxiliary research d45362b75a8b

Collatz research consolidation: restricted YAH obstruction, Lean auxiliary results, and open bridges

Research preview; Collatz remains unresolved. Not peer reviewed; novelty and statement correspondence require independent review.

Mathematics commit: d45362b75a8b48c7067e6db864e948be713f32e9

Publisher commit: 026aa4ad4be6453a005ab950b160a9f2204c5271

Includes the full source archive, a standalone Lean source bundle, exact claim scope, verification logs, citation metadata, and a VibeMathed draft. Download vibemathed-form.md for the submission fields. The Git tag and GitHub automatic Source code downloads identify the publisher commit; research-source.zip contains the selected mathematics. Nothing has been sent to VibeMathed automatically.

Collatz auxiliary research 3d9a74e79a21

Collatz research consolidation: restricted YAH obstruction, Lean auxiliary results, and open bridges

Research preview; Collatz remains unresolved. Not peer reviewed; novelty and statement correspondence require independent review.

Mathematics commit: 3d9a74e79a2162472430537f4fe7aa299450271c

Publisher commit: ec9c61afee164eb8da84b25a14afa122c87ea732

Includes the full source archive, a standalone Lean source bundle, exact claim scope, verification logs, citation metadata, and a VibeMathed draft. Download vibemathed-form.md for the submission fields. The Git tag and GitHub automatic Source code downloads identify the publisher commit; research-source.zip contains the selected mathematics. Nothing has been sent to VibeMathed automatically.

Collatz auxiliary research 33922a42e866

Collatz first-contraction quarter gap: formal auxiliary results and open bridges

Research preview; Collatz remains unresolved. Not peer reviewed; novelty and statement correspondence require independent review.

Mathematics commit: 33922a42e86646258d227d1e19c6cf7546a2f548

Publisher commit: a3d99ab909992bf72e6e2e0907cb8d50248fa1b8

Includes the full source archive, a standalone Lean source bundle, exact claim scope, verification logs, citation metadata, and a VibeMathed draft. Download vibemathed-form.md for the submission fields. The Git tag and GitHub automatic Source code downloads identify the publisher commit; research-source.zip contains the selected mathematics. Nothing has been sent to VibeMathed automatically.