@adlc/tickets
克能克ADLC票务域. 它提供不可改变的逻辑快照 严格 遗产/目录/吉特修正用品、后端独立散列车、意向特定 突变、可收回的文件系统交易、迁移、档案和诊断.
软件包没有运行时间依赖性 。 所有作家都是先干后干
adlc ticket;它从不进行阶段或执行 Git 改变。 现有 .adlc/tickets.json
在 1.x 桥通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通通
核准。 新店铺每张门票都使用一个确定性JSON硬度
.adlc/tickets/。 。 。 .
发现车票形状
CLI是自我描述的,不需要通过阅读现有的 出店机票:
adlc ticket <command> --help # flags plus the full input document for that command
adlc ticket create --help # every field, what reads it, and a runnable example
adlc ticket schema # the ticket JSON Schema on stdout
create --help 打印可以直接输入的示例:
adlc ticket create --input - < ticket.json
两者 --help 财务报告和审定财务报表 schema 在商店存在之前工作. 奥米 id 创建数字 :
服务薄荷为 ULID ()T-01K…)——没有"下一个免费" T<n>" 以获得.
lib/help.mjs 保存一个字段表格、帮助文本和已发布
schemas/ticket.schema.json 既来自,又来自 test/help.test.mjs
失败, 如果已执行的计程器从中漂移, 或者如果一个字段, 验证器会执行
失去证件.
写入被冻结的信任根
一次 任意 票单声明 rails,商店停止为普通数据:
{\fn黑体\fs22\bord1\shad0\3ahbe\4ah00\fscx67\fscy66\2chffffff\3ch808080}决定什么是铁道守卫冻结的 {\fn黑体\fs22\bord1\shad0\3ahbe\4ah00\fscx67\fscy66\2chffffff\3ch808080}所以它也是唯一的冻结
使编辑无法执行。 PreTool 使用铁路钩
总是拒绝结构化编辑 .adlc/tickets/** 从那一刻起 店铺
现在服务为自己的作者保留同一条线,因此审计不再依赖
那扇门上写着:
- 每个
--write针对这样的存储附件 一个 签名ticket-mutation条目 到门口,记录操作情况,票号,商店散列 更改的任何一方(bypass: true(三); - (a) 已经记录了其自身证据的变异——铁路缩小、完工,
调动、档案、移徙——保持现有
ticket-<operation>条目和 增加审计领域。 一个突变从来不是两个条目; - 与 没有
ADLC_MANIFEST_KEY写入拒绝 在此之前 触摸商店。 一个 未署名的条目没有证明谁做了改变, 清单是 只有附件,所以写一个反正将是永久的噪音.--allow-unsigned(叹气)adlc prosecute record-cross-model(你应当叙述)一个人,而且应当警告; - 规则维持 每个 门进入商店,不只是
adlc ticket:遗产 □ 受到阻碍的移徙及其恢复、档案/恢复、中断的交易 恢复,ticket-prune这是直接的tickets.json写作,并发表1.xLegacyTicketStore.write(tickets),它仍然工作,但现在通过 已审计交易。 对一位作家而不是其他作家执行的合同不是 合同; ticket-prune是无法使商店写作和显示的作家 附加一个单一的行为,所以它分阶段,记录,然后重命名. 如果重命名失败 条目已附加, 并命名一个从未到达的商店散列 只有附件分类账不能收回,所以 prune 附加 a 更正 (单位:千美元)action: 'abandoned',在等同大麻之前和之后)说商店没有移动. 如果校正也写不出来,失败者会说 而不是离开打电话者 假设分类账是真的。 更正在 重命名 掷出; 同一窗口的相撞或电力损失导致虚假索赔 未校正, 通过比较条目的可探测性storeHashAfter去商店,但是.. 未自动修复——此路径没有日记和回收证;- 无人售票的退票——在有效铁道 或归档 已经..
不是一个信任根 : 作者不需要密钥, 记录什么 。 完成时,
存档或丢弃最后一张铁轨票并不能解冻,因为
删除本身是经审计的超标,清单在
罚单不见了(# 162) 。 唯一一个无法看见的病例是收回了最后一笔
铁路 在此之前 此更改从未录制过钩子覆盖程序, 磁盘上没有
区别于从未使用过铁轨的回扣
lib/trust-root.mjs该 设定无法生长,因为每次从这一变化中移除都会留下标记 它会收缩,因为每一次这样的回购都要经过一次审计。 关闭它需要一个持久的 收养记录,通过票跟踪T-01M0TMRSQKGTNWZTFXBPQ2JHNB。 。 。 .
已知残留物
两项合同未涵盖。 两者都记录在这里 所以保证是 没有读取比它更宽;每张都用自己的票跟踪关闭.
- 坠毁期间
ticket-prune审计时的重命名窗口. 补偿性条目 重命名丢出时运行; 显示附件和 重新命名后留下一个条目, 命名商店从未到达的散列 。 留下来 可探测到的- 散列与商店不符- 但这条路径没有日记和 没有恢复证 所以没有自动修复 命令是故意的: 在完成写作后录制,可能会发生真正的突变,完全没有记录 这是无法察觉的,而不仅仅是错误的。 追踪到T-01M0WNX6P09HWKDK429XQ8GGRJ。 。 。 . - 父目录交换
export。 。 。 . 目的地被验证,然后是 mkdir, 临时写入并按路径重命名地址, 因此本地写作者能够重命名 a 对象可以在检查后重定向写入。 节点提供否openat编号 :O_NOFOLLOW对于这个序列,所以路径不能被固定在一个目录上 手柄。 它需要写入操作员选择的目的地的父端 + 赢得比赛; 写入回波权限使得比赛没有必要, 和 a 粘糊糊的一丁点挡住它 在通常的世界写字箱。 追踪到T-01M0WNX6ZA0D94HW2VQKZAPGQ2。 。 。 .
重复性
敏感变异使用可收回的有证据的交易,这两种交易都得到支持 1.x后端. POSIX 持久性冲出已更改的文件和父目录条目; Windows 冲出文件并依赖已记录的平台恢复测试,因为节点 不提供可移植目录 fsync.