One invented block, one design specification, one implementation. The agent writes the SVA and the UVM from the specification alone, drives the design to see what it really does, and marks every artifact against the clause it came from. The tools refuse a checker whose expected values were read out of the RTL, and refuse a failure nobody observed.