test: add object field CHECK TYPE unknown TEXT fixture

This commit is contained in:
Hermes Agent
2026-07-10 03:10:15 -06:00
parent c66c122c30
commit 60818223a9
8 changed files with 37 additions and 4 deletions
+6
View File
@@ -9,6 +9,12 @@
- Replaced stale standard-library command claims with current, runnable documentation.
## v1.18.26-dev object field CHECK TYPE unknown TEXT validation
- Added a focused negative `claro typecheck` fixture for direct object-field metadata checks against an undeclared TEXT field: `CHECK TYPE player.nickname IS TEXT` after `NEW Player player` when the class only declares `HAS name TEXT`.
- Wired the fixture into both the typecheck diagnostics validator and `claro validate`; no production typechecker behavior change was needed because the existing direct object-field `CHECK TYPE` unknown-field diagnostic already reports the learner-friendly TEXT suggestion.
## v1.18.26-dev object field CHECK TYPE unknown-field diagnostic
- Added a focused negative `claro typecheck` fixture for direct object-field metadata checks against an undeclared field: `CHECK TYPE player.level IS NUMBER` after `NEW Player player` when the class only declares `HAS score NUMBER`.