Expand description
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 处理的元指令类型:
branch / set / push / io_request / noop / increment / decrement / collect / merge
Functions§
- run
- 执行 validate 子命令