{
      "tool_id": "art-137-openvex-statement-validator",
      "tool_version": "1.0.0",
      "display_name": "OpenVEX Statement Validator",
      "mcp_name": "validate_openvex_statement",
      "mandate_type": "compliance_mandate",
      "wave": 25,
      "gpu": false,
      "url": "https://ainumbers.co/chaingraph/art-137-openvex-statement-validator.html",
      "description": "Validates an OpenVEX document: @context includes openvex.dev, every statement carries vulnerability, products[], status in [not_affected,affected,fixed,under_investigation], and not_affected statements must include justification. Emits vex_valid verdict and per-statement gap list. Terminal stage of sbom-provenance-attestation chain.",
      "input_schema_ref": "chaingraph/art-137-openvex-statement-validator.html#manifest",
      "consumes": [
        "art-136-slsa-provenance-verifier"
      ],
      "feeds": [],
      "status": "live",
      "conformance_fixtures": true,
      "compute_capability": "server",
      "compute_images": [{"system":"sha256-source","image_id":"sha256:676d999d882d7e4a0d0e97841723ed8a0c8b3440fd079227c910c1945058a0de","valid_from":"2026-07-10"},{"system":"risc0","image_id":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","valid_from":"2026-06-28"}],
      "compute_proof": {
        "type": "ZkVmReceipt",
        "system": "risc0",
        "receiptFormat": "groth16-bn254",
        "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
        "seal": "DwHv0wKiQF2wUEZfjy4ILVzBVduiu66867h9lk4CBJ0mB9zqoeB8cE0fX+Rt7GEe/7G0H3oMqVZojBqA+2vCIRqF1anWTOiA8DBfENmZNmgsOqhqvubS+Odvv+S/YaJLGwqEz6l9d3QSjWCHLEDVJagAgXuFGBN+4YjwcJGLm0wtfP+uIX3gFaXpzaKDbcUuqARTU5ZmYJazgzIVsX9+OCqc0FXDuil/dq4CA0GYila4aYRqDIuEt33YZzy+SEpwJqZu4fWMJHuOvfxpRl7CdBC1DUg3yAAsgnDzBMMo5BwS1W2dnv1jgvOFv6qlZDe1NtuwmXIOXB3WajfFB5fsvA==",
        "journal": {
          "chaingraph_version": "0.4.0",
          "kernel_digest": "sha256:a3479c6ee0c683f60a491a11d4ba95dbd84e6515cec5686f5642e6c6e68b87a6",
          "output": {
            "context_ok": true,
            "invalid_statements": [],
            "statement_count": 1,
            "vex_valid": true
          }
        }
      },
      "export_capability": [
        "json",
        "vc"
      ]
    }