一、概念定义
会签基于特定 commit/文件态作出,附失效触发清单——实跑实锚与会签采证不符(如被审代码关键面被改)时会签自动作废回重审,无需等待复核流程。
核心意思:把会签从「一次性盖章」升级为「有前提的有效期件」——前提以可检触发条件写成,防止审查结论被静默漂移的代码掏空。
二、核心判别
解决什么问题:会签时预见到部署窗代码可能再动,审查者不可能盯到实跑时刻——用可机检触发条件把「失效」自动化。
判别式:判别式(vs 复核流程):复核=人再走一遍,失效条款=机器判定自动作废;触发条件必须可 grep/可机检的具体形态。
三、应用场景
- 权限分流安全会签(首例)
- 两值断言核签复用
- 所有 commit 锚定型会签
四、边界与误用
边界:触发条件禁止写成「若实现变化」这类主观表述;失效条款不替代复核,只前移作废判定。
写法规范:禁用写法:核签失效条款(统一「会签」)、若实现变化(主观条件禁用)
邻节:阴性对照双重锁(防旁路族)
对外披露类交付物须过双锁:锁 A=危险模式零命中(IP/内部标识/路径正则词表扩展);锁 B=披露边界自查(该句若全文公开能否被旁路读出具体值——具体值只进对内权威源)。字面干净不等于语义干净。(逐字来源:铁盾候-5)
五、溯源
存证回链:本页编号 Z-23,脱敏状态 sanitized=true,日期锚 2026-10-27(首例)/2026-11-02(双重锁终审)。
- 七问原文(失效条款)
- 璇玑存证 EV-038·安全域七问原文候-4
- 七问原文(双重锁)
- 同上文件 候-5
首次可证:2026-10-27 安全会签回单(content_md5=F9301E57)首例;2026-11-03 两值核签复用。
AI 池归属:未查
撞车情况:CI 界「pin commit」近亲;触发条件清单式失效表述系我方语境。