{
  "tool_id": "art-137-openvex-statement-validator",
  "kernel_id": "art-137-openvex-statement-validator",
  "display_name": "OpenVEX Statement Validator",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_mandate",
  "purpose": "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.",
  "control_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.",
  "declared_inputs": [
    "art-136-slsa-provenance-verifier"
  ],
  "declared_outputs": [],
  "kernel_digest": "sha256:a3479c6ee0c683f60a491a11d4ba95dbd84e6515cec5686f5642e6c6e68b87a6",
  "trust_label": "deferred -- deterministic source published, zkVM proof not yet generated",
  "data_vintage": "2026-07-10",
  "last_validated": "2026-07-10",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 25,
  "source_url": "https://ainumbers.co/chaingraph/art-137-openvex-statement-validator.html",
  "generated_at": "2026-07-25T20:02:55.601Z"
}