CVE-2026-72714

6.8 MEDIUM 0.2% exploit odds Fix listed Other OS & kernel

What it is

Rocq Prover does not restore the universe graph's copy of the universe checking flag when a module that locally disabled the check is closed. Local Unset Universe Checking inside a module is expected to last only until the module ends, and the global flag is restored, but the universe graph keeps its own copy which is left disabled. The two views then disagree: Test Universe Checking reports the check as enabled while the kernel continues to accept universe-inconsistent terms. With the constraint between two universes no longer enforced, Hurkens' paradox applies and yields a proof of False, from which any proposition follows. The proof uses no axioms, plugins or unsafe features once the module has closed, and Print Assumptions reports it as closed under the global context, so neither the assumption audit nor the flag query reflects the actual kernel state. No fix is available.

At a glance

Exploitability: Can be exploited locally on the machine without logging in, but needs a user to act. High risk of data tampering.
Exploit odds: 0.2% chance of exploitation in the next 30 days (EPSS).
Fix: A patch, advisory or fixed version is referenced. Upgrade or apply it.

Timeline

2026-08-24 20:17 UTC PublishedDisclosed publicly on CVE.org and NVD
2026-10-26 02:17 UTC Last updatedMost recent change to the record

Why it ranks here

Exploited in the wild: no, CISA does not list it.
Exploit odds: 0.2% in the next 30 days (EPSS).
Severity: 6.8 MEDIUM (CVSS).
Fix: a patch or advisory is linked.

Details

Published: 2026-08-24 20:17 UTC
Last modified: 2026-10-26 02:17 UTC
Exploit probability: 0.2% · EPSS, next 30 days
Weakness: CWE-459
Record status: Deferred

Attack profile CVSS 4.0 · 6.8

Attack vector: Local
Complexity: Low
Attack requirements: None
Privileges needed: None
User interaction: Passive
Confidentiality: None
Integrity: High
Availability: None

Raw vector

CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X

Is it in your code?

Hand this to your coding agent. It searches your project for the affected products and checks versions. Nothing leaves your machine.

Read https://cve-list.com/agent/cve/CVE-2026-72714.md and follow it. Check whether this project is affected by CVE-2026-72714. Read only. Don't change anything and don't upload my code. Tell me yes, no or not sure, with the file as proof.

· More options · Status badge

Download Square Reddit

References

NVD record · CVE.org record