{"items":[{"id":"NVI-00015960","kind":"vulnerability","title":"The guard checker in Rocq Prover treats a parameter of a nested mutual fixpoint as uniform...","revision":2,"unknowns":["Customer inventory, deployment, reachability and exploitation have not been inspected.","NVD lastModified does not establish freshness of every associated CPE record."],"lifecycle":"active","identifiers":["GHSA-q4cf-fp8g-gjg9","CVE-2026-72703"],"plain_summary":"GitHub lists this unreviewed advisory for the named component. Published version ranges and source prerequisites are shown below; this is not an inspection of a visitor’s application.","review_status":"source_listed","control_topics":[],"public_actions":[{"summary":"Identify the exact component and deployed version, examine the linked publisher’s conditions, and retain evidence of any mitigation.","source_ids":["sr-24d5aa4e97316dca39e779cc4ba56927"],"action_type":"investigate","limitations":"Confirm current vendor support, compatibility and deployment evidence. This report has not tested a fix in your system.","current_supported_target":null}],"schema_version":"1.1.0","source_metrics":[{"kind":"CVSS","as_of":"2026-10-26T03:31:27.000Z","value":"6.3 medium","meaning":"GitHub source severity; exploitability and local consequence require separate evidence.","source_id":"sr-0f56df6c420f657a3779531b8c61aec7"},{"kind":"CVSS","as_of":"2026-10-26T02:17:07.063Z","value":"6.3 MEDIUM (3.1)","meaning":"disclosure@vulncheck.com severity; no combined Null risk score.","source_id":"sr-24d5aa4e97316dca39e779cc4ba56927"},{"kind":"CVSS","as_of":"2026-10-26T02:17:07.063Z","value":"6.8 MEDIUM (4.0)","meaning":"disclosure@vulncheck.com severity; no combined Null risk score.","source_id":"sr-24d5aa4e97316dca39e779cc4ba56927"}],"why_it_matters":"Published affected context helps an owner decide what evidence to gather. This report has not examined your application.","related_sources":[{"id":"sr-0f56df6c420f657a3779531b8c61aec7","url":"https://github.com/advisories/GHSA-q4cf-fp8g-gjg9","basis":"vendor_advisory","notes":"GitHub Advisory Database; CC-BY-4.0. Each advisory links its original attribution. Null normalizes fields.","title":"GHSA-q4cf-fp8g-gjg9","publisher":"GitHub Advisory Database","observed_at":"2026-11-03T22:35:54.335Z"},{"id":"sr-24d5aa4e97316dca39e779cc4ba56927","url":"https://nvd.nist.gov/vuln/detail/CVE-2026-72703","basis":"official_catalog","notes":"This product uses data from the NVD API but is not endorsed or certified by the NVD.","title":"CVE-2026-72703","publisher":"NIST National Vulnerability Database","observed_at":"2026-11-08T15:08:07.832Z"}],"affected_context":[],"null_published_at":"2026-11-08T19:53:44.041Z","source_updated_at":"2026-10-26T03:31:27.000Z","source_disclosed_at":"2026-08-24T21:33:43.000Z","is_synthetic_fixture":false,"null_last_reviewed_at":null,"public_change_summary":"Source facts changed; compare the preserved prior revision.","null_first_observed_at":"2026-11-03T22:35:54.335Z"},{"id":"NVI-00015960","kind":"vulnerability","title":"The guard checker in Rocq Prover treats a parameter of a nested mutual fixpoint as uniform...","revision":1,"unknowns":["Customer inventory, deployment, reachability and exploitation have not been inspected."],"lifecycle":"active","identifiers":["GHSA-q4cf-fp8g-gjg9","CVE-2026-72703"],"plain_summary":"GitHub lists this unreviewed advisory for the named component. Published version ranges and source prerequisites are shown below; this is not an inspection of a visitor’s application.","review_status":"source_listed","control_topics":[],"public_actions":[{"summary":"Identify the exact component and deployed version, examine the linked publisher’s conditions, and retain evidence of any mitigation.","source_ids":["sr-0f56df6c420f657a3779531b8c61aec7"],"action_type":"investigate","limitations":"Confirm current vendor support, compatibility and deployment evidence. This report has not tested a fix in your system.","current_supported_target":null}],"schema_version":"1.1.0","source_metrics":[{"kind":"CVSS","as_of":"2026-10-26T03:31:27.000Z","value":"6.3 medium","meaning":"GitHub source severity; exploitability and local consequence require separate evidence.","source_id":"sr-0f56df6c420f657a3779531b8c61aec7"}],"why_it_matters":"Published affected context helps an owner decide what evidence to gather. This report has not examined your application.","related_sources":[{"id":"sr-0f56df6c420f657a3779531b8c61aec7","url":"https://github.com/advisories/GHSA-q4cf-fp8g-gjg9","basis":"vendor_advisory","notes":"GitHub Advisory Database; CC-BY-4.0. Each advisory links its original attribution. Null normalizes fields.","title":"GHSA-q4cf-fp8g-gjg9","publisher":"GitHub Advisory Database","observed_at":"2026-11-03T22:35:54.335Z"}],"affected_context":[],"null_published_at":"2026-11-04T02:53:12.383Z","source_updated_at":"2026-10-26T03:31:27.000Z","source_disclosed_at":"2026-08-24T21:33:43.000Z","is_synthetic_fixture":false,"null_last_reviewed_at":null,"public_change_summary":"First indexed by Null; source disclosure date is shown separately.","null_first_observed_at":"2026-11-03T22:35:54.335Z"}],"next_cursor":null,"snapshot_revision":"42594"}