test: cover division text operand diagnostics

docs/ADVANCED_STATIC_TYPING.md

@@ -109,6 +109,16 @@ SET player.score player.score * player.name
 Type mismatch for field player.score: expected NUMBER, but this value looks like TEXT.
 ```
 
+Division is covered in the same way:
+
+```claro
+SET player.score player.score / player.name
+```
+
+```text
+Type mismatch for field player.score: expected NUMBER, but this value looks like TEXT.
+```
+
 The expression checker still deliberately reports only the type it can infer; full operator-specific rules remain future work.
 
 `CHECK TYPE` also preserves TEXT field metadata through the same chained aliases: