激活合约
当前置触发词适用于缺陷工作流时加载。
该技能指导公共协作。它不授予问题批准、标签、审核、异常或合并权限。
硬性规则
- 审查和判决日证据仅为审核目的。Pi 从不铸造交付权:普通提交、推送、PR 和发布始终遵循仓库策略,无论 RDD 模式如何。
- 需要在实现前有一个已批准的 issue(
status:approved)以及干净的当前main复现。审核现有 PR 是否存在替代或冲突;停止或缩小过时的声明。 - 按因果不变性分组。每个独立的不变性和回滚边界使用一个 issue 和一个 PR 或显式链。分离独立的成因;切勿合并被替代或有冲突的权威线。
- 清点 issue 或 PR 声称的每个操作者流,包括入口、模式、环境、期望和负控制。要求为每个 CLI 或生命周期流提供一个真实的黑盒基准旅程,或者当核心基准无法代表时提供实际的运行时端到端证明。合成代理覆盖率永远不能证明另一个运行时。
- 使用 CodeGraph 优先的影响映射、专用工作树以及行为优先测试。在候选版本冻结前运行源码变更加归一化。
- 在编辑前预测将要修改的变更。硬限制为新增加删除 400 行;超过此限制,则必须暂停,进行链式处理或获取维护者明确批准的例外。
- 当启用 RDD 时,将审查收据、溯源、修正和恢复证据绑定到确切的候选版本。将受限制的审查缺陷保持在一个修正事务中;切勿将该证据视为交付权。
- 在发布前要求独立的只读候选版本验证。验证不能编辑源码或权威;发现需要创建新的候选版本。
- 保持沟通人性化和基于证据。仓库标签和工作流元数据归维护者所有,绝非贡献者过失的证据。
决策门
| 条件 | 操作 |
|---|---|
| 任何 RDD 模式 | 审查证据仅用于审核;普通提交、推送、PR 和发布遵循仓库策略,Pi 无交付权。 |
| Issue 门或复现失败 | 等待、停止或凭证据缩小范围。 |
| 不变性或回滚是独立的 | 分离问题与权威 PR 线。 |
| 核心基准合适/不合适 | 基准旅程/实际运行时端到端;绝不用代理。 |
| 预测超过 400 行 | 在编辑前进行链式处理或获取批准的例外。 |
执行步骤
- 检查模式、批准状态、PR 冲突以及当前 main 的复现情况。
- 命名不变性和回滚;隔离工作树;使用 CodeGraph 映射代码、测试、证据、文档、分发和注册。
- 清点流和控件;添加失败测试和最小修正。
- 归一化,强制执行预算,运行测试,并记录每个流的精确候选版本、命令、场景和结果。
- 冻结,进行只读验证,给出裁决、证据和一个人性化的后续操作。
输出合约
返回 rdd_mode、issue_pr、causal_invariant、operator_flows、journey_runtime_evidence、changed_line_budget、tests、rollback 和 unresolved_authority_decisions。
识别已批准和已被替代/冲突的权威线;每个流、负控制以及绑定候选版本的证明;新增加删除行数以及链式/例外;测试结果;独立的回滚;以及未解决的维护者决策。
参考
无辅助文件。当前仓库策略仍为权威。