Semantic search across every U.S. Supreme Court majority, dissent, and concurrence since OT2019. Each result is cryptographically anchored to a Merkle root verified on Horizen EVM — and every passage can be proven on-demand with a fresh Plonky2 ZK proof verified on zkVerify.