Function collect_verifier_output 

pub fn collect_verifier_output(
    sched_bin: &Path,
    ktstr_bin: &Path,
    kernel: &Path,
    extra_sched_args: &[String],
    topology: TopologyJson,
) -> Result<VerifierVmResult>

Boot a VM and collect verifier statistics via host-side memory introspection. Per-program verified_insns comes from bpf_prog_aux->verified_insns read through the guest’s physical memory. On load failure, libbpf prints the verifier log to stderr; the returned scheduler_log field contains the scheduler’s captured output from the VM.

topology selects the verifier VM’s emulated topology via crate::test_support::TopologyJson — the same named-field shape carried in the per-scheduler --ktstr-list-schedulers JSON. The named fields force callers to spell every dimension at the call site, preventing position-swap misorders. The sole caller is the sweep cell handler (crate::test_support::dispatch’s run_verifier_cell), which passes the topology of the gauntlet preset named in the cell — the verifier sweeps each scheduler across every preset its constraints accept under no_perf_mode.