Full scientific records for Why can equal results lead to different scientific futures: How humans and AI jointly form the conditions for further discovery

Full retained scientific records supporting “Why can equal results lead to different scientific futures: How humans and AI jointly form the conditions for further discovery”. The archive preserves original proof-completion requests, model responses and reasoning, five proof candidates, compiler outputs, coefficient-successor records, and earlier retained NS workflows with file-level provenance. Failed, stopped, truncated, unknown and not-run outcomes remain distinct. The separately authorised supplementary observation does not replace or resolve the historical unknown request. Four older-history groups in the manuscript remain historical reports and were not re-audited at episode level. This sharing scope does not enlarge the fixed analysis view, change original denominators or establish a general history effect. Original researcher data are CC BY 4.0 to the extent of the contributor’s rights; third-party notices remain in force. The V8-R3 data files and original release manifest are unchanged. The linked preprint and software documentation incorporate the formal subtitle in V8-R3.1: preprint 10.5281/zenodo.22905100; software and environments 10.5281/zenodo.22905103.