← AMRAL · PROGRAM-PERFECT-CUBOID

完美長方體：從連續世界、進位表示到算術自由度

Perfect Cuboid · 2026-09-27 至 10-06 · 核心（整體閉合系列、G 線、Phase 1 搜尋）加 Radical-FDRS 與四條方法線

完美長方體：是否存在三邊 a, b, c 都是整數、三個面對角線與空間對角線也都是整數的長方體？至今未解（原文：「經典整數版本仍未完成存在或不存在證明」）。最著名的近似是 Euler 磚 (44, 117, 240)：三個面對角線是整數，空間對角線不是。這個套件把問題改寫成有理點問題（齊次性使整數與有理等價），並圍繞一個種子 (448, 495, 840; 1073) 工作：七個長度中有六個是整數，只有面對角線 √445729 = √(233·1913) 不是——它不是完美長方體。核心（本頁）：整體閉合系列（01–07 與中心軸定理）、六通道對偶平方、G 線（G2A–G2E.6：固定切片 k = 7/32 的雙參數化約、橢圓曲線的秩、Mordell–Weil 篩、雙橢圓虧格 2 約化，結尾是一份交給本地精確驗證的清單），以及 Phase 1 的有界精確搜尋與空間對角線的分類（p^e、pq 已排除，p²q 是前沿）。兩條分支：Radical-FDRS（R0–R23，同一條固定切片上的橢圓—Chabauty 機制，止於一個二次 Chabauty 計算未被執行的規格）與方法線（FORC、GERES、SIO-X4、X4-DMSD、IGPC、TIFV：精確有理的執行環境、有界證書與框架）。

誠實的現況：整個套件（約 200 份文件）沒有任何一句話說找到了完美長方體或「候選的完美長方體」，也沒有任何一句話說它不存在或問題已解決；到處可見的免責句有：「所以 classical Perfect Cuboid 仍未被本文解決」「全域問題仍然開放，因為 k 本身可以在 Q ∩ (0, 1) 中變動」「固定切片 k = 7/32 尚未被全域排除」「這不是不存在性的結果」。每個計算都是有界的：G2A 對固定切片 k = 7/32 窮盡 121,590,395 個既約 h（分母 ≤ 20000）無雙重命中；Phase 1D 窮盡 primitive 長方體的空間對角線 g ≤ 5,000,000 無解（「有限範圍排除」，遠低於已發表的搜尋範圍）；Phase 1 掃描 478,765 個形狀無完美長方體。即使固定切片 k = 7/32 被完全排除，k 仍可變動，完美長方體問題不會因此解決。

「閉合」「PASS」「certified」「EXACT」是什麼意思：標題裡的 Global Closure 指概念框架的收束（Phase 0 — Conceptual Closure）；「6/6 閉合」「只差一個缺陷」指七個長度裡六個是整數；「rational closure」指有理解的存在性，是想要的目標而不是已達成的結果；「certified」「theorem」「PASS」是作者自己的精確整數程式的輸出（G2D 檢查點寫明他們的執行環境沒有 Sage／PARI／mwrank／Magma，G2E.6 自己要求用這些工具做本地重驗）。整個套件沒有任何地方真的執行了 Chabauty 或二次 Chabauty 計算，只檢查了秩不等式 r < g + ρ − 1。「候選」（GERES-P5）指一個恰有兩個整數面對角線與整數空間對角線的整數三元組，每筆資料都標 claim_status NOT_PERFECT_CUBOID。「高度」在各條線指不同的東西（g、H_E、面三元組的斜邊……）。

上架前的通讀重現了什麼（以獨立的程式；PARI 2.15.4）：種子的算術與 t = (25/39, 17/28, √(233/1913))；G2A 的閘門掃描（v ≤ 1500）與 E_f 的點與撓群；200 個軌道狀態、最大分母 5,206 位數、第二閘 0 次命中；E_f、E_0、E_0′、E_− 的 ellrank／撓群／根數（秩 1 且根數 −1；Sel₂(E_−) 維度 5）與 I、J 不變量；乾淨質數表與 2 的冪質數；C_{7/32} 在 p = 11, 19, 31 的點數；G2E.3 的邊界提升、τ 對合、E_+ = E_0；G2E.6 的 w(m)、A4、B4 與 m = 25, 39, 31200/1073；虧格 3 掃描 v ≤ 1200；Phase 1 的 Chebyshev 有理根（e = 3…10）、Phase 1D 的 24,813,268 次成對檢查與 7,817 個近似，全部吻合。沒有重做：完整的 121,590,395 個狀態的 G2A 掃描、篩本身（只核對了資料）、G2E.6 暫定下降的 8 類、p²q 的軌道計數 57／42／22、Korec 1992 的歸屬、「ProofAtlas」紀錄。

