主根語義由儲存浮點升級為精確有理方向重建，cell0 全部 9278 片終端葉片完成批量遷移：9278/9278 通過，選擇性重切為零

Round 28（AMRAL-LUC-FC-R28，2026-09-20）補上 Round 27 遺留的最大結構缺口：Round 27 的 interval prototype 只是在既有 binary64 leaf state 周圍建立 enclosure，並非從 master root、exact split semantics 一路重建。Round 28 把 master target 改用精確有理 T_M=1673/2000（取代原本 binary64 的 0.8365），證明門檻仍是精確有理 T=167/200；利用 a-priori equation F(d)=¼(π−arccos(1/2d))+½√(d²−¼) 在相關定義域上的單調性，對 d⋆ 做方向區間 bisection，最終區間寬度約 O(10⁻⁶³)；對 regular odd Reuleaux B3/B5/B7 的 translation root t3、t5、t7 同樣以方向區間算術重建，區間寬度皆遠小於 10⁻⁵⁰；D3 master root 直接由這些方向端點建立。cell0 40 層 base path 不再依賴重跑 scheduler 推測每一刀切法，而是把實際 split axis 與 side bit 存入證書，verifier 只需檢查 C=C0∪C1，不需相信官方啟發式、CPG、學習型 scheduler 或成本模型；沿這條 path 實測 override 次數為 0。B7 lift tree（Round 24 拓樸：18555 nodes、9278 leaves）的 9277 個 internal split axis 也另外輸出明確的 2-bit stream。重建後，stored reference center 與 intended center 的偏差最大約 10⁻¹⁷ 級（witness tree 最大約 2.1×10⁻¹⁶），文件明言『close ≠ identical』，此後 membership 一律對 intended directed box 判定，不再把 stored float 當 source of truth。核心數值結果：對 cell0 全部 9278 片終端葉片做 margin-adaptive 有理內接多邊形批量遷移（候選密度分 256/512/1024/2048/4096/8192/16384 七級，分布為 821/3425/3709/1115/163/39/6，最高的 16384 級只有 6 片），結果 9278/9278 全數 RATIONAL-INTERVAL-PASS，選擇性重切為 0，membership 失敗為 0，最薄精確有理 margin 為 3.1948922738×10⁻⁸（與 Round 27 targeted replay 一致），cell0 狀態由 REFERENCE-COMPLETE 升級為 CELL0-ARITHMETIC-MIGRATED-PROTOTYPE。文件同時明言仍不能升成 global publication theorem：方向區間 backend（mpmath.iv/libmp）尚未 pin 版本並獨立稽核，77 個必要性 marker 的上界尚未全部完成算術遷移，全域 base atlas 與最終 shard 合併也都還缺獨立 A1 replay；Round 28 因此建議把 root-reconstruction 相關欄位固定成 root certificate ABI（exact target、exact master target、d⋆/t3/t5/t7/D3 方向區間、base explicit axis/side path、witness topology 與 axis stream、arithmetic backend id/hash），並明言 scheduler 名稱不進 proof-critical bundle。全局界 a_Leb≥0.835 仍是 NOT CERTIFIED 的未解問題，本輪並未改變此狀態；下一輪 Round 29 預告將對 77 個 necessity marker 做 directed support upper migration。研究方向與方法論來源為 Neo.K；本輪 AI 協力研究者與主要執行者為 Aletheia / ChatGPT, GPT-5.6 Sol。