At least one major megalithic monument contains man-made cast stone — blocks produced by binding processed mineral inputs rather than by carving natural rock alone.

A disjunction is only as strong as its best disjunct; both branches (GEO-C020, GEO-C021) currently rest on unreplicated or unverified physical evidence.

The headline existential claim lacks any blinded, prespecified test on undisputed monument samples by independent laboratories. While some proponent microscopy suggests anomalies, modern provenance data repeatedly traces stones to natural sources. The strongest opposing consideration is that 45 years of research have failed to produce universally accepted physical evidence of casting from any major monument, while conventional quarry matches and tool marks continue to accumulate.

No monument has yet been subjected to a blinded, binder‑aware comparative test, so there is no direct, decisive positive or negative. The feasibility rung (GEO‑C012, GEO‑C010, GEO‑C011) is provisionally to well supported: casting is chemically and technologically plausible with ancient inputs. There is also some anomaly evidence from actual monuments—Barsoum’s and MacKenzie’s Egyptian work and the Davidovits Pumapunku studies—suggesting possible artificial stone, but each line is either contested, methodologically limited, or unreplicated, and independent petrographic work on pyramid blocks largely finds natural limestone. The strongest opposing consideration is the weight of conventional quarry, tooling, and provenance evidence, plus multiple binder‑sensitive petrographic studies that fail to find casting signatures where they have been sought.

The headline is an existence claim and is only as strong as its best confirmed instance. No disputed monument sample has passed a blinded, prespecified, binder-aware test; the independent Egyptian petrographic record reads as natural limestone; and the Pumapunku SEM work has never left the proponent laboratory. Feasibility and ingredient availability cannot climb this rung. The strongest opposing consideration to leaving this unresolved — that forty-five years of failed confirmation plus unfinished quarry monuments should count as contradiction — is serious, but it still does not substitute for the discriminating measurement and does not close the Andean branch.

