版本歷程
十個實驗，然後畫一條界。
1.0 之前的每個版本都只加一項能力，並附上自己的驗證報告。v1.0 一項都沒加，它畫了一條界。
實驗系列
實驗目錄都還留在倉庫裡，一個能力一個，依當初建造的順序排列。
E0
e0_arithmetic決定性矩陣帳本執行與稽核。
E1
e1_symbolic_exchange符號—數值交換，逐格驗證。
E2
e2_root_cause相依污染、根因與路徑。
E3
e3_matrix_directions多方向版面與遍歷。
E4
e4_cross_axis_constraints列、欄與區塊約束，附最小支持集修復。
E5
e5_temporal_dynamics時間參照、固定點群組與只追加的補帳。
E6
e6_fdcs_interventions硬／軟反事實干預，以及分支差分帳。
E7
e7_soft_cyclic_identifiability軟循環結構與有限觀測等價。
E8
e8_probability_policy_observation離散不確定性、政策評分與觀測模型。
E9
e9_continuous_information_decision決定性連續不確定性、資訊價值與有限序貫決策。
發布驗證
以下全部出自 FINAL_VERIFICATION.json，由 的發布驗證執行產生。
| 檢查 | 結果 |
|---|---|
| pytest | 71 項通過 |
| Python 檔編譯 | 63 個，PASS |
| JSON 檔檢查 | 104 個 |
| Markdown 檔檢查 | 72 個，無圍欄錯誤 |
| 範例驗證 | 40 個 |
| 範例遷移 | 40 個 |
| 遷移等價案例 | 12 個，0 失敗 |
| 基準案例 | 6 個，雜湊一致、稽核通過 |
| Wheel | mmlc_runtime-1.0.0-py3-none-any.whl，51 檔、10 個 Schema |
| Source distribution | mmlc_runtime-1.0.0.tar.gz，176 檔 |
| 安裝後 wheel 煙霧測試 | PASS |
整次執行的發布驗證雜湊：
text
957ab0255fe284bcb6310ccc11cefc07aa2722ff9a3098e1e7154f52af7738b1已確立
從全新 checkout 獨立重現，跨 Python 3.10／3.11／3.12／3.13：每個版本都 71 項通過，接著 validate、migrate 與 run --fail-on-audit。
相容性政策
- Patch
- 修缺陷，不刻意改變公開 API 或 MMLF 語意。
- Minor
- 可新增選用的、向後相容的 API 欄位、指令、運算子或文件欄位。
- Major
- 可移除或重新定義穩定行為，且必須提供遷移文件。
- 穩定表面
mmlc.__init__匯出的名稱，以及mmlc info列出的項目。- 不穩定
- 內部模組、私有函式、實驗腳本，以及產生出來的報告排版。
1.0 之後
路線圖開頭放的是一條限制，而不是一張功能清單：新工作應該偏好深度，而不是功能堆積。
- 1.0.x
- 正確性與安全修正、文件更正、決定性輸出缺陷、打包與安裝修正、基準方法論更正。
- 1.1 候選
- 不執行文件內任意程式碼的具型別擴充契約；串流輸入與有界記憶體事件持久化；更好的稀疏約束修復後端；選用的形式化運算子規格；跨 runtime 一致性夾具；以公開基準為依據的效能工作。
- 分拆倉庫
mmlc-spec放規範性規格、mmlc-bench放對照與對抗性基準、mmlc-docs，以及其他語言 binding 或視覺工具 —— 各自成熟時再分。
路線圖裡有一句值得當成政策引用：不應該只為了讓版號繼續長，就把重大語意擴張塞進 Runtime 1.x。
倉庫
mmlc-runtime- Runtime、CLI、Schema、範例、E0–E9 實驗與基準。Apache-2.0。
mmlc-erdos-straus-bench- Erdős–Straus 應用，v0.2.0。Apache-2.0，並內附 runtime wheel，讓它在 MMLC 還沒上套件索引前就能安裝。