{
  "prefix": {
    "pe": "https://proofengine.info/proofs/the-theoretical-vacuum-energy-density-from-quantum/",
    "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": "The theoretical vacuum energy density from quantum field theory exceeds the observed cosmological-constant value inferred from Type Ia supernovae by more than \\(10^{120}\\) orders of magnitude.",
      "prov:value": "The theoretical vacuum energy density from quantum field theory exceeds the observed cosmological-constant value inferred from Type Ia supernovae by more than \\(10^{120}\\) orders of magnitude."
    },
    "pe:evidence-B1": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Observed vacuum energy density from Planck satellite (Wikipedia, Cosmological constant problem)",
      "pe:factId": "B1",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/Cosmological_constant_problem",
      "pe:sourceName": "Wikipedia \u2014 Cosmological constant problem"
    },
    "pe:evidence-B2": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Observed dark energy density (Wikipedia, Dark energy)",
      "pe:factId": "B2",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/Dark_energy",
      "pe:sourceName": "Wikipedia \u2014 Dark energy"
    },
    "pe:evidence-B3": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Observed vacuum energy in GeV^4 units (CosmoVerse)",
      "pe:factId": "B3",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://cosmoversetensions.eu/learn-cosmology/quantum-vacuum-the-cosmological-constant-problem/",
      "pe:sourceName": "CosmoVerse COST Action \u2014 Quantum vacuum: the cosmological constant problem"
    },
    "pe:evidence-A1": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "QFT vacuum energy density with Planck cutoff (computed from fundamental constants)",
      "pe:factId": "A1",
      "pe:evidenceType": "computed",
      "pe:method": "M_P^4 / (16*pi^2) with Planck cutoff, converted to J/m^3",
      "pe:result": "2.9338e+111 J/m^3"
    },
    "pe:evidence-A2": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "Ratio of theoretical to observed vacuum energy density",
      "pe:factId": "A2",
      "pe:evidenceType": "computed",
      "pe:method": "rho_QFT / rho_obs",
      "pe:result": "5.4771e+120 (ratio)"
    },
    "pe:evidence-A3": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "Number of orders of magnitude in the discrepancy",
      "pe:factId": "A3",
      "pe:evidenceType": "computed",
      "pe:method": "log10(ratio)",
      "pe:result": "120.74 orders of magnitude"
    },
    "pe:evidence-A4": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "Cross-check: ratio computed in GeV^4 units",
      "pe:factId": "A4",
      "pe:evidenceType": "computed",
      "pe:method": "log10(rho_QFT_GeV4 / rho_obs_GeV4) [cross-check]",
      "pe:result": "121.15 orders of magnitude"
    },
    "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: Wikipedia \u2014 Cosmological constant problem",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B2": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B2: Wikipedia \u2014 Dark energy",
      "pe:status": "partial",
      "pe:method": "fragment",
      "pe:fetchMode": "live"
    },
    "pe:verify-B3": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B3: CosmoVerse COST Action \u2014 Quantum vacuum: the cosmological constant problem",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:determine-verdict": {
      "prov:type": "pe:VerdictDetermination",
      "prov:label": "Determine verdict from evidence",
      "prov:endTime": "2026-03-28"
    }
  },
  "agent": {
    "pe:proof-engine": {
      "prov:type": "prov:SoftwareAgent",
      "prov:label": "Proof Engine",
      "schema:version": "0.10.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-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-A1": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A1"
    },
    "pe:used-A2": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A2"
    },
    "pe:used-A3": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A3"
    },
    "pe:used-A4": {
      "prov:activity": "pe:determine-verdict",
      "prov:entity": "pe:evidence-A4"
    }
  }
}