用途：对 Elixir/OTP 代码做一次针对 BEAM 运行时语义的通过/不通过评审，目标是发现“代码假设了运行时从未承诺的保证”这类能编译、能过单测却在生产出事故的缺陷，例如认为重启会恢复数据、邮箱会反压、广播必达、投递恰好一次且有序、查询后在插入时仍成立、节点本地唯一即集群唯一、墙上时钟只向前走。每条规则附“违规证据”段落，评审者仅凭产物证据判定 PASS/FAIL/N/A。
主要能力与规则分类：sup-（监督与失败设计）、load-（反压与过载）、evt-（事件投递语义）、state-（共享状态与一致性）、dist-（分布式现实）、mech-（运行时机制）。评审协议固定：确定评审目标并记录 ref/路径与栈事实（mix.exs、config/，是否集群、Ecto/Oban/Broadway/PubSub、telemetry），读取 references/_sections.md 与全部 sup-/load-/evt-/state-/dist-/mech- 规则文件，用 references/reviewer-prompt.md 填入规则、目标与栈事实组成完全自包含提示，派发单个盲审 Task 子智能体，按 fail-closed 渲染：任一 FAIL 即整体 FAIL，不取平均、不按严重度加权、不豁免；非 Elixir 目标返回 GATE NOT APPLICABLE。输出按 assets/templates/verdict.md，每条规则给出 PASS|FAIL|N/A、证据（file:line 或引用，PASS 也需）及 FAIL 的修复位置与具体变更。
适用场景：将合并的 Elixir 功能涉及进程监督、事件/作业/流消费、PubSub 广播、ETS/Registry 共享状态；对 Agent 生成的 OTP 代码做独立复核；为集群化或更高负载做准备；事故复盘后同类问题排查。
限制：不用于非 Elixir 代码库；不提供解释与重构，只给裁决；应用明确从不集群时 dist-* 记 N/A；Oban/Broadway 仅作典型补救示例，同性质机制亦可。若同一规则在目标未变时结论反复或被人为推翻，应视为规则可判定性缺陷，记录并收紧规则，而非绕过门禁。配套兄弟技能 adversarial-elixir 评范式契合度，staff-level-elixir 提供编写建议，elixir-meta-programming 不在本门禁范围。