CVE-2026-72714

MEDIUMPre-NVD 6.36.3—
EchelonGraph scoreHIGH confidence

Score 6.3 from GitHub Security Advisory published 2026-08-24. a secondary CVSS source baseline 6.3; sources differ by 0.0.

Triggered by: GitHub Security Advisory CVSS
Sources: epss, ghsa, secondary
Trending — 3 sources updated this weekElevated
6.3EG
EchelonGraph verdictMonitorLow exploitation likelihood right now — keep watching.
  • Lower severity and no public exploit yet
CISA-KEV: Not listedEPSS PROB: 0%CVSS: 6.3Exploit: Elevated riskExposed: 0

No vendor fix yet — apply a workaround or compensating control (WAF / firewall / segmentation) and watch for a patch.

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.

CVSS v3
6.3
EG Score
6.3(high)
EG Risk
44(Track)
EG Risk 44/100SSVC: Track

EG Risk is EchelonGraph's 0–100 priority score: it fuses intrinsic severity with real-world exploitation and automatability so you can rank equal-severity CVEs and fix the most dangerous first. Higher = act sooner. Distinct from the 0–10 EG Score (severity).

How it’s computed
Severity63% × 45%
Exploitation40% × 40%
Automatability0% × 15%
Action: Routine — remediate on your standard cadence.
EPSS PROB
0%
EPSS %ILE
2%
KEV
Not listed

Published

August 24, 2026

Last Modified

September 8, 2026

Advisory Details (4)

Auto-updated Aug 24, 2026
No patch confirmed yet.
generic

Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close | Advisories | VulnCheck

https://www.vulncheck.com/advisories/rocq-prover-through-universe-checking-state-desynchronised-after-module-close
generic

Universe checking state gets confused when locally changed in module · Issue #22287 · rocq-prover/rocq · GitHub

https://github.com/rocq-prover/rocq/issues/22287
generic

GitHub - rocq-prover/rocq: The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. · GitHub

https://github.com/rocq-prover/rocq
generic

GitHub - endrazine/rocq-cve-poc-22287 · GitHub

https://github.com/endrazine/rocq-cve-poc-22287

Vendor Advisories for CVE-2026-72714(1)

These vendors published their own advisory mentioning this CVE — often with vendor-specific remediation steps + affected product lists not in NVD.

Weakness Classification(1)

MITRE Common Weakness Enumeration — the root-cause categories this CVE belongs to.

Data Freshness Timeline

(refreshed 18× in last 7d / 72× in last 30d)

Each row is a source pipeline that fetched or updated this CVE on that date, with what changed. For example, "NVD update" means NVD published or revised its analysis for this CVE; "MITRE cvelistV5" means we ingested or refreshed it from the CNA feed. Most recent first.

  1. 2026-09-18 23:17 UTCEG score recompute
  2. 2026-09-18 23:17 UTCGHSA enrichment
  3. 2026-09-18 19:28 UTCEPSS rescore
  4. 2026-09-18 01:20 UTCEG score recompute
  5. 2026-09-18 01:20 UTCGHSA enrichment
  6. 2026-09-17 03:22 UTCEG score recompute
  7. 2026-09-17 03:22 UTCGHSA enrichment
  8. 2026-09-16 14:08 UTCEPSS rescore
  9. 2026-09-16 05:15 UTCEPSS rescore
  10. 2026-09-16 04:39 UTCGHSA enrichment
  11. 2026-09-15 06:41 UTCEG score recompute
  12. 2026-09-15 06:41 UTCGHSA enrichment
  13. 2026-09-15 03:12 UTCEPSS rescore
  14. 2026-09-14 08:41 UTCEG score recompute
  15. 2026-09-14 08:41 UTCGHSA enrichment
  16. 2026-09-13 10:44 UTCEG score recompute
  17. 2026-09-13 10:44 UTCGHSA enrichment
  18. 2026-09-12 15:02 UTCEPSS rescore
  19. 2026-09-12 12:46 UTCEG score recompute
  20. 2026-09-12 12:46 UTCGHSA enrichment
  21. 2026-09-11 14:53 UTCEPSS rescore
  22. 2026-09-11 14:48 UTCEG score recompute
  23. 2026-09-11 14:47 UTCGHSA enrichment
  24. 2026-09-10 16:49 UTCEG score recompute
  25. 2026-09-10 16:49 UTCGHSA enrichment
