版本歷程
九個版本，一個越縮越窄的問題。
每個版本留下的東西都比前一個少。這條軌跡是一份紀錄：主張被一路砍到剩下可以簽名的那些。
軌跡
方向性遍歷原型。頭條數據因資料洩漏被撤回 —— 生成器自己回答了自己的問題。
模型比較封存，包含至今仍被回歸測試跑到的 PyTorch Transformer 基準線。
安全修復政策：明確的異常與信心門檻，修復寫進副本，永不動來源。
在八組生成活頁簿分布上，事先固定測試套組、指標與否證標準。
區域與路徑規格。
語意與血緣規格；覆核交換格式。
差分驗證規格。
外部計算判讀協定：三來源證據與九種判讀類別。
限界 AST 求值器、修正後的 Excel 語意、MMR-CJ-1 正規化雜湊、Ed25519 憑證與完全重播。
v1.0 變更紀錄
- 新增基於 AST 的安全限界求值器。
- 修正 Excel 次方運算語意。
- 新增 Excel 風格的
ROUND語意。 - 新增明確的 1900 / 1904
DATE語意。 - 新增 v1.0 判讀協定。
- 新增
MMR-CJ-1正規化雜湊。 - 新增 Ed25519 憑證建立與驗證。
- 新增精確的 XLSX 來源雜湊綁定。
- 新增對正規化、證據與決策的重播驗證。
- 新增憑證 CLI 與金鑰產生。
- 新增 90 項決定性語意試驗。
- 新增憑證竄改與錯誤來源試驗。
- 維持「引擎不一致授權公式寫入次數為零」。
- 完整歷史回歸：69 項測試通過。
釋出內容
- 新增程式碼
value_engine_v10、differential_v10、oracle_protocol_v10、certificate_v10、certificate_cli_v10、evaluate_v10、tests/test_v10.py，以及執行腳本。- 憑證範例
- 四份已簽署的憑證 —— 正確結構化、過期快取、運算子衝突、1904 日期 —— 外加釋出用公鑰與一份憑證索引。
- 輸出
- 夾具指標；輸入、次方、進位捨去與日期試驗；憑證索引；負載竄改試驗；錯誤來源重播試驗；以及一份已簽署的稽核活頁簿與圖表。
- 不包含
- 任何範例私鑰。
v0.1–v0.9 的程式碼、報告、夾具與測試都留在倉庫裡，以供重現。
v1.0 真正主張的是什麼
v1.0 的報告自己寫下了它能支持的最強命題，而那句話刻意不是最好聽的那句。它不是「MMR 已經理解 Excel」。它是：活頁簿結構、方向與語意、多引擎證據、來源雜湊、可重播簽章，這五者合起來可以構成一條稽核證據鏈，而這條鏈不依賴任何單一模型對自己的宣稱。
外部引擎是一個獨立證人，不是權威。
v1.0 之後
報告在封頂的同時也點名了第二階段該是什麼。合成分數不再是衡量進展的主要指標。
- 改用真實的匿名活頁簿資料集，取代生成夾具。
- 完整的公式語意覆蓋，而不是目前限界求值器支援的那個子集。
- 把跨引擎相容性當成工程工作來做，而不是當成一個基準分數。
倉庫狀態
研究性釋出。未給予任何一般性的生產環境寫入授權。
自 起以 Apache License 2.0 授權。你可以使用、修改與再散布。
選 Apache-2.0 而不是別的，是因為同系列的兩個兄弟專案 —— MMLC Runtime 與 MLF —— 本來就是 Apache-2.0，整組用同一張授權比三張好想。
授權改變的是你能拿這些程式碼做什麼。它沒有改變安全模型頁上的任何一句話：一份有效的憑證仍然不足以確立完整的 Excel 語意，而引擎意見不一致仍然永遠不構成公式寫入的授權。