. . . . "Fetched the six pre-registered Animal Diversity Web accounts and the Europe PMC title-and-abstract searches for the five species. Coded a coat only from the Physical Description passage and oviparity only from the Reproduction passage, using the pre-registered patterns. A Europe PMC record counts only when its own title or abstract matches the same pattern. The Monotremata account can supply the coding for the clade; the literature hits still have to be for a named species. Supports was not available from this sample." . . "Measured: 2 living monotreme species coded as coated and oviparous on Animal Diversity Web or the Monotremata account, and corroborated by Europe PMC for both traits (n = 5, keyword coding of two public texts per species, not a specimen count). Interpretation: Hair-coated follows the claim, which counts hedgehog and porcupine spines as hair, so echidna spines and quills count as a coat. Viviparous means bearing live young, as opposed to laying an egg. The claim is a universal. The living monotremes are the sample because they are the mammals for which egg-laying is the trait that would make the universal false; finding one coated egg-layer refutes it, and failing to find one here does not show that every coated animal bears live young. The test does not reclassify whales or other sparsely haired mammals, and it does not treat 'mammal' as a synonym that already includes the conclusion." . "Claim test of aristotle-ha01-12: refutes, confidence 0.85" . . . "Public species accounts or abstracts that state integument and reproductive mode in their own words, independent of Aristotle, for the frozen taxa only: Ornithorhynchus anatinus, Tachyglossus aculeatus, Zaglossus bartoni, Zaglossus attenboroughi, Zaglossus bruijnii, and the order account Monotremata. Account URLs are https://animaldiversity.org/accounts// with spaces as underscores. Europe PMC queries are TITLE_ABS searches on https://www.ebi.ac.uk/europepmc/webservices/rest/search (format=json, resultType=lite, pageSize=25). Header checks on 2026-11-02 UTC, bodies not downloaded: Ornithorhynchus_anatinus, Tachyglossus_aculeatus, Zaglossus_bartoni, Zaglossus_attenboroughi and Monotremata returned HTTP 200; Zaglossus_bruijnii returned HTTP 405 to HEAD and is still in the list for a GET. No further taxa may be added after the text is read." . "claim-test/0.1.0" . "biological" . "At least one living monotreme is described as having a coat of hair, fur, spines or quills and as laying eggs, in its Animal Diversity Web account and in Europe PMC titles or abstracts." . "A universal claim is not confirmed by a handful of species. The pass condition names the survey that would be required, and this run is not that survey." . "Account and abstract bodies were not downloaded before this file was committed. Only HTTP status codes from header requests were recorded." . "Europe PMC searches were narrowed with the trait words so that a matching abstract could appear inside the pre-registered page of 25. The match is still required in the returned title or abstract, not merely in the hit count." . "Keyword coding can miss a paraphrase or trip on a negation the pattern does not list. Those misses make the test fail to refute; they are not treated as support." . "One platypus coat hit is the phrase about hair loss. The same search also returns a title that says 'hairs of the platypus' (recorded among the corroborating hits), and the echidna coat hits include spines and quills." . "The Animal Diversity Web passages are narrative accounts compiled by the site's contributors, not measurements taken for this test. The literature hits are the second source." . "The Monotremata order page and the Zaglossus bruijnii account did not contain both coded passages, so they did not enter the verdict. The refutation is the platypus and the short-beaked echidna." . "No hair-coated animal lays eggs. On the accounts examined here, that would mean no monotreme account describes both a coat and egg-laying." . "Pre-registered. Refutes if at least one species in the frozen list is coded, on its Animal Diversity Web account, as both coated and oviparous, and Europe PMC returns at least one title or abstract for that same binomial that codes oviparity and at least one that codes a coat. The order account for Monotremata can supply the coat and oviparity coding for the clade, but the refutation still needs those two Europe PMC hits for at least one species on the list. Inconclusive, reason underpowered, if no account codes a coated oviparous animal: absence of a counterexample in this sample does not confirm the universal. Inconclusive, reason data-unavailable, if every Animal Diversity Web account fails to load. Inconclusive, reason other, if an account codes a counterexample but Europe PMC does not corroborate both traits for any such species." . "0.85"^^ . . . "refutes" . "Every animal with a coat of hair, counting spines and quills as hair, bears live young. In particular the living monotremes, if they have a coat, are viviparous." . "From each account, take the passage under the heading Physical Description and the passage under the heading Reproduction, each running until the next heading. A coat is coded if that physical-description passage matches fur, hair, hairs, pelage, spine, spines, quill or quills, and does not match hairless, no fur, no hair, without fur, without hair, lacks hair, lack hair, no spines, without spines or lacks spines. Oviparity is coded if the reproduction passage matches oviparous, egg-laying or egg laying, or contains egg or eggs within 80 characters of lay, lays, laid or laying, and does not match does not lay, do not lay or never lays. A Europe PMC hit counts only when the returned title or abstract itself matches the same pattern; a hit with an empty abstract and a non-matching title does not count. Refutes only when both the account coding and the two literature hits (oviparity and coat, same species, possibly different papers) are present. Otherwise inconclusive, with the reason in fail_criterion. Supports is not a reachable verdict of this sample." . "Pre-registered, before any account or abstract was downloaded. The universal would be supported only by a dataset that codes both a coat (hair, fur, pelage, spines or quills) and reproductive mode for hair-coated animals across the living mammal orders, including Monotremata, and that codes zero of those animals as oviparous. This test's sample is the living monotremes only, so a support verdict is not available from it. Reaching the pass condition would require a later test with that broader coding; this run must not report supports." . "false"^^ . . "physical-description and reproduction passages for the frozen monotreme taxa" . "Animal Diversity Web, University of Michigan Museum of Zoology; terms on the site disclaimer linked from each account" . . "Dataset: Animal Diversity Web species and order accounts" . . . . . . . . "sha256:67798b24dde87f95ee879fa029c511ec5f9c4a1f39a622f644757015491f06e2" . "sha256:7e24449a217bec5a8d94836558b881ec63325fbdc7e0134ecd37ee98f6a07968" . "sha256:b1c9dc5ec91c7256be9f0a4850fb0fc9bd9390f179ff8db02e65edb86c0b1d23" . "sha256:d446f5e9e4ff097be82ba23041790f575ff1392c3c6d7f20bf26dcb61ec9ec24" . "sha256:eecf1727a425f75ee469030611188ca29a3842e780f1778377e51cf0d1888055" . "sha256:f39ac34cca007aec1f9bcde9ef77ad2be3461e0b88683726fd9c8f15f3447f0a" . "corroborating titles and abstracts for coat and egg-laying" . "Public Europe PMC REST API; each abstract remains under its source article's terms" . . "Dataset: Europe PMC REST search, title and abstract" . . . . . . . . . . . . "sha256:28c9936d9837806c49cd5c563c86cd6abb9f576e979e1f26717ce7fd1eba7de5" . "sha256:429a3dfc76b6d1e6e82197807896f25e4cf638109841f6f5ebb815f1dd7bda85" . "sha256:60ec33c8a320bf9cc95ad48f67d8b3894c32bff38f6f5e70503c337394769796" . "sha256:9e5b7b03f6622881f803350f3ead04b292a94cdaa7fa5f0d576f5e77e9e11320" . "sha256:af7972d230dd4d60afa57a2c9d66cc8afd09ccfed61ee51d126056d6cc8fe033" . "sha256:aff2817f7a4038fbb3394b47f6a35cc7b473ecf2c49783353b538a066a0f3859" . "sha256:bda7b893050cc4b024096599c67b33d75648a0bf24fefd3ee0bbae050b789a6f" . "sha256:d92dfd401657fabbf063cf30623560e5aecf2f5cd27c803a7b32fff18ed327be" . "sha256:f33fc7d5336d8967fe021338f162d9836b00b1852847dbd1ba061d3f3154ec86" . "sha256:fb28de0ffe08e83189c1f38c38fd96983e56d9783802c6507ffe2682615b6d8a" . . "delphisci claim tester (Grok 4.7; cursor/aristotle-claim-tests-de78)" . . . "Grok 4.7" . . . . . . . . . "2026-11-08T16:24:31.747Z"^^ . . . . . "Claim test of aristotle-ha01-12: refutes, confidence 0.85" . . "RSA" . "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" . "PhxMQcdN8ao95hIVZQ8zQhWvtmO4BtEJtNQ/wrbAeOWKm9CVGVVsgvyXf/g45VwdS3lWPSL19UpbSQjLHMF+SVc9A2AwsBmXfBEgMzYDeDH0pIsKEvT+5RkQ7S+qD1S1ce94jb11whuj5NRlKmpmf67yoAvgfXLjEryOETnX9TRISkvjvuHlB73sPPDjrUoauaKfPbCUjYRWe5P3iS/a1mLw2dEs7Qd1nP17lkPnwW9lL087aqT10QMzY6h0gZCw+SQbavaszgiMOFbHftKogTYDFSjEcMYiGFx0WgOyWlWSSu2jC6NL0paabGeAlQUCKRs+IdxvKvpRrUoXlNs3aA==" . . .