CVE-2026-72714

MEDIUMPre-NVD 6.36.3
EchelonGraph scoreMEDIUM confidence

“—” beside the score: it is equal to the CVSS score beside it.

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, GitHub Security Advisory, a secondary CVSS source
Trending — 3 sources updated this weekElevated
6.3EG
EchelonGraph verdictPlan mitigationRemediate within your standard update timelines (the SSVC decision on this page).
  • CISA's Vulnrichment rates exploitation as PoC; EchelonGraph holds no exploit-code reference for it
CISA-KEV: Not listedEPSS PROB: 0.2%CVSS: 6.3Exploit: No code on recordExposed services: Not assessed

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

The CVE record's CNA (VulnCheck) lists rocq-prover rocq versions up to and including 9.2.0 as affected. No release containing a fix is confirmed on record.

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.3MEDIUMmedium confidence
EG Risk
44
EG Risk 44/100

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 (value × EchelonGraph’s weight)
Severity63% × 45%
The EG Score, 6.3 of 10.
Exploitation40% × 40%
EchelonGraph's fixed weight for EG-KEV Tier 3 (Elevated): a constant, not a probability.
Automatability0% × 15%
CISA's SSVC Automatable value: no (Vulnrichment).
SSVC (CISA's decision table, applied by EchelonGraph): Track at low or medium mission impact; Track* at high (mission-essential systems).
Exploitation public PoC (CISA Vulnrichment) · Automatable no (CISA Vulnrichment) · Technical impact partial (CISA Vulnrichment). All three are CISA's SSVC values (Vulnrichment). EchelonGraph applied CISA's decision table to them; CISA publishes SSVC inputs and the table, not a decision for each CVE.
Action: No fix is confirmed yet. Restrict network exposure of the affected system or apply the vendor's mitigation within your standard update timelines, and watch the vendor's advisory for the fix.
EPSS PROB
0.2%
EPSS %ILE
6th
KEV
Not listed

SSVC (CISA's decision table, applied by EchelonGraph)Track at low or medium mission impact; Track* at high (mission-essential systems).

No fix is confirmed yet. Restrict network exposure of the affected system or apply the vendor's mitigation within your standard update timelines, and watch the vendor's advisory for the fix.

Exploitation public PoC (CISA Vulnrichment) · Automatable no (CISA Vulnrichment) · Technical impact partial (CISA Vulnrichment). All three are CISA's SSVC values (Vulnrichment). EchelonGraph applied CISA's decision table to them; CISA publishes SSVC inputs and the table, not a decision for each CVE. Mission impact is CISA's Mission & Well-being decision point, and only you can judge it. CISA's table makes it high when Mission Prevalence is Essential — the vulnerable component "directly provides capabilities that constitute at least one MEF for at least one entity" (MEF: mission essential function) — or when Public Well-Being Impact is Irreversible: "multiple fatalities are likely", the cyber-physical system "is likely lost or destroyed", "extreme or serious externalities" are imposed on other parties, or social systems such as elections or the financial grid "are destabilized and potentially collapse". CISA's decision table

BOD 26-04 (CISA's remediation timeline, Table 1)60 days if the affected system is publicly exposed; Fix on system upgrade if it is not.

In CISA KEV no (CISA's KEV catalog) · Automatable no (CISA Vulnrichment) · Technical impact partial (CISA Vulnrichment). Whether your system is publicly exposed is yours to answer. BOD 26-04 binds US Federal Civilian Executive Branch agencies; for anyone else it is CISA's published timeline, a reference rather than an obligation. The directive · how EchelonGraph applies it

Published

August 24, 2026

Last Modified

October 12, 2026

Advisory Details (4)

Auto-updated Aug 24, 2026
No fix on record yet.
Web page

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
Web page

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

https://github.com/rocq-prover/rocq/issues/22287
Web page

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
Web page

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 / 78× in last 30d)

Each row is a time one of our pipelines fetched, updated or re-scored this CVE. 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. An arrow marks a change the record states ("CVSS v3 → 9.1"); EPSS and GHSA rows show the values recorded at that time, not what changed (EPSS values are rounded; hover one for the exact figures). Most recent first.

Showing the most recent 100 of 137 refreshes on record for this CVE.

A repeat, a row identical to one the same pipeline wrote less than 10 seconds earlier, is not a separate refresh and is not counted. None are among the latest 100 rows. The 37 oldest rows on record are not shown and were not checked, so the counts can still include repeats.

  1. 2026-10-13 16:35 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  2. 2026-10-12 16:34 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  3. 2026-10-12 15:29 UTCEG score recompute
  4. 2026-10-12 15:29 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  5. 2026-10-11 19:27 UTCEG score recompute
  6. 2026-10-11 16:42 UTCEG score recompute
  7. 2026-10-11 14:02 UTCEG score recompute
  8. 2026-10-11 13:49 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  9. 2026-10-10 20:00 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  10. 2026-10-10 12:30 UTCEG score recompute
  11. 2026-10-10 12:30 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  12. 2026-10-09 20:07 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  13. 2026-10-09 04:41 UTCEG score recompute
  14. 2026-10-09 04:41 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  15. 2026-10-08 17:13 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  16. 2026-10-08 03:49 UTCEG score recompute
  17. 2026-10-08 03:49 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  18. 2026-10-07 23:48 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  19. 2026-10-07 01:11 UTCEG score recompute
  20. 2026-10-07 01:11 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  21. 2026-10-06 15:18 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  22. 2026-10-06 02:46 UTCEG score recompute
  23. 2026-10-06 02:46 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  24. 2026-10-05 17:43 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  25. 2026-10-05 01:26 UTCEG score recompute
Show 75 more
  1. 2026-10-05 01:26 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  2. 2026-10-04 23:22 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  3. 2026-10-04 02:18 UTCEG score recompute
  4. 2026-10-04 02:18 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  5. 2026-10-03 14:26 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  6. 2026-10-03 01:38 UTCEG score recompute
  7. 2026-10-03 01:38 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  8. 2026-10-02 03:40 UTCEG score recompute
  9. 2026-10-02 03:40 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  10. 2026-10-01 19:50 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  11. 2026-10-01 05:37 UTCEG score recompute
  12. 2026-10-01 05:37 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  13. 2026-09-30 06:59 UTCEG score recompute
  14. 2026-09-30 06:59 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  15. 2026-09-28 21:32 UTCEG score recompute
  16. 2026-09-28 21:32 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  17. 2026-09-28 13:52 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  18. 2026-09-27 20:13 UTCEG score recompute
  19. 2026-09-27 20:13 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  20. 2026-09-27 13:48 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  21. 2026-09-26 22:16 UTCEG score recompute
  22. 2026-09-26 22:16 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  23. 2026-09-26 15:59 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  24. 2026-09-25 13:03 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  25. 2026-09-24 14:58 UTCEG score recompute
  26. 2026-09-24 14:58 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  27. 2026-09-24 11:22 UTCEG score recompute
  28. 2026-09-24 11:22 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  29. 2026-09-23 17:54 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  30. 2026-09-23 13:25 UTCEG score recompute
  31. 2026-09-23 13:25 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  32. 2026-09-22 15:22 UTCEG score recompute
  33. 2026-09-22 15:22 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  34. 2026-09-21 21:09 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  35. 2026-09-21 17:24 UTCEG score recompute
  36. 2026-09-21 17:24 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  37. 2026-09-20 20:16 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  38. 2026-09-20 19:13 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  39. 2026-09-19 21:15 UTCEG score recompute
  40. 2026-09-19 21:15 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  41. 2026-09-18 23:17 UTCEG score recompute
  42. 2026-09-18 23:17 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  43. 2026-09-18 19:28 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  44. 2026-09-18 01:20 UTCEG score recompute
  45. 2026-09-18 01:20 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  46. 2026-09-17 03:22 UTCEG score recompute
  47. 2026-09-17 03:22 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  48. 2026-09-16 14:08 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  49. 2026-09-16 05:15 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  50. 2026-09-16 04:39 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  51. 2026-09-15 06:41 UTCEG score recompute
  52. 2026-09-15 06:41 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  53. 2026-09-15 03:12 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  54. 2026-09-14 08:41 UTCEG score recompute
  55. 2026-09-14 08:41 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  56. 2026-09-13 10:44 UTCEG score recompute
  57. 2026-09-13 10:44 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  58. 2026-09-12 15:02 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  59. 2026-09-12 12:46 UTCEG score recompute
  60. 2026-09-12 12:46 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  61. 2026-09-11 14:53 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  62. 2026-09-11 14:48 UTCEG score recompute
  63. 2026-09-11 14:47 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  64. 2026-09-10 16:49 UTCEG score recompute
  65. 2026-09-10 16:49 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  66. 2026-09-10 09:35 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  67. 2026-09-09 18:51 UTCEG score recompute
  68. 2026-09-09 18:51 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  69. 2026-09-08 22:01 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  70. 2026-09-08 20:52 UTCEG score recompute
  71. 2026-09-08 20:52 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  72. 2026-09-07 15:20 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  73. 2026-09-06 16:47 UTCEG score recompute
  74. 2026-09-06 16:47 UTCGHSA enrichmentGHSA-95gm-3748-rx8v · GitHub CVSS 6.3
  75. 2026-09-06 13:48 UTCEPSS rescoreEPSS 0.1% · 2nd percentile

Related CVEs(same CWE)

Frequently asked(5)

What is CVE-2026-72714?
CVE-2026-72714 is a medium-severity vulnerability; its CVE record was 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 made public?
CVE-2026-72714 was made public on July 16, 2026: that is the date its CVE record's CNA, VulnCheck, gives for when the vulnerability was made public. The CVE record itself was published on August 24, 2026. EchelonGraph's copy of the record carries a last-modified date of October 12, 2026; the record at its source may have been updated since.
Is CVE-2026-72714 actively exploited?
CVE-2026-72714 is not currently on CISA's Known Exploited Vulnerabilities catalog. FIRST EPSS estimates a 0.2% probability of exploitation in the next 30 days (6th percentile of EPSS-scored CVEs).
What is the CVSS score of CVE-2026-72714?
CVE-2026-72714 has a CVSS base score of 6.3 (a secondary CVSS source that NVD displays; NVD's own analysis pending).
How do I remediate CVE-2026-72714?
No fix for CVE-2026-72714 is confirmed yet. Until one is published, restrict network exposure of the affected system or apply the vendor's mitigation — for example, keep it off the internet or limit it to trusted networks — and watch the vendor's advisory for the fix. The CVE record's CNA (VulnCheck) lists rocq-prover rocq versions up to and including 9.2.0 as affected. No release containing a fix is confirmed on record. The vendor advisories EchelonGraph has for CVE-2026-72714 are linked in the Vendor Advisories panel on this page.

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.

Book a Demo →Browse All CVEs