I'm not sure that this objection has much practical significance even if it turns out to be true. I think the more pressing concern with the ruliad program is

I'm not sure that this objection has much practical significance even if it turns out to be true. I think the more pressing concern with the ruliad program is that a description of all things possible is a also description of nothing in particular. Other workers developing mega-logical type stuff, frameworks and so on, ran into similar problems when it came time to find actual utility for their work. Sure, you have this super expressive thing... but the things you're supposed to build in it are better built on their own terms and the super expressive framework doesn't buy you enough to be worth engaging with.