概念平权矩阵（活文档）

维护规则（设计 §7.2 准入流程）：任何文件系统要新增建设面概念，先在下面矩阵填自己那格，然后回答其余 三格——实现 ✓ / 映射 ◐（注明语义）/ 豁免 ✗†（层错位/物理不存在，附证明）。三样都拿不出来就不合入。 与 io.md 的运行行为面（能力位协商/差异表）互补：本表管词汇面（消费者必须能表达什么），那张管运行面。 三态：✓ 已实现 / ◐ 映射（形态不同） / ✗† 豁免（附证明）。

spec 层概念（消费者表达面）

概念	本地 local	内存 memory	网络 network	虚拟 virtual	备注
位置路径	✓ root	—（固有）	✓ network:///s3/ URI（G6 归拢）	✓ 载体+设备+多载体清单
label	✓ .tier-volume 标记	✓ 卷对象字段	✓ 标记对象	✓ superblock	镜像身份，携转换（G1）
空间根卷记录	✓	✓	✓	✓（参考实现）	Open 一次装载 / New 一次写入（G1）
文件级范围锁	✓ LockFileEx/OFD	✓ 进程内区间表	✓ 进程内 advisory（G8 翻案）	✓ 进程内逻辑锁	advisory 契约同族
映射平面 Map	✓ 手工 mmap	✓ 物化/直址	✓ 物化形态（G11 翻案：Read 快照/ReadWrite staging 视图）	✓ 文件载体（设备诚实 ✗）	映射无只写（三平面一致值域）
卷级共享获取 AcquireShared	✗（G9 可选——矩阵留行）	✗（同左）	✗（同左）	✗（同左）	做则四类文件系统同批
quota	✓ 惰性基线+写前拒	✓（原 Capacity→QuotaBytes）	✓ 惰性 opt-in	✓ 一词制供给（-1 = 按需自动扩容）	UsedBytes 四类文件系统实时可见（G3/G4）
access ro/wo/rw	✓	✓	✓	✓	统一枚举 AccessMode 三平面（G2）
exclusive	✓ 锁文件	✓ 真锁	✓ fencing 尽力	✓ 内建	挂载属性统一表达（G5）
spill	—（无此概念）	—（自身即内存）	✓ 嵌套位置（RemoteSpill 两形态——G7）	—	位置可嵌套，工厂递归解析
凭证 cred=env:	—	—	✓ 引用永不携值	—	v1 唯一形态
Volume 几何/用量读面	✓ 配额推导	✓ 配额推导	✓ 配额/清单推导（不透明诚实 -1）	✓ 精确（superblock+位图）	G4：VolumeInfo 十成员三段
多载体 member=	✗† 层错位（OS/LVM 吸收）	✗† 物理不存在	✗† 物理不存在	✓（8 成员/迁移缩容/降级）	豁免证明随格携带
跨进程可见性	✓	✗† 物理不存在	✓	✓	经典豁免例

options 层概念（文件系统私有旋钮——不参与平权，io.md §2/§6）

准入去处唯一 = options 子类；旋钮升格平权概念的通道 = 本矩阵（跨 ≥2 文件系统且属部署事实）。

运行面概念衔接

持久化（数据比进程活得久）：本地/虚拟 = 原地 Flush；网络 = Flush(PUT)；内存 = 无原地持久化层， 持久化点 = 运行时导出（RootSpaceImage——概念全额成立，机制豁免）。其余运行行为见 io.md （数据平面 §4 与指路 §6）与源码 IO/ 注释。

spec 参数表（§2.5 同源——TierSpec 属性集 = DSL 方法集 = analyzer 规则集）

参数	身份层	New	Open	文件系统
label（≤32B）	镜像身份	写入	校验（不符抛）	四类文件系统
quota（尺寸/-1）	挂载·形态	供给物化	收紧 min	四类文件系统（虚拟 -1 = 自动扩容）
access=ro\|wo\|rw	挂载·形态	建完即封存（ro）	总上包络	四类文件系统
exclusive=1	挂载·形态	—	排他获取	四类文件系统
spill=<spec>	挂载·形态	同	同	网络
cred=env:NAME	挂载·位置	同	同	网络
region/vhost=1/tls=1	挂载·位置	同	同	网络（s3）
member=<路径>（可重复）	挂载·位置	全量清单	装配匹配	虚拟