Exportar informes

La exportación escribe localmente; no sube datos. Primero inspecciona estado de revisión, cobertura, mapeos, hallazgos y motivos de validación. Pide al usuario que apruebe la exportación y elija una carpeta de salida existente; SaveTether crea una carpeta de informe nueva y no sobrescribe informes anteriores.

La carpeta contiene Report.json, Changes.csv y Report.html. JSON conserva identidades tipadas, texto exacto, decisiones, hallazgos, estado, cobertura y huellas. CSV incluye cobertura aunque no haya cambios y protege frente a fórmulas de hojas de cálculo. HTML escapa texto del proyecto y enlaza solo el JSON y CSV locales complementarios.

Las revisiones fallidas no se pueden exportar. Los resultados parciales o cancelados conservan su estado y requieren permiso explícito para llamar a export_report(output_directory, allow_partial=true); no los describas como completos. SaveTether vuelve a comprobar las entradas y los archivos staged, pero una escritura interrumpida puede dejar un staging incompleto, no un informe entregado. El informe no es una instantánea atómica ni garantiza compatibilidad.

Antes de compartir, revisa identificadores y rutas para detectar información confidencial. Para la operación separada de manifiesto de release, consulta Capturar y conservar releases; las firmas exactas están en Automatización e IA.