非主張就是規格。

不確立

MMLC Runtime 1.0 不確立以下任何一項：

• 一張宣告的血緣或因果圖就是外部世界真正的那張圖；
• 分支機率是學習得到的、或客觀校準過的；
• 有限觀測等價就是一般的統計可識別性；
• 固定點收斂就是對任意非線性系統的形式證明；
• 決定性 Halton／copula 取樣提供解析的連續推論；
• 反向稽核權重意味著反向因果；
• 雜湊鏈提供區塊鏈共識、可信時戳，或獨立公證；
• 最小支持集修復識別出了那個唯一的歷史錯誤；
• MMLC 普遍地比試算表、DAG 引擎、資料庫、符號系統、SMT 解算器、因果函式庫或機率程式框架更快或更有表達力。

關注點分離

七條規則把架構撐開。每一條都點出一個很容易發生的塌陷。

• 版面⊘交易身分
• 顯示遍歷⊘必然等於執行遍歷
• 局部正確的計算⊘可信的計算 —— 它可以吃進一條不可信的宣告通道
• 一份修復提案⊘自動就是那個唯一的真實世界根因
• 反向查詢權重⊘反向因果
• 宣告的分支機率⊘學習得到的客觀機率
• 決定性連續取樣⊘解析推論 —— 它是有限近似

它是什麼

這個 Runtime 是一個可執行、可稽核的模型。它的結論條件於所提供的文件、運算子、約束、機率模型、效用、成本與觀測定義。

那份條件性不是在自曝弱點。它正是一次執行之所以有價值的原因：結論所依賴的每一項輸入，都寫在文件裡、被雜湊、可以重現。

雜湊相容性

有一條實務上的限制值得單獨講。語意雜湊在同一個 runtime 與運算子鎖、決定性模式下可重現。當語意、正規化或稽核輸出的缺陷被修掉時，Runtime 升級可能刻意改變某個雜湊。

版本紀律

Roadmap 寫下了讓這一頁保持簡短的規則：不應該只為了讓版號繼續長，就把重大語意擴張塞進 Runtime 1.x。新工作應該偏好深度，而不是功能堆積。