Function execute 

pub fn execute(
    core_eval: &[JsonValue],
    initial_payload: JsonValue,
    initial_instruction: JsonValue,
    max_steps: usize,
) -> Result<Vec<Fact>, CliError>

执行规则，产生 Fact 序列

参数

• core_eval：transform 规则列表（由 io_util::load_rules 加载）
• initial_payload：初始 payload
• initial_instruction：初始指令（通常是 {"type":"noop"} 触发 transform 链）
• max_steps：最大执行步数上界（先检后 pop）

返回

Vec<Fact>：包含 Command、若干 StateTransition、可选 Error、结尾 Stable

不变量

• FIFO 队列：VecDeque::pop_front，不能用 Vec::pop
• max_steps 先检后 pop：超限发 Error + break
• I/O 两阶段：IoRequest 时缓存 orig 指令到 pending_io，0.2.0 无 handler 发 Error

Examples found in repository

examples/programmatic_run.rs (line 47)

fn main() {
    println!("🚀 evorule-cli 程序化调用示例\n");

    // 1. 构造一个 set 规则:把 x 设为 42
    //    (set 是 primitive 业务规则,匹配任何指令)
    let mut set_params = BTreeMap::new();
    set_params.insert("attr".to_string(), JsonValue::string("x"));
    set_params.insert("operation".to_string(), JsonValue::string("set"));
    set_params.insert("value".to_string(), JsonValue::Integer(42));
    let mut set_rule = BTreeMap::new();
    set_rule.insert("type".to_string(), JsonValue::string("set"));
    set_rule.insert("params".to_string(), JsonValue::object(set_params));
    let core_eval = vec![JsonValue::object(set_rule)];

    // 2. 初始 payload: { x: 0 }
    let mut p = BTreeMap::new();
    p.insert("x".to_string(), JsonValue::Integer(0));
    let payload = JsonValue::object(p);
    println!("📦 初始 payload: {payload}");

    // 3. 触发指令:noop(不消耗规则,纯函数测试场景)
    let mut instr = BTreeMap::new();
    instr.insert("type".to_string(), JsonValue::string("noop"));
    let instruction = JsonValue::object(instr);

    // 4. 执行(最多 100 步)
    let facts = match execute(&core_eval, payload, instruction, 100) {
        Ok(facts) => facts,
        Err(e) => {
            eprintln!("❌ 执行失败: {e:?}");
            std::process::exit(1);
        }
    };

    // 5. 打印 fact log
    println!("\n📜 生成的 fact log ({} 条):", facts.len());
    for fact in &facts {
        println!("  {}", fact_to_human(fact));
    }

    // 6. 验证最终 Stable
    if let Some(Fact::Stable { final_snapshot, .. }) = facts.last() {
        let x = final_snapshot.get("x").and_then(|v| v.as_i64());
        if x == Some(42) {
            println!("\n✅ 最终 x = 42,符合预期");
        } else {
            eprintln!("\n❌ 最终 x = {x:?},期望 42");
            std::process::exit(1);
        }
    } else {
        eprintln!("\n❌ 没有 Stable 事实,执行异常");
        std::process::exit(1);
    }
}