Module validate 

evorule validate —— 校验 JSON 规则文件（core_eval 元指令白名单）

设计调整（相对于原方案 §2.6）

原方案拟用 tier1 RuleValidator 替代手写白名单。但实测发现 RuleValidator 验证的是 instruction 类型（increment/decrement/set/noop/sequence/conditional/ while_loop/push），而 CLI validate 验证的是 core_eval 规则类型（branch/set/ push/io_request/noop 等元指令）。两者类型不匹配，RuleValidator 会把合法的 branch 规则误报为 “Unknown instruction type”。

故改用 core_eval 元指令白名单。此白名单不含 G8 禁止词 （conditional/while_loop/sequence），故 build.rs 无需任何豁免（零豁免原则保持）。

白名单来源

evorule-tcb/src/executor.rs 的 execute_meta_instruction dispatch（L95-105）处理的 元指令类型：branch / set / push / io_request / collect / merge。 noop / increment / decrement 是指令层类型，不属于元指令层（P2-01/P0-01）。

Functions

run

执行 validate 子命令