R&D LAB Diseño computacional Estudio Un modelo, no una crónica
Prereq
Un atlas de dependencias técnicas
130 capacidades, 348 aristas razonadas y trece invariantes que detienen la ejecución ante una infracción.
- 130capacidades
- 348aristas justificadas
- 13invariantes que interrumpen
- 44infracciones detectadas por máquina
El color aquí es temperatura, nunca categoría. Trace una línea en lo que alcanza su propio horno y todo lo que quede a la derecha es un mundo que no puede construir.
Por qué se publica
Muchos de los sistemas que construimos hacen más afirmaciones de las que pueden revisarse a mano. Prereq muestra cómo lo abordamos: la regla se escribe como una prueba ejecutable y la ejecución se detiene en cuanto se incumple. La regla más afilada del atlas compara dos campos introducidos de forma independiente; no exige criterio y sigue actuando justo donde leer ya no basta. Una lista de materiales, un modelo tarifario y una regla de fabricación exigen la misma disciplina.
Un grafo de dependencias de la técnica es fácil de afirmar y difícil de acreditar: cada arista es una afirmación, y un grafo que suena plausible es indistinguible desde fuera de uno que es correcto. Prereq lo aborda con restricciones que viven en el código y no en un documento. Cada arista es dura, y entonces la capacidad no existe sin ella, o es cuestión de cantidad, y entonces sí existe, solo que no a un ritmo, calidad o precio utilizables. Esa única distinción separa este atlas de uno que solo suena bien.
La idea
Un grafo de dependencias es barato de afirmar
Trace flechas entre capacidades y de inmediato parece conocimiento. Ahí está justamente el problema. Un grafo que suena plausible es indistinguible desde fuera de uno que es correcto, porque cada arista es una afirmación y nadie repasa 348 afirmaciones a mano.
Prereq lo aborda con una única distinción que vive en el código y no en un documento. Una arista es dura, y entonces la capacidad no existe sin ella, o es cuestión de cantidad, y entonces la capacidad sí existe, solo que no a un ritmo, calidad o precio utilizables. El bronce sin estaño no es bronce. El bronce sin minería es bronce en pequeña cantidad.
La distinción funciona porque se puede comprobar. La accesibilidad, la estratificación y la taxonomía de nudos corren solo sobre el grafo duro; las aristas de cantidad se muestran y nunca bloquean una posibilidad. Llamar dura a una arista obliga, por tanto, a escribir una razón física que prescinda de palabras como «fiable», «en cantidad» o «barato».
Antes de esa regla el atlas encontraba siete ciclos y los tomaba por un hallazgo. No lo eran. Cada uno estaba construido sobre una afirmación de cantidad que hacía el trabajo de una imposibilidad. Tras la regla no queda ningún ciclo real: la civilización no tiene verdaderos problemas del huevo y la gallina, solo problemas caros. Ese es el primer resultado que no se afirmó, sino que quedó.
El atlas es un modelo, no una historiografía. Los años son entradas sobre las que muerden las comprobaciones, no el resultado de un trabajo de fuentes. Lo que esta página acredita es que los datos no se contradicen, no que sean verdaderos, y la aplicación dice ambas cosas.
Un grafo que suena a conocimiento se distingue de uno que lo es solo por una comprobación que se interrumpe.
La regla
Lo que una arista debe superar antes de quedarse en el grafo
- 01 Escribir una razón Cada una de las 348 aristas lleva su propia razón física escrita. Una arista sin razón hace fracasar la ejecución. No es un comentario, es una condición.
- 02 Decidir dura o cuestión de cantidad Dura significa que la capacidad no existe sin ella. Cuestión de cantidad significa que sí existe, solo que más lenta, peor o más cara. 269 aristas son duras, 79 son de cantidad.
- 03 Comprobar contra la lista de palabras Si la razón de una arista dura contiene giros como «fiable», «en cantidad» o «barato», es en realidad una afirmación de ritmo y la ejecución se interrumpe. Lo inverso también vale: una razón de cantidad que afirma imposibilidad tampoco pasa, porque debe nombrar la versión peor que funciona sin el prerrequisito.
- 04 Comprobar contra el año Ningún prerrequisito duro puede estar fechado después de aquello que hace posible. La regla no necesita juicio, porque dos campos escritos de forma independiente deben coincidir. Aplicada al conjunto, detectó 44 infracciones.
- 05 Comprobar contra el soporte de registro Una capacidad que necesita un nivel de registro no puede ser anterior al soporte en el que ese registro puede sostenerse. También aquí es una comparación de campos y no un juicio.
- 06 Solo entonces estratificar La accesibilidad, la estratificación por camino más largo y los conos de ascendientes y descendientes corren solo sobre las aristas duras. Trece invariantes comprueban el estado final y terminan la ejecución con un código de error ante cualquier infracción.
Una lista en orden histórico y un grafo de aristas justificadas
La cronología
- Dice cuándo se hizo algo.
- Sugiere que el orden era necesario.
- No puede decir qué tuvo que existir primero.
- No distingue entre «no se puede» y «no lo bastante rápido».
- No da ninguna razón por entrada, solo una fecha.
- No tiene nada en lo que pueda fallar.
El atlas
- Dice cuándo algo se volvió posible y calcula la distancia hasta la fecha en que se hizo.
- El orden para descubrir diverge con nitidez del histórico: la conservación de alimentos es el paso 29 en el grafo y el número 92 en la historia, la polea 14 frente a 50, el resorte 54 frente a 15.
- El descenso lleva cualquier capacidad, capa a capa, hasta seis primitivas.
- Dura y de cantidad son dos tipos de arista con dos consecuencias distintas.
- Cada arista lleva una razón escrita en lugar de una opinión.
- Trece invariantes interrumpen la ejecución en cuanto el conjunto se contradice.
Lo que la distinción hace en el grafo
El atlas muestra 130 capacidades y 348 aristas, cada flecha del prerrequisito hacia lo que depende de él. Los anillos discontinuos son nudos, y un clic explica cómo se rompe el bucle. Siete son nudos de cantidad, tres capacidades se arrancan a sí mismas y no existe ni un solo nudo mutuo real.
Eso no es limpieza del dibujo, es el resultado de la regla. Toda circularidad aparente se disuelve en cuanto se concede a uno de los dos lados una versión peor. No hace falta un torno de precisión para construir un torno de precisión; hace falta uno peor, y la arista pasa a ser cuestión de cantidad.
Los dos últimos candidatos, la cordelería y la precisión, cayeron en la segunda pasada de honestidad. Ambos estaban construidos sobre formulaciones que se habían escapado de la propia lista de palabras del proyecto.
La comprobación que no necesita juicio
El invariante más afilado es el más simple: ningún prerrequisito duro puede estar fechado después de aquello que hace posible. No necesita juicio, porque dos campos escritos de forma independiente deben coincidir. Aplicado al conjunto detectó 44 infracciones, cada una de ellas una fecha errónea o una afirmación de cantidad que había escapado a la lista de palabras.
Ese es todo el sentido de la comprobación automática. Una persona que lee 348 aristas no ve las dos que no encajan. Una comparación de dos campos las ve al instante y nunca pasa por alto ninguna.
El mismo cálculo produce una segunda magnitud que nadie introdujo. Si una capacidad es posible desde el año en que su último prerrequisito duro está atestiguado, la distancia hasta la fecha real es deuda técnica calculada. El taladro de arco encabeza esa lista con unos 46 500 años. Allí donde el sustrato llega a la prehistoria profunda, el número mide más bien la distancia entre dos dataciones que un invento sin recoger, y esos nodos están marcados y fuera de las clasificaciones.
Una capacidad completa
Seis cifras clave, y ninguna se introdujo a mano. Nueve capacidades están en el cono duro de ascendientes, 43 en el de descendientes, la cadena dura más larga por debajo tiene cinco capas, la posición 60 en el orden de descubrimiento se enfrenta a la posición 49 en el histórico, y la deuda es de 2 200 años. Las seis salen del grafo; el recálculo del 2026-09-05 confirmó el 43 y ambas posiciones.
Debajo, el linaje corre en ambos sentidos: a la izquierda lo que tuvo que existir antes, a la derecha lo que se volvió posible gracias a ello. La fotografía procede de Wikimedia Commons y lleva autor y licencia visibles en la imagen; el dibujo del mecanismo que la acompaña es SVG propio, uno de 23 arquetipos paramétricos, no calcado de ningún libro.
El mismo grafo, cuatro preguntas
Lo que hay debajo
Dónde se aplica el mismo método en su caso
- Listas de materiales y secuencias de fabricación donde «no se puede» y «no lo bastante rápido» son dos afirmaciones distintas con dos costes distintos.
- Normativas y modelos tarifarios con más cláusulas de las que una persona puede repasar en busca de contradicciones.
- Mapas de cadena de suministro y de dependencias cuyo valor depende de que cada arista lleve una razón y no una opinión.
- Cualquier conjunto de datos lo bastante grande como para que comprobar a mano signifique ya comprobar una muestra.
Créditos de imagen: todas las vistas de esta página son capturas de nuestra propia aplicación. Las fotografías que aparecen en ella proceden de Wikimedia Commons, sólo con licencia libre o de dominio público, y cada una se muestra en la aplicación con su autor, su licencia y su página de origen.
Por qué se publica
Lo que esto significa para su proyecto
Más del laboratorio
Método Event Scout Un modelo de lenguaje lee las páginas de eventos; todo lo demás es código fijo. Queda una lista breve de dónde merece la pena un día presencial. 
Investigación aplicada Vellum Bordes, perspectiva, luz y texto se calculan en el teléfono. Un documento solo sale del dispositivo cuando alguien lo envía. 
Diseño computacional Atlas EV1 Doce capítulos desmontan un coche eléctrico, hasta una sola celda. Sin archivos de modelo ni texturas: 327 piezas de una tabla de medidas. Aplicar la misma disciplina de verificación a sus datos
Contactar