Function lanes_simulate_stack_with_arch 

#[unsafe(no_mangle)]
pub unsafe extern "C" fn lanes_simulate_stack_with_arch(
    prog: *const LANESProgram,
    arch: *const LANESArchSpec,
    out: *mut *mut LANESValidationErrors,
) -> LanesStatus

Stack type simulation with arch-dependent lane/location group checks (consistency, bus membership, AOD complete-grid geometry).

arch may be NULL, in which case group checks degrade to duplicate detection only (the lanes_simulate_stack behavior).