Function php_instance_linear_marked_pigeon 

pub fn php_instance_linear_marked_pigeon(m: usize) -> SymmetricInstance

Linear-encoded pigeonhole with one marked pigeon — the pigeon-stabilizer instrument (Stab(p₀) × Sₘ₋₁). Pigeon 0 gets its own sort; hole symmetry is untouched.