被取代與重複的檔案：G2A→G2E.5 是嚴格超集的累積套件鏈（45 個成員的最後一包取代前七包；成員位元組完全相同）；G2D.2 被 G2D.3 取代；早期 G2D 檢查點把 E_0 撓群記錯；Phase 1F-B／1F-C／1G／1H 被 1F-D 涵蓋；Phase 1 套件有 9／43／52 成員的子集鏈（v3 取代前兩者）。缺的：整體閉合系列的第 08 篇（「解空間的上下界與第二次展開」）在每份標頭都有預告，但不在套件中；verify_g2d1.py 與 g2e3_power2_scan.cpp 是樁，所以那兩個證書不能只靠套件重新產生。不在站上的：每個 zip 裡的程式、CSV、JSON 與 SQLite（約 1.3 MB 去重後的資料、FORC-P6 的 53.9 MB 與 X4-DMSD-P13 的 11.4 MB SQLite）保存在 AMRAL 的研究封存庫；本站只放 md 文件。

作者與出處：核心的文件都沒有作者、出處或 AI 角色行；TIFV 寫「Neo.K / EveMissLab」；沒有任何檔案說明誰主導、誰執行，本站不推測。整體閉合系列與 G 線的日期是 2026-09-28 至 10-02（G 線的 zip 內檔案時間 09-30），Phase 1 套件約 09-27。閱讀路徑：01（重新表述）→ 中心軸定理 → 六通道對偶平方 → G2A → G2B／G2C → G2D（秩）→ G2E.1／E.2（塔）→ G2E.3／E.4（篩）→ G2E.5／E.6（交接）→ Phase 1 搜尋 → 對角線限制 → p²q 前沿；然後是兩條分支。其餘 19 份文件不另開頁面，列在下方表格並可下載，附一句話主張與旗標。原文是繁體中文夾英文術語（G 線與 Phase 1 幾乎全英文）。

兩條分支

核心之外：同一條固定切片上的 Radical-FDRS 線，以及四條方法線。

核心頁面 · 14 頁

整體閉合系列、中心軸定理、六通道、G 線（G2A–G2E.6）與 Phase 1 的搜尋與分類。核心共 14 個閱讀頁、26 份全文，現已全部提供完整中英版本。原文仍是研究主張的權威來源，翻譯不代表獨立數學驗證，也不提升證據層級。另有 19 份僅供下載的原件列於下方表格，不包含在上述全文雙語範圍內。

全部文件 · Files

有獨立頁面的文件與其餘 19 份的原始位元組（取自 zip 的 md 與散放的 md），未經改寫；zip 內的程式、CSV、JSON 與 SQLite 不在本站。其餘文件附一句話主張與旗標（「無」＝沒有發現誇大；「輕微」＝措辭可能被過度解讀，或被後面的篇章取代）。完整封存保存在 AMRAL 的研究封存庫，依 SHA-256 逐檔驗證。

