EO 14421 Implementation: Verifying Grid Equipment | Finite State