用途:在已选定的具体行为路径或子系统上,追求机制总量的净移除,同时保留其已约定的可观察行为与非功能保证。触发条件:用户明确希望减少分支、状态、依赖、层、标志、重试、作业、适配器或运维活动部件,并需要复杂度被移除而非搬移的证据。
主要能力:维护守恒账本、进行整条路径的机制核算、从约束推导最小机制、分离行为门与机制门;支持只读诊断和经授权的精简切片,区分“还原过渡”与“终态还原”。
必要用法:开始前须选定范围与模式,记录受守恒的契约,对可观察行为分类;按控制、状态与时间、结构、可变性与运维四个维度建立基线,采用与后续相同的范围与计数方法;再从真实约束推导最小形态,优先删除已证明过时的路径、统一重复策略、收缩决策与状态空间。诊断阶段只读,默认唯一写入是报告;实现需显式授权。实现走 REFACTOR 路径,先运行受影响的行为、类型、构建、集成与运维检查,做最小连贯改动,保留面向行为的测试;仅在等价行为覆盖到位后才淘汰实现形状的测试。默认所有提供方、集成、迁移、故障转移、回滚、发布与运维检查均为只读或一次性沙箱;未经具体授权不得写入实时外部系统。报告默认写入操作系统临时目录的带时间戳文件。
适用场景:已选定子系统或行为路径的机制净减,包括授权后的精简切片。
限制与边界:不用于例行清理、架构投资发现、模块契约设计、物理目录设计、新行为、功能裁剪、投机式重写,也不用于 Redux 或函数式 reducer。不扩大用户请求的范围,不得破坏性重置或覆盖他人改动。有限测试与观察只能称为“保存证据”,不是通用等价证明。机制门与行为门分开评估:过渡切片机制门保持待定且不得声称净减,只有终态还原在双门通过后才能声称已实现减负。若目标改变可观察行为或修复有争议缺陷,应停止本流程改用 tdd。具体安装命令与平台信息暂未提供。