fix: handle epsilon transitions

[shreyas-londhe]

Fix uninitialized AND gate in email regex circuit

Bug

The email regex circuit was failing due to uninitialized AND gates caused by epsilon transitions (empty character set transitions) in the DFA. These epsilon transitions were created from optional patterns (?) and zero-or-more quantifiers (*) in the regex.

Fix

Added remove_epsilon_transitions function to clean the DFA graph by removing transitions with empty character sets before circuit generation. This ensures all AND gates in the resulting circuit have proper inputs.

Testing

• Added comprehensive test cases for the email regex pattern in dfa_tests.json
• Tests cover various email formats including:
  • Basic email addresses
  • Display names with angle brackets
  • Multiple-part local segments
  • Both \r\n and ^ anchors

Impact

This fix makes the email regex circuit more reliable by eliminating uninitialized gates while maintaining the same matching behavior.

[socket-security]

New and removed dependencies detected. Learn more about Socket for GitHub ↗︎

Package	New capabilities	Transitives	Size	Publisher

🚮 Removed packages: npm/[email protected], npm/[email protected]

View full report↗︎