Auditorías reproducibles de software: grafos de importación en Python, ciclos eager, descubrimiento de tests y señales de CI. Cada resultado queda atado a un objeto y a un alcance concreto.
Muestras verificables sobre repositorios públicos. Los resúmenes no sustituyen las actas completas: indican el commit, el resultado medido y lo que quedó sin medir.
45 archivos · 459 funciones de test · 3,35 % del corpus
En el commit auditado, la reconstrucción de shards, agregadores y llamadas directas dejó 45 archivos sin camino de ejecución: 33 omitidos por un agregador y 12 en una exclusión declarada. Se descartaron 25 candidatos antes del veredicto.
Límite: es alcanzabilidad estática en un commit fijado; no mide ejecución de tests ni atribuye negligencia.
3 ciclos · 5 entradas fallidas · 3 controles en verde
La matriz de importación reprodujo fallos cuando ciertos módulos de SQLite, PostgreSQL y Oracle se cargaban primero; las entradas de control funcionaron. El síntoma depende del orden de carga.
Límite: no se evaluaron SQL, migraciones, motores reales ni explotabilidad. El acta declara expresamente que no es una vulnerabilidad.
12 de 13 nodos omitidos tras abortar con -x
El caso reconstruyó una falla de setup TT_FATAL, distinguió los skips de hardware esperados y siguió la reparación aguas arriba. El conteo bruto de skips no se presenta como tasa de tests huérfanos.
Límite: resultado histórico de una ventana y commits concretos; no describe el estado actual del repositorio.
Rotura · tenstorrent/tt-metal#59955 (7d399796) · Reparación · tenstorrent/tt-metal#61470 (78957cf0)
0 ciclos eager · 0 de 8 rutas del PR intersectadas
El grafo completo tuvo seis componentes fuertemente conexas, pero ninguna fue eager y ninguna intersectó las ocho rutas fuente del cambio auditado.
Límite: análisis estructural del commit; no se midieron runtime, seguridad, rendimiento ni pruebas del PR.
0 ciclos eager en vllm_omni/platforms/
Se identificaron cinco componentes del ámbito cuyos ciclos incluyen imports diferidos. Un ciclo eager distinto quedó fuera del ámbito contratado y se reportó como tal.
Límite: grafo estático del commit; runtime de aceleradores y dependencias no resueltas quedaron NO_MEDIDO.
1 SCC mixta · 0 ciclos eager
La ruta modificada pertenece a una componente de 18 módulos del grafo total. La separación eager/diferida no encontró ciclo eager; el fan-in se trató como centralidad estática, no como fragilidad.
Límite: no se completó la importación de runtime porque faltaba Werkzeug; comportamiento y seguridad quedaron NO_MEDIDO.
Un número sin sujeto, denominador y alcance no es un hallazgo. Las fichas distinguen estructura estática, ejecución y límites en vez de colapsarlos en una sola etiqueta.
Cada resumen identifica el repositorio y el commit observado; no se extrapola a la rama móvil.
El resultado se limita a los archivos, tests o capas contratados para esa corrida.
Cuando aplica, se declaran controles y condiciones que harían cambiar el veredicto.
“Cero en el ámbito” es un resultado; no equivale a certificar que todo el sistema está libre de defectos.
Frontera: estas muestras son análisis estructurales y de CI, no una certificación general de seguridad. El informe de PyTorch aquí es de alcanzabilidad de tests, no de ciclos de dependencias; aún no hay una auditoría publicada de Scrapy en esta selección.
Propuestas de auditoría reproducible para repositorios públicos.
Escribir sobre una auditoría Proyecto editorial · El Arquitecto Cuántico