Expand description
子命令模块
每个子命令对应一个文件:
validate:规则集形态门禁(L2 纪律,见discipline_gate)run:调 executor 执行规则,输出 fact logreplay:pretty-print fact logdiff:按 FactId 对齐对比两个 fact logverify_chain:验证 fact log 哈希链完整性compile_evopack:host 编译器——JSON 规则 → 紧凑 .evopack 二进制包anchor_keygen:生成 G-A1 审计锚点签名密钥对(一次性运维)verify_anchors:离线校验 G-A1 审计锚点真实性(防抵赖)
Modules§
- anchor_
keygen evorule anchor-keygen—— 生成 G-A1 审计锚点签名密钥对(一次性运维操作)- anchor_
pubkey evorule anchor-pubkey—— 从私钥种子派生验证公钥(部署配套操作)- compile_
evopack evorule compile-evopack—— host 编译器:JSON 规则 → 紧凑 .evopack 二进制包- diff
evorule diff—— 对比两个 fact log(按 FactId 对齐,非 HashSet)- discipline_
gate - 规则集形态门禁(L2 纪律)—— CLI 薄壳
- replay
evorule replay—— 重放 fact log(pretty-print 每个 Fact)- run
evorule run—— 加载并执行 JSON 规则,输出 fact log- scan_
wal_ dir - 审计链哨兵:定时扫描 WAL 目录,逐文件全链验证 + 跨扫描基线比对
- truncate_
partial_ line - 受控恢复:将 WAL 文件截断至最后一条完整行(半行拒收场景的明确出路)
- validate
evorule validate—— 规则集形态门禁(L2 纪律)- verify_
anchors evorule verify-anchors—— 离线校验审计锚点链(防抵赖)- verify_
chain evorule verify-chain—— 验证 fact log 完整性(哈希链 + 结构不变量)