Show 47 more
  1. 2026-09-10 09:35 UTCEPSS rescore
  2. 2026-09-09 18:51 UTCEG score recompute
  3. 2026-09-09 18:51 UTCGHSA enrichment
  4. 2026-09-08 22:01 UTCEPSS rescore
  5. 2026-09-08 20:52 UTCEG score recompute
  6. 2026-09-08 20:52 UTCGHSA enrichment
  7. 2026-09-07 15:20 UTCGHSA enrichment
  8. 2026-09-06 16:47 UTCEG score recompute
  9. 2026-09-06 16:47 UTCGHSA enrichment
  10. 2026-09-06 13:48 UTCEPSS rescore
  11. 2026-09-05 18:49 UTCGHSA enrichment
  12. 2026-09-04 20:51 UTCEG score recompute
  13. 2026-09-04 20:51 UTCGHSA enrichment
  14. 2026-09-04 05:07 UTCEPSS rescore
  15. 2026-09-03 22:25 UTCGHSA enrichment
  16. 2026-09-03 00:27 UTCEG score recompute
  17. 2026-09-03 00:27 UTCGHSA enrichment
  18. 2026-09-02 14:12 UTCEPSS rescore
  19. 2026-09-02 02:18 UTCEG score recompute
  20. 2026-09-02 02:18 UTCGHSA enrichment
  21. 2026-09-01 13:54 UTCEPSS rescore
  22. 2026-09-01 04:40 UTCEPSS rescore
  23. 2026-09-01 04:40 UTCEPSS rescore
  24. 2026-09-01 04:20 UTCGHSA enrichment
  25. 2026-08-31 06:21 UTCEG score recompute
  26. 2026-08-31 06:20 UTCGHSA enrichment
  27. 2026-08-30 19:18 UTCEPSS rescore
  28. 2026-08-30 19:17 UTCEPSS rescore
  29. 2026-08-30 08:23 UTCGHSA enrichment
  30. 2026-08-29 10:24 UTCEG score recompute
  31. 2026-08-29 10:23 UTCGHSA enrichment
  32. 2026-08-28 21:42 UTCEPSS rescore
  33. 2026-08-28 12:26 UTCGHSA enrichment
  34. 2026-08-27 14:27 UTCEG score recompute
  35. 2026-08-27 14:27 UTCGHSA enrichment
  36. 2026-08-27 14:25 UTCEPSS rescore
  37. 2026-08-26 16:26 UTCEG score recompute
  38. 2026-08-26 16:26 UTCGHSA enrichment
  39. 2026-08-26 14:47 UTCEPSS rescore
  40. 2026-08-25 18:28 UTCEG score recompute
  41. 2026-08-25 18:28 UTCGHSA enrichment
  42. 2026-08-25 17:56 UTCEG score recompute
  43. 2026-08-25 17:56 UTCGHSA enrichment
  44. 2026-08-25 13:49 UTCEPSS rescore
  45. 2026-08-24 20:25 UTCEG score recompute
  46. 2026-08-24 20:11 UTCEG score recompute
  47. 2026-08-24 20:11 UTCMITRE cvelistV5first tracked

Frequently asked(5)

What is CVE-2026-72714?
CVE-2026-72714 is a medium vulnerability published on August 24, 2026. 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…
When was CVE-2026-72714 disclosed?
CVE-2026-72714 was first published in the National Vulnerability Database on August 24, 2026, with the most recent update on September 8, 2026. EchelonGraph re-ingests CVE updates from NVD on a 2-hour cycle, so this page reflects the latest published state.
Is CVE-2026-72714 actively exploited?
CVE-2026-72714 is not currently on CISA's Known Exploited Vulnerabilities catalog. FIRST EPSS estimates a 0% probability of exploitation in the next 30 days, which ranks it in the top 97.9% of all scored CVEs.
What is the CVSS score of CVE-2026-72714?
CVE-2026-72714 has a CVSS v3 base score of 6.3 (NVD).
How do I remediate CVE-2026-72714?
Patch to the fixed version published by the affected vendor. Where vendor advisories exist for CVE-2026-72714, EchelonGraph cross-links them in the Vendor Advisories panel below — those typically contain the canonical remediation steps, fixed version numbers, and any vendor-specific mitigations.

Dependency Blast Radius

Explore the affected products and dependency analysis for CVE-2026-72714

Explore →

Is Your Infrastructure Affected by CVE-2026-72714?

EchelonGraph automatically scans your cloud infrastructure and maps CVE exposure using blast radius analysis.

Start Free Scan →Browse All CVEs