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.

Lesson: make the strongest case against yourself, especially when the person attacking you won't.

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?