{
  "project": "ES_46_RV6",
  "tool": "SWI-Prolog",
  "generated_on": "2026-09-22T22:54:47+00:00",
  "verdict": "ARBOL INCOMPLETO",
  "passed": false,
  "missing_definition_dependencies": [
    {
      "node": "d_finv",
      "provider": "d_f",
      "symbol": "u_rim_rho"
    },
    {
      "node": "d_finv",
      "provider": "d_f",
      "symbol": "u_ved_rho"
    },
    {
      "node": "p_rim_s",
      "provider": "d_rim",
      "symbol": "z_rim_nt"
    },
    {
      "node": "p_z",
      "provider": "d_rim",
      "symbol": "z_rim_nt"
    },
    {
      "node": "t_riemann",
      "provider": "d_rim",
      "symbol": "z_rim_nt"
    }
  ],
  "exit_code": 1,
  "program": "ES_46_RV6.pl",
  "goal": "go/0",
  "diagnosis": "Prolog encontro un problema en la estructura o cobertura del arbol. Esto no refuta las formulas matematicas del Markdown.",
  "action_required": "Revisar los enlaces y formulas indicados en el registro; distinguir dependencias omitidas de errores del extractor.",
  "log": "logs\\PROLOG_ES_46_RV6.log",
  "scope": "Comprueba hechos estructurales, formulas extraidas, dependencias declaradas y referencias a conjuntos con definicion unica. No cubre todas las implicaciones matematicas ni demuestra la verdad de las formulas."
}