Function build_client

zisk/host/src/main.rs:764–801

(
  gpu: bool,
  asm: bool,
  max_witness_stored: Option<usize>,
)

    if p.env_hash != env_hash {
      bail!("input {label}: leaf {i} env_hash mismatch with leaf 0");
    }
    if p.range_start != expected_start {
      bail!(
        "input {label}: leaf {i} range_start = {} but expected {expected_start} \
         (non-tiling shards)",
        p.range_start,
      );
    }
    expected_start = p.range_end;
    failures = failures.saturating_add(p.failures);
  }
  if expected_start != total {
    bail!(
      "input {label}: leaves cover [0, {expected_start}) but env has {total} work items"
    );
  }
  Ok(failures)
}

fn build_client(gpu: bool, asm: bool) -> Result<EmbeddedClient> {
  // Executor choice. The default is the Assembly executor (`asm = true`,
  // i.e. no `--emulator`): it is markedly faster at trace generation and is
  // the prerequisite for the hints stream. It historically broke under our
  // multi-program flow — calling `client.setup` for a second program
  // re-initializes the ASM microservices and leaves the first program's ROM
  // histogram empty, so a subsequent prove of the first program panics at
  // `state-machines/rom/src/rom.rs:178` ("index out of bounds: len 0").
  //
  // The fix is ordering-based: never set up the agg program *before* the
  // leaves are proven. The `--shard-plan` path already does this
  // (`run_shard_plan` sets up AGG only after the leaf loop), and the upfront
  // agg setup in `main` is gated to the Emulator (`--emulator`), with Assembly
  // deferring it to after the leaf loop. Validated: a 2-shard multi-program
  // prove that previously panicked now completes and verifies.
  //
  // `minimal_memory()` deliberately NOT enabled — per upstream CLI
  // docs ("Reduce memory footprint during proving at the cost of
  // speed"). We have ~94 GB of free GPU memory, so the speed
  // trade-off is the wrong direction for this hardware.
  // Zisk's default embedded opts (witness cap 10).
  let opts = EmbeddedOpts::default();