Function load_env_bytes

zisk/host/src/main.rs:278–288

(ixe: Option<&PathBuf>)

      checked_count: u32::from_le_bytes(buf[108..112].try_into().unwrap()),
    }
  }
}

/// One input env, parsed and partitioned into shards. Built once up front
/// so the prove loop can run back-to-back without re-parsing.
struct InputPlan {
  /// Human-readable label for logging (the `.ixe` path or `<empty env>`).
  label: String,
  /// Serialized Ixon env bytes fed to the guest.
  env_bytes: Vec<u8>,
  /// Half-open work-item ranges, one per shard, tiling `[0, total)`.
  shards: Vec<(u32, u32)>,
  /// Total work items in this env.
  total: u32,