English

When benchmark inferences do not compose: Projectibility in AI evaluation

Artificial Intelligence 2026-07-28 v1 Computers and Society Machine Learning

Abstract

An AI benchmark result rarely reaches a consequential claim in one step. Evaluators generalize it to further cases, interpret it as evidence of capability, extrapolate it to new tasks, transport it to another system or site, and combine it with assumptions about human review and downstream consequences. Validity-centred approaches require evidence for each claim. This paper identifies a further epistemic problem: warranted links don't automatically make a warranted chain. The target of one study may not be the source of the next; system, population, outcome, or conditions may change at the interface; and shared data or model lineage may make apparently independent support dependent. Projectibility concerns whether a bounded extension from observed to unobserved cases is warranted. Goodman supplies the problem of rival extensions; argument-based validity supplies an architecture for testing them. The paper's distinctive claim is a non-composition principle: support for adjacent projections warrants their composition only when endpoints and assumptions align and dependence and uncertainty are carried through. A legal-research case shows how benchmark evidence and a deployment study can each be sound while remaining parallel. A reanalysis and simulation show why aggregate stability can erase distinctions a later projection requires. The resulting projectibility audit diagnoses unsupported joins in benchmark-to-use arguments.

Cite

@article{arxiv.2607.26159,
  title  = {When benchmark inferences do not compose: Projectibility in AI evaluation},
  author = {Brett Reynolds},
  journal= {arXiv preprint arXiv:2607.26159},
  year   = {2026}
}

Comments

35 pages, 2 figures, 5 tables. Substantially rewritten and retitled; supersedes arXiv:2510.15236, whose homeostatic property-cluster account and proposed centrality-prior and cluster-stability measures are withdrawn. The argument, apparatus, and empirical companion are new. Code and empirical companion: https://github.com/BrettRey/benchmark-inference-composition