Vulns attestation "result" struct discrepancy

[lumjjb]

There may be a discrepancy with the intoto vuln predicate (if i interpret it right).

It looks like the spec specifies scanner.result.[*].vulnerability, optional object indicates a nested vulnerability object, but within the example, it shows no intermediary "vulnerability" object.

      "result": [
        {
         "id": "CVE-123",
         "severity": [
          { "method": "nvd", "score": "medium"},
          { "method": "cvss_score", "score", "5.2" }
         ]
        },

It seems like the intent is to have scanner.result.[*] optional object instead of scanner.result.[*].vulnerability, optional object?

EDIT:

A similar discrepancy seems to hold with the severity field, where it is not specified as a list but shows as a list.

scanner.result.[*].vulnerability.severity, required object

but the example shows a list

      "result": [
        {
         "id": "CVE-123",
         "severity": [
          { "method": "nvd", "score": "medium"},
          { "method": "cvss_score", "score", "5.2" }
         ]
        },

EDIT 2:

Invocation also exists in the example, not part of the spec:

    "invocation": {
      "parameters": [],
      "uri": "https://github.com/developer-guy/alpine/actions/runs/1071875574",
      "event_id": "1071875574",
      "builder.id": "GitHub Actions"
    },