用途与实际影响
这项功能怎样使用
为什么需要它
外部动作可能失败、延迟或只有部分回读；中断后若只看生成日志，很容易再次制作或再次发送同一版本。
举个实际例子
我可以问：“材料已经发出，对方到底是收到了、处理了，还是已经签回？”系统会分别核对发送记录、收件确认、处理结果和签回文件，只报告证据真正支持的那一步。
最后我会得到什么
交回送出、对方收到、实际处理和签回各自有无证据，以及当前版本、下一步和从哪里恢复。现有材料包可以复制到空位置再核对，但不会自行备份或替人递送。
可以继续制作
每一步现实状态都有对应版本的真实记录，材料包本身也可独立核对，才从已确认位置继续。
需要修正
只有发送但未确认收件，或回执与版本不符时保留已证实的一层，其余未知，不重复动作。
当前不可用
外部渠道、事项记录或完整包不可用时只停受影响步骤，不从制作日志猜对方已经收到。
从哪里开始
文件送出后，提供真实回执并问对方是否收到或处理。
需要准备什么
- 本次递送版本
- 发送、收件、处理或签回证据
从开始到拿到结果
- 1
系统核对并处理
逐层核对现实动作与对应文件版本，中断先查已有回执和最近释放的包。
- 2
交付与接续
分别报告递送、收件、处理、对方签回；一个回执不能推成全部完成，也不盲目重复递送。
技术实现与依据
这里保留实现、关键条件、精确入口、历史记录和验证结果。
六个阶段和对方签回已能分别表达；自动工具只负责本地前三步，后三步与签回仍由现实记录推进关键规则与设计选择
produced（已生成）只表示生成；signed（本人已签）只表示本人签名；ready_for_delivery（已具备递送条件）只表示版本锁定。
delivered（已递送）必须有动作记录，received（已收件）必须有接收确认，handled（已处理）必须有实质结果来源。
counterparty_signed_returned（对方签回）保存完整签回文件、来源、时间和 hash（内容指纹），是独立事件。
当前通用 CLI（命令行工具） 不实现后三阶段或签回，网页把它们标为现实合同而非已运行自动化。
v3 普通复制 + verify 可恢复，但没有自动备份或断点续传 mirror。
外部递送、付款、撤回或联系必须有精确授权；结果不确定时先回读。
本模块用到的名词
- delivered（已递送）
- 有证据证明确切版本的递送动作发生；不表示对方收到。
- received（已收件）
- 对方或平台确认收到；不表示审阅、同意或处理。
- handled（已处理）
- 实质处理结果有来源支持；不推出未记录的额外结论。
- Recovery point（恢复点）
- 最近一次通过验证的build/release和当前现实状态；中断后从这里继续。
专业定义
本地管线到 ready_for_delivery（已具备递送条件）即停止；delivered（已递送）、received（已收件）、handled（已处理）和 counterparty_signed_returned（对方签回）由当前事项与现实记录拥有。v3 release 可以复制到空目录复验，但没有自动备份或续传服务。
解决什么
解决生成日志冒充现实、状态跨级、对方签回混同、重复递送和换目录后无法继续。
当前怎样实现
- 事项记录按produced→signed→ready_for_delivery→delivered→received→handled分层。
- 对方签回记录完整文件、来源、时间、大小和SHA-256，不进入自动状态推进。
- v3 release exact-set在普通复制到空目录后由formal-verify重算。
- v2 release返回legacy scope和limitations，不被新工具无提示否定。
- 通用CLI（命令行工具）没有后台监听、状态抓取或自动外部动作。
执行流程
- 1
从ready材料包开始
- 2
经精确授权执行递送
- 3
保存动作记录
- 4
等待接收确认
- 5
记录处理来源
- 6
对方签回另存
- 7
复制或中断后先verify
- 8
从最近核对状态继续
边界
- 现实状态不由本地日志自动晋级
- 对方签回不等于事项解决
- 普通复制恢复不等于自动备份
- 不重复未知结果的外部动作
- 真实个人回执不进入网页
失败与恢复
- 只有ready，没有递送记录
- 保持ready和delivered=false；等待授权或现实回读。
- 已递送但无接收确认
- 只记录delivered，received保持Unknown（未验证）。
- 复制后缺文件、额外文件或hash（内容指纹）变化
- verify失败，保留源和副本，补齐后重新核对。
- 外部结果不确定
- 先查当前记录，不自动重放递送、付款、撤回或联系。
真实入口
PRIVATE product contract · formal matters六阶段与对方签回的现实语义
PRIVATE source · formal_documents.pyproduced/signed/ready、v3复制复验和v2限制
PRIVATE tests · restore/legacy空目录复验、exact-set和v2兼容回归
如何验证
- v3 release复制到空目录且原build删除后verify通过。
- 缺文件和额外文件均失败。
- v2历史release通过有限验证并返回non-self-contained限制。
- 真实delivered/received/handled/签回和断点续传E2E（端到端验证）本轮未运行。
与其他模块的关系
这是本地制作与现实工作的分界线；项目到这里交回确切状态和下一步，不替外部对象行动。