{
  "prefix": {
    "pe": "https://proofengine.info/proofs/local-cepheid-variable-measurements-of-the-hubble/",
    "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": "Local Cepheid-variable measurements of the Hubble constant exceed 72 km s\u207b\u00b9 Mpc\u207b\u00b9 while the 2018 Planck CMB inference yields a value below 68 km s\u207b\u00b9 Mpc\u207b\u00b9.",
      "prov:value": "Local Cepheid-variable measurements of the Hubble constant exceed 72 km s\u207b\u00b9 Mpc\u207b\u00b9 while the 2018 Planck CMB inference yields a value below 68 km s\u207b\u00b9 Mpc\u207b\u00b9."
    },
    "pe:evidence-B1": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "SH0ES H\u2080 measurement (Riess et al. 2022, arXiv)",
      "pe:factId": "B1",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://arxiv.org/abs/2112.04510",
      "pe:sourceName": "Riess et al. 2022 (arXiv:2112.04510)"
    },
    "pe:evidence-B2": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "SH0ES H\u2080 measurement (Riess et al. 2022, IOPscience)",
      "pe:factId": "B2",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://iopscience.iop.org/article/10.3847/2041-8213/ac5c5b",
      "pe:sourceName": "Riess et al. 2022 (ApJL 934 L7, IOPscience)"
    },
    "pe:evidence-B3": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Planck 2018 H\u2080 inference (Planck Collaboration, arXiv)",
      "pe:factId": "B3",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://arxiv.org/abs/1807.06209",
      "pe:sourceName": "Planck Collaboration 2018 (arXiv:1807.06209)"
    },
    "pe:evidence-B4": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Planck 2018 H\u2080 inference (ESA Science Portal)",
      "pe:factId": "B4",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://sci.esa.int/web/planck/-/60504-measurements-of-the-hubble-constant",
      "pe:sourceName": "ESA Planck Science Portal"
    },
    "pe:evidence-A1": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC1: SH0ES H\u2080 > 72 km/s/Mpc",
      "pe:factId": "A1",
      "pe:evidenceType": "computed",
      "pe:method": "compare(73.04, '>', 72)",
      "pe:result": "True"
    },
    "pe:evidence-A2": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "SC2: Planck H\u2080 < 68 km/s/Mpc",
      "pe:factId": "A2",
      "pe:evidenceType": "computed",
      "pe:method": "compare(67.4, '<', 68)",
      "pe:result": "True"
    },
    "pe:evidence-A3": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "Cross-check: SH0ES values agree across sources",
      "pe:factId": "A3",
      "pe:evidenceType": "computed",
      "pe:method": "cross_check(h0_shoes_arxiv, h0_shoes_iop, tolerance=0.01)",
      "pe:result": "Agreement: True (73.04 vs 73.04)"
    },
    "pe:evidence-A4": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "Cross-check: Planck values agree across sources",
      "pe:factId": "A4",
      "pe:evidenceType": "computed",
      "pe:method": "cross_check(h0_planck_arxiv, h0_planck_esa, tolerance=0.01)",
      "pe:result": "Agreement: True (67.4 vs 67.4)"
    },
    "pe:verdict": {
      "prov:type": "pe:Verdict",
      "prov:label": "Verdict: PROVED",
      "prov:value": "PROVED",
      "pe:qualifier": "unverified_citations",
      "pe:doi": "10.5281/zenodo.19455673"
    }
  },
  "activity": {
    "pe:verify-B1": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B1: Riess et al. 2022 (arXiv:2112.04510)",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B2": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B2: Riess et al. 2022 (ApJL 934 L7, IOPscience)",
      "pe:status": "not_found",
      "pe:method": null,
      "pe:fetchMode": "live"
    },
    "pe:verify-B3": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B3: Planck Collaboration 2018 (arXiv:1807.06209)",
      "pe:status": "not_found",
      "pe:method": null,
      "pe:fetchMode": "live"
    },
    "pe:verify-B4": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B4: ESA Planck Science Portal",
      "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-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"
    },
    "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"
    }
  }
}