← 完美長方體 · PROGRAM-PERFECT-CUBOID · METHODS
FORC · GERES · SIO-X4 · X4-DMSD · IGPC · TIFV · 2026-09-28 至 10-06 · 61 份主文件(來自 57 個 zip 加 TIFV)
這一支收集完美長方體套件裡的軟體與框架線:FORC(分數本體論比例微積分,9 個 zip)、GERES(全域等價重建與縮放,12 個)、SIO-X4(空間資訊佔據 × SOBTA–ACTM,21 個)、X4-DMSD(X–四邊卯榫約束域與十進位多尺度搜尋,15 個)、IGPC(資訊幾何框架)與 TIFV(軌跡資訊自由度驗證,3 份加一份 v0.1)。共同風格:把完美長方體當成精確有理的世界,以 Stern–Brocot 分支與乘積樹、模閘(mod 7/17/19/23)、CRT 格與持久的 SQLite 帳本組成「精確點擊」搜尋,並明說只有精確閘決定真假。主要產出是有界的證書(三個面三元組的斜邊 ≤ 20000 內沒有完美長方體;X4 共邊耦合在 m ≤ 80 有 48 塊 Euler 磚、0 個完美長方體)、G2 纖維的算術幾何(座標纖維是虧格 1 曲線,加上完美閘是虧格 5 曲線)、20 個形狀的「體長方體」近似(不是完美長方體),其餘是框架與有界的結構審計。
誠實的現況:這些線裡沒有任何檔案宣稱完美長方體、「候選的完美長方體」或全域的存在/不存在。每一份證書都是有界的。詞彙要小心讀:「EXACT」(X4-DMSD)指精確的面耦合,也就是一塊 Euler 磚,不是解;「IMPOSSIBLE」是某個胞腔被某個閘擋住(對兩塊已知磚 (44, 117, 240) 與 (1575, 1672, 9120) 的 mod 7 閘是管線測試——非平方的 S 本來就被 isqrt 排除);「候選」(GERES-P5)指恰有兩個整數面對角線的體長方體,每筆都標 NOT_PERFECT_CUBOID;「執行包」(GERES-P11)從未被執行;「Distributed」(X4-DMSD-P13)是單一行程裡的模擬工作者;「Exhaustive」(FORC-P6)指深度 4 的區域會計,不是搜尋;「Bounded Proof Package」(FORC-P8)是有界的;「Global Kernel Closure」(SIO-X4-P20)的狀態行是「TEMPORARY SERIES CLOSURE — BOUNDED」。
不同的「高度」不能比較:FORC-P7/P8 的 HE 是三個 primitive 面三元組的斜邊的上界;X4-DMSD 的 m 是 Euclid 參數的上界;核心 Phase 1D 的 g 是空間對角線的上界。所以「≤ 20000」「m ≤ 80」「g ≤ 5×106」是三個不同範圍的陳述,不能互相換算或疊加。
上架前的通讀重現了什麼(獨立的暴力計算):FORC-P6 的計數與雜湊;FORC-P7/P8 的全部計數與見證分布;GERES-P5 的 25 筆;P7 的 113/0 與 20 個形狀;P8 的點、撓群、點數與判別式;P9 的掃描與結式;P10/P11 的篩與模籠;SIO-X4-P0 在 FORC P8 的 SQLite 上重跑;P12 的恆等式與 52 個類(每類 2 個世界);X4-DMSD-P2 的引擎與獨立計數。沒有重現的:X4-DMSD-P10 的中間梯值(質數 19 處的 6198 無法重現;純 D = 0 mod Q 的重數得 52,002,192 在 31 而不是 29 達到,原文沒有定義過濾也沒有程式)、P3/P4 的縮減百分比(隨附程式只是示範)、SIO-X4-P3/P4 的潛在記憶計數(已被 P8 v0.2 取代)、FORC-P4/P5 的五種子基準不一致。
不在站上的與規模:57 個 zip 共 22.4 MB(解壓後 71.6 MB),最大的成員是 FORC-P6 的 proof_resume_depth4.sqlite(53.9 MB)與 X4-DMSD-P13 的 p13_runtime.sqlite(11.4 MB);本站只放每份的主文件 md,程式、CSV、JSON 與 SQLite 保存在 AMRAL 的研究封存庫。作者與出處:除了 TIFV(「Neo.K / EveMissLab」)沒有任何檔案寫作者行,沒有 AI 角色行。GERES-P11 的 README 說腳本「Generated but NOT EXECUTED in the current ChatGPT runtime」,SIO-X4-P0 的結果 JSON 路徑是「/mnt/data/…」:這些是製作環境的痕跡,本站不由它們推論作者。日期:zip 成員時間 2026-09-28 至 10-04(文件本身沒有日期)。
與其他頁面的關係:X4-DMSD 的「DMSD」是本站 DMSD 案例(十進制多尺度可序列化域)的衍生用法(兩個資料夾沒有位元組完全相同的檔案);SIO-X4-P0 重用 FORC-P8 的帳本;GERES 的 G2 種子 (448, 495, 840; 1073) 就是核心的種子,GERES-P8/P9 的虧格 1/5 纖維與核心 G 線及 Radical-FDRS 的曲線屬同一族。閱讀路徑:FORC 方法論 → GERES 方法論 → X4-DMSD 方法論 → IGPC,然後是結果:FORC-P7/P8 → GERES-P8/P9 → GERES-P5/P7 → X4-DMSD-P1/P2 → SIO-X4 → TIFV。其餘 45 份不另開頁面,列在下方表格並可下載,附一句話主張與旗標。
FORC、GERES、SIO-X4(起點與暫時封閉)、X4-DMSD 與 IGPC:5 個閱讀頁、6 份全文,均提供完整中英版本。原文仍是研究主張的權威來源;翻譯不代表獨立數學驗證,也不提升證據層級。
有界的面高度證書、G2 纖維、體長方體近似、X4 共邊耦合與 TIFV:5 個閱讀頁、10 份全文,均提供完整中英版本;全是有界的結果或框架。原文仍是研究主張的權威來源;翻譯不代表獨立數學驗證,也不提升證據層級。其餘 45 份保留原件,見下方下載表格。
有獨立頁面的文件與其餘 45 份的原始位元組(取自 zip 的主文件 md 與散放的 md),未經改寫;zip 內的程式、CSV、JSON 與 SQLite 不在本站。其餘文件附一句話主張與旗標(「無」=沒有發現誇大;「輕微」=措辭可能被過度解讀、數字無法重現,或被後面的篇章取代)。完整封存保存在 AMRAL 的研究封存庫,依 SHA-256 逐檔驗證。