There's a small asterisk to your question: there's no way to verify that the diagrams
represent the underlying system without access to the code (and sometimes the deployment). Anyone can make pretty pictures without spaghetti lines, but it takes some real, no kidding, discipline to write code (and then deploy that code) in a non-spaghetti way
It's like that phrase "no plan survives first contact with the enemy" but applied to product owners and then subsequently applied to computers