Update. I have a program that runs a bunch of perm checks, emulating the assertions tab in the playground. It seems the failure occurs on certain checks and not others, consistently. The ones that fail have complex explanations. The explanations appear in zed just fine. I can see the two calls in the server log (trace level) and I don’t see any obvious difference. I’ll compare more closely when I get a chance