SuperAPI AI 工具集

scope

编程与开发

查看项目

更新于 10-16 03:42

技能介绍

用途:审查现有 bead 或调用方意图中的写入范围,判断其完整性与歧义。该技能为顾问性质,不创建第二份规划产物、不写锁、不安装钩子、不阻止编辑、不声明路径。

输入:一个活跃行为及其验收场景;建议的 include 与 exclude 模式;已知的生成伴随物与 fixture/projection 路径;明确的非目标。

流程:将每条验收标准映射到可能变更的最小源路径;加入必须随源移动的受控生成伴随物;检查 include/exclude 模式是否重叠或过宽而无法证明;识别提案遗漏的可能路径;返回修正后的提案及每项变更理由后停止。调用方决定是否在原意图源中采纳该提案,Validate 独立比较运行时派生的变更路径与该范围。

公理内核框架:从公理而非枚举本能推导范围。陈述验收所成立的小组事实,如“行为 X 位于根 A”“投影 B 由 A 生成”“C 下的历史已冻结”,并让每个 include/exclude 模式恰好由一个公理推导。无公理支撑的模式属于无依据的广度;无模式对应的公理属于缺口,两者都写入审查输出。停止条件:公理到模式的映射两侧均无未映射成员。

字节校验恢复仪式:当审查发现受保护路径已被触碰,或调用方询问如何回退范围违规时,顾问答案是仪式而非挥手:为每个受影响路径确定已知良好来源(已提交状态、快照或由源生成),恢复后逐字节校验恢复内容与已知良好字节一致(内容哈希比较,而非视觉 diff 或“看起来对”)。停止条件为每个受影响路径哈希匹配;无已知良好来源可校验的路径报告为按范围不可恢复,由调用方决定。

输出示例:write_scope 含 include、exclude;generated_companions;gaps;ambiguities。

检查:模式为规范化仓库相对路径;include 覆盖行为且不授予无关目录;exclude 不与必需变更矛盾;生成伴随物显式列出;不引入所有权、调度、Git、钩子、重试、发布或交付状态。

失败行为:若无法从提供的验收中使范围无歧义,报告缺失事实并停止,调用方可在新动作中修订意图。