{
  "prefix": {
    "pe": "https://proofengine.info/proofs/the-schwarzschild-radius-of-the-sun-calculated-via/",
    "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 Schwarzschild radius of the Sun calculated via rs = 2GM/c\u00b2 with 2022 CODATA values for G, solar mass, and c lies strictly between 2.95 km and 2.96 km.",
      "prov:value": "The Schwarzschild radius of the Sun calculated via rs = 2GM/c\u00b2 with 2022 CODATA values for G, solar mass, and c lies strictly between 2.95 km and 2.96 km."
    },
    "pe:evidence-B1": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Newtonian gravitational constant G (2022 CODATA)",
      "pe:factId": "B1",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://physics.nist.gov/cgi-bin/cuu/Value?bg",
      "pe:sourceName": "NIST 2022 CODATA Recommended Values"
    },
    "pe:evidence-B2": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Speed of light c (2022 CODATA, exact)",
      "pe:factId": "B2",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://physics.nist.gov/cgi-bin/cuu/Value?c",
      "pe:sourceName": "NIST 2022 CODATA Recommended Values"
    },
    "pe:evidence-B3": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Nominal solar mass parameter GM\u2609^N (IAU 2015 Resolution B3)",
      "pe:factId": "B3",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://ar5iv.labs.arxiv.org/html/1510.07674",
      "pe:sourceName": "IAU 2015 Resolution B3 (Mamajek et al. 2015, arXiv:1510.07674)"
    },
    "pe:evidence-B4": {
      "prov:type": "pe:EmpiricalEvidence",
      "prov:label": "Solar mass cross-check (Wikipedia)",
      "pe:factId": "B4",
      "pe:evidenceType": "empirical",
      "pe:sourceUrl": "https://en.wikipedia.org/wiki/Solar_mass",
      "pe:sourceName": "Wikipedia \u2014 Solar mass (TCG-compatible GM\u2609 estimate)"
    },
    "pe:evidence-A1": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "rs via separate G and M (primary)",
      "pe:factId": "A1",
      "pe:evidenceType": "computed",
      "pe:method": "rs = 2 * G * (GM\u2609/G) / c\u00b2 (G and M separate)",
      "pe:result": "2.953250 km"
    },
    "pe:evidence-A2": {
      "prov:type": "pe:ComputedEvidence",
      "prov:label": "rs via GM\u2609 directly (cross-check)",
      "pe:factId": "A2",
      "pe:evidenceType": "computed",
      "pe:method": "rs = 2 * GM\u2609 / c\u00b2 (direct, G cancels)",
      "pe:result": "2.953250 km"
    },
    "pe:verdict": {
      "prov:type": "pe:Verdict",
      "prov:label": "Verdict: PROVED",
      "prov:value": "PROVED"
    }
  },
  "activity": {
    "pe:verify-B1": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B1: NIST 2022 CODATA Recommended Values",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B2": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B2: NIST 2022 CODATA Recommended Values",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B3": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B3: IAU 2015 Resolution B3 (Mamajek et al. 2015, arXiv:1510.07674)",
      "pe:status": "verified",
      "pe:method": "full_quote",
      "pe:fetchMode": "live"
    },
    "pe:verify-B4": {
      "prov:type": "pe:CitationVerification",
      "prov:label": "Verify B4: Wikipedia \u2014 Solar mass (TCG-compatible GM\u2609 estimate)",
      "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-04-06"
    }
  },
  "agent": {
    "pe:proof-engine": {
      "prov:type": "prov:SoftwareAgent",
      "prov:label": "Proof Engine",
      "schema:version": "1.7.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"
    }
  }
}