I take the featured hypothesis from the case title and its framing question. The crowded, organized river world Carvajal described in 1542 was real, and post-contact collapse emptied it. The rival readings are that he invented it or merely exaggerated it. The ledger splits the hypothesis into three legs of unequal strength.
The first leg, that the world existed, is the best supported. It rests chiefly on E007. The sixteenth-century accounts compiled there come from two other expeditions: Nunes's entry of 1538 and the Ursúa expedition of 1560. They describe dense settlement, vast food stores, and long straight roads on the Machiparo/middle-Solimões reaches Carvajal named. None of them repeats his extreme numbers. That is the signature of a qualitatively reliable witness whose figures are not counts. It matches Denevan's collation, which places the 50,000-, 10,000- and 8,000-warrior figures and the league-long villages in one manuscript branch only (E005).
Archaeology places organized societies near his lower route across the contact horizon itself. The Belterra sites, with dark earths, ponds, and trodden roads, run up to seventeenth-century colonization (E017), and Marajoara continuity at Cacoal runs to 1650 (E018). Off-route systems show substantial late populations elsewhere (E004, E019). The radiocarbon proxy rises toward carrying capacity before colonization (E020).
The earliest 'mentirosa' charge targeted Orellana's relación. On Medina's reading it concerned the Amazons, not the settlements (E080, E082, E099). Those Medina-derived records rest on a single reading that no second reader has checked. Oviedo's and Medina's character endorsements carry no diagnostic weight, and I give them none.
Much of the celebrated new archaeology does not bear on this leg. The Aquiry peak is AD 100–300 (E003), and Casarabe ends around 1400 (E014). These results defeat the old argument that Amazonia could not support complex societies. Spending them as corroboration of 1542 would be a chronology error.
The population models are also assumption-driven. The Aquiry estimate spans roughly fivefold across its own alternatives (E002). The southern-rim figure scales 20- to 50-fold from counted sites (E004). Denevan abandoned his own method while retaining its order of magnitude (E009). No count exists that could vindicate or refute Carvajal's figures.
The second leg, that the world was emptied, is the weakest. E008 documents catastrophic, mixed-cause declines of about 88% and 62–64% by circa 1700. These include flight from exposed riverbanks, which is the right mechanism for later silence along the rivers and a reason to prefer 'emptied' over 'died'. But these are upper-Amazon provinces, and E008 itself flags extension to the middle and lower Amazon as extrapolation. The fade-out mechanism (AMZ-C023) has no evidence record.
The ledger holds no collapse series for Carvajal's reaches. It does not itself document their later emptiness. The support is circumstantial: the systems dated across 1542 all end in the colonial centuries. Where I credit this leg beyond Newson's provinces, I lean on the general background that post-contact collapse was widespread in the Americas. That is a prior, not ledger evidence. The Ursúa witnesses also show the middle Solimões still crowded in 1560. So any emptying happened over the following century, not between Orellana and Ursúa.
The third leg is scale. The sparse-matrix evidence (E010, E011, and the basin models) is exposed to survey bias, thin sampling (AMZ-C021), and possible erasure (AMZ-C022). Still, none of it contradicts a corridor reading. It is what Carvajal's own empty stretches and the bluff model (E006) predict. It does rule out an emptied basin-wide civilization.
Steelmanning against the hypothesis: - Corroboration covers two stretches of a very long route. - Nunes survives only in a later letter. - The ten Ursúa accounts come from one expedition. - The southern-rim horizon closes around 1500, before Orellana, and the
ledger does not explain this.
- The collapse is borrowed from other provinces.
Steelmanning for it: nothing in the ledger contradicts the corridor version, and the rivals fare worse. 'Invented' is contradicted by independent testimony and contact-era archaeology. 'Exaggerated' survives only for numbers that were never counts.
AMZ-C010 and AMZ-C003 are both load-bearing and weakest links. AMZ-C010 is not doubtful; its scope simply stops short of Carvajal's reaches. AMZ-C003 hangs on a single record. No record in the packet is marked provisional, and the rejected tombstones E086, E107, and E108 are disregarded.
Verdict: provisionally_supported. 'Real' is well supported for specific reaches. 'Emptied' rests on regional analogy and occupation end-dates.
Sensitivity: the most load-bearing record is E007. Without it, the reaches carrying the account's most famous descriptions would be uncorroborated. The case would lean on lower-Amazon archaeology alone (E017, E018), and I would lower the verdict to weakly_supported. The verdict does not survive E007's removal at its current level; it hangs substantially on that one thread.
its steelman
The sequence the emptied-world hypothesis predicts is the one the ledger shows wherever it can be dated.
Three separate parties attest a populated Machiparo/middle-Solimões reach: Nunes in 1538, Carvajal in 1542, and the Ursúa expedition in 1560. The accounts compiled in E007 call it one of the most densely inhabited parts of the river, with vast food stores and long roads.
Every system dated across 1542 ends during colonial expansion: Belterra near Santarém at seventeenth-century colonization, Cacoal on Marajó at 1650, and the Upper Xingu towns around 1770. In the provinces the ledger has colonial records for, populations fell 62–88% by about 1700 through epidemics, raiding, missionization, and flight from the riverbanks.
My assessment stops at provisionally_supported because the ledger lacks a middle-Amazon collapse series. Yet it offers no competing explanation for how a corridor independently described as crowded through 1560 became the empty river of the later record. The downgrade rests on missing records, not on any record showing that these reaches were not emptied.
what it saw the case resting on
what it saw as the weakest links
run 2026-09-30-check-opus-103112 · 2026-09-30 · Provisionally supported · an AI seat, blind to the judgment · not human reviewed · per-claim verdicts on each claim page