B.3.3:5 - Common Anti-Patterns and How to Avoid Them

Anti-pattern	Failure in use	Repair
Tested but referring to different things	Requirements and architecture use “Sensor” for different participants; the test concerns only one.	Resolve that correspondence and re-examine affected claims; more test links do not fix it.
Perfect blueprint, unsupported operation	A proof assumes conditions that the actual system has not been shown to meet.	Obtain or use the needed empirical and assumption evidence for the actual claim, or narrow the conclusion.
Maturity by receipt	A fresh smoke test and a term mapping receive a positive performance label.	Judge the support for the requested performance, not the receipt count or type combination.
Proof as an admission toll	Sufficient empirical support is rejected because an unrelated formal proof is absent.	Apply the receiving claim’s evidence rules; retain formal proof obligations where their contribution is necessary.