. . . . "Each Dryad file was retrieved by solving the Anubis fast challenge and following the redirect to the object store. SquamBase Limbs values were mapped with the pre-registered codebook: a leading integer is that count, limbless is 0, forelimbs-only or hindlimbs-only is 2, and reduced or four well-developed limbs is 4. Arthropod rows with Leg count greater than 4 were checked for a vertebrate class or order from the pre-registered list." . . "Measured: 0 counterexamples (squamate limb counts outside {0, 2, 4}, plus many-legged specimens coded vertebrate) (n = 11744, category strings mapped with the pre-registered codebook; leading integer wins when the cell starts with a digit). Interpretation: Scope maps 'blooded' to vertebrates and 'bloodless' to invertebrates. 'Feet' are paired locomotory limbs or walking legs, not digits. SquamBase categories follow Meiri's codebook: a numeric cell is that count; 'limbless' or 'absent' or 'none' maps to 0; 'forelimb only', 'hindlimb only', 'front only', 'hind only' or 'one pair' maps to 2; 'fully limbed', 'four', 'both pairs' or 'reduced' (short limbs, not an extra pair) maps to 4. A tiny vestige that the dataset itself calls limbless stays 0. Digit counts are ignored. Vertebrate coding in the arthropod file is a taxonomic field containing Vertebrata, Mammalia, Aves, Reptilia, Amphibia, Actinopterygii, Chondrichthyes, or an order in {Primates, Carnivora, Rodentia, Cetacea, Artiodactyla, Perissodactyla, Chiroptera, Squamata, Testudines, Crocodylia, Anura, Caudata, Gymnophiona, Perciformes, Cypriniformes, Siluriformes, Salmoniformes, Squaliformes, Rajiformes}." . "Claim test of aristotle-ha01-08: supports, confidence 0.78" . . . "Species- or specimen-level public tables that state a limb or walking-leg count and a taxon name, assembled independently of this claim, with a licence that permits download. The squamate table must cover snakes and lizards, not a single genus. The many-legged table must state walking-leg counts rather than a presence/absence of limbs." . "claim-test/0.1.0" . "biological" . "A squamate with a limb count other than 0, 2 or 4, or a vertebrate specimen with more than four walking legs." . "Mammals, birds, amphibians and fishes are not in these two files. The pre-registration treats that absence as coverage, not as a failure." . "SquamBase 'reduced' is mapped to 4 because the codebook says reduced means short limbs, not an extra pair. Digit counts are not a separate column in this file." . "The arthropod table is a comparative specimen sample, not a census of arthropods." . "Every coded squamate has 0, 2 or 4 limbs, and every arthropod specimen with more than four walking legs is non-vertebrate." . "Any mapped squamate limb count is outside {0, 2, 4}, or any specimen with more than four walking legs is coded as a vertebrate. If either file cannot be retrieved, or fewer than 5000 squamates map, or fewer than 30 many-legged arthropod specimens are present, and no counterexample has already been found, the verdict is inconclusive with reason data-unavailable or underpowered as appropriate. Unmapped limb strings that are more than 1% of SquamBase rows and that do not themselves state a count outside {0, 2, 4} make the verdict inconclusive with reason other, unless a mapped counterexample is already present, in which case the verdict is refutes." . "0.78"^^ . . . "supports" . "If every animal with more than four feet is bloodless, and every blooded animal has no feet, two feet or four feet, then squamates (blooded) have only 0, 2 or 4 limbs and every arthropod specimen with more than four walking legs is outside the vertebrates." . "Map each row to a limb count with the codebook above. A universal is refuted by one counterexample. A pass requires both sample-size floors and zero counterexamples. No phylogenetic model." . "Both of the following. (1) In SquamBase, at least 5000 species have a limb count mapped to a number, and none of those counts is outside {0, 2, 4}. (2) In the arthropod feet dataset, at least 30 specimens have a walking-leg count strictly greater than 4, and none of those specimens is coded in a vertebrate class, phylum or order. Mammals, birds, amphibians and fishes are outside these two files and do not have to be present for a pass; their absence is a coverage caveat, not a fail." . "false"^^ . . "limb category for each squamate species" . "https://spdx.org/licenses/CC0-1.0.html" . . "Dataset: SquamBase 1.0 – a dataset of squamate species traits" . . . "sha256:e850eb807240e1012d0af3e5f2c33a84dab406d50e86a8e3dc591f51a64912af" . "walking-leg count and taxonomic class or order for each specimen" . "https://spdx.org/licenses/CC0-1.0.html" . . "Dataset: Data from: Which arthropods have feet and why? Addressing an argument for aquatic fossil scorpions" . . . "sha256:0ca5307235e1ce60306fa2d3fd6535bdb011f2b08f172b6eb52fddf2edfa110c" . . "delphisci claim tester (Grok 4.7; cursor/aristotle-biology-tests-4186)" . . . "Grok 4.7" . . . . . . . . . "2026-11-08T16:24:31.746Z"^^ . . . . . "Claim test of aristotle-ha01-08: supports, confidence 0.78" . . "RSA" . "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" . "TalLmGa4Qy06jOrCDzrmAmZXSyEn+Z+FVI7Dl+gRDa+9nDmc289D8c4SWBlunyQ/v0Ab7To2i4nYX84nPUzkWovD1/97ffALwAfIsk9YbMQ/aOFVsgsdUUfCqUuN0O3+W6q8IQc898liqoMa1BPb5vAepwKOT1twJLep5YT5auZ0/Nf+5S7jwQVZG2GxSsIOdUmxZIs1zVwPv9tEfr1AkSuQ8lAh2ePUGQ3kuU2Fwl/9ldstzcf0GkXKSld7WCYbA7NPwKwRDwmdZhLlKq4mbqkySzrYWKotd3eX2+O9JrpXPyuKJmkBOXZa1gvQAA7VyqE8JDT/5apt53gLJrCJVw==" . . .