Esta página es el estándar editorial que sustenta todo lo que contiene el
laboratorio. Existe para que un hallazgo llegue al lector como un objeto
redactado, y no como una nota en bruto, y para que las mismas reglas se apliquen
sin importar quién lo escriba.
La regla de base sobre la que todo se apoya:
- El trabajo no publicado no aparece aquí. El lugar donde un investigador
conserva su trabajo en curso solo le concierne a él. Sencillamente no figura en
este repositorio. No hay ningún borrador a medias en el cuaderno publicado.
- El trabajo publicado reside en el laboratorio. Público, decantado, escrito
para un lector. Llegó hasta aquí tras una revisión.
La publicación se realiza mediante pull request. Un investigador abre una PR que
añade o promueve una página, y es en la revisión de esa PR donde se decide la
publicación, y en qué nivel. Nada entra en el registro público sin una PR, y es
en la PR donde un segundo lector la coteja con el estándar descrito más abajo.
Esto mantiene la revisión como algo colegiado en lugar de una barrera pesada, y
escala a muchos autores.
Mantenerlos separados es todo el método. Es fácil difuminar «pulido»,
«reproducible» y «revisado» en una noción vaga de «terminado». No son lo mismo.
- Contribución: ¿de qué tipo de resultado se trata?
- Nivel: ¿hasta dónde ha llegado la revisión?
- Rigor y reproducibilidad: ¿con qué firmeza se sustenta la afirmación?
Más la atribución: quién hizo qué.
No todo resultado es un solucionador, y el cuaderno dejó de fingir lo contrario.
Una página declara su contribución:
- solucionador: produce un tablero competitivo mediante búsqueda. Su
puntuación es un verdadero resultado de búsqueda. Solo estos ganan una fila en
la clasificación.
- análisis: demuestra o calcula una propiedad de un tablero existente o de la
instancia. No produce un tablero nuevo.
- reconstrucción: decodifica o reconstruye el trabajo conocido de la
comunidad para extraer una idea. El número es de ellos, decodificado.
- teoría: una propiedad matemática, una ley o una prueba de imposibilidad.
- método: una técnica descrita para su reutilización, no una ejecución con
puntuación.
- medición: un benchmark o una observación empírica sobre solucionadores o
instancias.
- negativo: un callejón sin salida explorado con rigor. De pleno derecho, no
una nota al pie.
- herramienta y exposición: un artefacto de software, o una explicación.
La distinción que carga el peso opone el solucionador a todo lo demás. Un
solucionador de bandas por encuentro en el medio (meet-in-the-middle) que prueba
que un final de partida es óptimo es un análisis, no un solucionador, y no tiene
cabida en un gráfico de puntuaciones aunque emita un número. Ajustar bien este
eje es lo que hace que la clasificación signifique una sola cosa.
Este eje es además una superficie de navegación: el índice por
contribución reúne las páginas según
la etiqueta que declaran, de modo que los análisis, la teoría, las mediciones, y
los callejones sin salida guardados como resultados negativos de pleno
derecho tienen cada uno su
propio estante.
Una vez publicada, una página lleva un nivel que indica con qué firmeza ha sido
revisada:
- Informe técnico: público, pero la revisión solo confirmó que es sólido y
está presentado con honestidad, no que haya sido verificado de forma
independiente. La página lleva una insignia de «informe técnico», del mismo
modo que un preprint se estampa como «aún no revisado». Un estado de reposo
legítimo: no todo necesita ir más lejos.
- Hallazgo revisado: un segundo lector, o el mismo autor tras un periodo de
decantación, confirmó que se sostiene. Citado, tratado como casi inmutable; las
correcciones se hacen sobre el terreno, anotadas.
Dos principios se trasladan de cómo funciona la publicación científica en otros
ámbitos. El nivel está estampado en la página, de modo que el lector siempre sabe
qué tiene ante sí. Y la promoción se juega sobre el rigor, no sobre el resultado:
un método sólido que no encontró nada se publica como resultado negativo,
mientras que un resultado llamativo obtenido con un método poco sólido no se
publica.
Cada página indica con qué firmeza está establecida su afirmación central
(probada, medida o conjeturada) y hasta qué punto es reejecutable. Para todo lo
cuantitativo el criterio es simple: un número solo se publica cuando su
configuración exacta y su semilla están archivadas y puede reejecutarse a partir
de la documentación. Una puntuación de benchmark sin configuración reejecutable
no se publica. Las contribuciones más baratas llevan un listón más ligero: un
resultado negativo o una explicación necesita un razonamiento sólido y límites
claramente enunciados, no un script de reproducción.
Las páginas de cada investigador se agrupan automáticamente en su página de
colaborador, derivadas de la firma, nunca listadas a mano. Añadir un autor
consiste en añadir una entrada al registro y escribir páginas a su nombre. Cuando
una página tiene más de una mano, un rol de colaborador ligero (quién la ejecutó,
quién la analizó, quién la validó, quién la redactó) registra el reparto, para
que el crédito se mantenga justo a medida que el laboratorio crece.
Cuando un trabajo está terminado:
- Nombrar la contribución. Solucionador, análisis, reconstrucción, teoría,
método, medición, negativo, herramienta o exposición.
- Decidir si se publica. Se publica sobre el rigor, no sobre el
entusiasmo. Un callejón sin salida sólido se publica. Un número sin
configuración reejecutable espera.
- Abrir una PR en un nivel. Informe técnico si está redactado pero aún no
verificado de forma independiente; hallazgo revisado una vez que un segundo
lector lo avala.
- Situarlo. Los solucionadores y sus afines bajo los experimentos; los
resultados estructurales bajo por qué es difícil; las técnicas bajo construir
un solucionador; las mediciones entre solucionadores con los benchmarks.
- Llevarlo al gráfico solo si es un solucionador.
Ese es todo el estándar. Es deliberadamente ligero, porque el propósito es elevar
el suelo de cada página sin frenar el cuaderno.