01Parallel extraction of semantic claims to ensure unbiased, independent discovery
02Deep relationship mapping for temporal, conditional, and exclusion constraints
03Automated normalization of tense, voice, and synonyms for consistent analysis
04Detailed reporting of shared versus unique claims and preserved logical graphs
0556 GitHub stars
06Execution equivalence scoring based on claim, relationship, and graph similarity