规范

规范的组成 #

符合性等级 #

等级是累积的：声明 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 期间不保证兼容。
• 新增字段向后兼容。
• 废弃的字段至少保留一个版本的警告期。

规范暂不规定 #

传输协议的版本细节、具体的策略语言、令牌的签名算法、具体的存储引擎，以及用户界面。