用途:在新增函数、文件、类、抽象或依赖前,以及选择复用还是新写、审计 diff 可删行时,用一套决策阶梯约束改动,目标是消除附带复杂度、不遗漏必要部分。最小不等于行数最少,而是没有多余复杂度且不省略本质内容。
决策阶梯按顺序走,当前一级不成立才下降,命中即停:1 是否需要存在(需求投机或已满足则删除或推迟);2 语言内置或标准库能否完成;3 平台或框架是否原生支持;4 已安装且经审计的依赖是否够用;5 能否用一行或少量显式代码解决。新依赖是最后手段,位于第 5 级之下;新增前须用 Skill(imbue:dependency-verification) 确认包真实存在且安全,以防止生成代码导入不存在的包和被仿冒名称利用。
必须覆盖的内容(疏忽底线,不可为简短牺牲):不可信数据的信任边界与输入校验、授权检查、数据丢失处理(事务、幂等键、不会重复扣费的 retry)、可失败 I/O 的错误处理、认证/密钥/加密等安全路径、无障碍。性能上处理预期输入规模和热路径,避免意外二次循环、N+1 查询和无界内存增长,不做投机性微优化。边界与负向情况包括空、None、零、边界值、畸形或恶意输入、部分失败与超时、并发。
优雅不等于简洁:选择读者可验证的最清晰表达,而非最聪明或最短写法。
验证钩子(缺少工具时跳过):
command -v knip >/dev/null && knip || echo "knip absent; skipping"
command -v vulture >/dev/null && vulture . || echo "vulture absent; skipping"
command -v cargo-udeps >/dev/null && cargo +nightly udeps
|| echo "cargo-udeps absent; skipping"
工具输出仅作为候选,反射、动态分发或框架魔法可达的代码可能被误判为死代码。
包含关系:imbue:dependency-verification 用于新增依赖门禁;leyline:additive-bias-defense 是评审侧证明责任契约;conserve:code-quality-principles 提供 KISS/YAGNI;conserve:unbloat 做全库清理;imbue:scope-guard 管功能级价值;pensive:harden 执行安全评审。命令 /conserve:elegant-code-review 将阶梯应用于当前工作 diff。
不适用:一次性脚本或审查成本近乎为零的一次性迁移;若涉及疏忽底线,先补防护再优化长度。
退出标准:每个新增都走下阶梯并说明所选级别;新依赖通过验证且先排除复用已装依赖;每个不可信输入都有底线防护;运行删除工具或记录其缺失,且不删除被标记但实为防护的候选。价格、平台支持等信息暂未提供。