用途：ln-oracles 用于在选定实现方式之前，先设计“如何证明系统可用”的验证策略。它强调验证是一等公民工作，仅次于产品本身；没有 oracle 策略的切片不算完成范围界定。适用于 ln-plan 之后、验证策略本身不确定或会显著影响实现顺序的场景。
主要能力：诊断可观测性、可复现性、可控性并打分；从 SPEC 不变量、验收标准、PLAN 前沿定义中提取需证明的声明，区分结构性、行为性、组合性声明；按 ROI 选择 oracle 家族，优先独立产物配对；将 oracle 映射到内循环（毫秒级、智能体自主）、中循环（秒到分钟、回归/适应度）、外循环（慢速加固）；为每个前沿项或切片指定验证方法；明确列出未覆盖的盲点及原因。
使用方式：读取 memory/SPEC.md 与 memory/PLAN.md，若已有 §Verification Design 则作为待演进的前置状态。过程为交互式，需逐步呈现分析并向用户提问、吸收反馈，不可一次产出完整设计。输出更新 memory/SPEC.md 的 §Verification Design（验证立场、诊断评估、按循环层级的 oracle 策略、设计说明、已确认盲点表），并更新 memory/PLAN.md 前沿注释中的 Verification 行。完成后校验：每个不变量至少有一个 oracle，每个在范围前沿都有验证注释，盲点部分非空。
限制：不要创建独立的 oracle 规划文档，除非获得明确许可；oracle 设计应回归到 memory/SPEC.md 和 memory/PLAN.md。与 ln-spec 的边界是：ln-spec 负责项目级内循环验证命令、策略和快速自动检查，ln-oracles 负责中/外循环及战略框架。资料未提供具体命令、安装方式、收费或平台信息。