用途：在任务与范围已确定后，系统性加固方案的边界，找出不明显的边界情形（corner case），但不负责判断所选方向是否正确。若方向仍在讨论中，应回到 nodumb 或 ask-nodumb。
主要能力与使用方式：
- 固定正常契约：用一条短链记录“初始状态→动作→可见结果→必须保持不变的内容”，并区分已确认的当前行为、选定的新行为、无来源假设与需要产品决策的问题。
- 提取本任务的维度：如动作前状态、进入方式与动作变体、顺序/重复/取消/中断、数据形态与新鲜度、角色与权限变化、生命周期阶段、响应时间与重试、设备/标签页/进程/外部集成、他人或工作进程的并发操作。每个维度给出 2–5 个不同类别，并标注不可能组合及排除依据。
- 生成边界情形：对维度应用交叉、重排、破坏不变量、故障切入（效果前/部分效果中/效果后未确认）、生命周期推移五种操作，并描述完整情境而非仅写“网络错误”。
- 筛选重要项：通常保留 5–10 个场景，优先可能静默丢数据、越权或不可逆，且能真正推翻方案的检查。
- 转化为决策：为每个情形指定状态——现在支持、保持原行为、留在范围外、需要新事实；不要把可逆的局部决策推给用户。
- 验证：如可访问代码或线上产品，安全验证 1–3 个最高风险场景，采用可推翻假设的探测（复现、状态机测试、属性测试、故障注入或最小事件序列），并标记“已由代码确认/已复现/由契约推出/仍为假设”。
适用场景：需要加固边界、排查隐蔽异常、为改动补充验证计划的开发与评审流程。
限制：该技能不证明方向正确，不替代产品决策；无法确定平台、收费与价格信息，暂未提供。详细机制与示例见 references/generation-methods.md。