Function find_missing_deps

zisk/host/src/main.rs:580–623

Core of the closure check, factored out for testing: given parsed inputs and the store, return `(missing, checked, axioms)` where `missing` is the list of `(label, dangling-ref)` typing dependencies that are neither certified in-batch nor in the store nor a literal blob. `checked` is the number of constants inspected; `axioms` how many are `Axio` declarations.

(
  parsed: &[(String, IxonEnv, Vec<AnonWorkItem>)],
  store: &std::collections::HashSet<[u8; 32]>,
)

  proof.get(16..48).map(|s| s.to_vec()).unwrap_or_default()
}

/// The distinct program vks across a set of proofs (the allowed set to pin the
/// agg guest against — typically {SHARD_VK} or {SHARD_VK, AGG_VK}).
fn distinct_vks(proofs: &[Vec<u8>]) -> Vec<Vec<u8>> {
  let mut out: Vec<Vec<u8>> = Vec::new();
  for p in proofs {
    let vk = program_vk(p);
    if !out.contains(&vk) {
      out.push(vk);
    }
  }
  out
}

/// Core of the closure check, factored out for testing: given parsed inputs
/// and the store, return `(missing, checked, axioms)` where `missing` is the
/// list of `(label, dangling-ref)` typing dependencies that are neither
/// certified in-batch nor in the store nor a literal blob. `checked` is the
/// number of constants inspected; `axioms` how many are `Axio` declarations.
fn find_missing_deps(
  parsed: &[(String, IxonEnv, Vec<AnonWorkItem>)],
  store: &std::collections::HashSet<[u8; 32]>,
) -> (Vec<(String, ix_common::address::Address)>, usize, usize) {
  use std::collections::HashSet;

  use ix_common::address::Address;
  use ixon::constant::ConstantInfo;

  // certified = every target the batch will prove ∪ the store.
  let mut certified: HashSet<[u8; 32]> = store.clone();
  for (_, _, work) in parsed {
    for w in work {
      for t in w.proven_targets() {
        certified.insert(*t.as_bytes());
      }
    }
  }

  // Every non-blob ref of every certified constant must be in `certified`.
  let mut missing: Vec<(String, Address)> = Vec::new();
  let mut axioms = 0usize;
  let mut checked = 0usize;
  for (label, env, work) in parsed {
    for w in work {
      for t in w.proven_targets() {
        let Some(c) = env.get_const(&t) else { continue };
        if matches!(&c.info, ConstantInfo::Axio(_)) {