What runs here
This site shows recorded results from Exemplar on the Ring Developer Playground and on recorded example clips. It runs in your browser and makes no Ring or AWS calls. Facts were produced by Claude on Amazon Bedrock when each clip was recorded.
In the Lab, solving, checking, ranking and calibration re-run in your browser on those recorded facts. Rule sketches come from recorded sessions with the Strands agent. Results marked 'engine result' were computed by the engine, not re-solved here. If you turn it on, Z3 also runs in your browser.