用途：distill 从既有代码库中提取 Allium 规格，适用于用户已有代码、希望把行为逆向工程为规格的场景。核心挑战与正向引出相同：找准抽象层级——引出时过滤实现构想，蒸馏时过滤已存在的实现细节。
主要能力：支持交互模式（在对话中直接向用户提问并等待回答）与非交互模式（作为 distill 子代理运行，例如在 Allium 循环内，无用户可达；此时按给定目标界定范围，不猜测判断类问题，把未确认的判断——有意还是偶然行为、参与者身份、候选流程、范围排除——记录为规格中的未决问题声明，并在最终输出列出待决问题）。提供范围界定提问、“我们会重建它吗”测试、范围决策记录（在规格顶部写明包含与排除项）、抽象层级判断测试（“为什么”测试、“能否不同”测试、“模板 vs 实例”测试）、第三方集成与数据库选择等具体细节的判定指引，以及从映射代码库、抽取实体状态、识别候选流程、抽取状态迁移到组装与验证的流程。
使用方式：先界定要规格化的代码子集、需排除的代码（遗留、附带基础设施、弃用路径、实验特性）与规格归属；对大型代码库采用编排模型：轻量扫描划分限界上下文、按上下文派生子代理各自读取片段并返回带 file:line 证据的规格片段（实体状态与迁移边、规则触发/requires/ensures、外部边界、参与者与配置），由编排者仅持有映射与片段进行合并、去重与术语统一，再抽象与验证；小型代码库直接内联读取并应用步骤。
限制：资料未提供安装命令、版本要求、收费或价格、平台支持、具体效果与完整使用步骤；文件需以版本标记 -- allium: N 作为首行。