用途：在 plain 规范文件的 implementation reqs 段落中新增一条实现需求，用于指导代码生成的内部实现方式。
主要能力：帮助判断需求应归属的位置；要求先使用 load-plain-reference 技能获取 ***plain 语法规则（若尚未获取）；若目标 .plain 文件不明确需向用户确认；读取文件以了解现有实现需求、定义与功能规范；区分“如何构建”与“做什么”；起草需求并插入 implementation reqs 段落，再复查放置与语法。
适合内容：技术选型、架构约束、编码标准、数据格式、错误处理、算法描述、性能指导、语言特定构造，以及全部 :UnitTests: 相关指导（路径、框架、约定、fixture、mock 策略、命名、lint 门禁等）。单元测试生成器只读取 implementation reqs，放入 test reqs 会被忽略。
不适合内容：行为与功能应放入 functional specs；概念定义放入 definitions；一致性测试指令放入 test reqs（参见 add-test-requirement）。
格式要求：每条需求为以 - 开头的列表项；每行最多 120 字符；嵌套明细也必须以 - 开头并缩进，不能出现无前缀的续行，否则渲染器会拒绝。非叶段落的实现需求适用于所有子段落。
限制：requires 模块只能从依赖项接收功能规范，不接收实现需求，因此下游可见行为须写入 functional specs；避免重复已有指导；需确认所引用的 :Concepts: 已在 definitions 中定义。