What we need are libraries of (automatically verifiable) requirements. As open source components which can be compose together, like we do with the code today.

What we need are libraries of (automatically verifiable) requirements. As open source components which can be compose together, like we do with the code today. Then we, possibly assisted by "AI", can assemble a solution matching the requirements.