Prueba de Hermeticidad de Compilación DSH

Una capa de evidencia determinista y sin conexión para las cadenas de suministro de DeepSeek Harness. Verifica si un recibo de acceso de compilación explícito y solo con hash permaneció dentro de su cierre declarado de archivos, entorno, red, reloj, aleatoriedad y salida.

No ejecuta una compilación, no aplica un sandbox, no autentica el recibo ni demuestra que no pudieron ocurrir accesos no registrados. Tampoco demuestra reproducibilidad. Un veredicto hermetic significa solo que el recibo proporcionado es internamente completo y conforme a la política.

Límite complementario

• dsh-reproducible-build-proof compara recibos de recompilación operados de forma independiente para obtener salidas especificadas byte-idénticas.

• dsh-attestation-proof verifica firmas DSSE/in-toto, sujetos y umbrales de firmantes.

• Este complemento verifica el cierre de influencia externa declarado de una compilación registrada: lecturas/escrituras de archivos, lecturas de entorno, red, reloj y aleatoriedad.

Un acceso no declarado observado falla. Un intento no declarado denegado se retiene como evidencia de contención, pero no rompe el cierre. El acceso de red observado siempre falla bajo la política de red v1 de solo denegación. Las entradas y salidas declaradas deben aparecer todas en el recibo; la revisión de la fuente, la invocación, el valor del reloj, la semilla aleatoria y los valores de entorno permitidos están vinculados por hash.

Related MCP server: Spec Kit Acceptance Gate MCP

Instalación

dsh plugin add github:dongsheng123132/dsh-build-hermeticity-proof#COMMIT

El paquete expone dsh_build_hermeticity_inspect y dsh_build_hermeticity_verify desde un núcleo sin interfaz. El servidor MCP stdio independiente expone build_hermeticity_inspect y build_hermeticity_verify. La CLI acepta inspect o verify más una ruta JSON explícita.

Consulte examples/hermetic.json. Los informes contienen solo hashes, recuentos, booleanos, clasificaciones y veredictos. El material con forma de secreto, los registros sin procesar y los campos de cuerpo/contenido se rechazan. La herramienta de verificación DSH lee un manifiesto sin enlaces simbólicos relativo al espacio de trabajo, escribe solo en un artifactDir explícito relativo al espacio de trabajo, crea salida direccionada por contenido determinista exclusivamente y la verifica mediante relectura.

npm test
npm run check
npm run smoke:plugin
npm run smoke:mcp
python C:/Users/YOU/.codex/skills/.system/plugin-creator/scripts/validate_plugin.py .

Se requiere Node.js 22 o más reciente. El verificador no tiene dependencia de tiempo de ejecución, no genera ningún proceso y no realiza ninguna solicitud de red.