La ejecución, en pantalla
Cada número a continuación proviene de una única campaña de benchmark determinista (semilla 411), calculada en tiempo real durante la ejecución, no codificada de forma rígida. El objetivo es un benchmark sintético fundamentado físicamente, no datos reales de DFT o de laboratorio, y el laboratorio es un simulador tras una interfaz con formato SiLA-2. Nada aquí se sintetizó físicamente.
El marcador: lo que el bucle gastó y lo que ahorró
El bucle cerrado alcanza la especificación objetivo en el experimento 75, utilizando 19,9 veces menos experimentos de los que esperaría el cribado aleatorio (aproximadamente 1.491) para el mismo objetivo oculto. A su lado, el marcador registra los números que importan más que la velocidad: 4.419 dólares estadounidenses de desperdicio de reactivos evitados, 90 horas-robot ahorradas y 38 candidatos inviables bloqueados antes de la síntesis, con el estado de especificación indicando especificación cumplida. La eficiencia es real, pero el desperdicio evitado y la procedencia son las partes que se mantienen con cualquier calidad del modelo.
El diferenciador: una receta condenada al fracaso detenida antes de llegar al robot
Aquí se muestra un bloqueo en detalle. Un candidato propuesto presenta un peligro de oxidación de Sn(II) con la humedad del proceso, y su bandgap predicho, estabilidad de fase y descomposición quedan fuera del objetivo. La compuerta lo rechaza antes de la síntesis, ahorrando 105 dólares estadounidenses en reactivos y 2,33 horas-robot, y registra el rechazo como un registro ALCOA+ encadenado por hash. El optimizador nunca llega a gastar una hora-robot descubriendo lo que la química determinista ya sabía.
Treinta y ocho bloqueos, cada uno identificando su fundamento químico
El bloqueo individual no es un hallazgo fortuito, es el patrón. A lo largo de la ejecución, la compuerta bloqueó 38 candidatos inviables antes de la síntesis, y cada uno identifica la física que infringió: peligro de oxidación de Sn(II), neutralidad de carga vulnerada por un sitio B no compensado, o tolerancia de Goldschmidt fuera de la ventana de formabilidad, junto con los dólares y las horas-robot que ahorró. Los bloqueos suman un total de 4.419 dólares estadounidenses y 90 horas-robot de desperdicio evitado, y se ejecutaron cero síntesis inviables.
El bucle dirigiéndose hacia la casilla de especificación objetivo
El mapa de descubrimiento grafica cada material que el bucle sintetizó en simulación en el espacio de bandgap frente a estabilidad de fase, coloreado por temperatura de descomposición, con una casilla discontinua que marca la ventana objetivo: un bandgap de 1,2 a 1,5 eV con alta estabilidad. Los primeros puntos se dispersan; los puntos posteriores se agrupan hacia la casilla a medida que el sustituto aprende, y el mejor material se ubica dentro de ella. Este es el optimizador haciendo su trabajo, pero solo sobre los candidatos que la compuerta permitió pasar.
El material que cumple las especificaciones, en el experimento 75
El mejor material encontrado cumple todas las especificaciones: composición (Cs0.46MA0.22FA0.31)(Sn0.69Ge0.31)(I0.73Br0.21Cl0.06)3, con un bandgap de 1,43 eV, una puntuación de estabilidad de fase de 0,743 y una temperatura de descomposición de 250,5 grados Celsius. Para ser claros sobre el alcance, este es el resultado de un objetivo sintético fundamentado físicamente, no un material fabricado por alguien. Es la prueba de que el bucle converge, no la afirmación de un descubrimiento real.
El recibo: 113 registros, cadena intacta
Cada decisión, tanto las 75 síntesis como los 38 bloqueos, se escribe en un registro de solo adición, 113 en total, y se exporta como un informe de procedencia de campaña mapeado con los principios ALCOA+. Cada fila contiene su marca temporal, acción, candidato, veredicto de la compuerta, infracciones, justificación y un hash SHA-256 que la encadena con el registro anterior. El informe indica cadena intacta y a prueba de manipulaciones, que es la procedencia atribuible y contemporánea que debe presentar un laboratorio regulado.
La prueba de manipulación: modifique un registro y la cadena se romperá visiblemente
La cualidad de ser a prueba de manipulaciones solo vale la pena afirmarla si puede observarse en acción. Modifique una sola carga útil en la auditoría exportada y el verificador informará que la cadena está rota en ese registro, manipulación detectada, e indicará que la auditoría presentada ha sido demostrablemente alterada. La cuestión no es que el registro no pueda modificarse, sino que un cambio no puede ocultarse, lo que hace que la pista sea defendible.