The headline disjunction inherits the state of its two branches. For Egypt, the independent petrographic record (GEO-E018 through GEO-E021) is uniformly negative, including the only positive-control study (GEO-E020); for the Andes, the only monument-sample evidence is a single proponent team's unreplicated pair (GEO-E006, GEO-E007). No blinded, binder-aware comparison with prespecified criteria has ever been run on provenance-secure samples, and both sides' key specimens sit under genuine chain-of-custody disputes (Lauer authenticity; the SCA denial of Barsoum's sampling permission). The strongest opposing consideration is that the disjunction is easy to satisfy and forty-five years have produced nothing independent that satisfies it — a long null that itself carries weight. But null-by-absence differs from null-by-test: the experiment both camps accept as decisive has never been performed in either direction, so unresolved is the honest verdict rather than contradicted.

As a disjunction it needs only one confirmed instance, and two peer-reviewed Pumapunku papers plus two Barsoum-line pyramid papers constitute real, non-zero support that cannot be waved away. But no positive result from any monument has ever been independently replicated in forty-five years, the Pumapunku pair is a single team on a single contested sample set, and the branch that received the most independent scrutiny (Egypt) failed it under four separate examinations including one with a positive control. The strongest opposing consideration is precisely that pattern: hypotheses that survive only in the regions nobody has independently tested are typically not surviving on evidence. The claim stays weakly supported rather than contradicted because a disjunction over the world's megaliths cannot be closed by negative results at Giza.

A disjunction is only as strong as its best disjunct. The Egyptian branch (GEO-C020) now faces a substantial direct petrographic counter-record (GEO-E018–E021), and the Andean branch (GEO-C021) remains proponent-only; the evidence now genuinely conflicts rather than being merely absent.

The disjunction now leans on the Andean branch (GEO-C021), since the Egyptian branch has weakened under a counter-record that GEO-E023 shows is aimed at precisely the block classes claimed to be cast. The Andean line remains a credible but unreplicated proponent observation, so evidence conflicts rather than resolves.

Existential disjunction whose best-tested branch (Egypt) failed under binder-aware petrography with a positive control (GEO-E020), while its surviving branch (Pumapunku) has never been independently re-examined. Nothing in the current record changes that structure.

The hypothesis rests on localized micro-anomalies and feasible chemistry, suggesting at least one cast block might exist somewhere. However, the strongest opposing consideration is that forty-five years of investigation have produced zero independently replicated, uncompromised physical evidence from any actual monument, while conventional quarrying and carving are overwhelmingly attested.

The existential “somewhere at least once” claim has not been directly tested in a discriminating, blinded, binder-aware way for any nominated monument. Mechanism and ingredient feasibility (GEO-C012, GEO-C010, GEO-C011) are provisionally supported, and there is some non-trivial anomalous lab evidence (GEO-E012, GEO-E017, GEO-E006, GEO-E007), but these are countered by multiple negative petrographic studies in Egypt and the lack of any independent replication in the Andes. The strongest opposing consideration is that, forty-five years after the idea was launched, no independently verified, provenance-secure monument sample has shown an unambiguous casting signature, while conventional quarrying, carving, and transport are archaeologically well-documented.

The claim is a disjunction that would be settled by one independently secured cast block, and no disputed monument stone in this file has been through a blinded, prespecified, binder-aware comparison. The Egyptian branch has been tested more thoroughly than the Andean one and currently leans against the original alkali recipe, while Pumapunku rests on unreplicated proponent SEM; neither branch is closed. The strongest opposing consideration is the conventional package of quarries, unfinished pieces, tools, and independent pyramid petrography, which would make a global existence claim surprising — but surprise is not a negative measurement on the untested sites.

The thesis is a disjunction, and its branches sit in different states: the Egyptian branch (GEO-C020) has now failed its best direct test, while the Andean branch (GEO-C021) rests on one team's unreplicated positives. The only evidence class that could settle the disjunction, a blinded, binder-aware, prespecified comparison on provenance-secure samples, has never been run; the closest approach (GEO-E020) covered one recipe and disputed specimens. Against the claim stands a 45-year accumulation of quarries, tools, unfinished pieces, provenance matches, and four independent petrographic examinations concluding natural limestone; for it stand real feasibility results and the sound core of GEO-C030, which shows the strongest conventional evidence class cannot by itself detect cast-from-local-aggregate stone. The strongest opposing consideration is that the negative record, though convergent, is thin in sampling and recipe scope, so the disjunction survives where its most tested instance did not. Unresolved is a substantive finding here: the discriminating test exists, is cheap, and has simply never been performed.

As a disjunction, this claim cannot be refuted by branch-specific negatives, and one live positive record remains formally unrebutted: MacKenzie et al. 2011 (GEO-E017) reads Bent Pyramid casing stone as Tura grains in an artificial C–S–H gel, with no published reply located. That, plus the two unreplicated Pumapunku papers, is genuine but thin and non-independent support — every positive traces to the Barsoum or Davidovits groups. The strongest opposing consideration is the asymmetry of testing: in the one place where independent, binder-aware, positive-controlled analysis has been done (Giza casing stones), the casting signature was absent, and forty-five years have produced no independent replication of any positive anywhere. I place this a hair above "unresolved" only because a peer-reviewed, technique-independent positive on a major monument sits in the record without a documented rebuttal.

Existential disjunction. Its best-tested instance (Egypt) failed under binder-aware methods with a positive control, and its surviving instance (Pumapunku) has never been independently re-examined. Conflicting-evidence language overstates the Andean file, which is unreplicated rather than contested by comparable work.

Existential disjunction whose best-tested instance (Egypt) failed under binder-aware methods with a positive control, while its surviving instance (Pumapunku) has never been independently re-examined. Nothing in the current material changes that structure.

Direct geological and petrographic examinations of the primary candidate monuments—the Great Pyramid of Giza, Stonehenge, and Pumapunku—consistently identify natural sedimentary, volcanic, and tectonic fabrics incompatible with reconstituted stone. Microscopic analyses of casing stones reveal intact delicate fossils, undisturbed sedimentary bedding, and standard intergranular porosity rather than synthetic cementitious binders. Strongest opposing consideration: Peer-reviewed materials investigations by Barsoum et al. (2006) and MacKenzie et al. (2011) reported anomalous amorphous phases and NMR spectral peaks in Egyptian casing fragments that the authors attributed to human intervention.

The claim aggregates the pyramid line (contradicted for the original alkali recipe, untested for the revised C–S–H binder on provenance-secure samples) and the Andean line (proponent-only, unreplicated, confounded by natural volcanic phases). No record in the ledger provides independent confirmation of cast stone at any monument, and none rules it out across all monuments. Feasibility (GEO-C012) supports possibility, but feasibility is not occurrence, so the existence claim stays open.

The umbrella existence claim inherits the split below it: its flagship candidate (Great Pyramid) is contradicted for the stated geopolymer recipe, and Pumapunku rests solely on proponent-authored analyses. No monument in the evidence records is positively established as cast, but the methods critique legitimately blocks quarry-provenance refutations, so absence of proof is not proof of absence here. The strongest opposing consideration is the positive-control petrography at Giza; the strongest pro consideration is that it was never applied to the Andes or to the disputed samples themselves.

Direct pro-casting observations exist for selected pyramid and Pumapunku specimens, so the broad existence claim has more than purely speculative support. However, the pyramid evidence is materially opposed by several petrographic studies, and the Pumapunku evidence comes from one proponent team and sample set without independent replication. The strongest opposing consideration is that no provenance-secure monument sample has yet yielded a diagnostic casting fabric under an independently replicated and controlled analysis.

Direct positive materials reports exist for pyramid and Pumapunku samples, but none provides independently replicated, provenance-secure proof that a major monument contains cast stone. Strong pyramid petrography weighs against one principal attribution, while the Pumapunku work remains a single-team evidential line. The strongest opposing consideration is that GEO-E006–E007 report potentially diagnostic internal features in actual candidate monument material, so the broad existential claim is not contradicted.

The parent existence claim inherits only thin positive lines: Barsoum/ MacKenzie microanalyses on contested-provenance pyramid samples and Davidovits-team SEM/organics on Pumapunku without independent replication. Strong binder-aware petrography (Folk & Campbell, Jana with positive control, Freestone & Middleton, Harrell & Penrod) contradicts the best- studied Egyptian case, and 1971 quarry attribution plus methods limits undercut the Andean case. Strongest opposing consideration: multiple independent petrographic programs find natural sedimentary structure and no detectable casting binder in pyramid limestone, so “at least one major monument” is not yet evidenced beyond proponent-linked work.

The existence claim inherits the failure of its principal dependents GEO-C020 and GEO-C021; no uncontested cast specimen or independent binder signature appears in the ledger. Strongest opposing consideration is that absence of proof is not proof of absence across every unsampled megalith, yet the hypothesis is framed around major monuments whose tested material contradicts casting.

The existence claim is carried almost entirely by its two children, and both are weak in different ways: the Egyptian instance has been directly tested with binder-aware petrography and repeatedly found natural, while the Andean instance rests on a single proponent team's unreplicated SEM work. What survives is a genuine residue — Barsoum's anomalous microconstituents and MacKenzie's NMR reading — that no negative study in the ledger has addressed on its own chemistry. The strongest opposing consideration is Jana 2007's positive control, which demonstrates that a real casting signature is detectable when present and was not present in casing stones, so the "we couldn't have seen it" defence does not generalise.

As an existence claim it needs only one monument, which lowers the bar, but every surviving strand is thin: the Andean support is one non-independent proponent team, and the Egyptian support consists of two partly-independent studies whose diagnostic features were shown by Jana's positive-control comparison to occur in natural limestone too. The strongest opposing consideration is that the site where the hypothesis has actually been tested most often returns natural-stone verdicts from four separate groups. Against that, the unrebutted NMR C–S–H reading and Barsoum's anomalous element ratios keep the claim from being dead, so the honest reading is a small amount of contested support rather than none.

The claim is existential, so a single vindicated monument suffices and no number of natural monuments refutes it. The Egyptian instance has been tested directly and, in the recipe tested, contradicted (GEO-E018–E021), with GEO-E020's positive control showing the signature would have been visible. The Andean instance rests on one proponent team's results (GEO-E006, GEO-E007) never independently rerun. GEO-E009 undermines only the Stonehenge case and only through provenance. No monument has an independent positive result on provenance-secure samples; no independent negative exists for Pumapunku. That is a gap in testing, not an evidential tie.

An existential claim over many monuments. The only branch tested with binder-aware petrography (Egypt: GEO-E018–E021) is contradicted in the alkali recipe, with GEO-E020's positive control showing the signature is detectable when present; the calcium-silicate variant (GEO-E017) is untested. The Andean branch (GEO-E006, GEO-E007) is one interested team, never rerun; GEO-E008 partly talks past it. GEO-E009 undermines only Stonehenge and only insofar as a quarry match implies carving, which GEO-C030's narrow form correctly limits. Not 'weakly_supported' because the feasibility rung (GEO-C012) and an untested branch keep the question genuinely open; not 'contradicted' because no independent laboratory has examined any disputed stone for the revised binder or any Andean stone at all.

No disputed monument stone has ever been subjected to a blinded, prespecified discriminating test. The proponent evidence is real but proponent-generated; the mainstream rejection is broad but has not engaged the specific discriminating experiments either.

The hypothesis that monumental stones were cast in place is supported by isolated peer-reviewed materials-science reports of anomalous microconstituents and amorphous binder phases (Barsoum 2006, MacKenzie 2011, Davidovits 2019), as well as demonstrated pre-industrial chemical feasibility (Sierra 2010). However, the claim is heavily undermined by repeated, independent petrographic examinations of candidate monuments (Folk & Campbell 1992; Harrell & Penrod 1993; Jana 2007; Freestone & Middleton 2007) that show intact natural sedimentary bedding, fossils, tectonic veins, and normal quarry textures lacking synthetic binders. The strongest opposing consideration is that MacKenzie et al. (2011) identified an artificial calcium-silicate-hydrate gel in Dahshour casing stones that has never been independently rebutted or re-examined by critics of geopolymer recipes.

The overarching existence claim rests on ambiguous microstructural anomalies in a handful of Egyptian and Bolivian specimens (GEO-E006, GEO-E012, GEO-E017). However, robust independent petrographic surveys (GEO-E018, GEO-E020, GEO-E021) consistently identify intact natural sedimentary bedding, fossils, and lack of synthetic binder phases across surveyed monuments. The strongest opposing consideration is that testing has sampled an extremely small fraction of total monumental stones, leaving open the possibility of targeted composite use in casing or backing blocks.

Direct petrographic, mineralogical, and structural examinations of core megalithic samples across Egypt and Stonehenge consistently reveal natural geological features—such as intact sedimentary bedding, marine fossils, and tectonic fractures—while failing to find synthetic binders. The overarching claim that at least one major megalith was cast is contradicted by the extensive physical materials evidence in the ledger. The strongest opposing consideration is that materials analyses by Barsoum et al. (2006) and Davidovits et al. (2019) reported anomalous microconstituents and organic inclusions in samples from Giza and Pumapunku.

Direct petrographic, thin-section, and spectroscopic analyses of monument stones at the primary candidate sites (Giza, Dahshur, Pumapunku) overwhelmingly demonstrate natural sedimentary and volcanic fabrics, including macro-fossils, cross-cutting tectonic fractures, and typical sedimentary bedding. While proponents demonstrate that artificial reconstitution is chemically feasible in the laboratory, genuine monument samples systematically fail to exhibit artificial binder fabrics when tested alongside proper positive controls. The strongest opposing consideration is the multinuclear NMR detection of anomalous amorphous C-S-H phases in casing stone from Dahshur, though this remains an uncorroborated outlier.

The generic attribution claim inherits the case's split record. Jana 2007's positive control shows casting signatures are detectable and finds none in Great Pyramid casing stones, and Folk & Campbell's in-situ sedimentary features argue broadly against casting; yet MacKenzie 2011's unrebutted C–S–H binder finding at the Bent Pyramid is exactly the kind of evidence the claim requires and has never been independently tested. The strongest opposing consideration is that every controlled, independent examination of monument stone to date has returned natural — but none of those examinations tested the revised binder chemistry.

The strongest non-proponent support (Barsoum 2006; MacKenzie 2011) reports real, technique-diverse anomalies, but sample provenance for both is contested and no independent replication on secure samples exists. Against it stand Folk & Campbell's broad in-situ sedimentary features, Harrell & Penrod's negative on the proponents' showcase sample, Freestone & Middleton's independent negative, and above all Jana 2007, whose positive control shows a real casting signature is detectable and absent in casing stones. The revised C–S-H binder escapes Jana's test, which keeps this above "contradicted," but nothing in the ledger currently establishes cast stone at any named monument to the standard the positive-control methodology sets.

The umbrella claim inherits the Giza and Pumapunku lines. Real supporting observations exist (GEO-E012, GEO-E017, GEO-E006/E007), but the only positive-control study (GEO-E020) found no casting signature in Giza casing stones, and the salt/historical anchors have collapsed this round. "At least one major monument contains cast stone" remains possible via the untested C–S–H variant or Pumapunku, but nothing in the ledger establishes it, and the strongest independent petrography cuts against the best-documented instances.

The only non-proponent laboratory support (Barsoum 2006, GEO-E012; MacKenzie 2011, GEO-E017) is real and formally unrebutted in-journal, but rests on samples of disputed provenance with no independent replication, while the strongest direct petrography (GEO-E018–E021) finds natural sedimentary features and Jana's positive control shows a genuine casting signature is detectable and absent. The strongest opposing consideration is that Jana's decisive negative tested only the alkali-geopolymer recipe, so the revised C–S–H binder escapes it and total contradiction is not established. Thin, contested support on both sides is the honest reading.

The attribution evidence divides by site: several direct petrographic records weigh against Great Pyramid casting, while one unreplicated Pumapunku sample set points toward artificial andesite. Mechanism and quarry-method arguments establish possibility or underdetermination, not occurrence. The strongest supporting consideration is the reported Pumapunku microstructure; the strongest opposing consideration is the natural geological fabric and absent artificial binder reported across the pyramid studies.

Supporting laboratory records report possible engineered stone at both Egyptian and Andean monuments, so the existential claim has more than purely speculative support. However, no candidate has been established through provenance-secure independent replication, and the Great Pyramid evidence is outweighed by several direct natural-origin studies. The strongest opposing consideration is that broad in-situ sedimentary features and positive-control petrography are difficult to reconcile with casting at the best-studied candidate.

Direct materials evidence points both ways across the monuments in the ledger: GEO-E012, GEO-E017, GEO-E006, and GEO-E007 report features interpreted as manufactured binders or matrices, while the Great Pyramid studies GEO-E018 through GEO-E021 predominantly find natural stone. Because the claim is existential, natural findings at one monument do not exclude casting at another. The strongest opposing consideration is that the surviving affirmative lines are based on few samples, disputed provenance, or non-independent teams and have not been replicated on provenance-secure specimens.

No evidence record securely identifies a cast block from a major monument, and the best-tested Great Pyramid branch favors natural limestone. Nevertheless, this is a broad existential claim, so negative results from selected Egyptian and Stonehenge specimens cannot exclude every block or every major monument. The strongest opposing consideration is the reported Bent Pyramid NMR anomaly and the Pumapunku interior material, neither of which has received a decisive matched-control test.

The existence claim requires at least one secure positive identification. Pyramid evidence is contradicted by multi-study petrography showing natural features and absent binder signatures; Pumapunku rests solely on unreplicated proponent SEM. Feasibility and methods caveats keep the door open but do not establish occurrence. Strongest opposing consideration is the cumulative natural-limestone diagnostics on the best-sampled monument.

No monument has been shown by independent, binder-aware analysis to contain cast stone; the two principal candidates (Giza casing/backing and Pumapunku andesite) are respectively contradicted or supported only by unreplicated proponent work. Feasibility and methods critiques keep the existential claim open rather than falsified. Strongest opposing consideration is the absence of any positive control-matched signature on a secure sample.

The existence claim requires at least one major monument to be cast. Giza casting is contradicted by binder-aware petrography on examined casing and interior stone, while Pumapunku rests on unreplicated proponent SEM/organics work and Andean/other sites are largely untested in this ledger. Feasibility of reconstitution and quarry-match blindness do not establish occurrence. Strongest opposing consideration is that absence of proof across unfinished sites is not global disproof, so the claim stays open rather than contradicted.

The global existence claim inherits only thin positives: contested Barsoum/ MacKenzie microstructures on some pyramid samples and unreplicated proponent organics in a poorly provenanced Pumapunku fragment. Strong binder-aware petrography contradicts casting for examined Giza casing and the Lauer specimen, and no independent lab has confirmed artificial stone in any major monument. Strongest opposing consideration is that a single secure, replicated binder-positive result at any site would flip the claim; none is on the ledger.

As an existential claim across all megalithic monuments it cannot be closed by negative results at one site, and the Giza negatives (GEO-E018–E021) are the only place binder-aware methods with a positive control have been applied. The positive side (GEO-E012, GEO-E017, GEO-E006/E007) consists of real laboratory observations whose diagnosticity is either directly rebutted (lepispheres occur in natural limestone) or untested by any independent group. The strongest opposing consideration is that after four decades every provenance-secure, control-anchored test has returned natural stone, which under any reasonable prior should shift the claim toward false rather than merely open; I stop short of "contradicted" only because the Andean and revised-binder branches have never been tested.

The umbrella existence claim needs only one monument to survive, which makes it resilient — but the site where the discriminating test has actually been run (Giza) returns natural under four studies, three of them mutually independent and one with a genuine geopolymer positive control. What keeps the claim from being contradicted is that the supporting threads with the least rebuttal (MacKenzie's C–S–H NMR at Dahshur, the Andean SEM work) have never been directly tested by anyone outside the proponent network. The strongest opposing consideration is that after forty-five years the pro-casting corpus still contains no replicated, provenance-secure, binder-positive result from any monument.

As an existence claim across all megalithic monuments this is the case thesis, and it rests on two thin legs: the Egyptian limestone line, where direct petrography with a positive control weighs against casting, and the Andean line, where support is one non-replicated proponent dataset. Cast stone is a real and ancient technology class, so nothing here is a priori implausible, but no monument has yet yielded a binder signature on a provenance-secure sample under binder-aware methods. The strongest opposing consideration is GEO-E020: when a known geopolymer was analysed beside monument stone, the artificial specimen was immediately distinguishable, so the "our methods cannot see it" defence does not cover the studies that actually looked.

The existence claim is easy to satisfy in principle and hard to exclude by sampling, but every positive record in the ledger is either undercut or unreplicated: Barsoum's microconstituents are matched in natural Tura limestone by Jana's comparison, MacKenzie 2011 has Barsoum as co-author and one sample, and the Pumapunku results come from an unprovenanced fragment analysed by the proponents with no natural control. The residual positives are real observations rather than nothing, which is why this is weakly_supported rather than contradicted. The strongest opposing consideration is that the two most intensively examined loci — Great Pyramid casing and interior stone, and Stonehenge sarsens — both return conventional answers under methods that Jana demonstrated can see a binder when one is present.

Existential thesis graded branch by branch. The Egyptian instance is contradicted (GEO-E018, E019, E020, E021 against E012, E017). The Andean instance has supporting records on the stone itself (GEO-E006/E007) and no direct negative; GEO-E008 is on sandstone with 1971 methods and cannot exclude same-quarry aggregate, and GEO-E009 (Stonehenge provenance) cannot exclude it either. One contradicted instance does not refute an existential claim; one untested, non-independent positive of a type shown non-diagnostic elsewhere does not support it. The decisive test has not been run where the claim now lives.

Existential thesis graded branch by branch. Egypt is contradicted by GEO-E018, GEO-E019, GEO-E020 and GEO-E021 against GEO-E012 and GEO-E017. The Andes are weakly supported by GEO-E006, GEO-E007 and GEO-E058 from one team, now heavily qualified by GEO-E057, GEO-E059 and GEO-E060, with no independent negative (GEO-E008 is a sandstone provenance study). GEO-E009 undermines only the Stonehenge instance and, per GEO-C030's narrow form, cannot exclude same-quarry aggregate. An existential claim is neither refuted by one contradicted instance nor supported by an untested one; the honest description is a gap, not a collision.

Existential, so judged by its instances. The Egyptian instance (GEO-C020) is contradicted by binder-aware petrography. The Andean instance (GEO-C021) rests on one team's positive records with no independent negative. GEO-E009, the Stonehenge match attached here, undermines only weakly because a quarry match cannot see a binder (GEO-C030). One contradicted instance and one untested instance is a gap, not a collision of evidence, so the verdict is unresolved rather than contradicted or mixed. A low prior for undocumented monumental casting is a prior, stated as such.

The umbrella claim inherits the pyramid verdict (contradicted for the alkali recipe by Jana's positive-control petrography) and the Pumapunku verdict (a single provenance-insecure fragment with no geological control). No candidate monument currently has a provenance-secure, independently replicated positive result, but neither has any candidate been closed out by a decisive test that covers all proposed binder chemistries. The strongest opposing consideration is that the only binder-aware study with a positive control found nothing — yet it tested only one recipe on one site.

The Great Pyramid branch is contradicted by the balance of direct petrography, but the Pumapunku interior-material observation and the reported pyramid microconstituents provide some affirmative support for the broader existential claim. Neither line has provenance-secure, independent replication sufficient to establish that any major monument contains cast stone. The strongest opposing consideration is the convergence of GEO-E018–GEO-E021 on natural limestone textures and absent binder signatures in examined pyramid material.

The existence claim requires at least one secure cast monument. Pyramid positives (Barsoum GEO-E012, MacKenzie GEO-E017) are opposed by stronger multi-author petrography with positive controls (GEO-E018–E021) showing natural fabrics and no binder; Andean positives rest on insecure loose fragments without natural comparators (GEO-E057/E060). Feasibility and methodological blindness (GEO-C012/C030) keep the door open but do not establish occurrence. Strongest opposing consideration is the consistent failure of binder-aware methods to recover a casting signature on provenance-better samples.

An existential claim needs one sound instance, and the ledger has none that is replicated, adequately controlled and provenance-secure. The best-tested candidate, Great Pyramid casing stone, goes against (GEO-C020). What remains positive is one Bent Pyramid casing stone read by NMR as Tura grains in a calcium-silicate gel against two quarry comparators (GEO-E017, filed under GEO-C020 but bearing here), plus the Davidovits group's Pumapunku analyses, whose organic-matter finding rests on one loose andesite fragment and whose sandstone result rests on one slab sample (GEO-C021). GEO-E009 bears only on Stonehenge, for which the ledger holds no positive casting evidence, and like GEO-E008 its force against casting is capped by the narrow methods point in GEO-C030. Strongest opposing consideration: every proponent anomaly here re-examined against a natural baseline or positive control has dissolved, which argues for discounting the untested survivors toward nothing; general background (a prior, not a ledger record) also holds that amorphous, siliceous and organic phases in limestone and weathered volcanic rock are routinely natural.

Existential, so judged by its instances. The Egyptian instance (GEO-C020) is contradicted by binder-aware petrography (GEO-E018–E021). The Andean instance (GEO-C021) rests on one team's positive results (GEO-E006, GEO-E007) with no independent test. GEO-E009 undermines casting only at Stonehenge, and only through provenance, which GEO-C030 narrows. No instance is independently confirmed, and the open one has not been independently tested, so neither verdict direction is warranted.