StealthMark Sovereign Gateway & x402 Formal Prover | x402scan