SuperAPI AI 工具集

engineer-system-change

编程与开发

查看项目

更新于 10-16 03:42

技能介绍

用途:该技能面向 RFC、issue、设计、功能、重构、迁移等非平凡的软件系统变更,主张把每个变更当作关于真实系统的假设,先确认它是否应该存在,再设计和实现,并让方案与流程同风险成比例。

主要能力:要求保持任务边界——只被要求评估、评审或规划时,不改动项目或外部状态;被明确要求实现时才编辑,且实现许可不等于提交、推送、部署、发布或更新 issue 与 PR 的许可。要求检查目标修订版与相关讨论,不依赖过期检出、单个 RFC 或记忆中的架构,并区分已验证事实、推断与未知。

决策门:1)定位问题:追踪当前工作流、故障或代码路径,说明不良可观察行为、应替代的不变量或结果、受影响者,检查现有系统或文档是否已解决,并列举相邻路径与替代方案。2)命名语义消费者:对提出的持久字段、事件、API、表、存储、模块、服务或工作流,明确生产者、已承诺消费者、语义用途、可达路径与缺失测试;没有此类消费者的新增应移除或推迟。3)选择最小充分变更:按“不改动—文档配置流程—复用现有能力—局部修复—扩展已有抽象—引入新抽象—引入新子系统或迁移路径”的顺序考虑,停在第一个完全满足已验证结果与不变量者。4)按比例映射后果与验证:检查调用方与下游、API/数据/事件/UI 契约、授权与信任边界、持久化与迁移、并发与重试、兼容与部署运维、可观测性与回滚等维度;对状态重放或重试,区分可恢复的应用状态与不可撤销的外部副作用;风险主张标注 VERIFIED、INFERENCE 或 UNKNOWN。5)仅实现被证明合理的切片:先复现基线并编码失败行为测试,只改必要路径,复用现有执行路径与契约,避免投机性兼容层。6)证明结果:将结果主张映射到测试、契约检查、静态分析、运行时跟踪、基准或可复现人工检查,不仅验证正常路径,还验证否定边界与失败行为,并说明仍未验证的内容。

结论:STOP(已有证据表明无需变更)、REDUCE(问题真实但范围或抽象超出证据)、REVISE(问题与大致范围合理,但正确性、契约或失败语义缺陷须先改)、PROCEED(问题、消费者、最小方案、后果与验证计划均充分成立)、NEEDS_EVIDENCE(关键事实未验证前决策只能猜测)。输出应与变更规模相称,简单变更只报告问题与期望行为、命名语义消费者、最小充分变更、观察证据及实施前验证计划与结论;跨边界变更或 RFC 再补充已验证的当前系统事实、现有替代方案为何不满足、消费者账本、受影响契约与副作用、被拒绝或推迟的范围、失败与回滚策略。限制:资料未提供具体安装命令、平台、收费或价格信息,暂未提供。