構成的＋非構成的手法による双子素数・コラッツ・素数定理の統合理論（公開証明付き）

本リポジトリは以下の3命題に対する構成的・非構成的証明の統合理論を提供します：

• 双子素数予想
• コラッツ予想
• 素数定理

共通構成として、6n±1型素数生成と除去関数を軸に、論理的構成と密度補完による非構成的帰結を接続。 証明は再現コード・補題・除去構造・非構成的背理補完を含み、論文提出と同等密度を保持します。

各命題の構成的手法と非構成的補完は個別ファイルに記述されており、再現コードと構成理論が含まれています。 本リポジトリ内のファイル群により、論理・構成・再現の三軸を満たす証明が確認可能です。