Verification and evidence
A model reporting success is a claim. Evidence is a command that ran, its exit code and what it printed. This area covers everything that follows from accepting the first as if it were the second: features without tests, documentation without behaviour, APIs whose contract changed and whose contract document did not.