No difference reported for required property changed to optional

Openapi-diff does not report a required property that was changed to optional -- removed from the schema "required" array. Changing a required property to optional in an output schema could cause breaking changes if a client relies on a property always being present in a response (because it was marked "required") and the property is then omitted from some responses in the new version.

コマンドラインツールの OpenAPI スキーマ比較から始め、スキーマの "required" 配列がどのように扱われるかを追跡します。2 つの仕様で報告された required から optional への遷移を再現し、その後、ツールがその変更を breaking として報告することを確認します。

索引モデルが issue の本文から書いたものです。