邊界
四個「它還不是 1.0」的理由。
MMPF 選擇把自己的候選邊界列出來,而不是掛一個穩定版號然後祈禱。四個之中有一個,已經因為那個檢查真的被跑了而關掉。另外三個仍然成立。
四條邊界
引自 README_V1.md。這個包之所以是 RC1 而非穩定 1.0,是因為:
- 官方 MMLC Runtime 的執行仍需要一個可連網的重播環境2026-08-01 關閉 —— 重播已執行,四份帳本現在全數通過
- 機器輪廓的轉移有格式與敏感度測試,但還沒有獨立的實體機器資料集
- route-conditional 的共形上界不是適應性選擇下的同時性保證
- 基準語料仍然很小
不主張什麼
- 一個共形上界對所有被適應性比較的路徑的同時性保證
- 一份機器輪廓在現有證據下可轉移到另一台實體機器
- 校正曾經與實測一致校正在一般情況下正確
- 一份有效憑證所選路徑是最佳的這個主張
- 本包內附的一致性執行器官方 MMLC Runtime —— 兩者的結果必須分開聲明
最後一條寫在專案自己的 README 裡,就在描述那個內附執行器的同一段。一個 Runtime 的本地近似品對開發很有用,但它不是關於那個 Runtime 的證據。
語料規模
三十個案例、五條路徑、一台機器。那是第四條邊界,也是唯一一條再多工程都關不掉的 —— 它需要更多量測。
未覆蓋
93.333% 的覆蓋率就是 30 分之 28。在這種規模的語料上,一個案例就會讓數字移動 3.3 個百分點 —— 在把它讀成一個「比率」之前,值得記得這件事。