Function constant_inputs

sp1/host/src/main.rs:123–181

Resolve `--constant ` to the guest inputs for that one constant: its closure sub-env and a check-list. The name resolves through the full env's `named` metadata to a constant address, which maps to the `build_anon_work` item whose ingress block owns it (standalone → itself; a mutual-block member → the whole block, checked atomically). The check-list is the ENTIRE closure (full-closure typech

(
  full_env_bytes: &[u8],
  name: &str,
  skip_deps: bool,
)

  }
}

/// Resolve one `--consts` name to the guest inputs for that constant: its
/// closure sub-env and a check-list. The name resolves through the full env's
/// `named` metadata to a constant address, which maps to the `build_anon_work`
/// item whose ingress block owns it (standalone → itself; a mutual-block member
/// → the whole block, checked atomically). The check-list is the ENTIRE closure
/// (full-closure typecheck) by default, or just the subject when `skip_deps` is
/// set. Returns `(sub_env_bytes, check_list, checked_count)`. Anon-only — the
/// work-item model doesn't apply to Meta's `env.named` walk.
fn constant_inputs(
  full_env_bytes: &[u8],
  name: &str,
  skip_deps: bool,
) -> Result<(Vec<u8>, Vec<u8>, usize)> {
  use ix_common::address::Address;

  // `get_anon` discards `named`, so load the full env once just for the lookup.
  let full =
    IxonEnv::get(&mut &full_env_bytes[..]).expect("invalid Ixon environment");
  let target: Address = full
    .named
    .iter()
    .find(|e| e.key().to_string() == name)
    .map(|e| e.value().addr.clone())
    .ok_or_else(|| anyhow::anyhow!("no constant named {name:?} in env"))?;

  let env = IxonEnv::get_anon(&mut &full_env_bytes[..])
    .expect("invalid Ixon environment");
  let work = build_anon_work(&env).expect("build_anon_work");
  let block = block_of_addr(&env, &target);
  let item = work
    .iter()
    .find(|w| work_block_addr(&env, w) == block)
    .ok_or_else(|| {
      anyhow::anyhow!(
        "{name:?} resolved to block {}… but no work item covers it",
        &block.hex()[..16]
      )
    })?;

  let roots: Vec<Address> = item.proven_targets();
  let sub_env = build_sub_env(&env, &roots).map_err(|e| anyhow::anyhow!(e))?;

  // Check-list: full-closure by default (every work item in the sub-env), or
  // subject-only under `--skip-deps` (just the named constant's primary).
  let (check_list, checked) = if skip_deps {
    (Address::pack(&[item.primary().clone()]), 1usize)
  } else {
    let env_sub =
      IxonEnv::get_anon(&mut &sub_env[..]).expect("invalid sub-env");
    let work_sub = build_anon_work(&env_sub).expect("build_anon_work sub");
    let primaries: Vec<Address> =
      work_sub.iter().map(|w| w.primary().clone()).collect();
    let n = work_sub.len();
    (Address::pack(&primaries), n)
  };
  println!(
    "constant {name}{}: block {}… ({} work item(s) checked, {} target const(s)); closure sub-env {} vs whole env {} ({:.0}%)",