Curated index of No External Model Selection (NEMS) program archival deposits on Zenodo: numbered physics papers (one shared corpus record), Lean formalization archives, and datasets. Each line in the bundled Markdown lists titles and DOIs (or pending placeholders) so readers can navigate the full program from a single record. Related Zenodo metadata links constituents via DataCite hasPart / isPartOf relations when DOIs are in the local registry.
Nova Spivack (Mon,) studied this question.