No, I think that automation is not a necessary property of polyhedral approach. See for example Loopy project (GitHub - nimit-singhania/loopy: A system for programming formally-verified loop transformations.), where scheduling rules are explicit and authors need only one step to include their grammar in the source language, like halide does now.