{
  "project": "ES_46_RV6",
  "tool": "DEMUESTRA Closure Audit",
  "generated_on": "2026-09-22T22:54:47+00:00",
  "verdict": "REQUIERE_REVISION",
  "goal": "T_RIEMANN",
  "checks": {
    "objetivo_existe": true,
    "dependencias_resueltas": true,
    "sin_ciclos": true,
    "lean_aprobado": false,
    "prolog_aprobado": false,
    "nodo_lean_coincide": true,
    "dependencias_lean_internalizadas": true,
    "sin_pendientes_ya_demostrados": true
  },
  "reachable_nodes": [
    "A_L",
    "D_L",
    "D_U",
    "D_f",
    "D_fInv",
    "D_k",
    "D_lambda",
    "D_rho",
    "D_rho_R",
    "D_t_prime",
    "P_COORD",
    "P_RHO_ISO",
    "P_RIM_S",
    "P_ST",
    "P_VED_E",
    "P_VED_Inv",
    "P_VR_E",
    "P_VR_rho",
    "P_Z",
    "P_a",
    "P_v",
    "T_ISO",
    "T_RIEMANN"
  ],
  "root_facts": [
    "A_L",
    "D_L",
    "D_U",
    "D_f",
    "D_fInv",
    "D_k",
    "D_lambda",
    "D_rho",
    "D_rho_R",
    "D_t_prime"
  ],
  "missing_dependencies": [],
  "cycles": [],
  "pending_with_demonstrated_dependencies": [],
  "open_lean_hypotheses": [],
  "lean_axioms": [],
  "scope": "Auditoria tecnica de trazabilidad formal; no mide aceptacion cientifica."
}