LABORATORIO / VERIFICACIÓN PÚBLICA
Auditar el laboratorio sin acceso privado
El paquete público identifica la custodia y permite contrastar la especificación con los resultados publicados. Claude y cualquier revisor pueden descargarlo sin cuenta ni permiso sobre los repositorios privados.
Régimen obligatorio
Disposición estructural completa.
Desde la próxima tanda, una campaña sin paquete público verificable no es recibible: no se promueve, no se cita como evidencia normativa y no cierra una fila. Los antecedentes se regularizan cuando se invocan normativamente. Las expectativas, umbrales, ventanas y presupuestos se fijan antes de medir; ajustarlos al resultado invalida la tanda.
Los cuatro objetos
- manifiesto.json: nombre, tamaño, SHA-256, fuente y ejecución de cada artefacto.
- testigos.json: obligación, condición atacada, predicado y control negativo, separados del resultado.
- verificar.mjs: verificador ejecutable con Node.js, sin dependencias externas.
- estado.json: resultados y observaciones públicas seleccionadas.
Descargue los cuatro archivos en un mismo directorio y ejecute:
node verificar.mjs --autopruebaTambién puede comprobar los archivos servidos desde una copia local del verificador:
node verificar.mjs --autoprueba https://juantoniolloretegea.github.io/SVcustos-dataset/laboratorio-de-infraestructura-SV/Se conserva la confirmación Git de publicación como identidad externa del manifiesto. El verificador muestra además su SHA-256. No debe confiarse en una copia modificada del verificador para certificar esa misma modificación.
Qué se ha regularizado
- 58 registros del panel: 55 PASS, 1 FAIL, 1 BLOCKED y 1 ERROR.
- Identidades con sufijo de tanda: A04@34021807895 conserva ERROR; A04@34022055251 conserva PASS.
- A05-deadline y A07-authorized declaran sus sucesores exactos de 0.2. Sus fallos históricos y las obligaciones generales pendientes se conservan.
- La conciliación de #8 contiene sus 17 casos, 16 PASS y 1 ERROR. Las 16 aprobaciones adicionales no se suman a los 55 PASS del panel.
Pruebas y custodia
74 identidades de testigo; 6.472 artefactos identificados de las ejecuciones 34010741314, 34021807895 y 34022055251. Se recuperaron los ZIP ya existentes y se comprobaron sus inventarios completos. No se repitieron las campañas.
El verificador contrasta 65 predicados sobre observaciones publicadas. Su autoprueba rechaza 32 mutaciones dirigidas por su causa exacta, después de recalcular las huellas de cada copia, y 65 ausencias de observables obligatorios. Los siete resultados del controlador se identifican bajo custodia: carecen de traza detallada pública. Estas cifras no son una medida de cobertura semántica general.
Rectificación de aprobación, límites y fuentes
La rectificación del 8 de septiembre fija seis límites identificados, comprueba la concordancia de las fuentes y exige approval = NOT_GRANTED para esta regularización. Superar pruebas no concede una aprobación humana.
Para contrastar el paquete con una huella obtenida de una referencia externa de confianza, añada --manifest-sha256=HUELLA_SHA256_DE_CONFIANZA al comando. La autoprueba incluye una sustitución concordante de la referencia privada: la huella externa la detecta; las huellas internas no autentican por sí solas un paquete sustituido.
Límites de esta evidencia
Una huella identifica bytes; sin acceso a esos bytes no demuestra su contenido ni su ejecución. La verificación pública comprueba consistencia y predicados sobre una proyección de observaciones; no reproduce aquí el ejecutor privado ni acredita correspondencia completa fuente–binario. Los resultados esperados proceden de las obligaciones de los contratos; los resultados sólo suministran observaciones.
La confirmación privada se comprueba por formato y concordancia pública. Un lector sin acceso a la custodia no acredita por ello su existencia, contenido ni correspondencia con la ejecución. Los límites LVP-01…LVP-06 son parte comprobada del contrato.
Esta regularización histórica no fabrica una publicación de la especificación anterior a las ejecuciones. Para las próximas tandas la especificación deberá quedar fijada antes de medir. Un resultado conforme del verificador no selecciona plataforma, no cierra garantías completas, no cierra la fila 7 y no cierra el núcleo.
Los registros 005, 012, 016, 018 y 020, las actas privadas, las claves y las capturas completas conservan su custodia. Este paquete regulariza exclusivamente las tres tandas del estado actual; los antecedentes 016/018/020 requieren su propio paquete si vuelven a invocarse como evidencia normativa.