Function env_root_empty_env_is_zero_address

crates/ixon/src/serialize.rs:2462–2473

()

    if let Some(m) = &env.main
      && env.consts.get(m).is_none()
    {
      return Err(format!(
        "Env::get_anon: main {} not present in consts",
        m.hex()
      ));
    }

    // Section 3: anon_hints. Hints are performance advice (lazy-delta
    // tiebreak); the kernel's anon-mode correctness model is preserved
    // either way. Without them, every Definition is forced to
    // `Regular(0)` and the kernel can chew through `MAX_WHNF_FUEL` on
    // definitions Lean would have marked `Abbrev`/`Regular(h)`.
    for (addr, hints) in read_hints_section(
      buf,
      consts_order.len(),