{
  "prefix": {
    "pe": "https://proofengine.info/proofs/ai-generated-code-has-fewer-security-vulnerabiliti/",
    "prov": "http://www.w3.org/ns/prov#",
    "xsd": "http://www.w3.org/2001/XMLSchema#",
    "schema": "http://schema.org/"
  },
  "entity": {
    "pe:claim": {
      "prov:type": "pe:Claim",
      "prov:label": "AI-generated code has fewer security vulnerabilities than typical human-written code",
      "prov:value": "AI-generated code has fewer security vulnerabilities than typical human-written code"
    },
    "pe:evidence-B1": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Stanford CCS 2023: AI assistant users wrote significantly less secure code",
      "pe:factId": "B1",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://arxiv.org/html/2211.03622v3",
      "pe:sourceName": "Perry et al., ACM CCS 2023 (Stanford University)"
    },
    "pe:evidence-B2": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Veracode 2025: 45% of AI code contains OWASP vulnerabilities",
      "pe:factId": "B2",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://www.helpnetsecurity.com/2025/08/07/create-ai-code-security-risks/",
      "pe:sourceName": "Help Net Security / Veracode 2025 GenAI Code Security Report"
    },
    "pe:evidence-B3": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "CodeRabbit Dec 2025: AI PRs have 1.7x more issues, security up to 2.74x higher",
      "pe:factId": "B3",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://www.coderabbit.ai/blog/state-of-ai-vs-human-code-generation-report",
      "pe:sourceName": "CodeRabbit State of AI vs Human Code Generation Report (Dec 2025)"
    },
    "pe:evidence-B4": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "The Register/Georgia Tech 2026: 74 CVEs from AI-authored code tracked",
      "pe:factId": "B4",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://www.theregister.com/2026/03/26/ai_coding_assistant_not_more_secure/",
      "pe:sourceName": "The Register / Georgia Tech SSLab (Mar 2026)"
    },
    "pe:evidence-A1": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "Verified source count rejecting the claim",
      "pe:factId": "A1",
      "pe:evidenceType": "computed",
      "pe:method": "count(verified citations) = 4",
      "pe:result": "4"
    },
    "pe:verdict": {
      "prov:type": "pe:Verdict",
      "prov:label": "Verdict: DISPROVED",
      "prov:value": "DISPROVED",
      "pe:qualifier": "unverified_citations"
    }
  },
  "activity": {
    "pe:verify-B1": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B1: Perry et al., ACM CCS 2023 (Stanford University)",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B2": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B2: Help Net Security / Veracode 2025 GenAI Code Security Report",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B3": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B3: CodeRabbit State of AI vs Human Code Generation Report (Dec 2025)",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B4": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B4: The Register / Georgia Tech SSLab (Mar 2026)",
      "pe:status": "partial",
      "pe:method": "fragment",
      "pe:fetchMode": "live"
    },
    "pe:determine-verdict": {
      "prov:type": "pe:VerdictDetermination",
      "prov:label": "Determine verdict from evidence",
      "prov:endTime": "2026-03-29"
    }
  },
  "agent": {
    "pe:proof-engine": {
      "prov:type": "prov:SoftwareAgent",
      "prov:label": "Proof Engine",
      "schema:version": "1.2.0",
      "schema:url": "https://github.com/yaniv-golan/proof-engine"
    }
  },
  "wasGeneratedBy": {
    "pe:gen-B1": {
      "prov:entity": "pe:evidence-B1",
      "prov:activity": "pe:verify-B1"
    },
    "pe:gen-B2": {
      "prov:entity": "pe:evidence-B2",
      "prov:activity": "pe:verify-B2"
    },
    "pe:gen-B3": {
      "prov:entity": "pe:evidence-B3",
      "prov:activity": "pe:verify-B3"
    },
    "pe:gen-B4": {
      "prov:entity": "pe:evidence-B4",
      "prov:activity": "pe:verify-B4"
    },
    "pe:gen-verdict": {
      "prov:entity": "pe:verdict",
      "prov:activity": "pe:determine-verdict"
    }
  },
  "wasDerivedFrom": {},
  "wasAttributedTo": {
    "pe:attr-verdict": {
      "prov:entity": "pe:verdict",
      "prov:agent": "pe:proof-engine"
    }
  },
  "used": {
    "pe:used-B1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B1"
    },
    "pe:used-B2": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B2"
    },
    "pe:used-B3": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B3"
    },
    "pe:used-B4": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-B4"
    },
    "pe:used-A1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A1"
    }
  }
}