HOVER API Rules

# authorship: generated by API Evangelist tooling (derive-rules.py, 2026-10-14). x-method: generated
# Every rule below was MEASURED against HOVER's own contract before it was written; a rule is present only
# when the contract satisfies it at 80% or more. Severity: 100% -> error, >= 90% -> warn, else info.
# Provenance:
#   - operation-has-operationid: 100%
#   - operationid-casing-kebab: 84%
#   - operation-has-summary: 99%
#   - operation-secured: 100%
#   - path-segment-casing-camel: 82%
#   - path-no-trailing-slash: 99%
#   - path-params-in-braces: 97%
#   - servers-https: 100%
x-method: generated
x-generator: derive-rules.py
x-generated: '2026-10-14'
x-source:
- openapi/hover-api-v3-openapi.yml
- openapi/hover-ehi-openapi.yml
- openapi/hover-rest-api-openapi.yml
extends:
- - spectral:oas
  - recommended
formats:
- oas3
rules:
  operation-has-operationid:
    description: 'Every operation declares an operationId (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,post,put,patch,delete]
    then:
      field: operationId
      function: truthy
  operationid-casing-kebab:
    description: 'operationIds are kebabCase (measured: 84% of this contract)'
    severity: info
    given: $.paths[*][get,post,put,patch,delete].operationId
    then:
      function: casing
      functionOptions:
        type: kebab
  operation-has-summary:
    description: 'Every operation has a summary (measured: 99% of this contract)'
    severity: warn
    given: $.paths[*][get,post,put,patch,delete]
    then:
      field: summary
      function: truthy
  operation-secured:
    description: 'Every operation is covered by a security requirement (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,post,put,patch,delete]
    then:
      field: security
      function: truthy
  path-segment-casing-camel:
    description: 'Path segments are camel case (measured: 82% of this contract)'
    severity: info
    given: $.paths[*]~
    then:
      function: pattern
      functionOptions:
        match: ^(/[a-z][a-zA-Z0-9]*|/\{[^}]+\})+/?$
  path-no-trailing-slash:
    description: 'Paths carry no trailing slash (measured: 99% of this contract)'
    severity: warn
    given: $.paths[*]~
    then:
      function: pattern
      functionOptions:
        notMatch: ./$
  path-params-in-braces:
    description: 'Path parameters use {braces}, not :colon (measured: 97% of this contract)'
    severity: warn
    given: $.paths[*]~
    then:
      function: pattern
      functionOptions:
        notMatch: ':'
  servers-https:
    description: 'Servers are https (measured: 100% of this contract)'
    severity: error
    given: $.servers[*].url
    then:
      function: pattern
      functionOptions:
        match: ^(https://|\{)