ProofThe answers your customer will ask forNEXT ACTIONINCandidatefrom an agent01Formalvacuity-gated02DRCtwo engines03LVSvs the schematic04PhysicalSPICE · EM · thermalCLEARproved · no gap leftNEEDS GUARDSa known gap, statedBASELINE FAILEDthe check itself failedLEGENDpassesfailed, with the next actionNEXT ACTIONINCandidatefrom an agent01Formalvacuity-gated02DRCtwo engines03LVSvs the schematic04PhysicalSPICE · EM · thermalCLEARproved · no gap leftNEEDS GUARDSa known gap, statedBASELINE FAILEDthe check itself failedClear, a stated gap, or a failed baseline — the same three answers, recorded per artifact. SwipeSwipe the figure to read it — tap for the full view2×10⁻⁶ %Closed-form vs kernel agreement, measuredmeasuredClearance volumes, not nominal ones1Negative control per check, must failLumicule