I ran a small experiment to evaluate text embeddings by checking whether they preserve basic metric properties—triangle inequality, distance consistency, compression stability, etc. Instead of relying on downstream accuracy, I used Z3 to search for explicit geometric violations and compare models directly. The post includes code, plots, and the reasoning behind using metric constraints as a diagnostic tool. Comments