Microsoft Azure API Rules

# authorship: generated by API Evangelist tooling (derive-rules.py, 2026-11-05). x-method: generated
# Every rule below was MEASURED against Microsoft Azure'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-camel: 99%
#   - operation-has-summary: 100%
#   - operation-has-description: 100%
#   - operation-has-tags: 100%
#   - operation-has-success-response: 100%
#   - path-segment-casing-camel: 81%
#   - path-no-trailing-slash: 100%
#   - path-params-in-braces: 97%
#   - servers-https: 93%
#   - response-media-type: 100%
#   - schema-has-description: 92%
#   - property-name-casing-camel: 96%
#   - info-has-description: 82%
#   - info-title-present: 100%
#   - info-title-min-length: 95%
#   - info-description-present: 82%
#   - info-description-min-length: 95%
#   - info-version-present: 100%
#   - info-version-semver: 100%
#   - contact-name-present: 95%
#   - contact-url-https: 100%
#   - license-name-present: 100%
#   - license-url-https: 100%
#   - server-url-present: 100%
#   - server-url-https: 93%
#   - server-description-min-length: 100%
#   - tag-name-present: 100%
#   - tag-name-casing-pascal: 80%
#   - operation-tags-present: 100%
#   - operation-summary-present: 100%
#   - operation-summary-min-length: 95%
#   - operation-description-present: 100%
#   - operation-description-min-length: 95%
#   - operation-operationid-present: 100%
#   - operation-operationid-casing-camel: 99%
#   - operation-parameters-present: 98%
#   - operation-responses-present: 100%
#   - parameter-name-casing-camel: 83%
#   - parameter-description-present: 98%
#   - parameter-description-min-length: 95%
#   - parameter-required-present: 89%
#   - parameter-style-values: 100%
#   - requestbody-description-present: 92%
#   - requestbody-content-present: 100%
#   - requestbody-required-present: 89%
#   - mediatype-schema-present: 100%
#   - response-description-min-length: 99%
#   - response-content-present: 80%
#   - header-description-present: 86%
#   - header-schema-present: 100%
#   - schema-type-present: 84%
#   - schema-type-values: 99%
#   - schema-description-present: 89%
#   - schema-description-min-length: 96%
#   - schema-format-values: 94%
#   - schema-properties-present: 86%
#   - securityscheme-type-present: 100%
#   - securityscheme-type-values: 99%
#   - securityscheme-description-present: 84%
#   - securityscheme-in-values: 100%
#   - securityscheme-scheme-values: 100%
#   - securityscheme-flows-present: 80%
#   - oauthflow-authorizationurl-present: 98%
#   - oauthflow-authorizationurl-https: 100%
#   - oauthflow-tokenurl-https: 100%
#   - oauthflow-scopes-present: 100%
x-method: generated
x-generator: derive-rules.py
x-generated: '2026-11-05'
x-source:
- openapi/microsoft-azure-access-control-records-api-openapi.yml
- openapi/microsoft-azure-access-policies-api-openapi.yml
- openapi/microsoft-azure-access-token-api-openapi.yml
- openapi/microsoft-azure-accessconnector-api-openapi.yml
- openapi/microsoft-azure-accessreviewinstanceacceptrecommmendations-api-openapi.yml
x-self-check:
  status: checked
  rules: 72
  dropped:
    parameter-name-present: claims 100%, failed 11322
    parameter-in-present: claims 100%, failed 11322
    parameter-in-values: claims 100%, failed 180
    parameter-schema-present: claims 100%, failed 11344
    response-description-present: claims 100%, failed 33
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
    x-pattern-key: Operation.operationId|present
  operationid-casing-camel:
    description: 'operationIds are camel case (measured: 99% of this contract)'
    severity: warn
    given: $.paths[*][get,post,put,patch,delete].operationId
    then:
      function: pattern
      functionOptions:
        match: ^[a-z][a-zA-Z0-9]*$
    x-pattern-key: Operation.operationId|pattern:^[a-z][a-zA-Z0-9]*$
  operation-has-summary:
    description: 'Every operation has a summary (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,post,put,patch,delete]
    then:
      field: summary
      function: truthy
    x-pattern-key: Operation.summary|present
  operation-has-description:
    description: 'Every operation has a description (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,post,put,patch,delete]
    then:
      field: description
      function: truthy
    x-pattern-key: Operation.description|present
  operation-has-tags:
    description: 'Every operation is tagged (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,post,put,patch,delete]
    then:
      field: tags
      function: truthy
    x-pattern-key: Operation.tags|present
  operation-has-success-response:
    description: 'Every operation declares a 2xx response (measured: 99% of this contract)'
    severity: error
    given: $.paths[*][get,post,put,patch,delete].responses
    then:
      function: schema
      functionOptions:
        schema:
          type: object
          patternProperties:
            ^2\d\d$: {}
          minProperties: 1
    x-pattern-key: Operation.responses|schema:07e20b47
  path-segment-casing-camel:
    description: 'Path segments are camel case (measured: 80% of this contract)'
    severity: info
    given: $.paths[*]~
    then:
      function: pattern
      functionOptions:
        match: ^(/[a-z][a-zA-Z0-9]*|/\{[^}]+\})+/?$
    x-pattern-key: Paths.{key}|pattern:^(/[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: ./$
    x-pattern-key: Paths.{key}|pattern:!./$
  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: ':'
    x-pattern-key: 'Paths.{key}|pattern:!:'
  servers-https:
    description: 'Servers are https (measured: 93% of this contract)'
    severity: warn
    given: $.servers[*].url
    then:
      function: pattern
      functionOptions:
        match: ^(https://|\{)
    x-pattern-key: Server.url|pattern:^(https://|\{)
  response-media-type:
    description: 'Responses are served as application/json (measured: 99% of this contract)'
    severity: warn
    given: $.paths[*][get,post,put,patch,delete].responses[*].content
    then:
      function: schema
      functionOptions:
        schema:
          type: object
          required:
          - application/json
    x-pattern-key: Response.content|schema:2919cf38
  schema-has-description:
    description: 'Every component schema carries a title or description (measured: 91% of this contract)'
    severity: warn
    given: $.components.schemas[*]
    then:
      function: schema
      functionOptions:
        schema:
          anyOf:
          - required:
            - description
          - required:
            - title
    x-pattern-key: Components.schemas|schema:7af42428
  property-name-casing-camel:
    description: 'Schema property names are camel case (measured: 96% of this contract)'
    severity: warn
    given: $.components.schemas[*].properties[*]~
    then:
      function: pattern
      functionOptions:
        match: ^[a-z][a-zA-Z0-9]*$
    x-pattern-key: Schema.properties{key}|pattern:^[a-z][a-zA-Z0-9]*$
  info-has-description:
    description: 'The contract''s info block carries a description (measured: 81% of this contract)'
    severity: info
    given: $.info
    then:
      field: description
      function: truthy
    x-pattern-key: Info.description|present
  info-title-present:
    description: 'Info declares title (measured: 100% of this contract)'
    severity: error
    given: $.info
    then:
      field: title
      function: defined
    x-pattern-key: Info.title|present
  info-title-min-length:
    description: 'Info.title runs at least 28 characters (measured: 95% of this contract)'
    severity: warn
    given: $.info.title
    then:
      function: length
      functionOptions:
        min: 28
    x-pattern-key: Info.title|length
  info-description-present:
    description: 'Info declares description (measured: 81% of this contract)'
    severity: info
    given: $.info
    then:
      field: description
      function: defined
    x-pattern-key: Info.description|present
  info-description-min-length:
    description: 'Info.description runs at least 25 characters (measured: 95% of this contract)'
    severity: warn
    given: $.info.description
    then:
      function: length
      functionOptions:
        min: 25
    x-pattern-key: Info.description|length
  info-version-present:
    description: 'Info declares version (measured: 100% of this contract)'
    severity: error
    given: $.info
    then:
      field: version
      function: defined
    x-pattern-key: Info.version|present
  info-version-semver:
    description: 'info.version is numeric (measured: 100% of this contract)'
    severity: error
    given: $.info.version
    then:
      function: pattern
      functionOptions:
        match: ^v?\d+(\.\d+)*
    x-pattern-key: Info.version|pattern:^v?\d+(\.\d+)*
  contact-name-present:
    description: 'Contact declares name (measured: 95% of this contract)'
    severity: warn
    given: $.info.contact
    then:
      field: name
      function: defined
    x-pattern-key: Contact.name|present
  contact-url-https:
    description: 'Contact.url is https (measured: 100% of this contract)'
    severity: error
    given: $.info.contact.url
    then:
      function: pattern
      functionOptions:
        match: ^https://
    x-pattern-key: Contact.url|pattern:^https://
  license-name-present:
    description: 'License declares name (measured: 100% of this contract)'
    severity: error
    given: $.info.license
    then:
      field: name
      function: defined
    x-pattern-key: License.name|present
  license-url-https:
    description: 'License.url is https (measured: 100% of this contract)'
    severity: error
    given: $.info.license.url
    then:
      function: pattern
      functionOptions:
        match: ^https://
    x-pattern-key: License.url|pattern:^https://
  server-url-present:
    description: 'Server declares url (measured: 100% of this contract)'
    severity: error
    given: $.servers[*]
    then:
      field: url
      function: defined
    x-pattern-key: Server.url|present
  server-url-https:
    description: 'Server.url is https (measured: 93% of this contract)'
    severity: warn
    given: $.servers[*].url
    then:
      function: pattern
      functionOptions:
        match: ^https://
    x-pattern-key: Server.url|pattern:^https://
  server-description-min-length:
    description: 'Server.description runs at least 24 characters (measured: 100% of this contract)'
    severity: error
    given: $.servers[*].description
    then:
      function: length
      functionOptions:
        min: 24
    x-pattern-key: Server.description|length
  tag-name-present:
    description: 'Tag declares name (measured: 100% of this contract)'
    severity: error
    given: $.tags[*]
    then:
      field: name
      function: defined
    x-pattern-key: Tag.name|present
  tag-name-casing-pascal:
    description: 'Tag.name is pascal case (measured: 80% of this contract)'
    severity: info
    given: $.tags[*].name
    then:
      function: pattern
      functionOptions:
        match: ^[A-Z][a-zA-Z0-9]*$
    x-pattern-key: Tag.name|pattern:^[A-Z][a-zA-Z0-9]*$
  operation-tags-present:
    description: 'Operation declares tags (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,put,post,delete,patch,options,head,trace]
    then:
      field: tags
      function: defined
    x-pattern-key: Operation.tags|present
  operation-summary-present:
    description: 'Operation declares summary (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,put,post,delete,patch,options,head,trace]
    then:
      field: summary
      function: defined
    x-pattern-key: Operation.summary|present
  operation-summary-min-length:
    description: 'Operation.summary runs at least 35 characters (measured: 95% of this contract)'
    severity: warn
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].summary
    then:
      function: length
      functionOptions:
        min: 35
    x-pattern-key: Operation.summary|length
  operation-description-present:
    description: 'Operation declares description (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,put,post,delete,patch,options,head,trace]
    then:
      field: description
      function: defined
    x-pattern-key: Operation.description|present
  operation-description-min-length:
    description: 'Operation.description runs at least 22 characters (measured: 95% of this contract)'
    severity: warn
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].description
    then:
      function: length
      functionOptions:
        min: 22
    x-pattern-key: Operation.description|length
  operation-operationid-present:
    description: 'Operation declares operationId (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,put,post,delete,patch,options,head,trace]
    then:
      field: operationId
      function: defined
    x-pattern-key: Operation.operationId|present
  operation-operationid-casing-camel:
    description: 'Operation.operationId is camel case (measured: 99% of this contract)'
    severity: warn
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].operationId
    then:
      function: pattern
      functionOptions:
        match: ^[a-z][a-zA-Z0-9]*$
    x-pattern-key: Operation.operationId|pattern:^[a-z][a-zA-Z0-9]*$
  operation-parameters-present:
    description: 'Operation declares parameters (measured: 98% of this contract)'
    severity: warn
    given: $.paths[*][get,put,post,delete,patch,options,head,trace]
    then:
      field: parameters
      function: defined
    x-pattern-key: Operation.parameters|present
  operation-responses-present:
    description: 'Operation declares responses (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,put,post,delete,patch,options,head,trace]
    then:
      field: responses
      function: defined
    x-pattern-key: Operation.responses|present
  parameter-name-casing-camel:
    description: 'Parameter.name is camel case (measured: 83% of this contract)'
    severity: info
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].parameters[*].name
    then:
      function: pattern
      functionOptions:
        match: ^[a-z][a-zA-Z0-9]*$
    x-pattern-key: Parameter.name|pattern:^[a-z][a-zA-Z0-9]*$
  parameter-description-present:
    description: 'Parameter declares description (measured: 97% of this contract)'
    severity: warn
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].parameters[*]
    then:
      field: description
      function: defined
    x-pattern-key: Parameter.description|present
  parameter-description-min-length:
    description: 'Parameter.description runs at least 13 characters (measured: 95% of this contract)'
    severity: warn
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].parameters[*].description
    then:
      function: length
      functionOptions:
        min: 13
    x-pattern-key: Parameter.description|length
  parameter-required-present:
    description: 'Parameter declares required (measured: 88% of this contract)'
    severity: info
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].parameters[*]
    then:
      field: required
      function: defined
    x-pattern-key: Parameter.required|present
  parameter-style-values:
    description: 'Parameter.style is one of form (measured: 99% of this contract)'
    severity: warn
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].parameters[*].style
    then:
      function: enumeration
      functionOptions:
        values:
        - form
    x-pattern-key: Parameter.style|enum:form
  requestbody-description-present:
    description: 'RequestBody declares description (measured: 92% of this contract)'
    severity: warn
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].requestBody
    then:
      field: description
      function: defined
    x-pattern-key: RequestBody.description|present
  requestbody-content-present:
    description: 'RequestBody declares content (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].requestBody
    then:
      field: content
      function: defined
    x-pattern-key: RequestBody.content|present
  requestbody-required-present:
    description: 'RequestBody declares required (measured: 88% of this contract)'
    severity: info
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].requestBody
    then:
      field: required
      function: defined
    x-pattern-key: RequestBody.required|present
  mediatype-schema-present:
    description: 'MediaType declares schema (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].responses[*].content[*]
    then:
      field: schema
      function: defined
    x-pattern-key: MediaType.schema|present
  response-description-min-length:
    description: 'Response.description runs at least 2 characters (measured: 98% of this contract)'
    severity: warn
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].responses[*].description
    then:
      function: length
      functionOptions:
        min: 2
    x-pattern-key: Response.description|length
  response-content-present:
    description: 'Response declares content (measured: 80% of this contract)'
    severity: info
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].responses[*]
    then:
      field: content
      function: defined
    x-pattern-key: Response.content|present
  header-description-present:
    description: 'Header declares description (measured: 86% of this contract)'
    severity: info
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].responses[*].headers[*]
    then:
      field: description
      function: defined
    x-pattern-key: Header.description|present
  header-schema-present:
    description: 'Header declares schema (measured: 100% of this contract)'
    severity: error
    given: $.paths[*][get,put,post,delete,patch,options,head,trace].responses[*].headers[*]
    then:
      field: schema
      function: defined
    x-pattern-key: Header.schema|present
  schema-type-present:
    description: 'Schema declares type (measured: 83% of this contract)'
    severity: info
    given: $.components.schemas[*]
    then:
      field: type
      function: defined
    x-pattern-key: Schema.type|present
  schema-type-values:
    description: 'Schema.type is one of object, string (measured: 98% of this contract)'
    severity: warn
    given: $.components.schemas[*].type
    then:
      function: enumeration
      functionOptions:
        values:
        - object
        - string
    x-pattern-key: Schema.type|enum:object,string
  schema-description-present:
    description: 'Schema declares description (measured: 88% of this contract)'
    severity: info
    given: $.components.schemas[*]
    then:
      field: description
      function: defined
    x-pattern-key: Schema.description|present
  schema-description-min-length:
    description: 'Schema.description runs at least 16 characters (measured: 95% of this contract)'
    severity: warn
    given: $.components.schemas[*].description
    then:
      function: length
      functionOptions:
        min: 16
    x-pattern-key: Schema.description|length
  schema-format-values:
    description: 'Schema.format is one of arm-id, date-time, int32, int64, uuid (measured: 93% of this contract)'
    severity: warn
    given: $.components.schemas[*].format
    then:
      function: enumeration
      functionOptions:
        values:
        - arm-id
        - date-time
        - int32
        - int64
        - uuid
    x-pattern-key: Schema.format|enum:arm-id,date-time,int32,int64,uuid
  schema-properties-present:
    description: 'Schema declares properties (measured: 85% of this contract)'
    severity: info
    given: $.components.schemas[*]
    then:
      field: properties
      function: defined
    x-pattern-key: Schema.properties|present
  securityscheme-type-present:
    description: 'SecurityScheme declares type (measured: 100% of this contract)'
    severity: error
    given: $.components.securitySchemes[*]
    then:
      field: type
      function: defined
    x-pattern-key: SecurityScheme.type|present
  securityscheme-type-values:
    description: 'SecurityScheme.type is one of apiKey, oauth2 (measured: 99% of this contract)'
    severity: warn
    given: $.components.securitySchemes[*].type
    then:
      function: enumeration
      functionOptions:
        values:
        - apiKey
        - oauth2
    x-pattern-key: SecurityScheme.type|enum:apiKey,oauth2
  securityscheme-description-present:
    description: 'SecurityScheme declares description (measured: 84% of this contract)'
    severity: info
    given: $.components.securitySchemes[*]
    then:
      field: description
      function: defined
    x-pattern-key: SecurityScheme.description|present
  securityscheme-in-values:
    description: 'SecurityScheme.in is one of header, query (measured: 100% of this contract)'
    severity: error
    given: $.components.securitySchemes[*].in
    then:
      function: enumeration
      functionOptions:
        values:
        - header
        - query
    x-pattern-key: SecurityScheme.in|enum:header,query
  securityscheme-scheme-values:
    description: 'SecurityScheme.scheme is one of basic (measured: 100% of this contract)'
    severity: error
    given: $.components.securitySchemes[*].scheme
    then:
      function: enumeration
      functionOptions:
        values:
        - basic
    x-pattern-key: SecurityScheme.scheme|enum:basic
  securityscheme-flows-present:
    description: 'SecurityScheme declares flows (measured: 80% of this contract)'
    severity: info
    given: $.components.securitySchemes[*]
    then:
      field: flows
      function: defined
    x-pattern-key: SecurityScheme.flows|present
  oauthflow-authorizationurl-present:
    description: 'OAuthFlow declares authorizationUrl (measured: 98% of this contract)'
    severity: warn
    given: $.components.securitySchemes[*].flows[*]
    then:
      field: authorizationUrl
      function: defined
    x-pattern-key: OAuthFlow.authorizationUrl|present
  oauthflow-authorizationurl-https:
    description: 'OAuthFlow.authorizationUrl is https (measured: 100% of this contract)'
    severity: error
    given: $.components.securitySchemes[*].flows[*].authorizationUrl
    then:
      function: pattern
      functionOptions:
        match: ^https://
    x-pattern-key: OAuthFlow.authorizationUrl|pattern:^https://
  oauthflow-tokenurl-https:
    description: 'OAuthFlow.tokenUrl is https (measured: 100% of this contract)'
    severity: error
    given: $.components.securitySchemes[*].flows[*].tokenUrl
    then:
      function: pattern
      functionOptions:
        match: ^https://
    x-pattern-key: OAuthFlow.tokenUrl|pattern:^https://
  oauthflow-scopes-present:
    description: 'OAuthFlow declares scopes (measured: 100% of this contract)'
    severity: error
    given: $.components.securitySchemes[*].flows[*]
    then:
      field: scopes
      function: defined
    x-pattern-key: OAuthFlow.scopes|present