{"api_version":"v1","generated_at":"2026-10-07T05:00:00+00:00","product":{"cve_count":2,"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-lean4-9a244ad6bd3f","lifecycle_state":"evidence_gap","linked_lifecycle_url":null,"name":"lean4","next_cursor":null,"observations":[{"affected":"lean4: < 4.32.2","affected_versions_present":true,"cve_id":"CVE-2026-72711","cve_url":"https://cve.blacktree.nl/cve/CVE-2026-72711","fixed":"No fixed version is explicitly recorded in the structured CVE data.","last_modified":"2026-09-24T14:18:53.683Z","patch_url":"","primary_source":"","published":"2026-08-24T20:08:33.219Z"},{"affected":"lean4: < 4.32.2, 4.33.0-rc1","affected_versions_present":true,"cve_id":"CVE-2026-72844","cve_url":"https://cve.blacktree.nl/cve/CVE-2026-72844","fixed":"lean4: 4.32.2","last_modified":"2026-08-21T21:46:54.936Z","patch_url":"https://github.com/leanprover/lean4/issues/14576","primary_source":"","published":"2026-08-20T17:19:34.054Z"}],"source_generated_at":"2026-10-06T06:22:27.870Z","vendor":"leanprover"}}