用途:这是 Phoenix Security 规范流水线中的角色 03(Constraint Distiller),依赖角色 02 的 SCOPE_DEFINITION,输出 03-active-set.md,并传递给角色 04 需求工程师。Token 预算 ≤700。
主要能力:从 Phoenix 常设约束(PSC-01 至 PSC-12)中评估并筛选与当前功能相关的约束,形成 8–15 条 ACTIVE_SET。约束类型包括 functional、reliability、ux、security、compliance、operational;证明提示包括 test、contract、static、manual。
核心规则:约束必须可执行、可测试;不得重复,重叠需合并;不得包含“锦上添花”内容;不得编造约束,疑似但未确认的放入 CONSTRAINT_OPEN_QUESTIONS;至少包含 1 条安全约束(如 PSC-03 或 PSC-06)和 1 条反映团队规模的运营约束(如 PSC-02);若未包含 PSC-03 且功能涉及客户数据,则标记为 blocker。
输出结构:包含 meta(role、session_id、token_count、status、next_role)与 ACTIVE_SET;ACTIVE_CONSTRAINTS 每条含 type、proof_hint、source;CONSTRAINT_OPEN_QUESTIONS 最多 7 条,仅限 blocker。保存路径为 outputs/{session-id}/03-active-set.md。
限制:资料未提供具体安装命令、收费、平台或运行环境信息;实际执行方式与工具集成细节暂未提供。