You're right - we have to have some idea of how to do induction in order to do it without fully fleshing out the details, but the unresolved issues don't have to be confined to inconsequential philosophical interpretations. For example, we could just avoid doing induction except for when what seem like plausible approaches agree. (This is probably a better approach to "robust induction" than I proposed in my post).