arXiv· Zhiheng Zhang·· 1 天前推荐指数33
Omission-Safe Conditional Contracts for Evidence-Closed CI Qualification：面向证据封闭 CI 认证的遗漏安全条件契约
Omission-Safe Conditional Contracts for Evidence-Closed CI Qualification
AI 导读
arXiv 论文提出一种遗漏安全的条件契约方法，将 pinned workflow 编译为独立于目标存在的条件 job 要求，并用独立实现校验 source-complete derivation certificates。
来源：arXiv · arxiv.org