CVE-2026-72844Published
Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections
Exact source revision recorded 23 Oct 2026 15:48:27 UTC. It does not establish the source's current position. Latest evidence.
Explicit identifiers and source references
These records connect through source-stated identifiers. Shared identifiers or dates alone do not establish shared exposure, root cause or applicability.
CVE-2026-72844 · Microsoft / collected KEV context
cve-program · CVE-2026-72844
- https://github.com/leanprover/lean4/issues/14576
- https://github.com/leanprover/lean4/commit/a39eab69e1eee9ad38f4efe507907b1026a77808
- https://github.com/leanprover/lean4/pull/14577
- https://github.com/endrazine/lean-cve-poc
- https://github.com/xrchz/CollatzLean
- https://www.openwall.com/lists/oss-security/2026/08/02/1
- https://github.com/leanprover/lean4
- https://www.vulncheck.com/advisories/lean-4-kernel-type-checking-bypass-via-mismatched-structure-projections
Current operational correlations are not mixed into this historical source record. Open latest evidence to discover current connections.