trident/src/verify.md ฯ 0.0% 2 words ยท 1 min verify Folder Graph Mentions Folder equiv/ report/ smt/ solve/ sym/ synthesize/ mod.rs Graph Mentions bip-39 wordlist context/ctx