So, basically, better spec, not changing spec once defined and tracking, and static code analysis are the bottomline of what you are implementing.
Am I right?
Do you find that having some kind of intelligent agent based analysis on PR and spec is going to help you?