ara-compile

# SOP: ARA Compile **Key question**: 怎么把投喂计划喂给外部 compiler,一次抽出一份内部一致的 ARA? ## Preflight 先确认外部 `compiler` skill 可 load(ARA skills 已装:`npx @ara-commons/ara-skills`)。 若不可用,提示用户安装并**停下**,不要静默继续。 ## Why one inline call, not multi-subagent ARA 的 cross-layer binding(claim→proof→evidence、tree→claim)必须**全局一致**。 分批 compile 会各自从 C01 起撞 ID、断 tree,汇总等于重缝半成品 —— 正是 ARA 要消灭 的事。compiler 自带覆盖度循环(max 3 轮)+ 内建 `Task` 工具;真需要并行由它**内部** 自理,本 SOP 不越俎拆分。 ## Procedure 1. **把投喂计划整理成 compiler 的 `$ARGUMENTS`**: - 主干文件清单 + trace 素材清单 + 图片清单的**路径**(compiler 按路径读); - 标注哪些是主干(报告线 → claims/problem); - 大方向作为约束文本(约束 PAPER.md 的 title/abstract); - `--output ../ara/`(与 `context/` 平级,天然不会被下次 review 当 context 吃回去)。 例: ``` compiler context/2026-06-06-01-30-stage7-...md context/2026-06-05-...stage6...md \ context/figures/*.png \ --output ../ara/ \ 主干=stage7(报告线);其余为过程线/图片;大方向:<从 north-star-align 来的一段> ``` 2. **一次 inline 运行**:`Skill` load **compiler**,传上面的 `$ARGUMENTS`。 compiler 跑 4 阶段(语义解构 → 认知映射 → src 层 → 探索图抽取)+ 覆盖度循环 + Seal Level 1。 3. **Seal Level 1 不过**:compiler 自带 fix-iterate(2–3 轮),本 SOP 不接管; 若仍不过,把失败报告**透传**给用户,停。 ## Output `<workspace>/ara/`(`logic/ src/ trace/ evidence/ PAPER.md`),Level 1 已过。 交给 `ara-rigor-review`。