Skip to content

Measure the published examples under both readings of format - #61

Merged
estebanzimanyi merged 1 commit into
masterfrom
ats/examples-both-readings
Aug 29, 2026
Merged

Measure the published examples under both readings of format#61
estebanzimanyi merged 1 commit into
masterfrom
ats/examples-both-readings

Conversation

@estebanzimanyi

Copy link
Copy Markdown
Member

The count of examples that fail the schema they are published under depends on how a validator treats format, so both readings are asserted:

reading of format examples failing their own schema
asserted 10 of 16
an annotation — JSON Schema's default 13 of 16

The difference between them is the inverted oneOf of motionCurve acting on the standard's own material: at the default reading its URI branch reduces to "any string", both branches match a named value, and oneOf rejects the vocabulary the standard itself defines. Asserting one count alone states a number whose meaning depends on a setting the reader cannot see.

LandingPage and Conformance declare a schema and publish no example, and the test counts them apart from the examples it validates. A row with nothing to validate is not a row that passes, and counting it among the passes makes a tally read better than the material it is taken over.

openapi/README.md carries both figures and the two exampleless responses.

The count of examples that fail the schema they are published under depends on
how a validator treats `format`, and both readings are asserted: 10 of the 16
examples paired with a named schema fail with `format` asserted, and 13 of 16
fail at JSON Schema's default, where `format` is an annotation. The difference
is the inverted `oneOf` of `motionCurve` acting on the standard's own material —
at the default reading its URI branch reduces to "any string", both branches
match a named value, and `oneOf` rejects the vocabulary the standard defines.

`LandingPage` and `Conformance` declare a schema and publish no example, so the
test counts them apart from the examples it validates: a row with nothing to
validate is not a row that passes, and counting it among the passes makes a
tally read better than the material it is taken over.
@estebanzimanyi
estebanzimanyi merged commit 123df94 into master Aug 29, 2026
2 checks passed
@estebanzimanyi
estebanzimanyi deleted the ats/examples-both-readings branch August 29, 2026 22:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant