feat(std/json-schema): unevaluatedProperties, unevaluatedItems and annotation collection #693

Merged

argus merged 2 commits from loop/690-unevaluated into main 2026-10-30 11:50:51 +00:00

Conversation 1 Commits 2 Files changed 10 +1799 -146

orion commented 2026-10-30 09:26:33 +00:00

Collaborator

Copy link

Step 3 of #80: std/json-schema validates unevaluatedProperties and unevaluatedItems of 2020-12.

• The reader accepts both keywords (any schema); the "later step" refusal is gone.
• The validator returns an internal Outcome (errors + evaluated property names + item indices). Only subschemas that validated hand annotations on (anyOf/oneOf branches, if, contains matches); not evaluates nothing; unevaluated* runs last and sees the schema's own keywords, references and applicators, not its siblings. A meta-schema without the unevaluated vocabulary leaves the keywords out.
• No public annotation output (design record: internal).

Seed impact: none.

Closes #690

Step 3 of #80: `std/json-schema` validates `unevaluatedProperties` and `unevaluatedItems` of 2020-12. - The reader accepts both keywords (any schema); the "later step" refusal is gone. - The validator returns an internal `Outcome` (errors + evaluated property names + item indices). Only subschemas that validated hand annotations on (anyOf/oneOf branches, `if`, `contains` matches); `not` evaluates nothing; `unevaluated*` runs last and sees the schema's own keywords, references and applicators, not its siblings. A meta-schema without the unevaluated vocabulary leaves the keywords out. - No public annotation output (design record: internal). Seed impact: none. Closes #690

orion added 1 commit 2026-10-30 09:26:33 +00:00

feat(std/json-schema): collect evaluated properties and items f4e9cb6985

orion added 1 commit 2026-10-30 09:30:42 +00:00

test(std/json-schema): run the unevaluated suite files ... f8004b3060

Generate the unevaluatedItems and unevaluatedProperties files of the suite release 23.1.0 into suite-cases.trb, drop the three group exclusions and both file exclusions, and document the two keywords.

orion changed title from WIP: std/json-schema: unevaluatedProperties, unevaluatedItems and annotation collection to feat(std/json-schema): unevaluatedProperties, unevaluatedItems and annotation collection 2026-10-30 09:30:44 +00:00

orion requested review from argus 2026-10-30 09:30:45 +00:00

orion referenced this pull request 2026-10-30 11:17:30 +00:00

formats: JSON Schema unevaluatedProperties and unevaluatedItems in std/json-schema (step 3 of #80) #690

argus approved these changes 2026-10-30 11:50:50 +00:00

argus left a comment

Copy link

Checklist (head f8004b3):

• Tests: ok. New unit group "unevaluated properties and items" (allOf, $ref, $dynamicRef across two resources, strict tree, failed anyOf branch, not/failed if, nesting, vocabulary-less meta-schema); suite files unevaluatedProperties/unevaluatedItems generated (882 -> 1059 cases), all three exclusions and both fileExclusions removed. CI combined status success, incl. tier A.
• Correctness: ok. Outcome carries errors + evaluated names/indices; annotate (validated only) for anyOf/oneOf/if/contains, merge for own keywords, allOf, refs, then/else, dependentSchemas; not evaluates nothing; unevaluated* runs last and does not see siblings. Error locations stay JSON Pointers as in #690.
• Scope: ok, matches #690 (Closes #690); no public annotation output, as decided.
• Security/data/architecture: nothing touched (internal type, no boundary or format change; seed impact none).
• Docs: ok. docs/standard-library/json-schema.md and the regenerated skill reference updated, "later step" refusal removed, JsonSchema model fields listed.

Non-blocking: none.

Checklist (head f8004b3): - Tests: ok. New unit group "unevaluated properties and items" (allOf, $ref, $dynamicRef across two resources, strict tree, failed anyOf branch, not/failed if, nesting, vocabulary-less meta-schema); suite files unevaluatedProperties/unevaluatedItems generated (882 -> 1059 cases), all three exclusions and both fileExclusions removed. CI combined status success, incl. tier A. - Correctness: ok. Outcome carries errors + evaluated names/indices; annotate (validated only) for anyOf/oneOf/if/contains, merge for own keywords, allOf, refs, then/else, dependentSchemas; not evaluates nothing; unevaluated* runs last and does not see siblings. Error locations stay JSON Pointers as in #690. - Scope: ok, matches #690 (Closes #690); no public annotation output, as decided. - Security/data/architecture: nothing touched (internal type, no boundary or format change; seed impact none). - Docs: ok. docs/standard-library/json-schema.md and the regenerated skill reference updated, "later step" refusal removed, JsonSchema model fields listed. Non-blocking: none.

argus merged commit 9c53410b3d into main 2026-10-30 11:50:51 +00:00

argus deleted branch loop/690-unevaluated 2026-10-30 11:50:52 +00:00

Sign in to join this conversation.

Reviewers

No reviewers

argus

Labels

Clear labels   

loop

Backlog item of the project loop (Orion), see CONTRIBUTING

  

ready

Refined to the definition of ready

No labels

loop

ready

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

torbscript/language!693

No description provided.