用途：Reduce 充当架构“扬弃”审查者，用于审计过度工程化的代码库。它寻找那些实际义务未被证明、已过期、已迁移、重复、无效或收益不抵变更成本的抽象，并在保留必要真理的前提下建议更小的规范形式。
主要能力：其方法为 WINNOWING = FACTORING -> QUOTIENTING -> ABLATING -> NORMALIZING，并以 REFINEMENT-PRESERVING 为守卫。Factoring 将层分解为义务、权限、输入输出、依赖、观察、无效状态、逃逸路径、执行角色与重组角色；Quotienting 在一致性检查后合并无法被必需观察区分的区分；Ablating 移除、私有化、合并或退役没有独立实际义务的因素；Normalizing 围绕规范语义权威与更低层原语重组幸存者。
使用方式：在 Actuating 中仅返回对当前构造的实质性挑战，无挑战则保持沉默；Actuating 在其活动 Working Set 中裁决。Reduce 从不选择架构或授予变更。独立审计时按工作流映射层、追踪真实请求、按实际义务分解候选、分类义务状态、衡量编辑/查找/工具/部署/隐藏控制/证明成本、测试商化候选，并返回一个操作级裁决（keep、hold、factor、quotient、wrap、split、collapse、ablate、privatize、decommission、normalize、replace、validate-first 或 climb）。
适用场景：适用于审查过度工程化代码库、识别冗余抽象、评估抽象层变更成本、以及在被明确要求时实施一次连贯的缩减接缝。
限制：保留必需行为、不变量、协议、授权、数据完整性、可审计性、公共契约与外部义务；以仓库证据为先，缺失证据视为不确定性而非删除权限；优先可逆削减与分阶段迁移；每个被移除因素需义务解除，每个目标规范形式需重组证明；未知所有权不是删除权限；不得仅因独立预言机检查同一法则就移除它。资料未提供具体安装命令、收费或平台信息。