dsh-vulnerability-remediation-proof

Evidencia determinista y sin conexión de que una campaña de remediación de vulnerabilidades suministrada cubrió todos los activos declarados, desplegó un artefacto corregido, volvió a escanear después del despliegue, cumplió su plazo de remediación y alcanzó un cierre reciente sin residuales. Las entradas y los informes contienen solo hashes y metadatos públicos limitados; nunca nombres de host, direcciones, cuerpos de escaneo ni secretos.

Esto no es deliberadamente un escáner ni un administrador de parches. DeepSec escanea el código DSH y upstream-radar monitorea las vulnerabilidades de dependencias; las plataformas operativas despliegan parches. Este plugin no realiza descubrimiento, escaneo, instalación, mitigación ni consulta de sistemas en vivo. Solo recalcula un veredicto de liquidación redactado a partir de recibos explícitos.

npm test
npm run check
node bin/dsh-vulnerability-remediation-proof.mjs verify examples/closed.json

Herramientas DSH: dsh_vulnerability_remediation_inspect y dsh_vulnerability_remediation_verify. MCP expone herramientas en línea equivalentes solo de prueba. Los informes conservan explícitamente authenticatesReceipts: false, provesAssetSetExhaustive: false y provesAbsenceOfOtherVulnerabilities: false.

Referencias: NIST SP 800-40 Rev. 4 y NIST SP 1800-31.

Licencia MIT.