{
  "batch_id": "source-review-batch6-2026-11-01",
  "review_date": "2026-11-01",
  "protocol": "research/source-review-standard.md",
  "protocol_approval": "Owner-approved source-review standard for local audit work on 2026-11-01.",
  "branch": "audit/source-review-high-risk",
  "publication_state": "Local-only work in the existing source-audit worktree; no new work committed or pushed. No merge or release.",
  "reviewer_type": "Three AI-assisted claim-level audits and three independent read-only post-edit reviews; no human expert review is claimed.",
  "batch_scope": "Three risk-ranked unaudited entries: Simpson’s Paradox; Fitch’s Paradox of Knowability; The Hole Argument.",
  "selection_method": "Ranked by clinical/quantitative provenance and causal-framing risk; formal proof and attribution risk; and technical/metaphysical risk from conflating coordinate covariance, active diffeomorphisms, and physical indeterminism. The selection triage is recorded in each entry’s risk_reason and audit_focus.",
  "counts": {
    "audited_entries_before_batch": 23,
    "entries_in_batch": 3,
    "audited_entries_after_batch": 26,
    "total_expansion_entries": 57,
    "expansion_entries_remaining_outside_claim_level_audits": 31,
    "final_status_counts": {
      "source_checked": 3,
      "partially_source_checked": 0,
      "needs_source_check": 0
    }
  },
  "status_summary": "All three entries are source_checked for their declared claim-traceability scopes after edits and independent post-edit reviews. The reviewers passed all three; one ambiguous original_publication field in the Hole Argument dataset record was corrected before finalization. Dataset Further Reading URLs match the articles. None is expert_reviewed.",
  "entries": [
    {
      "review_date": "2026-11-01",
      "reviewer_type": "AI-assisted claim-level source audit with independent read-only post-edit review; no human expert review is claimed.",
      "protocol": "research/source-review-standard.md",
      "id": "simpsons-paradox",
      "title": "Simpson’s Paradox",
      "article_path": "experiments/mathematics/simpsons-paradox.md",
      "status": "source_checked",
      "scope": "Claim-level traceability review of the complete article, matching dataset record, and relevant expansion-record entry. Focus: history/name attribution; the kidney-stone example’s provenance, category definitions, numerators, denominators, and arithmetic; differences in case mix; the distinction between observed association and causal treatment effect; and the scope of the article’s claims about applications. This status concerns source traceability, not clinical advice, causal identification, expert approval, or settled interpretation.",
      "summary": "The figures in the article are not generic teaching numbers: Charig et al.’s primary 1986 BMJ paper gives the open-surgery and percutaneous-nephrolithotomy counts in Table II, with group definitions and case mix in Table I. The percentages recompute correctly. The study describes consecutive treatment series across different periods, so the article now presents the rates as observed comparisons, not proof of which treatment causes better outcomes. The SEP and a peer-reviewed clinical editorial support the qualified causal discussion and wider examples. Independent post-edit review is pending.",
      "sources": [
        {
          "title": "Comparison of treatment of renal calculi by open surgery, percutaneous nephrolithotomy, and extracorporeal shockwave lithotripsy",
          "author": "C. R. Charig, D. R. Webb, S. R. Payne, and J. E. Wickham",
          "publication": "British Medical Journal (Clinical Research Ed.) 292 (1986): 879–882; DOI 10.1136/bmj.292.6524.879",
          "stable_url": "https://www.bmj.com/content/292/6524/879.full.pdf",
          "source_type": "Primary peer-reviewed clinical study",
          "access_level": "The full publisher-hosted PDF was extracted and relevant methods, tables, results, and discussion passages were read; not merely the abstract or metadata.",
          "exact_locations_read": "Printed pp. 879–880: methods and treatment-series dates; printed p. 880, Table I, treatment-group distribution and size categories; printed p. 880, Table II, success counts by treatment and size group; abstract, overall study size and aggregate outcomes; discussion, treatment comparison and limits described by the authors.",
          "limitations": "The study is an historical clinical comparison, not an estimate of modern treatment effectiveness. Its treatment groups were consecutive series from different eras, and the article does not by itself identify causal effects for a target population. The article uses the primary data only to illustrate the arithmetic reversal, not to recommend treatment."
        },
        {
          "title": "Simpson’s Paradox in Clinical Research: A Cautionary Tale",
          "author": "Stefanos Bonovas and Daniele Piovani",
          "publication": "Journal of Clinical Medicine 12(4) (2023): 1633; DOI 10.3390/jcm12041633",
          "stable_url": "https://pmc.ncbi.nlm.nih.gov/articles/PMC9960320/",
          "source_type": "Peer-reviewed secondary editorial",
          "access_level": "Full relevant text, Table 1, footnote, and the paragraph following the table were read.",
          "exact_locations_read": "Opening discussion; Table 1 and its footnote attributing the data to Charig et al.; following paragraph on stone-size-dependent treatment assignment and confounding; references 5–6; closing caution on non-randomized research.",
          "limitations": "This editorial reproduces and interprets the primary study; it is not a substitute for the original methods. The causal explanation is an interpretation of the observed treatment allocation and is not a randomized estimate."
        },
        {
          "title": "Simpson’s Paradox",
          "author": "Jan Sprenger and Naftali Weinberger",
          "publication": "Stanford Encyclopedia of Philosophy, Summer 2026 edition; substantive revision 6 June 2026",
          "stable_url": "https://plato.stanford.edu/archives/sum2026/entries/paradox-simpson/",
          "source_type": "Scholarly reference work / secondary analysis",
          "access_level": "Relevant passages in the full entry were read, including targeted full-section extracts.",
          "exact_locations_read": "§1, definition and history including Pearson, Yule, and Simpson; §2.2, aggregation and reversal; §§3.3–3.4, causal DAGs, identifiability, confounding, and conditioning versus intervention; §5.2 and relevant §5 applications on epidemiology/meta-analysis and decision-theoretic contexts.",
          "limitations": "The SEP entry provides general statistical and causal context; its running example is not the Charig kidney-stone study. It does not support the table’s numerical values or the clinical study’s methods."
        }
      ],
      "claim_evidence": [
        {
          "material_claim": "The displayed table is drawn from a real comparison of open surgery and percutaneous nephrolithotomy, rather than being generic invented teaching data.",
          "source_title": "Comparison of treatment of renal calculi by open surgery, percutaneous nephrolithotomy, and extracorporeal shockwave lithotripsy",
          "source_url": "https://www.bmj.com/content/292/6524/879.full.pdf",
          "exact_location": "Printed p. 880, Table II, rows for all open procedures and percutaneous nephrolithotomy; abstract confirms aggregate totals. Bonovas and Piovani Table 1 independently reproduce these figures and explicitly cite Charig et al.",
          "relationship": "supports",
          "finding": "The numerators and denominators match the primary study’s published results. The entry now attributes them to Charig et al. and names the two treatments.",
          "limitation": "Only the two displayed treatment groups are shown; the primary study included other treatment groups too.",
          "required_edit": "Made: replaced the generic/illustrative framing with explicit attribution to the 1986 study and treatment names."
        },
        {
          "material_claim": "The table’s category definitions and six success fractions are accurately represented.",
          "source_title": "Comparison of treatment of renal calculi by open surgery, percutaneous nephrolithotomy, and extracorporeal shockwave lithotripsy",
          "source_url": "https://www.bmj.com/content/292/6524/879.full.pdf",
          "exact_location": "Printed p. 880, Methods and Tables I–II: group 1 has mean stone diameter below 2 cm; group 2 has mean diameter 2 cm or more or multiple stones; Table II gives 81/87, 192/263, 273/350, 234/270, 55/80, and 289/350.",
          "relationship": "supports",
          "finding": "The displayed whole-number percentages recompute as 93%, 73%, 78%, 87%, 69%, and 83%, respectively, using standard rounding. The article’s column labels now preserve the primary study’s multiple-stone qualification.",
          "limitation": "The word “large” alone would omit patients assigned to group 2 because they had multiple stones; the article avoids that shorthand.",
          "required_edit": "Made: added the ≥2 cm-or-multiple-stones definition and treatment labels."
        },
        {
          "material_claim": "The “combined” comparison is only for the two displayed treatment groups, not for every patient in the 1,052-patient source study.",
          "source_title": "Comparison of treatment of renal calculi by open surgery, percutaneous nephrolithotomy, and extracorporeal shockwave lithotripsy",
          "source_url": "https://www.bmj.com/content/292/6524/879.full.pdf",
          "exact_location": "Abstract: 1,052 total patients, including 350 open surgery, 350 percutaneous nephrolithotomy, 328 ESWL, and 24 combined PCNL/ESWL; Table II reports the two displayed groups and other treatments separately.",
          "relationship": "supports",
          "finding": "The revised table header says “Both displayed treatment groups,” avoiding the implication that it aggregates all 1,052 participants.",
          "limitation": "The paradox illustration intentionally uses only the open-surgery and PCNL rows.",
          "required_edit": "Made: changed the aggregate column label and disclosed the other treatment groups."
        },
        {
          "material_claim": "Different proportions of patients in the two stone-size categories explain the arithmetic reversal in the combined rates.",
          "source_title": "Comparison of treatment of renal calculi by open surgery, percutaneous nephrolithotomy, and extracorporeal shockwave lithotripsy",
          "source_url": "https://www.bmj.com/content/292/6524/879.full.pdf",
          "exact_location": "Printed p. 880, Table I: open procedures include 87 group-1 and 263 group-2 patients; PCNL includes 270 group-1 and 80 group-2 patients. Table II gives lower observed success in group 2 for both displayed treatments.",
          "relationship": "supports",
          "finding": "Open surgery has 263/350 group-2 cases versus 80/350 for PCNL, while the group-2 observed success fractions are lower than group-1 fractions. Weighted aggregation therefore reverses the within-group ordering.",
          "limitation": "This arithmetic explanation does not determine why treatment was chosen or establish a treatment effect.",
          "required_edit": "Made: described the case-mix imbalance and separated it from causal interpretation."
        },
        {
          "material_claim": "Observed subgroup and aggregate rates do not alone identify which treatment caused better outcomes or decide which comparison answers a specific decision question.",
          "source_title": "Simpson’s Paradox",
          "source_url": "https://plato.stanford.edu/archives/sum2026/entries/paradox-simpson/",
          "exact_location": "§§3.3–3.4, causal DAGs, ideal interventions, identifiability, confounding, and the difference between conditioning on treatment and intervening; §5.2 on treatment assignment and pooling in epidemiological contexts.",
          "relationship": "supports_with_qualification",
          "finding": "The SEP explains that observational distributions need not equal interventional distributions and that adjustment identifies effects only under a specified causal model and assumptions. The article now says neither crude nor stratified rates are automatically decisive.",
          "limitation": "The SEP’s causal example is not the Charig data; no causal graph or reanalysis is claimed for the 1986 study.",
          "required_edit": "Made: removed the general rule that stratified comparisons are necessarily more informative and qualified the role of assumptions and target population."
        },
        {
          "material_claim": "The source study describes consecutive treatment series across different time periods, which limits interpretation of crude outcome differences as causal.",
          "source_title": "Comparison of treatment of renal calculi by open surgery, percutaneous nephrolithotomy, and extracorporeal shockwave lithotripsy",
          "source_url": "https://www.bmj.com/content/292/6524/879.full.pdf",
          "exact_location": "Printed p. 879, Methods: patients were unselected and treated consecutively over 14 years; open surgery 1972–1980, PCNL 1980–1985, ESWL in 1985. Printed p. 880, treatment distributions by stone category.",
          "relationship": "supports_with_qualification",
          "finding": "The revised article identifies the numbers as observed historical comparison rates and states that they do not alone establish causal superiority.",
          "limitation": "The article does not present a modern causal reanalysis; differences other than stone category and calendar period may matter.",
          "required_edit": "Made: added the design and causal limitation to the source note."
        },
        {
          "material_claim": "The name/history and wider examples are general context, not evidence for the kidney-stone table.",
          "source_title": "Simpson’s Paradox",
          "source_url": "https://plato.stanford.edu/archives/sum2026/entries/paradox-simpson/",
          "exact_location": "§1 on Pearson (1899), Yule (1903), Simpson (1951); §§5.2 and 5.3 and decision-theoretic discussion for applications in epidemiology/meta-analysis and discrimination-related analyses.",
          "relationship": "supports_with_qualification",
          "finding": "The SEP supports the stated history and selected applications. The article now lists broad, SEP-covered contexts and does not assert that unrelated named datasets (such as batting averages) were checked.",
          "limitation": "The SEP does not make every application equivalent or establish one universal interpretation of the reversal.",
          "required_edit": "Made: removed unsupported examples and broad unanimity language; narrowed applications to domains documented in the SEP."
        }
      ],
      "edits_made": [
        "Attributed the numerical example to Charig et al. (1986), named the treatments, and corrected the category definition to include multiple stones in group 2.",
        "Renamed the combined column to refer to the two displayed treatment groups and disclosed that the source study included additional treatments.",
        "Replaced the unqualified stratification recommendation with a distinction between observed rates and causal treatment effects.",
        "Removed unsupported named examples and the claim of general agreement among interpretive approaches; aligned the source note and further reading with the evidence."
      ],
      "unresolved": [
        "The 1986 clinical comparison does not establish a causal treatment effect for a modern target population; the article deliberately makes no treatment recommendation.",
        "The article does not independently establish all causal assumptions that would make adjustment for stone category sufficient."
      ],
      "dataset_alignment": "The data/experiments.json record for simpsons-paradox now lists the same three source URLs as the article and date_verified 2026-11-01; no public source-review status field was added.",
      "further_reading_matches": "All three article Further Reading URLs match the dataset record.",
      "ledger_path": "research/source-review-batch6-item-simpsons-paradox.json",
      "selection_rank": 1,
      "risk_reason": "The central example included clinical numerators, denominators, success rates, category labels, and an implied treatment-choice lesson; incorrect provenance or causal framing could mislead readers.",
      "audit_focus": "Verify primary provenance and table values; define the subgroup cut; test all arithmetic; distinguish observed association from intervention effect; check application claims.",
      "independent_review": "Pass. Independent read-only post-edit review confirmed the primary table attribution, category definition, all fractions/rounded percentages, the displayed-group aggregate label, causal qualification, and exact article/dataset URL equality. No material correction; source_checked is justified for the declared traceability scope. No expert review."
    },
    {
      "review_date": "2026-11-01",
      "reviewer_type": "AI-assisted claim-level source audit with independent read-only post-edit review; no human expert review is claimed.",
      "protocol": "research/source-review-standard.md",
      "id": "knowability-paradox",
      "title": "Fitch’s Paradox of Knowability",
      "article_path": "experiments/logic/knowability-paradox.md",
      "status": "source_checked",
      "scope": "Claim-level traceability review of the complete article, matching dataset record, and relevant expansion-record entry. Focus: Fitch’s knowability principle and proof structure; the meaning and scope of the unknown truth; epistemic and modal assumptions; implications for verificationism and anti-realism; proposed response families; publication details and historical attribution. This status records traceability, not that the argument is sound, that any response succeeds, or that a particular theory is refuted.",
      "summary": "Brogaard and Salerno’s SEP treatment supplies the full formal proof, defines knowledge as known by someone at some time, states the epistemic and modal principles, and surveys disputed replies. Fitch’s publisher page supplies bibliographic metadata and selected extract/footnotes, but the full 1963 article was not accessed. The article now makes the unrestricted-substitution and background-logic assumptions explicit, qualifies the scope of its philosophical implications, and distinguishes Fitch’s published theorem from the reported referee and earlier Parry attribution. Independent post-edit review is pending.",
      "sources": [
        {
          "title": "A Logical Analysis of Some Value Concepts",
          "author": "Frederic B. Fitch",
          "publication": "The Journal of Symbolic Logic 28(2) (June 1963): 135–142; Theorem 5",
          "stable_url": "https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/a-logical-analysis-of-some-value-concepts1/D4D2E7E37CE8F699BB8CAF52CA74BFD3",
          "source_type": "Primary scholarly article",
          "access_level": "Publisher metadata and selected article extract/footnotes were read; the complete article was not accessed.",
          "exact_locations_read": "Publisher bibliographic record for title, journal, volume/issue, date, and pages; selected extract and footnotes 5–6 on the 1945 anonymous referee and an earlier result attributed by Anderson to Parry.",
          "limitations": "The full Fitch paper and its complete proof were not read. The proof audit relies on the appropriate full scholarly treatment in the SEP. The selected publisher extract does not settle priority among Fitch, the referee, and the earlier attributed result."
        },
        {
          "title": "Fitch’s Paradox of Knowability",
          "author": "Berit Brogaard and Joe Salerno",
          "publication": "Stanford Encyclopedia of Philosophy; substantive revision 7 May 2025",
          "stable_url": "https://plato.stanford.edu/entries/fitch-paradox/",
          "source_type": "Scholarly reference work / secondary analysis",
          "access_level": "Relevant passages in the full entry were read, including targeted complete sections, not only the abstract or metadata.",
          "exact_locations_read": "§1, history and significance; §2, formal knowability paradox, definition of K, proof, and principles A–D; §§3.1–3.5, logical revisions; §§4.1–4.4, semantic restrictions; §§5.1–5.3, syntactic restrictions and objections.",
          "limitations": "A secondary reference entry that maps the literature; it does not establish that every verificationist or anti-realist accepts the formal principle, nor does it identify a universally accepted solution."
        }
      ],
      "claim_evidence": [
        {
          "material_claim": "The unrestricted knowability principle says that every truth is possibly known by someone at some time, and Fitch’s standard conclusion is that every truth is actually known by someone at some time.",
          "source_title": "Fitch’s Paradox of Knowability",
          "source_url": "https://plato.stanford.edu/entries/fitch-paradox/",
          "exact_location": "§2, equations for KP and the K Paradox; the entry defines K as known by someone at some time and Diamond as possibility.",
          "relationship": "supports",
          "finding": "The article states the informal principle and conclusion with the temporal/agent scope made explicit.",
          "limitation": "The conclusion follows in the formal system under the associated proof assumptions; it is not a claim about measured human knowledge.",
          "required_edit": "Made: clarified Kp as someone knowing p at some time and framed the result as conditional on the logic."
        },
        {
          "material_claim": "The proof assumes an unknown true proposition, applies the knowability principle to the compound proposition that it is true and unknown, and derives a contradiction from the possibility of knowing that conjunction.",
          "source_title": "Fitch’s Paradox of Knowability",
          "source_url": "https://plato.stanford.edu/entries/fitch-paradox/",
          "exact_location": "§2, NonO, steps (1)–(9): substitution of p ∧ ¬Kp into KP and the reductio showing the conjunction cannot be known.",
          "relationship": "supports",
          "finding": "The article separates the initial unknown truth from the compound proposition to which the principle is then applied.",
          "limitation": "An informal paraphrase can obscure that the compound—not merely p—is the proposition whose knowability produces the contradiction.",
          "required_edit": "Made: named the compound and stated that the unrestricted principle applies to it."
        },
        {
          "material_claim": "The proof uses factivity, knowledge distribution over conjunction in the sketched derivation, classical reductio, necessitation, and modal duality; conjunction distribution is not indispensable to every variant.",
          "source_title": "Fitch’s Paradox of Knowability",
          "source_url": "https://plato.stanford.edu/entries/fitch-paradox/",
          "exact_location": "§2, principles A–D and lines (4)–(9); §3.1 notes versions that do not require distribution of knowledge over conjunction.",
          "relationship": "supports_with_qualification",
          "finding": "The revised article identifies the assumptions without implying that conjunction distribution is beyond dispute or needed in every formulation.",
          "limitation": "Different formalizations of knowledge, possibility, time, and admissible proposition substitution can change which assumptions are used.",
          "required_edit": "Made: explicitly labeled the assumptions of the informal proof and directed readers to the formal derivation."
        },
        {
          "material_claim": "The proof challenges some verificationist or anti-realist theories but does not refute every view under those labels.",
          "source_title": "Fitch’s Paradox of Knowability",
          "source_url": "https://plato.stanford.edu/entries/fitch-paradox/",
          "exact_location": "Opening overview and §1: the entry describes arguable anti-realist applications, the historical verificationist reading, and says there is no consensus about whether or where the proof goes wrong.",
          "relationship": "supports_with_qualification",
          "finding": "The article now ties the consequence to theories that accept unrestricted knowability plus the relevant logic and notes that application to particular theories is disputed.",
          "limitation": "Verifiability, possible knowability, and admissible propositions are not identical across theories.",
          "required_edit": "Made: narrowed the philosophical consequence and removed any implication that anti-realism as a whole is disproved."
        },
        {
          "material_claim": "Responses include logical revisions, semantic restrictions, and syntactic restrictions, and these are contested rather than established solutions.",
          "source_title": "Fitch’s Paradox of Knowability",
          "source_url": "https://plato.stanford.edu/entries/fitch-paradox/",
          "exact_location": "§§3–5: intuitionistic and paraconsistent revisions; situation-based, rigid/non-rigid semantic restrictions; Cartesian and basic-statement syntactic restrictions; §5.3 objections and further Fitch-style challenges.",
          "relationship": "supports_with_qualification",
          "finding": "The revised summary names the broad families and presents them as proposals with challenges, not settled solutions.",
          "limitation": "A short educational summary cannot reproduce the technical distinctions or all objections in the literature.",
          "required_edit": "Made: distinguished response families and qualified their status."
        },
        {
          "material_claim": "Fitch published Theorem 5 in 1963 and credited its essential form to an anonymous referee; the SEP reports that the referee was later identified as Alonzo Church, while Fitch’s note records an earlier result attributed by Anderson to W. T. Parry.",
          "source_title": "A Logical Analysis of Some Value Concepts",
          "source_url": "https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/a-logical-analysis-of-some-value-concepts1/D4D2E7E37CE8F699BB8CAF52CA74BFD3",
          "exact_location": "Cambridge publisher metadata and selected footnotes 5–6; corroborating historical discussion in Brogaard and Salerno, SEP §1.",
          "relationship": "supports_with_qualification",
          "finding": "Publication details and Fitch’s stated attributions are supported. The article distinguishes the published theorem, referee report, later Church identification, and differently formulated Parry result.",
          "limitation": "The complete primary paper was not accessed and the article does not adjudicate priority.",
          "required_edit": "Made: clarified the distinct historical attributions and disclosed the limited primary-text access."
        }
      ],
      "edits_made": [
        "Rewrote the proof sketch to distinguish the unknown proposition from the compound proposition and to state its main epistemic/modal assumptions.",
        "Qualified the implication for verificationist and anti-realist theories and noted that application to particular theories is disputed.",
        "Summarized the logical, semantic, and syntactic response families without implying that they are settled solutions.",
        "Clarified the publication and priority history and added the original Fitch article and SEP to Further Reading and the dataset record."
      ],
      "unresolved": [
        "Whether a particular verificationist or anti-realist theory accepts unrestricted knowability under the proof’s exact formalization remains theory-dependent.",
        "The full 1963 article was not accessed; proof details are checked against the full SEP treatment, while publication and footnote details rely on the publisher record and selected extract.",
        "The historical priority relationship among the 1945 referee, Fitch’s publication, and the earlier Parry-attributed result is not adjudicated here."
      ],
      "dataset_alignment": "The data/experiments.json record for knowability-paradox now lists the Fitch publisher page and SEP URLs used in the article, with date_verified 2026-11-01; no public source-review status field was added.",
      "further_reading_matches": "Both article Further Reading URLs match the dataset record.",
      "ledger_path": "research/source-review-batch6-item-knowability-paradox.json",
      "selection_rank": 2,
      "risk_reason": "A short logical proof can hide substantive epistemic and modal premises; compressed claims about verificationism, anti-realism, and historical priority risk overstating what the argument establishes.",
      "audit_focus": "Trace the proof line by line to an appropriate scholarly account, state the relevant assumptions and scope, verify response taxonomy, and separate original publication from priority claims.",
      "independent_review": "Pass. Independent read-only post-edit review confirmed the proof sketch and stated assumptions, the distinction between the SEP proof and limited Cambridge primary extract, qualified response taxonomy, historical attributions, and exact article/dataset URL equality. No correction; source_checked is justified for the declared scope. No expert review."
    },
    {
      "review_date": "2026-11-01",
      "reviewer_type": "AI-assisted claim-level source audit with independent read-only post-edit review; no human expert review is claimed.",
      "protocol": "research/source-review-standard.md",
      "id": "hole-argument",
      "title": "The Hole Argument",
      "article_path": "experiments/physics/hole-argument.md",
      "status": "source_checked",
      "scope": "Claim-level traceability review of the complete article, matching dataset record, and relevant expansion-record entry. Focus: passive coordinate covariance versus active diffeomorphisms; the modern hole construction; the conditional inference to physical indeterminism; Einstein’s chronology and point-coincidence response; philosophical responses; and the scope of extensions to local spacetime theories and gauge freedom. This status records traceability, not that a metaphysical interpretation is true or that the argument settles determinism.",
      "summary": "The full relevant portions of Earman and Norton’s 1987 paper support the modern construction and make the physical-indeterminism inference conditional on treating diffeomorphic models as distinct. Norton’s SEP entry supports the active/passive distinction, history, and responses; selected Einstein 1914 and 1916 passages were consulted through Norton’s translation/transcription, not the complete German originals. Stachel’s specialist review provides additional historical context. The article now distinguishes coordinate relabeling from active transformation, avoids implying that relationism follows, and qualifies extensions to other theories. Independent post-edit review is pending.",
      "sources": [
        {
          "title": "What Price Spacetime Substantivalism? The Hole Story",
          "author": "John Earman and John Norton",
          "publication": "The British Journal for the Philosophy of Science 38(4) (1987): 515–525",
          "stable_url": "https://sites.pitt.edu/~jdnorton/papers/BJPS1987_holearg.pdf",
          "source_type": "Primary peer-reviewed philosophical argument",
          "access_level": "Relevant passages from the full article were read, including introduction and §§2–5; not merely its abstract or metadata.",
          "exact_locations_read": "Introduction pp. 515–517; §§2–5, especially §3 pp. 521–523 on the hole construction and §§4–5 pp. 523–525 on Leibniz equivalence, indeterminism, and conclusions.",
          "limitations": "This is the 1987 modern philosophical reconstruction, not Einstein’s 1914 paper. It argues against a particular form of spacetime substantivalism; its conclusion is conditional on assumptions about model identity and does not establish relationism."
        },
        {
          "title": "The Hole Argument",
          "author": "John D. Norton",
          "publication": "Stanford Encyclopedia of Philosophy; first published 1999, current entry consulted",
          "stable_url": "https://plato.stanford.edu/entries/spacetime-holearg/",
          "source_type": "Scholarly reference work / secondary analysis",
          "access_level": "Relevant full sections and targeted extracts were read.",
          "exact_locations_read": "§2 on passive and active covariance; §7 summary; §§8.1–8.2 on Einstein’s chronology and point-coincidence response; §§9.1–9.5 on response families; §10.3 on related scope and applications.",
          "limitations": "A secondary reference work that organizes a disputed literature. It is used to map the technical and interpretive debate, not as the sole source for what Earman, Norton, or Einstein wrote."
        },
        {
          "title": "The Significance of the Hole Argument in General Relativity",
          "author": "John D. Norton",
          "publication": "University of Pittsburgh scholarly teaching text; historical account with translated/transcribed source passages",
          "stable_url": "https://sites.pitt.edu/~jdnorton/teaching/HPS_0410/chapters/significance_GR_hole_argument/significance_GR_hole_argument.html",
          "source_type": "Scholarly historical account containing primary-source translation/transcription",
          "access_level": "Selected relevant Einstein passages and Norton’s contextual discussion were read; the complete German primary works were not directly consulted.",
          "exact_locations_read": "Einstein’s 1914 paper, §12, p. 1067, in Norton’s English translation/transcription; Einstein’s 1916 point-coincidence passage (commonly cited at p. 117) and contextual discussion.",
          "limitations": "The evidence is available through a scholar’s translation/transcription, not direct consultation of the complete original German papers. It supports Einstein’s original argument and later response, not the claim that he used Earman and Norton’s modern 1987 formulation verbatim."
        },
        {
          "title": "The Hole Argument and Some Physical and Philosophical Implications",
          "author": "John Stachel",
          "publication": "Living Reviews in Relativity 17 (2014), article 1; DOI 10.12942/lrr-2014-1",
          "stable_url": "https://link.springer.com/article/10.12942/lrr-2014-1",
          "source_type": "Open-access specialist review",
          "access_level": "Relevant full sections were read.",
          "exact_locations_read": "§§1, 1.1, and 1.3 on Einstein’s chronology, the historical argument, and interpretive implications including dynamic structural realism.",
          "limitations": "Stachel advances a particular interpretive position; it is not presented as consensus. The article uses it as specialist context for the existence of live interpretations."
        }
      ],
      "claim_evidence": [
        {
          "material_claim": "The modern hole argument involves an active diffeomorphism of the metric and other fields; this is distinct from merely changing coordinate labels.",
          "source_title": "The Hole Argument",
          "source_url": "https://plato.stanford.edu/entries/spacetime-holearg/",
          "exact_location": "§2, “The Freedom of General Covariance,” on passive coordinate covariance versus active covariance; corroborating specialist supplement and related discussion in Earman and Norton (1987), §§2–3.",
          "relationship": "supports_with_qualification",
          "finding": "The revised article specifies an active transformation on a fixed manifold and states that the metric and other fields are transformed together; it no longer treats coordinate relabeling as the source of the argument.",
          "limitation": "The physical interpretation of the resulting mathematical model is a separate disputed question.",
          "required_edit": "Made: replaced the ambiguous “re-mapping points” shorthand with an active-diffeomorphism explanation."
        },
        {
          "material_claim": "A smooth diffeomorphism that is identity outside a selected region and nontrivial inside yields a mathematically distinct solution matching outside the region.",
          "source_title": "What Price Spacetime Substantivalism? The Hole Story",
          "source_url": "https://sites.pitt.edu/~jdnorton/papers/BJPS1987_holearg.pdf",
          "exact_location": "Introduction pp. 515–517 and §§2–3, especially the Hole Corollary and construction pp. 521–523; SEP §§3 and 7 corroborate the modern formulation.",
          "relationship": "supports",
          "finding": "The article now states the bounded transformation and field agreement/difference without implying a temporal “before and after” split.",
          "limitation": "Einstein’s original form described a matter-free region; the modern construction is not simply an empty physical cavity.",
          "required_edit": "Made: separated Einstein’s original matter-free setup from the modern region-based construction."
        },
        {
          "material_claim": "The mathematical underdetermination implies physical indeterminism only if diffeomorphism-related models count as distinct physical possibilities; accepting Leibniz equivalence removes that inference.",
          "source_title": "What Price Spacetime Substantivalism? The Hole Story",
          "source_url": "https://sites.pitt.edu/~jdnorton/papers/BJPS1987_holearg.pdf",
          "exact_location": "§3, pp. 521–523, hole corollary; §4, especially p. 524, where accepting Leibniz equivalence is distinguished from physical indeterminism; §5, p. 525.",
          "relationship": "supports",
          "finding": "The revised article explicitly states both branches: distinct physical models yield the indeterminism worry; equivalent models yield representational non-uniqueness instead.",
          "limitation": "Whether model equivalence is correct is a metaphysical and theoretical commitment, not settled by the transformation alone.",
          "required_edit": "Made: made the inference conditional and framed the central question around point identity and model equivalence."
        },
        {
          "material_claim": "Einstein developed the argument in late 1913, published a version in 1914, later returned to general covariance, and used a point-coincidence response in 1916.",
          "source_title": "The Significance of the Hole Argument in General Relativity",
          "source_url": "https://sites.pitt.edu/~jdnorton/teaching/HPS_0410/chapters/significance_GR_hole_argument/significance_GR_hole_argument.html",
          "exact_location": "Translated/transcribed Einstein 1914 §12, p. 1067, and 1916 point-coincidence passage; Norton’s contextual history. Corroborated by SEP §§8.1–8.2 and Stachel §§1–1.3.",
          "relationship": "supports_with_qualification",
          "finding": "The revised metadata and historical note distinguish Einstein’s original history from Earman and Norton’s 1987 modern reconstruction.",
          "limitation": "The complete original German primary papers were not directly read; historical passages were consulted via Norton’s translation/transcription and scholarly context.",
          "required_edit": "Made: corrected the broad 1913–15 attribution and disclosed the translated/transcribed access."
        },
        {
          "material_claim": "Accepting Leibniz equivalence does not by itself establish relationism; sophisticated substantivalism can retain spacetime while identifying diffeomorphism-related models.",
          "source_title": "What Price Spacetime Substantivalism? The Hole Story",
          "source_url": "https://sites.pitt.edu/~jdnorton/papers/BJPS1987_holearg.pdf",
          "exact_location": "§5, p. 525, where Earman and Norton caution that the relationist/substantivalist dichotomy is too crude; SEP §§9.1–9.5, especially discussions of sophisticated substantivalism and distinct response types.",
          "relationship": "supports_with_qualification",
          "finding": "The article no longer presents relationism as the argument’s necessary conclusion and describes sophisticated substantivalism as a distinct option.",
          "limitation": "The literature contains several versions of substantivalism, metric essentialism, structuralism, and determinism; these are not interchangeable or settled by the article’s summary.",
          "required_edit": "Made: qualified the response taxonomy and stated that the argument alone does not settle the metaphysics."
        },
        {
          "material_claim": "Related versions apply to specified local spacetime theories and can serve as a template for gauge-freedom analysis, but applicability depends on theory and interpretation.",
          "source_title": "The Hole Argument",
          "source_url": "https://plato.stanford.edu/entries/spacetime-holearg/",
          "exact_location": "§2 and §10.3 on local spacetime theories and related gauge applications; Earman and Norton (1987), §§2 and 5, on their theorem’s defined class of theories.",
          "relationship": "supports_with_qualification",
          "finding": "The revised article limits the extension to related analyses in specified theories and states that details depend on which transformations are treated as gauge-equivalent.",
          "limitation": "The hole argument should not be generalized to every gauge theory without examining its formal and physical setup.",
          "required_edit": "Made: qualified the broader extension claim."
        }
      ],
      "edits_made": [
        "Distinguished passive coordinate relabeling from active diffeomorphism and stated that all relevant fields transform together.",
        "Separated Einstein’s original matter-free scenario from the modern hole construction and made the inference to physical indeterminism conditional on model identity.",
        "Reframed response families so the argument does not appear to entail relationism or settle metaphysics.",
        "Qualified extensions to other theories and gauge freedom; added primary and specialist sources with access limits."
      ],
      "unresolved": [
        "Whether diffeomorphism-related models should be identified as one physical possibility remains a substantive interpretive dispute.",
        "The complete original German Einstein papers were not directly consulted; selected passages were read in Norton’s translation/transcription.",
        "The article’s brief treatment does not assess every response family or settle the status of indeterminism under a revised metaphysics."
      ],
      "dataset_alignment": "The data/experiments.json record for hole-argument lists the same four Further Reading URLs and has date_verified 2026-11-01. Its original_publication field was corrected after independent review to separate late-1913 development, 1914 publication, and Earman–Norton’s 1987 reconstruction. No public source-review status field was added.",
      "further_reading_matches": "All four article Further Reading URLs match the dataset record.",
      "ledger_path": "research/source-review-batch6-item-hole-argument.json",
      "selection_rank": 3,
      "risk_reason": "The entry compresses a technical symmetry argument into a metaphysical dilemma; conflating coordinate changes with active transformations or presenting indeterminism/relationism as an unconditional result could misstate the argument.",
      "audit_focus": "Verify the mathematical construction and its interpretation against Earman–Norton; distinguish Einstein’s original history; check that the article reports responses and extensions without turning them into consensus.",
      "independent_review": "Pass after one dataset metadata correction. Independent read-only post-edit review confirmed the active/passive distinction, modern construction, conditional indeterminism inference, historical qualification, response summary, access disclosure, and exact Further Reading URL equality. It flagged the dataset original_publication wording; corrected to “Einstein’s late-1913 argument (published in 1914); modern reconstruction by Earman and Norton (1987).” Source_checked is justified for the declared scope. No expert review."
    }
  ],
  "limits": [
    "This batch checks traceability, not truth of a philosophical argument, consensus, medical advice, exhaustive literature coverage, or expert approval.",
    "The 1986 kidney-stone comparison is historical and does not establish a modern causal treatment recommendation.",
    "Fitch’s full 1963 article was not accessed; the full proof and response landscape were checked against the relevant SEP sections, while the Cambridge publisher record and selected extract support bibliographic and footnote claims.",
    "Einstein’s complete original German papers were not directly consulted; selected 1914 and 1916 passages were read through Norton’s translation/transcription and scholarly context.",
    "Scholarly disagreements about how to interpret Fitch’s result and the Hole Argument remain open and are not resolved by this audit."
  ]
}