規範

規範的組成 #

符合性等級 #

等級是累積的：宣告 L2，就必須同時滿足 L0 和 L1。

L0 Files：帶歷史的目錄 #

1. 在執行分支裡改檔案，受保護的主線保持不變。
2. 直接寫受保護樹（即使憑據有效）被拒絕。
3. 刪除受保護樹裡的檔案之後，可以從回收區恢復。
4. 匯出再匯入，得到位元組一致的樹與歷史。
5. 至少提供兩種標準視圖：掛載與 Git，或者其中一種加 S3。

L1 Authority：誰、憑什麼、做了什麼 #

1. 沒有租約的請求被拒絕，並且拒絕被記錄。
2. 申請超出父租約的子租約被拒絕。
3. 租約到期後掛載變為只讀；撤銷在實作所宣告的時限內生效。
4. 沒有任何租約能刪除快照。
5. 任一提交都可以 explain 到執行、租約與讀清單。
6. 記錄鏈校驗通過；篡改一條記錄後，校驗失敗。
7. 合併進受保護樹時，Gate Card 展示由 NAS 計算的差異，且批准綁定摘要：差異一改，批准即失效。

L2 Memory：記憶可讀、可遷移 #

1. 刪除全部索引並重建後，黃金召回測試通過。
2. 不經 Memory 層，筆記就可以被讀取。
3. 每個派生物都帶配方與輸入。
4. 預算讀取在預算不足時降級，並宣告實際的視圖。
5. 證據指標可以校驗：提交變化後，指標仍然指向原來的內容。

L3 Guard：限制後果 #

1. 在具備 B 與 C 的租約下，讀過 external 的工作階段觸發 C 類動作時，被拒絕或轉交閘門。
2. 派生物繼承其輸入標籤的並集。
3. 受污染工作階段寫入的筆記不會被自動載入。
4. 遺忘請求產出含「覆蓋不到的範圍」的報告；法律保留能阻止遺忘。
5. 策略求值不呼叫 LLM：策略引擎沒有對模型的出站呼叫，可以稽核。

L4 Sync：多節點 #

1. 兩個節點同步之後，樹一致。
2. 不向許可級別更低的節點傳送高敏感的物件。
3. 遺忘的墓碑傳播到對端。
4. 交接包可以在對端被執行，並且租約只會更窄。

宣告格式 #

實作必須釋出一個 conformance.json：宣告符合的等級、各項測試的結果與已知的偏差。沒有這份檔案的「相容」宣告不被接受。

{
  "implementation": "example-nas",
  "version": "0.1.0",
  "spec": "0.2",
  "level": "L1",
  "tests": { "L0.1": "pass", "L0.2": "pass", "L0.3": "pass", "L0.4": "pass", "L0.5": "pass",
             "L1.1": "pass", "L1.2": "pass", "L1.3": "pass", "L1.4": "pass",
             "L1.5": "pass", "L1.6": "pass", "L1.7": "pass" },
  "deviations": ["L1.3: revocation takes effect within 60 seconds"]
}

版本與相容 #

• 語義化版本。0.x 期間不保證相容。
• 新增欄位向後相容。
• 廢棄的欄位至少保留一個版本的警告期。

規範暫不規定 #

傳輸協定的版本細節、具體的策略語言、權杖的簽名演算法、具體的儲存引擎，以及使用者介面。