UESFCM：方法論與它的十七個 Lebesgue 循環

判定：十五項判定中十四項 PASS，「Problem Closure: DEFINED」PARTIAL；其餘二十項是標籤。

報告（英文原文）、程式與 gate log：報告 RUN-043.md · run043_uesfcm.py · gate log run043-uesfcm.json

判定：三個循環的定理，以及它們由定義算出的每個數字 PASS；有三處與循環所報告的不同。

報告（英文原文）、程式與 gate log：報告 RUN-044.md · run044_uesfcm_cycles_01_03.py · gate log run044-uesfcm-cycles-01-03.json

判定：三個循環的每個定理與 Gate A 的證書 PASS；該證書有兩個前提沒有被隨附的驗證器檢查；回報的遠集最小值是搜尋值，每個都高於此處找到的更低點。

報告（英文原文）、程式與 gate log：報告 RUN-045.md · run045_uesfcm_cycles_04_06.py · gate log run045-uesfcm-cycles-04-06.json

判定：PASS。這三個循環在儲存前沿上算出的每個數字都重現；但它們提出的編譯器只附介面、證明步驟未實作，所以前沿與全部診斷出自封存中沒有的程式。

報告（英文原文）、程式與 gate log：報告 RUN-046.md · run046_uesfcm_cycles_07_09.py · gate log run046-uesfcm-cycles-07-09.json

判定：PASS。所述每個計數都重現；最緊的葉越過 A3+ 達 2.28×10⁻⁵，而證書自己的最小餘裕是 3.8×10⁻⁸ 與 2.5×10⁻⁹。另有三項附記。

報告（英文原文）、程式與 gate log：報告 RUN-047.md · run047_uesfcm_cycles_10_11.py · gate log run047-uesfcm-cycles-10-11.json

判定：三份證書與接觸點 PASS；轉動剖面作為搜尋成立。Gate 6217-A：NOT ESTABLISHED——Cycles 12–13 的 ρ₅ = 0 約化沒有保留 F3 約束，所以 Cycle 13 的證書只覆蓋切片的一部分，Cycle 14 與兩份晶體所載的「Gate 6217-A: CLOSED」也是如此。

報告（英文原文）、程式與 gate log：報告 RUN-048.md · run048_uesfcm_cycles_12_14.py · gate log run048-uesfcm-cycles-12-14.json

判定：PASS。引理成立；每片面積葉在精確算術下對自己的門檻成立，最少越過 2.66×10⁻⁵。另有三項附記。

報告（英文原文）、程式與 gate log：報告 RUN-049.md · run049_uesfcm_cycles_15_17.py · gate log run049-uesfcm-cycles-15-17.json