El Marco NEMS para Físicos: Sin Selección de Modelos Externos como Criterio de Completitud Fundamental

Este artículo introduce el marco de No Selección de Modelos Externos (NEMS) a una audiencia de física. Explicamos, en un lenguaje físico más que teórico, lo que NEMS requiere, por qué es importante y qué implica para los programas que dependen de seleccionadores externos (medidas, selectores de vacío, mapas de observador) para extraer predicciones deterministicas. El resultado central es una tricotomía: cualquier teoría fundamental candidata es o bien categórica a nivel de registro, de selección interna, o no fundamental en el sentido de NEMS. Resumimos el puente de Reducción de Externalidad (cada "dependencia externa" es selección disfrazada), el cierre de visibilidad semántica (la semántica no puede ocultarse fuera de los registros) y los resultados de tres auditorías ilustrativas aplicadas a la cosmología del multiverso, el paisaje de cuerdas y programas del universo computacional. La espina del teorema central está verificada por máquina en Lean 4 (v2.0.0, 8051 trabajos, cero disculpas, cero axiomas personalizados). El marco no adjudica cuál teoría es correcta; proporciona un criterio preciso y auditable para cuándo una teoría califica como una explicación fundamental completa. Límite de confianza. Esta es una encuesta orientada hacia la física; los axiomas precisos y el teorema de clasificación aparecen en los Documentos 1–2, con exportaciones fijadas en nems-lean. Ver.