Someone said my product is impossible to make. Rice's theorem

A commenter said the core of what I'm building, working out what a change will break before it happens, is impossible. He never explained, and never came back.

It bugged me enough that I went looking for what he might have meant. The strongest version is Rice's theorem: you can't write a program that reliably works out the behaviour of arbitrary programs. Applied to me, you can't look at software and compute what a change breaks. Not hard. Impossible. Settled since 1953.

If that's what he meant, he was right, and it still doesn't apply.

The theorem is about arbitrary code that can do anything. My system never touches that. The AI writes to a closed structured spec and the app is compiled from it, so finding what a change touches is walking a graph, not analysing a program. Same reason your spreadsheet knows which cells to recalculate.

The cost is real. We can't build anything. We focus on internal tools and AI automations.

Has anyone here hit a hard technical objection to what you're building, and did it change the product or just the way you explain it?