Function compile_to_c_via_bytecode_with_knobs 

pub fn compile_to_c_via_bytecode_with_knobs(
    source: &str,
    knobs: &SchedulerKnobs,
) -> Result<String, ParseError>

The bytecode→C walker with an explicit SchedulerKnobs for the concurrency path — the tunable deterministic scheduler (ready-queue policy, workers, clock, channel capacity, seed). A non-concurrency program ignores the knobs (its sequential C is knob-independent). The default-knob wrapper is compile_to_c_via_bytecode; a determinism lock drives this with each policy to prove the knob is a real, output-preserving tunable on the determinate corpus.