Installer RepairBehavior never used by the 1.7.0 API schema?

[jantari]

Brief description of your issue

I saw the RepairBehavior field is new in the v1.7.0 manifest schema:

https://github.com/microsoft/winget-cli/blob/96974fbc383811617bfcc957d9d4b32126edb26f/schemas/JSON/manifests/v1.7.0/manifest.installer.1.7.0.json#L717-L719

It is a property of "Installer". However in the corresponding API schema v1.7.0, RepairBehavior is not defined as a possible property of an "Installer":

winget-cli-restsource/documentation/WinGet-1.7.0.yaml

Line 1504 in f134943

Installer:

I assume this is a mistake because why would a new property be allowed in the package manifest schema but not respected / used / returned by the API schema at all?

Should a v1.7.0-compliant REST source return installers with a RepairBehavior property or not?