独立校验
六条不变量逐条重算
独立校验只读模型:核对失败点顺序、名字门、错误码词汇、持久语义、幂等与确定性重放。
DSH 学习 · 基础设施
存储枢纽把「介质」交给后端:一个后端独占一种介质,kv 这类切面可选——缺位就在解析点大声失败。单元名同时充当文件名和 SQL 标识符段,所以 UNIT_NAME_RE 直接拒绝大写和连字符,不做转义。打开时版本戳对不上按 version-mismatch 拒绝;putRecord 一旦 resolve 即持久;deleteRecord 对缺失键幂等;close 排空在途写入,之后的一切调用报 closed。
单元生命周期
每一格是一次存储动作:错误格带出上游词汇表里的稳定错误码——version-mismatch、malformed-medium、closed 都是原文。
独立校验
独立校验只读模型:核对失败点顺序、名字门、错误码词汇、持久语义、幂等与确定性重放。
证据边界