OASv3.1 Schema

[philsturgeon]

Superseded by #2489.

Closes #2314.

Adding a JSON Schema for the whole OpenAPI v3.1 document, as plenty of tooling requires this before they can upgrade to OpenAPI v3.1.

This is based on a gist from @handrews, and is being tweaked for OpenAPI v3.1. https://gist.github.com/handrews/6dfebd56ef97328f9e4dc7a47a1e8bc7

This is different to the OpenAPI dialect/metaschema work being done first in #2016 but is starting again in another yet unmade PR.

[MikeRalphson]

@philsturgeon maybe this will help, I've updated openapi3-examples to have a 3.1 directory of pass/fail cases. Not everything would be picked up by a schema-only validator, but 🤷🏼 If you find any mistakes, let me know. https://github.com/Mermade/openapi3-examples/tree/master/3.1 There is a mega example which tries to show all new features of 3.1

[karenetheridge]

Suggested change

- $ref: '#Reference'

This reference is redundant, as a draft2020-12 schema will of course accept the $ref keyword itself.

[karenetheridge]

(this is no longer redundant if the '#Reference' definition is extended to include 'summary' and 'description' properties and "unevaluated: false".)

[karenetheridge]

Is it intentional that boolean schemas are excluded at this level?

[hkosova]

This part doesn't look right to me. The logic is supposed to be

if scheme (not type!) = "bearer"
then bearerFormat may be present

https://github.com/OAI/OpenAPI-Specification/blob/master/versions/3.1.0.md#fixed-fields-23

Something like:

Suggested change

	properties:
	scheme:
	type: string
	oneOf:
	- properties:
	type:
	const: http
	- properties:
	type:
	const: bearer
	bearerFormat:
	type: string
	properties:
	type:
	const: http
	scheme:
	type: string
	if:
	properties:
	scheme:
	const: bearer
	then:
	properties:
	bearerFormat:
	type: string

[jdesrosiers]

I created a new PR at #2489 so we can make progress while @philsturgeon is busy planting trees. All of the comments and suggestions that have been posted here have been incorporated into the new PR.

[philsturgeon]

Ha! Sorry, I just merged all the things but you beat me to it. Brilliant, take it away!