{"api_version":"v1","generated_at":"2026-10-07T09:05:00+00:00","product":{"cve_count":1,"evidence_gap_note":"This identity is present in BlackTree CVE records, but no product-specific publisher support or retirement history is currently registered in Lifecycle.","id":"security:cve-leanprover-vscode-lean4-87ef054fed80","lifecycle_state":"evidence_gap","linked_lifecycle_url":null,"name":"vscode-lean4","next_cursor":null,"observations":[{"affected":"< 0.2.0","affected_versions_present":true,"cve_id":"CVE-2026-32732","cve_url":"https://cve.blacktree.nl/cve/CVE-2026-32732","fixed":"No fixed version is explicitly recorded in the structured CVE data.","last_modified":"2026-03-16T20:22:43.428Z","patch_url":"","primary_source":"","published":"2026-03-13T21:43:22.209Z"}],"source_generated_at":"2026-10-07T06:21:30.017Z","vendor":"leanprover"}}