AI 是規劃器,永遠不是解碼器
模型可以分析檔案樹並產生封裝計畫;寫入器負責驗證計畫,解碼器則在完全沒有模型的情況下還原。
Planner → Policy Validator → 確定性 Writer傳統格式預設人類選檔案、選壓縮等級,其餘交給固定演算法。ANLA 把封裝計畫變成可由 Agent 產生、可由驗證器檢查、可由寫入器重放的結構化控制面;同時用格式的不變量拒絕資訊失真。
模型可以分析檔案樹並產生封裝計畫;寫入器負責驗證計畫,解碼器則在完全沒有模型的情況下還原。
Planner → Policy Validator → 確定性 Writer每個原始 Chunk 以內容的 SHA-256 作為身分,因此相同內容只保存一次——不論被幾個檔案引用,也不論當初用哪個 Codec 儲存。
chunk_id = SHA-256(raw bytes)搜尋索引、決策紀錄與模型標註都住在一個可以被清空的平面裡。清空之後,解碼器取出的內容一個位元都不會改變。
Decode(P, I) = Decode(P, ∅)ANLA 把不可妥協的保存真相,跟可以自由變動的 AI 輔助資料分開。這不是視覺分類,而是格式的信任邊界。
原始 Payload Chunk、Chunk Map、路徑、Metadata、內容雜湊與 Snapshot Root。任何符合規格的解碼器都必須從這些位元得到相同結果。
模型產生的封裝計畫、決策紀錄、全文與語義索引、Agent 操作歷史。可替換、可刪除,而且永遠不是解壓的前提。
一個格式的承諾值多少,取決於它的測試值多少。以下這些在每次commit 都會在 Linux、macOS 與 Windows 上跑一遍。
Python 寫入器與 JavaScript 寫入器各自依規格獨立實作,對每個可重現的 fixture 產生完全相同的封裝——不只是彼此讀得懂而已。
原始 v0.1 瀏覽器版所附的 .anla 檔以相容性測試向量的身分留在repo 裡,兩套實作至今都能精確還原它。
雜湊不符、長度不符、未知 Codec、不安全路徑、重複路徑、壓縮炸彈、超出檔尾的位移:每一種都有測試斷言解碼器必須失敗而不是猜測。
只差大小寫、或只差 Unicode 正規化形式的兩個路徑在這裡是不同路徑。在會把它們折疊成同一個檔案的系統上解壓會失敗,並同時報出兩個路徑——絕不默默丟掉其中一個。
白皮書描述的是更大的格式:BLAKE3、Zstandard、CBOR Manifest、追加式 Snapshot、跨平台 Metadata、加密、簽章、Parity。ANLA-MVP v0.1 只實作能夠端到端完成並驗證的最小子集,並且不宣稱其他任何事。
單一 Snapshot · 普通檔案與目錄 · 固定分塊與內容定義分塊 · Store 與 DEFLATE · SHA-256 Chunk 身分 · Canonical JSON Manifest · 跨檔去重 · 完整 Round Trip 驗證 · 可重現輸出 · 安全路徑 · 資源限制 · ZIP 匯出。
Symlink · Hard Link · 權限與 ACL · Extended Attributes · Alternate Data Streams · 稀疏檔 · Zstandard · BLAKE3 · 加密 · 簽章 · Parity · 追加式 Snapshot · 局部物化。