Check code against the documentation that specifies it: one agent per requirement, divergences refuted before they are reported, evidence cited to the line