CVE-2026-72704

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.

The guard checker in Rocq Prover does not recheck the recursive tree representation of an inductive type parameter after that parameter has been changed by transport. A fixpoint may apply a rewrite along an equality between types to its recursive argument, which the guard checker accepts because the inductive type is preserved, while the recursive tree recorded for the parameter is altered. A second fixpoint that calls the first inherits the altered recursive tree without verification, so a call that is not structurally decreasing is accepted as terminating. The resulting non-terminating definition proves that a natural number equals its own successor and therefore False, from which any proposition follows. The demonstration uses two axioms that follow from univalence and are consistent with the calculus of inductive constructions, so the contradiction comes from the guard check rather than from the assumptions. A fix is proposed but not merged.

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 (5)

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

Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport | Advisories | VulnCheck

https://www.vulncheck.com/advisories/rocq-prover-through-guard-checker-trusts-corrupted-recursive-tree-after-transport
github_pr

Restrict Head Analysis for Match Subterm analysis

Upstream fix in progress (PR #22027 · rocq-prover/rocq, state=open)

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

Guard is inconsistent with univalence: fixpoints can alter rtrees and aren't rechecked · Issue #22024 · rocq-prover/rocq · GitHub

https://github.com/rocq-prover/rocq/issues/22024
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-22024 · GitHub

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

Vendor Advisories for CVE-2026-72704(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 17× 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-19 01:34 UTCEG score recompute
  2. 2026-09-19 01:33 UTCGHSA enrichment
  3. 2026-09-18 19:28 UTCEPSS rescore
  4. 2026-09-18 03:20 UTCGHSA enrichment
  5. 2026-09-17 05:06 UTCEG score recompute
  6. 2026-09-17 05:06 UTCGHSA enrichment
  7. 2026-09-16 14:08 UTCEPSS rescore
  8. 2026-09-16 06:52 UTCEG score recompute
  9. 2026-09-16 06:52 UTCGHSA enrichment
  10. 2026-09-16 05:15 UTCEPSS rescore
  11. 2026-09-15 08:39 UTCEG score recompute
  12. 2026-09-15 08:39 UTCGHSA enrichment
  13. 2026-09-15 03:12 UTCEPSS rescore
  14. 2026-09-14 10:25 UTCEG score recompute
  15. 2026-09-14 10:25 UTCGHSA enrichment
  16. 2026-09-13 12:12 UTCGHSA enrichment
  17. 2026-09-12 13:59 UTCGHSA enrichment
  18. 2026-09-11 15:45 UTCEG score recompute
  19. 2026-09-11 15:45 UTCGHSA enrichment
  20. 2026-09-11 14:53 UTCEPSS rescore
  21. 2026-09-10 17:22 UTCEG score recompute
  22. 2026-09-10 17:22 UTCGHSA enrichment
  23. 2026-09-10 09:35 UTCEPSS rescore
  24. 2026-09-09 19:07 UTCEG score recompute
  25. 2026-09-09 19:07 UTCGHSA enrichment
Show 47 more
  1. 2026-09-08 22:01 UTCEPSS rescore
  2. 2026-09-08 20:52 UTCEG score recompute
  3. 2026-09-08 20:52 UTCGHSA enrichment
  4. 2026-09-07 18:40 UTCEG score recompute
  5. 2026-09-07 18:40 UTCGHSA enrichment
  6. 2026-09-06 20:27 UTCEG score recompute
  7. 2026-09-06 20:27 UTCGHSA enrichment
  8. 2026-09-06 13:48 UTCEPSS rescore
  9. 2026-09-05 22:13 UTCGHSA enrichment
  10. 2026-09-04 23:59 UTCEG score recompute
  11. 2026-09-04 23:59 UTCGHSA enrichment
  12. 2026-09-04 01:45 UTCGHSA enrichment
  13. 2026-09-03 03:29 UTCGHSA enrichment
  14. 2026-09-02 05:11 UTCEG score recompute
  15. 2026-09-02 05:11 UTCGHSA enrichment
  16. 2026-09-01 13:54 UTCEPSS rescore
  17. 2026-09-01 06:54 UTCEG score recompute
  18. 2026-09-01 06:53 UTCGHSA enrichment
  19. 2026-09-01 04:40 UTCEPSS rescore
  20. 2026-09-01 04:40 UTCEPSS rescore
  21. 2026-08-31 08:39 UTCEG score recompute
  22. 2026-08-31 08:39 UTCGHSA enrichment
  23. 2026-08-30 19:18 UTCEPSS rescore
  24. 2026-08-30 19:17 UTCEPSS rescore
  25. 2026-08-30 10:13 UTCEG score recompute
  26. 2026-08-30 10:13 UTCGHSA enrichment
  27. 2026-08-30 01:22 UTCEPSS rescore
  28. 2026-08-29 12:00 UTCEG score recompute
  29. 2026-08-29 11:59 UTCGHSA enrichment
  30. 2026-08-29 10:22 UTCEG score recompute
  31. 2026-08-29 10:22 UTCGHSA enrichment
  32. 2026-08-28 21:42 UTCEPSS rescore
  33. 2026-08-28 12:07 UTCEG score recompute
  34. 2026-08-28 12:07 UTCGHSA enrichment
  35. 2026-08-27 14:25 UTCEPSS rescore
  36. 2026-08-27 13:54 UTCGHSA enrichment
  37. 2026-08-26 15:40 UTCEG score recompute
  38. 2026-08-26 15:40 UTCGHSA enrichment
  39. 2026-08-26 14:47 UTCEPSS rescore
  40. 2026-08-25 17:25 UTCEG score recompute
  41. 2026-08-25 17:25 UTCGHSA enrichment
  42. 2026-08-25 17:01 UTCEG score recompute
  43. 2026-08-25 17:00 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-72704?
CVE-2026-72704 is a medium vulnerability published on August 24, 2026. The guard checker in Rocq Prover does not recheck the recursive tree representation of an inductive type parameter after that parameter has been changed by transport. A fixpoint may apply a rewrite along an equality between types to its recursive argument, which the guard checker accepts because…
When was CVE-2026-72704 disclosed?
CVE-2026-72704 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-72704 actively exploited?
CVE-2026-72704 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-72704?
CVE-2026-72704 has a CVSS v3 base score of 6.3 (NVD).
How do I remediate CVE-2026-72704?
Patch to the fixed version published by the affected vendor. Where vendor advisories exist for CVE-2026-72704, 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-72704

Explore →

Is Your Infrastructure Affected by CVE-2026-72704?

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

Start Free Scan →Browse All CVEs