Google's Z3 verifier for CEL, running in your browser
name:type — int uint bool string double bytes dyn timestamp duration list<T> map<K,V> optional<T>
nothing verified yet
This is cel-java's verifier, unmodified, on CheerpJ — a JVM in WebAssembly. Its JNI binding to Z3 is replaced by a bridge generated from Z3's own API headers (776 entry points), routed into a Z3 4.14.1 wasm build. Nothing leaves your machine; a hard query can freeze the tab until the timeout. How it's built.