用途：Allium 是一种在领域层面捕获软件行为的正式语言，位于非正式功能描述与实现之间，用于精确规定软件做什么，而不规定如何构建。它不指定编程语言、框架、数据库模式、API 设计、UI 布局或内部算法（除非属于领域级关注点）。
主要能力：描述可观察行为而非实现；捕获行为层面的领域逻辑；生成集成与端到端测试（非单元测试）；在实现前暴露歧义；与实现无关。语法涵盖实体、外部实体、值类型、和类型与变体、模块 given、规则与触发器类型、规则级迭代、ensures 模式、surface 边界契约、contract、表达式、模块化规格、config、defaults、invariant、状态转换图、状态相关字段存在性、deferred 规格与 open question。
使用方式：/allium 是入口点，倾向自主路径。清晰单一任务按路由表直达对应技能；给出目标或功能则端到端驱动整个循环。相关技能包括 elicit（从意图构建规格）、distill（从现有代码提取规格）、tend（修改现有规格）、weed（检查规格与代码一致性）、propagate（从规格生成测试）、witness（独立确认收敛声明）。循环为 gather→act→verify→repeat，驱动规格、测试与代码三者一致。规格优先路径：/elicit → /propagate → 实现 → /weed；代码优先路径：/distill → 审查 → /propagate → 运行测试 → /weed。
限制：实现本身是普通编码，Allium 只产出规格与测试，不产出应用代码。循环中不得为让测试通过而削弱生成的测试，应修复规格并重新 propagate；真实歧义应升级给人类而非猜测。安装 allium CLI 后，钩子会在每次写入或编辑后自动校验 .allium 文件；若 CLI 不可用，则对照语言参考验证。具体安装命令与收费信息暂未提供。