Perfect_Cuboid_Global_Closure_01_Reframing.md — 整體閉合 01 · 重新表述
Perfect_Cuboid_Global_Closure_06_First_Manifestation_and_Minimal_Primitive_Cuboid.md — 整體閉合 06 · 第一顯現
Perfect_Cuboid_Global_Closure_07_Arithmetic_Freedom_After_First_Solution.md — 整體閉合 07 · 第一個解之後（假設性）
Perfect_Cuboid_Center_Axis_Rational_Closure_Theorem.md — 中心軸有理閉合定理（v0.1）
Perfect_Cuboid_Six_Channel_Conservation_Duality_Methodology.md — 六通道 C0–C2 · 對偶平方
Perfect_Cuboid_C1_Conservation_Move_Algebra.md — 六通道 C0–C2 · 對偶平方
Perfect_Cuboid_C2_Two_Turn_Square_Preserving_Repair.md — 六通道 C0–C2 · 對偶平方
G2A_Nested_X_Double_Square_Closure.md — G2A · 巢狀 X 雙平方
G2B_Elliptic_Orbit_and_Local_Sieve.md — G2B 與 G2C · 橢圓軌道與雅可比
G2C_Five_Elliptic_Jacobian_Decomposition.md — G2B 與 G2C · 橢圓軌道與雅可比
G2D1_Local_Full_2_Descent_Rank_Theorem.md — G2D.1 與 G2D.3 · 橢圓因子的秩
G2D3_Eminus_Rank_One_Theorem.md — G2D.1 與 G2D.3 · 橢圓因子的秩
G2E1_Square_Lift_Quadratic_Chabauty.md — G2E.1 與 G2E.2 · 平方提升塔
G2E2_Exact_Square_Lift_Tower.md — G2E.1 與 G2E.2 · 平方提升塔
G2E3_2Primary_Mordell_Weil_Sieve.md — G2E.3 與 G2E.4 · Mordell–Weil 篩
G2E4_Dual_Quotient_Mordell_Weil_Sieve.md — G2E.3 與 G2E.4 · Mordell–Weil 篩
G2E5_Bielliptic_Genus2_Reduction.md — G2E.5 與 G2E.6 · 雙橢圓約化與交接
Perfect_Cuboid_G2E6_Local_Verification_Handoff.md — G2E.5 與 G2E.6 · 雙橢圓約化與交接
phase1_summary.md — Phase 1 · 有界精確搜尋
phase1c_gsync_summary.md — Phase 1 · 有界精確搜尋
phase1d_primitive_gate_5m_summary.md — Phase 1 · 有界精確搜尋
phase1f_d_global_diagonal_restriction.md — Phase 1F-D · 空間對角線的限制
phase1g_p2q_summary.md — Phase 1G–1J · p²q 的前沿
phase1g_b_p2q_four_class_reduction.md — Phase 1G–1J · p²q 的前沿
phase1i_p2q_quotient_57.md — Phase 1G–1J · p²q 的前沿
phase1j_p2q_2adic_reduction.md — Phase 1G–1J · p²q 的前沿
Perfect_Cuboid_Global_Closure_02_Continuous_World_and_Scale_Quotient.md — 整體閉合 02 · 連續世界與尺度商空間：實解集是 R_{>0}³，模尺度後是 S² 的開正八分體（2 維、可縮、S₃ 對稱）；拓撲對有理點什麼也沒說。旗標：無（第 19 節列出「不主張」）。
Perfect_Cuboid_Global_Closure_03_Common_Seed_and_Constraint_Differentiation.md — 整體閉合 03 · 共同初態與約束誘導分化：尺度不變的約束下降與交替投影動力學，加一個成功階梯（G0…I），全部是研究命題 C1–C3，「而非已證定理」。旗標：無（啟發式框架，自己這樣標示）。
Perfect_Cuboid_Global_Closure_04_Radix_Carry_Global_Closure.md — 整體閉合 04 · 進位制是觀察算子：把四個平方改寫成數位卷積／進位遞迴，證明初等的有限展開事實（例如互質底的 Z[1/B₁] ∩ Z[1/B₂] = Z），同時堅持局部進位相容不等於全域有理存在。旗標：無（§8 有一個字面的「sim」，行內數學用 $$…$$）。
Perfect_Cuboid_Global_Closure_05_From_Floating_Point_to_Exact_Rational_Closure.md — 整體閉合 05 · 從浮點近似到精確有理閉合：數值發現與精確認證的管線，最後一道閘是沒有容差也沒有信心分數的精確有理通過／失敗。旗標：無。
Perfect_Cuboid_X_Diagonal_Center_Axis_Coupling_Methodology.md — X 型對角線—中心軸耦合方法論（Phase G0）：以中心與 X 對角線的角度與耦合比為主要幾何（a = d sin(θ/2)、b = d cos(θ/2)），帶共邊殘差動力學、形狀／尺度分離，與「不受信任的產生器／受信任的驗證器」分工。旗標：無（方法論與軟體設計；「曲率是可觀測量，不是證明」）。
Perfect_Cuboid_Search_Timescale_and_Geometry_Branch_Stage_Note.md — 搜尋時間尺度與幾何分支階段筆記：實數長方體是平凡的、暴力搜尋成本被啟發式地估為隨 P² 增長、六取七的種子 (448, 495, 840) 是變形種子，幾何導航是否勝過高度搜尋「明確未知」。旗標：輕微——沒有來源的尺度與前沿數字（N ~ P²、5×10¹¹）與修辭；免責聲明是誠實的（「截至目前，經典整數版本仍未完成存在或不存在證明」）。
G2D_Rank_Certification_Checkpoint.md — G2D · 橢圓秩認證檢查點（歷史）：把五個橢圓因子壓成三個相異的（E_f、E_0、E_−），記錄 I、J 不變量與撓群，並明說沒有認證任何秩（執行環境沒有 Sage／PARI／mwrank）。旗標：輕微，已被取代——把 E_0 的撓群記為 Z/2（錯；應為 Z/4，G2D.1 更正）。
G2D2_E0_Rank_One_Theorem.md — G2D.2 · E_0 的秩為一的精確定理：由 2-Selmer 界（≤ 2）、一個非撓點與一個根數奇偶論證（W = −1）得 rank E_0 = 1。旗標：輕微，已被取代——把奇偶性定理說成 Mordell–Weil 秩奇偶 = W(E)（無條件地只對 Selmer p-奇偶成立）；G2D.3 第 2 節以純下降證明取代；最終值 rank 1 是對的（PARI）。
Float_Geometry_Point_README.md — 浮點幾何點 · G2 種子：六取七近似 (448, 495, 840; 1073) 與其 X 面角度／耦合的精確紀錄；d_ab = √445729 是唯一非整數的長度。旗標：無。
Phase1_Bundle_README.md — Phase 1 套件的 README：掃描套件的檔案清單，並警告「沒有三面命中不是不存在性主張」。旗標：無。
phase1b_shared_core_summary.md — Phase 1B · 共核平方閉合：對邊 x 的面閉合恰好等於 (g − x)/h 與 (g + x)/h 都是平方（h = gcd），在種子上為通過／通過／失敗。旗標：無。
phase1e_even_leg_internal_triple_summary.md — Phase 1E · 偶腿集合的內部畢氏閉合：g 處的 primitive 長方體存在 ⇔ 偶腿集合 E(g) 含一個內部畢氏三元組 b² + c² = f²（精確等價）。旗標：無。
phase1f_a_r3_elimination_theorem.md — Phase 1F-A · 最小表示層的全域排除：沒有 primitive 長方體有 R(g) = 3，即 g = p³，因為三條 sin² 關係強迫 X ∈ {0, 1/4, 1, …}，沒有一個是可接受的有理平方。旗標：輕微措辭——「全域」只指 g = p³ 這個子族；論證正確；被 1F-D 涵蓋。
phase1f_b_p4_elimination_theorem.md — Phase 1F-B（草稿）· R(g) = 4 的質數冪分支 g = p⁴ 的排除：十二條關係 S_i + S_j = S_k 強迫 X ∈ {1/4, 1/2, 3/4}，過不了有理平方／有理角度閘。旗標：無（草稿與下一份重複；因子表已重推）。
phase1f_b_r4_p4_elimination_theorem.md — Phase 1F-B · R(g) = 4 質數四次冪層的全域排除（第二份寫法）：同一個 g = p⁴ 的排除，加上二次與三次因式的討論。旗標：無（重複）。
phase1f_c_pq_reduction.md — Phase 1F-C · 剩下的 R(g) = 4 分支 g = pq 的結構約化：十二條關係化為兩條本質方程 a(1 + b²) = 4b 與 a²(1 − b²) + 2b² = 0，有界掃描沒有解。旗標：無；已被 1F-D 取代（1F-D 把兩條方程都排除）。
phase1f_c_r4_pq_reduction.md — Phase 1F-C · 混合 R(g) = 4 層的約化：對 g = pq 排除十二個排序中的六個，剩六條二變數曲線 H1…H6，在 1,296,855 個質數對（p, q ≤ 30,000）中零個零點。旗標：無；已被 1F-D 取代（H1／H3 其實因正性而不可能）。
phase1g_r4_complete_elimination_theorem.md — Phase 1G · R(g) = 4 層的完整全域排除：R(g) = 4 強迫 g = p⁴ 或 g = pq，兩者皆不可能，所以任何 primitive 長方體有 R(g) ≥ 5。旗標：輕微——最後的 pq 步驟正確，但依賴包內沒有寫清楚的「P1F-C 的 2 進排除」；被 1F-D 取代。
phase1h_prime_power_r5_r7_elimination.md — Phase 1H · 質數冪層 R(g) = 5、6 與 R(g) = 7 的 p⁷ 分支的全域排除：e = 5, 6, 7 的 Chebyshev 多項式掃描只給有理根 {0, 1/4, 1/2, 3/4, 1}，所以 g = p⁵、p⁶、p⁷ 不可能；R(g) = 7 唯一未解的類型是 p²q。旗標：無（與 1F-D 重複；e = 3…10 的根已重驗）。