Function build_anon_work

crates/ffi/src/kernel.rs:1321–1345

One pass over `env.consts`: enumerate work items + the kernel-checkable target addresses (one per result slot). Skips projection constants (covered by their parent block) and Muts addresses themselves (blocks aren't kernel KIds). Delegates the enumeration to [`ix_kernel::anon_work::build_anon_work`] (shared with the SP1/Zisk guests) and layers the FFI's per-target result-slot bookkeeping on top.

(
  env: &IxonEnv,
)

// without consulting metadata.

/// FFI-side anon work item with per-target result-slot indices.
///
/// Wraps [`ix_kernel::anon_work::AnonWorkItem`] with the index
/// mapping the parallel runner needs to write per-target results
/// into a flat `OnceLock<CheckRes>` vector for the FFI return ABI.
#[derive(Clone, Debug)]
enum AnonWorkItem {
  /// A standalone (non-mutual, non-projection) constant.
  Standalone { result_idx: usize, addr: Address },
  /// A Muts block. `primary_addr` is the first member's projection address;
  /// `result_idxs` enumerates every kernel-checkable target produced by
  /// the block (each member's projection + each ctor's CPrj of inductive
  /// members), all sharing the same check result via the kernel's
  /// block coordination.
  Block { primary_addr: Address, result_idxs: Vec<usize> },
}

/// One pass over `env.consts`: enumerate work items + the kernel-checkable
/// target addresses (one per result slot). Skips projection constants
/// (covered by their parent block) and Muts addresses themselves
/// (blocks aren't kernel KIds).
///
/// Delegates the enumeration to
/// [`ix_kernel::anon_work::build_anon_work`] (shared with the
/// SP1/Zisk guests) and layers the FFI's per-target result-slot
/// bookkeeping on top.
/// Assign result slots to a set of kernel work items — the indexing step
/// shared by the whole-env check (every item) and the per-constant closure