lumiculelight does the math

Proof

Rules become gates with a record

vc-gatesNEXT ACTIONINCandidatefrom an agent01Formalvacuity-gated02DRCtwo engines03LVSvs the schematic04PhysicalSPICE · EM · thermalCLEARproved · no gap leftNEEDS GUARDSa known gap, statedBASELINE FAILEDthe check itself failedLEGENDpassesfailed, with the next action
Three outcomes per gate — clear, a stated gap, failed baseline — and the gaps are reported rather than smoothed over.
6
PDKs with an explicit DRC status
8
Photonic PDK variants catalogued
1
Support matrix, published