Enum Command 

pub enum Command {
    Run {
        rules_dir: PathBuf,
        payload: Option<String>,
        payload_file: Option<PathBuf>,
        output: Option<PathBuf>,
        max_steps: usize,
    },
    Replay {
        fact_log: PathBuf,
    },
    Diff {
        a: PathBuf,
        b: PathBuf,
    },
    Validate {
        rules_dir: PathBuf,
    },
    VerifyChain {
        fact_log: PathBuf,
    },
    AnchorKeygen {
        output: Option<PathBuf>,
    },
    VerifyAnchors {
        audit: PathBuf,
        pubkey: Option<String>,
    },
}

Variants

Run

加载并执行 JSON 规则(输出 fact log)

Fields

rules_dir: PathBuf

规则目录(包含 *.json 文件)

payload: Option<String>

初始 payload(JSON 字符串,可选,默认 {})

payload_file: Option<PathBuf>

从文件读取初始 payload(JSON 格式)

output: Option<PathBuf>

输出文件(默认 stdout)

max_steps: usize

最大执行步数上界(默认 10000,超限发 Fact::Error 退出)

Replay

重放 fact log(pretty-print 每个 Fact)

Fields

fact_log: PathBuf

fact log 文件(JSON Lines 格式,与 tier1 reactor WAL 互通)

Diff

对比两个 fact log(按 FactId 对齐,非 HashSet)

Fields

a: PathBuf

第一个 fact log

b: PathBuf

第二个 fact log

Validate

校验 JSON 规则文件(用 tier1 RuleValidator,语法+语义验证)

Fields

rules_dir: PathBuf

规则目录

VerifyChain

验证 fact log 哈希链完整性(blake3,与 evorule-governance 互通)

Fields

fact_log: PathBuf

fact log 文件

AnchorKeygen

生成 G-A1 审计锚点签名密钥对(一次性运维操作)

产出私钥种子(32 字节, 64 位 hex)与公钥(32 字节, 64 位 hex)。 私钥必须私密保存,用于配置审计器签名锚点;公钥可分发给第三方用 verify-anchors 离线验证。

Fields

output: Option<PathBuf>

私钥种子写入文件(缺省打印到 stdout)

VerifyAnchors

离线校验 G-A1 审计锚点真实性(防抵赖)

输入为 evorule-governance Auditor::export() 产生的审计导出 JSON。 校验每个锚点的链式链接 + 用公钥重算载荷验签,证明审计链确由私钥持有者生成。

Fields

audit: PathBuf

审计导出 JSON 文件

pubkey: Option<String>

公钥 hex(缺省使用导出物内嵌 verifying_key)

Trait Implementations

impl Debug for Command

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl FromArgMatches for Command

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed.

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

fn update_from_arg_matches_mut<'b>( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.

impl Subcommand for Command

fn augment_subcommands<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut

fn augment_subcommands_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut

fn has_subcommand(__clap_name: &str) -> bool

Test whether Self can parse a specific subcommand