Skip to main content

Module commands

Module commands 

Source
Expand description

子命令模块

每个子命令对应一个文件:

  • validate:规则集形态门禁(L2 纪律,见 discipline_gate)
  • run:调 executor 执行规则,输出 fact log
  • replay:pretty-print fact log
  • diff:按 FactId 对齐对比两个 fact log
  • verify_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 完整性(哈希链 + 结构不变量)