Mistral Patent for phones, wearables, smart home and robots

From Zuck's own words "we will resume releasing some open source models soon" Why did you pause releasing them in the US. No one cares about such stuff in Europe. So without sandbox: it doesn't apply. What is the best language to have high quality correctness oracles so that the user doesn't have to babysit the LLM and do lots of manual testing?