{
  "project": "ES_46_RV6",
  "generated_on": "2026-10-27T16:49:01+00:00",
  "color": "red",
  "state": "REGRESION",
  "current_metrics": {
    "certificate_eligible": false,
    "lean_passed": false,
    "prolog_structural_passed": true,
    "prolog_direct_passed": true,
    "formal_refutations": 0,
    "tool_errors": 1,
    "certified_partial_nodes": 22,
    "translation_error_nodes": 0,
    "open_obligations": 0,
    "certificate_blockers": 7
  },
  "previous_metrics": {
    "certificate_eligible": false,
    "lean_passed": false,
    "prolog_structural_passed": true,
    "prolog_direct_passed": true,
    "formal_refutations": 0,
    "tool_errors": 0,
    "certified_partial_nodes": 22,
    "translation_error_nodes": 0,
    "open_obligations": 0,
    "certificate_blockers": 5
  },
  "improvements": [],
  "regressions": [
    "Aumentan errores de evaluador: 0 -> 1."
  ],
  "comparison_percentages": {
    "improves": 0.0,
    "worsens": 11.1,
    "balance": -11.1,
    "indicator_count": 9,
    "method": "Porcentaje de los indicadores probatorios comparables que cambian en cada sentido."
  },
  "rollback_available": true,
  "rollback_command": "python publica.py --restaurar-anterior ES_46_RV6",
  "policy": "Rojo ante cualquier regresion; verde solo si hay mejora sin regresiones; amarillo si no hay cambio probatorio relevante.",
  "nodes": [
    {
      "id": "D_U",
      "kind": "definition",
      "name": "El universo físico considerado se representa como",
      "description": "$D_U$ — El universo físico considerado se representa como\n\n$$\n\\boxed{\nU=3S+T.\n}\n$$\n\nNo se elimina ninguna dimensión espacial.",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 29
      }
    },
    {
      "id": "P_COORD",
      "kind": "proposition",
      "name": "## 1.2. Elección local de la dirección de propagación",
      "description": "## 1.2. Elección local de la dirección de propagación\n\nSea una onda que en un punto determinado se propaga según una dirección espacial. Es lícito orientar localmente los ejes de coordenadas de manera que el eje $x$ coincida con la dirección instantánea de propagación.\n\nEntonces, para ese desplazamiento infinitesimal,\n\n$$\ndy=0,\n\\qquad\ndz=0,\n$$\n\ny\n\n$$\nds=dx.\n$$\n\n$P_{\\rm COORD}$ — Esta elección no reduce $3S$ a una dimensión. Sólo alinea una coordenada con la dirección local de propagación.\n\n---\n\n# 2. Significado de $t'$ y relación de Lorentz",
      "deps": [
        "D_U"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 57
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "## 1.2. Elección local de la dirección de propagación",
          "Sea una onda que en un punto determinado se propaga según una dirección espacial. Es lícito orientar localmente los ejes de coordenadas de manera que el eje $x$ coincida con la dirección instantánea de propagación.",
          "Entonces, para ese desplazamiento infinitesimal,",
          "$$\ndy=0,\n\\qquad\ndz=0,\n$$",
          "y",
          "$$\nds=dx.\n$$",
          "$P_{\\rm COORD}$ — Esta elección no reduce $3S$ a una dimensión. Sólo alinea una coordenada con la dirección local de propagación.",
          "# 2. Significado de $t'$ y relación de Lorentz"
        ],
        "source_text": "## 1.2. Elección local de la dirección de propagación\n\nSea una onda que en un punto determinado se propaga según una dirección espacial. Es lícito orientar localmente los ejes de coordenadas de manera que el eje $x$ coincida con la dirección instantánea de propagación.\n\nEntonces, para ese desplazamiento infinitesimal,\n\n$$\ndy=0,\n\\qquad\ndz=0,\n$$\n\ny\n\n$$\nds=dx.\n$$\n\n$P_{\\rm COORD}$ — Esta elección no reduce $3S$ a una dimensión. Sólo alinea una coordenada con la dirección local de propagación.\n\n---\n\n# 2. Significado de $t'$ y relación de Lorentz",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "D_t_prime",
      "kind": "definition",
      "name": "## 2.1. Convención esencial sobre el apóstrofo",
      "description": "## 2.1. Convención esencial sobre el apóstrofo\n\n$D_{t'}$ — El apóstrofo de $t'$ **no significa derivada**.\n\n$t'$ representa la coordenada temporal propia del sistema observado respecto del observador en la transformación de Lorentz. En consecuencia, $dt'$ es el diferencial del tiempo propio del sistema observado.\n\nCuando sea necesaria una derivada se escribirá explícitamente, por ejemplo,\n\n$$\n\\frac{dt'}{dt}.\n$$",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 65
      }
    },
    {
      "id": "A_L",
      "kind": "foundation",
      "name": "## 2.2. Antecedente de Lorentz",
      "description": "## 2.2. Antecedente de Lorentz\n\n$A_{\\rm L}$ — Para velocidad relativa $v$,\n\n$$\ndt'\n=\ndt\n\\sqrt{\n1-\\frac{v^2}{c^2}\n}.\n$$\n\nDefinimos la velocidad longitudinal observada como\n\n$$\n\\boxed{\nv=\\frac{ds}{dt}.\n}\n$$\n\nEn unidades naturales,\n\n$$\nc=1.\n$$\n\nPor tanto,\n\n$$\ndt'^2\n=\ndt^2-ds^2,\n$$\n\ny obtenemos",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 77
      }
    },
    {
      "id": "P_ST",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\n\\boxed{\nP_{\\rm ST}:\n\\qquad\nds^2=dt^2-dt'^2.\n}\n$$\n\nEquivalentemente,\n\n$$\n\\boxed{\nds^2=(dt-dt')(dt+dt').\n}\n$$\n\nEstas dos expresiones son la misma relación geométrica escrita de dos formas.\n\n---",
      "deps": [
        "P_COORD",
        "D_t_prime",
        "A_L"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 114
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\n\\boxed{\nP_{\\rm ST}:\n\\qquad\nds^2=dt^2-dt'^2.\n}\n$$",
          "Equivalentemente,",
          "$$\n\\boxed{\nds^2=(dt-dt')(dt+dt').\n}\n$$",
          "Estas dos expresiones son la misma relación geométrica escrita de dos formas."
        ],
        "source_text": "$$\n\\boxed{\nP_{\\rm ST}:\n\\qquad\nds^2=dt^2-dt'^2.\n}\n$$\n\nEquivalentemente,\n\n$$\n\\boxed{\nds^2=(dt-dt')(dt+dt').\n}\n$$\n\nEstas dos expresiones son la misma relación geométrica escrita de dos formas.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_v",
      "kind": "proposition",
      "name": "# 3. Primer y segundo orden: velocidad y aceleración",
      "description": "# 3. Primer y segundo orden: velocidad y aceleración\n\nLa primera derivada espacial respecto de $t$ es\n\n$$\n\\boxed{\nP_v:\n\\qquad\n\\frac{ds}{dt}=v.\n}\n$$\n\nCuando $v$ es constante,\n\n$$\n\\frac{d^2s}{dt^2}=0.\n$$\n\nLa segunda derivada es",
      "deps": [
        "D_t_prime",
        "A_L",
        "P_ST"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 138
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "# 3. Primer y segundo orden: velocidad y aceleración",
          "La primera derivada espacial respecto de $t$ es",
          "$$\n\\boxed{\nP_v:\n\\qquad\n\\frac{ds}{dt}=v.\n}\n$$",
          "Cuando $v$ es constante,",
          "$$\n\\frac{d^2s}{dt^2}=0.\n$$",
          "La segunda derivada es"
        ],
        "source_text": "# 3. Primer y segundo orden: velocidad y aceleración\n\nLa primera derivada espacial respecto de $t$ es\n\n$$\n\\boxed{\nP_v:\n\\qquad\n\\frac{ds}{dt}=v.\n}\n$$\n\nCuando $v$ es constante,\n\n$$\n\\frac{d^2s}{dt^2}=0.\n$$\n\nLa segunda derivada es",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_a",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\n\\boxed{\nP_a:\n\\qquad\n\\frac{d^2s}{dt^2}\n=\n\\frac{dv}{dt}\n=\na.\n}\n$$\n\nDentro del marco Einstein–VED, la presencia de materia se asocia al confinamiento de onda y a la existencia de dinámica no puramente lineal; la aceleración expresa la variación del régimen de velocidad.\n\nLa geometría define por tanto una estructura diferencial en $t$, $t'$ y sus variaciones. No se añade desde fuera una segunda geometría para introducir la dinámica.\n\n---\n\n# 4. Onda base, longitud de cierre y radio $R_{\\rm VED}$",
      "deps": [
        "A_L",
        "P_ST",
        "P_v"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 154
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\n\\boxed{\nP_a:\n\\qquad\n\\frac{d^2s}{dt^2}\n=\n\\frac{dv}{dt}\n=\na.\n}\n$$",
          "Dentro del marco Einstein–VED, la presencia de materia se asocia al confinamiento de onda y a la existencia de dinámica no puramente lineal; la aceleración expresa la variación del régimen de velocidad.",
          "La geometría define por tanto una estructura diferencial en $t$, $t'$ y sus variaciones. No se añade desde fuera una segunda geometría para introducir la dinámica.",
          "# 4. Onda base, longitud de cierre y radio $R_{\\rm VED}$"
        ],
        "source_text": "$$\n\\boxed{\nP_a:\n\\qquad\n\\frac{d^2s}{dt^2}\n=\n\\frac{dv}{dt}\n=\na.\n}\n$$\n\nDentro del marco Einstein–VED, la presencia de materia se asocia al confinamiento de onda y a la existencia de dinámica no puramente lineal; la aceleración expresa la variación del régimen de velocidad.\n\nLa geometría define por tanto una estructura diferencial en $t$, $t'$ y sus variaciones. No se añade desde fuera una segunda geometría para introducir la dinámica.\n\n---\n\n# 4. Onda base, longitud de cierre y radio $R_{\\rm VED}$",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "D_lambda",
      "kind": "definition",
      "name": "## 4.1. Longitud de onda base",
      "description": "## 4.1. Longitud de onda base\n\n$D_\\lambda$ — Sea $\\lambda$ la longitud de onda base asociada a la materia considerada.\n\nA partir de las relaciones de Planck y Einstein,\n\n$$\nE=\\frac{hc}{\\lambda},\n$$\n\n$$\nE=Mc^2,\n$$\n\nse obtiene\n\n$$\nMc^2=\\frac{hc}{\\lambda},\n$$\n\ny por tanto\n\n$$\n\\boxed{\n\\lambda=\\frac{h}{Mc}.\n}\n$$",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 174
      }
    },
    {
      "id": "D_L",
      "kind": "definition",
      "name": "## 4.2. Longitud de contorno",
      "description": "## 4.2. Longitud de contorno\n\n$D_L$ — Sea $L$ la longitud total del contorno espacial recorrido por una onda confinada; es el perímetro de cierre de la onda.\n\nAquí $\\lambda$ es la longitud de onda Compton de la materia considerada,\nestrictamente positiva, y $n=L/\\lambda$ es el número exacto de ciclos\ncontenido en el contorno: no es una aproximación ni un redondeo. El cierre\nexacto en fase exige que ese número sea un entero positivo.\n\nDefinimos\n\n$$\n\\boxed{\nL=n\\lambda.\n}\n$$\n\nEn el dominio de cierres finitos considerado,\n\n$$\nn\\in[1,\\infty).\n$$\n\n**La longitud del contorno de una onda cerrada es siempre estrictamente positiva: $L>0$.** Tanto el número de longitudes de onda contenido en el contorno como la longitud de onda Compton son positivos. Por la relación anterior, su producto es positivo; un contorno de longitud cero no representa una onda material cerrada de este marco.",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 202
      }
    },
    {
      "id": "D_R_VED",
      "kind": "definition",
      "name": "## 4.3. Construcción de $U_{\\rm VED}$",
      "description": "## 4.3. Construcción de $U_{\\rm VED}$\n\n$D_{R_{\\rm VED}}$ — Se representa topológicamente el contorno de longitud $L$ mediante una circunferencia bidimensional de igual longitud:\n\n$$\n2\\pi R_{\\rm VED}=L.\n$$\n\nPor tanto,\n\n$$\n\\boxed{\nR_{\\rm VED}\n=\n\\frac{L}{2\\pi}\n=\n\\frac{n\\lambda}{2\\pi}.\n}\n$$\n\nLa afirmación no es que el confinamiento físico real en $3S+T$ tenga necesariamente forma circular. La circunferencia es una proyección topológica precisa que conserva la longitud $L$ y permite analizar las propiedades de cierre.\n\nAsí,\n\n$$\n\\boxed{\nU_{\\rm VED}(\\text{onda})\n=\nU_{\\rm VED}(\\text{cerrada},\\text{abierta})\n=\nU_{\\rm VED}(R_{\\rm VED})\n=\nU_{\\rm VED}(L,R_{\\rm VED}).\n}\n$$",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 227
      }
    },
    {
      "id": "P_VED_Inv",
      "kind": "proposition",
      "name": "$P_{\\rm VED}(\\mathrm{Inv})$ — La representación circular conserva $L$, $\\lambda$, $n$ y, como se definirá enseguida, $\\rho$. Por ello no...",
      "description": "$P_{\\rm VED}(\\mathrm{Inv})$ — La representación circular conserva $L$, $\\lambda$, $n$ y, como se definirá enseguida, $\\rho$. Por ello no crea la estabilidad: la hace visible.\n\n---\n\n# 5. Ondas cerradas, ondas abiertas y estabilidad\n\n## 5.1. Onda cerrada\n\nPara todo $n$ finito positivo,\n\n$$\nL=n\\lambda<\\infty,\n$$\n\ny existe un contorno finito de representación.\n\nEl hecho de estar cerrada **no implica** estabilidad.\n\n## 5.2. Onda abierta\n\nLa onda abierta o libre corresponde al límite\n\n$$\n\\boxed{\nn\\to\\infty.\n}\n$$\n\nEntonces,\n\n$$\nL\\to\\infty,\n$$\n\n$$\nR_{\\rm VED}\\to\\infty.\n$$\n\nNo existe un contorno espacial finito de retorno:\n\n$$\n\\boxed{\nn\\to\\infty\n\\iff\nL\\to\\infty\n\\iff\nR_{\\rm VED}\\to\\infty\n\\iff\n\\text{onda abierta o libre}.\n}\n$$\n\nDentro del marco, la onda libre corresponde a energía.\n\n---\n\n# 6. Coordenadas completas de cierre: $k$ y $\\rho$",
      "deps": [
        "D_lambda",
        "D_L",
        "D_R_VED"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 261
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$P_{\\rm VED}(\\mathrm{Inv})$ — La representación circular conserva $L$, $\\lambda$, $n$ y, como se definirá enseguida, $\\rho$. Por ello no crea la estabilidad: la hace visible.",
          "# 5. Ondas cerradas, ondas abiertas y estabilidad",
          "## 5.1. Onda cerrada",
          "Para todo $n$ finito positivo,",
          "$$\nL=n\\lambda<\\infty,\n$$",
          "y existe un contorno finito de representación.",
          "El hecho de estar cerrada **no implica** estabilidad.",
          "## 5.2. Onda abierta",
          "La onda abierta o libre corresponde al límite",
          "$$\n\\boxed{\nn\\to\\infty.\n}\n$$",
          "Entonces,",
          "$$\nL\\to\\infty,\n$$",
          "$$\nR_{\\rm VED}\\to\\infty.\n$$",
          "No existe un contorno espacial finito de retorno:",
          "$$\n\\boxed{\nn\\to\\infty\n\\iff\nL\\to\\infty\n\\iff\nR_{\\rm VED}\\to\\infty\n\\iff\n\\text{onda abierta o libre}.\n}\n$$",
          "Dentro del marco, la onda libre corresponde a energía.",
          "# 6. Coordenadas completas de cierre: $k$ y $\\rho$"
        ],
        "source_text": "$P_{\\rm VED}(\\mathrm{Inv})$ — La representación circular conserva $L$, $\\lambda$, $n$ y, como se definirá enseguida, $\\rho$. Por ello no crea la estabilidad: la hace visible.\n\n---\n\n# 5. Ondas cerradas, ondas abiertas y estabilidad\n\n## 5.1. Onda cerrada\n\nPara todo $n$ finito positivo,\n\n$$\nL=n\\lambda<\\infty,\n$$\n\ny existe un contorno finito de representación.\n\nEl hecho de estar cerrada **no implica** estabilidad.\n\n## 5.2. Onda abierta\n\nLa onda abierta o libre corresponde al límite\n\n$$\n\\boxed{\nn\\to\\infty.\n}\n$$\n\nEntonces,\n\n$$\nL\\to\\infty,\n$$\n\n$$\nR_{\\rm VED}\\to\\infty.\n$$\n\nNo existe un contorno espacial finito de retorno:\n\n$$\n\\boxed{\nn\\to\\infty\n\\iff\nL\\to\\infty\n\\iff\nR_{\\rm VED}\\to\\infty\n\\iff\n\\text{onda abierta o libre}.\n}\n$$\n\nDentro del marco, la onda libre corresponde a energía.\n\n---\n\n# 6. Coordenadas completas de cierre: $k$ y $\\rho$",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "D_k",
      "kind": "definition",
      "name": "## 6.1. Entero más próximo y distancia",
      "description": "## 6.1. Entero más próximo y distancia\n\n$D_k$ — Sea $k\\in\\mathbb N^+$ el entero positivo más próximo que sirve como centro de una familia de cierre.",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 321
      }
    },
    {
      "id": "D_rho",
      "kind": "definition",
      "name": "$D_\\rho$ — Sea",
      "description": "$D_\\rho$ — Sea\n\n$$\n\\boxed{\n\\rho\n=\n\\operatorname{dist}(n,\\mathbb N^+).\n}\n$$\n\nAquí $\\rho$ es la **distancia mínima de $n$ al entero positivo más próximo $k$**, no la distancia a un entero elegido arbitrariamente. Por tanto, $\\rho=|n-k|$. Esta distancia mide cuánto se aparta el número de ciclos del cierre entero y exacto en fase.\n\nPor definición de distancia al entero más próximo,\n\n$$\n\\boxed{\n0\\le\\rho\\le\\frac12.\n}\n$$\n\nTodo cierre finito se representa como\n\n$$\n\\boxed{\nn=k\\pm\\rho,\n\\qquad\nk\\in\\mathbb N^+,\n\\qquad\n0\\le\\rho\\le\\frac12.\n}\n$$\n\nSe consideran únicamente las ramas que cumplen $n\\ge1$.\n\nEn el punto exactamente equidistante entre dos enteros, $\\rho=1/2$; las dos etiquetas vecinas representan la misma frontera.\n\nEntonces\n\n$$\n\\boxed{\nL(k,\\rho)\n=\n(k\\pm\\rho)\\lambda,\n}\n$$\n\ny\n\n$$\n\\boxed{\nR_{\\rm VED}(k,\\rho)\n=\n\\frac{(k\\pm\\rho)\\lambda}{2\\pi}.\n}\n$$",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 323
      }
    },
    {
      "id": "P_VED_E",
      "kind": "proposition",
      "name": "## 6.2. Concepto primordial: estabilidad de la materia como onda cerrada",
      "description": "## 6.2. Concepto primordial: estabilidad de la materia como onda cerrada\n\n**Regla básica de $U_{\\rm VED}$: el único valor estable es $\\rho=0$. Todo valor de $\\rho$ en el intervalo $(0,1/2]$ corresponde a un cierre no estable.**\n\nLa materia se representa en este marco como una onda de longitud de onda Compton positiva $\\lambda$, cerrada en un contorno de longitud $L=n\\lambda$. El número $n$ cuenta cuántas longitudes de onda contiene ese contorno. Escribir $L=n\\lambda$ describe su longitud, pero no basta por sí solo para afirmar su estabilidad.\n\n**La estabilidad exige un número entero positivo de ciclos.** Cuando $n=k\\in\\mathbb N^+$, el recorrido completo contiene exactamente un número entero de longitudes de onda: la onda retorna al mismo punto en la misma fase, el contorno es $L=k\\lambda$ y la distancia al entero más próximo es cero. Este es el cierre estable.\n\nSi $n$ es real no entero, el recorrido no contiene un número entero de ciclos. La onda no retorna exactamente en fase y queda un desfase respecto del cierre entero. En la clasificación de este marco, ese desfase es el origen de la inestabilidad y de la evolución destructiva en el tiempo del cierre no entero. Su distancia mínima al entero más próximo es positiva y pertenece al intervalo $(0,1/2]$ de la clasificación.\n\n**Entre dos enteros positivos consecutivos, todo cierre es no estable.** Si $j$ designa el entero inferior del intervalo, cualquier número de ciclos que cumpla $j<n<j+1$ está estrictamente entre los cierres enteros de sus extremos: no cierra exactamente en fase y su distancia mínima al entero más próximo es positiva. En el intervalo abierto entre esos enteros no hay ningún valor estable. Los extremos enteros sí tienen distancia cero y corresponden a cierres estables.\n\nEl intervalo abierto describe los valores de $n$, no los valores de $\\rho$. La letra $j$ designa aquí el extremo inferior; $k$ conserva su significado de entero positivo más próximo a $n$. Al recorrer el intervalo, $k$ puede ser uno u otro extremo, pero la regla no cambia: distancia cero al entero significa estabilidad; distancia positiva significa no estabilidad.\n\n**Esta distinción es la base de la estabilidad y la inestabilidad en $U_{\\rm VED}$.** Se establece en el universo de la onda antes de cualquier correspondencia con otros espacios; no es una condición añadida posteriormente ni una definición obtenida desde Riemann. Las correspondencias posteriores deben conservar esta clasificación de origen.\n\nSi\n\n$$\n\\rho=0,\n$$\n\nentonces\n\n$$\nn=k,\n$$\n\ny\n\n$$\nL=k\\lambda.\n$$\n\nEl contorno contiene un número entero de ciclos y el retorno se produce exactamente en fase.\n\nPor tanto,\n\n$$\n\\boxed{\nP_{\\rm VED}(E):\n\\qquad\n\\rho=0\n\\iff\nn=k\\in\\mathbb N^+\n\\iff\nL=k\\lambda\n\\iff\n\\text{cierre exacto en fase}\n\\iff\n\\text{estado estable}.\n}\n$$\n\nPara\n\n$$\n0<\\rho\\le\\frac12,\n$$\n\nel cierre es finito pero no entero. Existe desfase respecto del cierre exacto:",
      "deps": [
        "P_VED_Inv",
        "D_k",
        "D_rho"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 419
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "## 6.2. Concepto primordial: estabilidad de la materia como onda cerrada",
          "**Regla básica de $U_{\\rm VED}$: el único valor estable es $\\rho=0$. Todo valor de $\\rho$ en el intervalo $(0,1/2]$ corresponde a un cierre no estable.**",
          "La materia se representa en este marco como una onda de longitud de onda Compton positiva $\\lambda$, cerrada en un contorno de longitud $L=n\\lambda$. El número $n$ cuenta cuántas longitudes de onda contiene ese contorno. Escribir $L=n\\lambda$ describe su longitud, pero no basta por sí solo para afirmar su estabilidad.",
          "**La estabilidad exige un número entero positivo de ciclos.** Cuando $n=k\\in\\mathbb N^+$, el recorrido completo contiene exactamente un número entero de longitudes de onda: la onda retorna al mismo punto en la misma fase, el contorno es $L=k\\lambda$ y la distancia al entero más próximo es cero. Este es el cierre estable.",
          "Si $n$ es real no entero, el recorrido no contiene un número entero de ciclos. La onda no retorna exactamente en fase y queda un desfase respecto del cierre entero. En la clasificación de este marco, ese desfase es el origen de la inestabilidad y de la evolución destructiva en el tiempo del cierre no entero. Su distancia mínima al entero más próximo es positiva y pertenece al intervalo $(0,1/2]$ de la clasificación.",
          "**Entre dos enteros positivos consecutivos, todo cierre es no estable.** Si $j$ designa el entero inferior del intervalo, cualquier número de ciclos que cumpla $j<n<j+1$ está estrictamente entre los cierres enteros de sus extremos: no cierra exactamente en fase y su distancia mínima al entero más próximo es positiva. En el intervalo abierto entre esos enteros no hay ningún valor estable. Los extremos enteros sí tienen distancia cero y corresponden a cierres estables.",
          "El intervalo abierto describe los valores de $n$, no los valores de $\\rho$. La letra $j$ designa aquí el extremo inferior; $k$ conserva su significado de entero positivo más próximo a $n$. Al recorrer el intervalo, $k$ puede ser uno u otro extremo, pero la regla no cambia: distancia cero al entero significa estabilidad; distancia positiva significa no estabilidad.",
          "**Esta distinción es la base de la estabilidad y la inestabilidad en $U_{\\rm VED}$.** Se establece en el universo de la onda antes de cualquier correspondencia con otros espacios; no es una condición añadida posteriormente ni una definición obtenida desde Riemann. Las correspondencias posteriores deben conservar esta clasificación de origen.",
          "Si",
          "$$\n\\rho=0,\n$$",
          "entonces",
          "$$\nn=k,\n$$",
          "y",
          "$$\nL=k\\lambda.\n$$",
          "El contorno contiene un número entero de ciclos y el retorno se produce exactamente en fase.",
          "Por tanto,",
          "$$\n\\boxed{\nP_{\\rm VED}(E):\n\\qquad\n\\rho=0\n\\iff\nn=k\\in\\mathbb N^+\n\\iff\nL=k\\lambda\n\\iff\n\\text{cierre exacto en fase}\n\\iff\n\\text{estado estable}.\n}\n$$",
          "Para",
          "$$\n0<\\rho\\le\\frac12,\n$$",
          "el cierre es finito pero no entero. Existe desfase respecto del cierre exacto:"
        ],
        "source_text": "## 6.2. Concepto primordial: estabilidad de la materia como onda cerrada\n\n**Regla básica de $U_{\\rm VED}$: el único valor estable es $\\rho=0$. Todo valor de $\\rho$ en el intervalo $(0,1/2]$ corresponde a un cierre no estable.**\n\nLa materia se representa en este marco como una onda de longitud de onda Compton positiva $\\lambda$, cerrada en un contorno de longitud $L=n\\lambda$. El número $n$ cuenta cuántas longitudes de onda contiene ese contorno. Escribir $L=n\\lambda$ describe su longitud, pero no basta por sí solo para afirmar su estabilidad.\n\n**La estabilidad exige un número entero positivo de ciclos.** Cuando $n=k\\in\\mathbb N^+$, el recorrido completo contiene exactamente un número entero de longitudes de onda: la onda retorna al mismo punto en la misma fase, el contorno es $L=k\\lambda$ y la distancia al entero más próximo es cero. Este es el cierre estable.\n\nSi $n$ es real no entero, el recorrido no contiene un número entero de ciclos. La onda no retorna exactamente en fase y queda un desfase respecto del cierre entero. En la clasificación de este marco, ese desfase es el origen de la inestabilidad y de la evolución destructiva en el tiempo del cierre no entero. Su distancia mínima al entero más próximo es positiva y pertenece al intervalo $(0,1/2]$ de la clasificación.\n\n**Entre dos enteros positivos consecutivos, todo cierre es no estable.** Si $j$ designa el entero inferior del intervalo, cualquier número de ciclos que cumpla $j<n<j+1$ está estrictamente entre los cierres enteros de sus extremos: no cierra exactamente en fase y su distancia mínima al entero más próximo es positiva. En el intervalo abierto entre esos enteros no hay ningún valor estable. Los extremos enteros sí tienen distancia cero y corresponden a cierres estables.\n\nEl intervalo abierto describe los valores de $n$, no los valores de $\\rho$. La letra $j$ designa aquí el extremo inferior; $k$ conserva su significado de entero positivo más próximo a $n$. Al recorrer el intervalo, $k$ puede ser uno u otro extremo, pero la regla no cambia: distancia cero al entero significa estabilidad; distancia positiva significa no estabilidad.\n\n**Esta distinción es la base de la estabilidad y la inestabilidad en $U_{\\rm VED}$.** Se establece en el universo de la onda antes de cualquier correspondencia con otros espacios; no es una condición añadida posteriormente ni una definición obtenida desde Riemann. Las correspondencias posteriores deben conservar esta clasificación de origen.\n\nSi\n\n$$\n\\rho=0,\n$$\n\nentonces\n\n$$\nn=k,\n$$\n\ny\n\n$$\nL=k\\lambda.\n$$\n\nEl contorno contiene un número entero de ciclos y el retorno se produce exactamente en fase.\n\nPor tanto,\n\n$$\n\\boxed{\nP_{\\rm VED}(E):\n\\qquad\n\\rho=0\n\\iff\nn=k\\in\\mathbb N^+\n\\iff\nL=k\\lambda\n\\iff\n\\text{cierre exacto en fase}\n\\iff\n\\text{estado estable}.\n}\n$$\n\nPara\n\n$$\n0<\\rho\\le\\frac12,\n$$\n\nel cierre es finito pero no entero. Existe desfase respecto del cierre exacto:",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_VED_I",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\n\\boxed{\nP_{\\rm VED}(I):\n\\qquad\n0<\\rho\\le\\frac12\n\\iff\n\\text{cierre no estable}.\n}\n$$\n\nEl extremo\n\n$$\n\\boxed{\n\\rho=\\frac12\n}\n$$\n\nes la máxima desviación posible respecto del entero más próximo.\n\n---",
      "deps": [
        "D_k",
        "D_rho",
        "P_VED_E"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 443
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\n\\boxed{\nP_{\\rm VED}(I):\n\\qquad\n0<\\rho\\le\\frac12\n\\iff\n\\text{cierre no estable}.\n}\n$$",
          "El extremo",
          "$$\n\\boxed{\n\\rho=\\frac12\n}\n$$",
          "es la máxima desviación posible respecto del entero más próximo."
        ],
        "source_text": "$$\n\\boxed{\nP_{\\rm VED}(I):\n\\qquad\n0<\\rho\\le\\frac12\n\\iff\n\\text{cierre no estable}.\n}\n$$\n\nEl extremo\n\n$$\n\\boxed{\n\\rho=\\frac12\n}\n$$\n\nes la máxima desviación posible respecto del entero más próximo.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "D_mathcal_E_VED",
      "kind": "definition",
      "name": "# 7. Completitud de $U_{\\rm VED}$",
      "description": "# 7. Completitud de $U_{\\rm VED}$\n\nLa parametrización anterior es exhaustiva.\n\nPara todo número de ciclos finito $n\\ge1$, existe un entero positivo más próximo\n\n$$\nk\\in\\mathbb N^+\n$$\n\ny una distancia mínima $\\rho=|n-k|$, con\n\n$$\n\\rho\\in\\left[0,\\frac12\\right]\n$$\n\ntales que\n\n$$\nn=k\\pm\\rho.\n$$\n\nPor tanto no existe un cierre finito fuera de esta clasificación.\n\n$D_{\\mathcal E_{\\rm VED}}$ — El conjunto de parámetros de cierre estable\nse define a partir del dominio declarado y del criterio de desfase nulo:\n\n$$\n\\mathcal E_{\\rm VED}\n=\\{(k,\\rho):k\\in\\mathbb N^+,\\rho\\in[0,1/2],\\rho=0\\}.\n$$",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 487
      }
    },
    {
      "id": "P_VED_K_E",
      "kind": "proposition",
      "name": "$P_{\\rm VED}(K_E)$ — Para $\\rho=0$,",
      "description": "$P_{\\rm VED}(K_E)$ — Para $\\rho=0$,\n\n$$\n\\boxed{\n\\mathcal E_{\\rm VED}\n=\n\\{(k,0):k\\in\\mathbb N^+\\}.\n}\n$$\n\nTodos los enteros\n\n$$\nk=1,2,3,\\ldots\n$$\n\nenumeran todos los casos de estabilidad sin dejar ninguno fuera.\n\nPara cada longitud de onda Compton positiva $\\lambda$, el conjunto completo\nde valores estables corresponde a todos los $k\\in\\mathbb N^+$, con\n$n=k$ y $L=k\\lambda$. Cada par $(k,0)$ representa un cierre material\nposible y estable en la parametrización de $U_{\\rm VED}$. Recíprocamente,\ntodo cierre estable tiene un número exacto de ciclos entero positivo y,\npor ello, queda representado por uno de esos pares. Esta completitud se\nrefiere a todos los cierres estables permitidos por el modelo, no a la\npresencia de cada valor de $k$ en la naturaleza.\n\nEl caso complementario queda igualmente determinado: si el número exacto\nde ciclos $n>0$ no es entero, su distancia al entero positivo más próximo\nes estrictamente positiva. Existe desfase; el contorno no cierra\nexactamente en fase y, por el criterio de $U_{\\rm VED}$, no es estable.\nNo se trata de un redondeo de $n$ ni de una elección de clasificación.\n\nPara todo entero positivo $k$, el contorno $L=k\\lambda$ contiene un número\nentero de ciclos y cierra exactamente en fase. Por el criterio de\n$U_{\\rm VED}$, su desfase es nulo:\n\n$$\n\\forall k\\in\\mathbb N^+,\\qquad n=k\\Rightarrow\\rho=0.\n$$\n\nLa enumeración es numerable y completa en sentido matemático: abarca\ntodos los valores enteros positivos permitidos por la parametrización.\nNo afirma que todos esos valores se realicen en la naturaleza, ni exige\nobservar cada uno para establecer el criterio de estabilidad.\n\nComo asignaciones físicas del marco Einstein–VED, el autor indica:\n\n- k=2 define la gravedad universal.\n- k=4 da el cierre de todos los protones.\n- k=137 da el cierre superficial esférico del electrón.\n\nEstas asignaciones se distinguen del resultado de enumeración: son\ninterpretaciones físicas del marco, no consecuencias de la sola igualdad\nentre cierre entero y desfase nulo.",
      "deps": [
        "P_VED_E",
        "P_VED_I",
        "D_mathcal_E_VED"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 495
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$P_{\\rm VED}(K_E)$ — Para $\\rho=0$,",
          "$$\n\\boxed{\n\\mathcal E_{\\rm VED}\n=\n\\{(k,0):k\\in\\mathbb N^+\\}.\n}\n$$",
          "Todos los enteros",
          "$$\nk=1,2,3,\\ldots\n$$",
          "enumeran todos los casos de estabilidad sin dejar ninguno fuera.",
          "Para cada longitud de onda Compton positiva $\\lambda$, el conjunto completo\nde valores estables corresponde a todos los $k\\in\\mathbb N^+$, con\n$n=k$ y $L=k\\lambda$. Cada par $(k,0)$ representa un cierre material\nposible y estable en la parametrización de $U_{\\rm VED}$. Recíprocamente,\ntodo cierre estable tiene un número exacto de ciclos entero positivo y,\npor ello, queda representado por uno de esos pares. Esta completitud se\nrefiere a todos los cierres estables permitidos por el modelo, no a la\npresencia de cada valor de $k$ en la naturaleza.",
          "El caso complementario queda igualmente determinado: si el número exacto\nde ciclos $n>0$ no es entero, su distancia al entero positivo más próximo\nes estrictamente positiva. Existe desfase; el contorno no cierra\nexactamente en fase y, por el criterio de $U_{\\rm VED}$, no es estable.\nNo se trata de un redondeo de $n$ ni de una elección de clasificación.",
          "Para todo entero positivo $k$, el contorno $L=k\\lambda$ contiene un número\nentero de ciclos y cierra exactamente en fase. Por el criterio de\n$U_{\\rm VED}$, su desfase es nulo:",
          "$$\n\\forall k\\in\\mathbb N^+,\\qquad n=k\\Rightarrow\\rho=0.\n$$",
          "La enumeración es numerable y completa en sentido matemático: abarca\ntodos los valores enteros positivos permitidos por la parametrización.\nNo afirma que todos esos valores se realicen en la naturaleza, ni exige\nobservar cada uno para establecer el criterio de estabilidad.",
          "Como asignaciones físicas del marco Einstein–VED, el autor indica:",
          "- k=2 define la gravedad universal.\n- k=4 da el cierre de todos los protones.\n- k=137 da el cierre superficial esférico del electrón.",
          "Estas asignaciones se distinguen del resultado de enumeración: son\ninterpretaciones físicas del marco, no consecuencias de la sola igualdad\nentre cierre entero y desfase nulo."
        ],
        "source_text": "$P_{\\rm VED}(K_E)$ — Para $\\rho=0$,\n\n$$\n\\boxed{\n\\mathcal E_{\\rm VED}\n=\n\\{(k,0):k\\in\\mathbb N^+\\}.\n}\n$$\n\nTodos los enteros\n\n$$\nk=1,2,3,\\ldots\n$$\n\nenumeran todos los casos de estabilidad sin dejar ninguno fuera.\n\nPara cada longitud de onda Compton positiva $\\lambda$, el conjunto completo\nde valores estables corresponde a todos los $k\\in\\mathbb N^+$, con\n$n=k$ y $L=k\\lambda$. Cada par $(k,0)$ representa un cierre material\nposible y estable en la parametrización de $U_{\\rm VED}$. Recíprocamente,\ntodo cierre estable tiene un número exacto de ciclos entero positivo y,\npor ello, queda representado por uno de esos pares. Esta completitud se\nrefiere a todos los cierres estables permitidos por el modelo, no a la\npresencia de cada valor de $k$ en la naturaleza.\n\nEl caso complementario queda igualmente determinado: si el número exacto\nde ciclos $n>0$ no es entero, su distancia al entero positivo más próximo\nes estrictamente positiva. Existe desfase; el contorno no cierra\nexactamente en fase y, por el criterio de $U_{\\rm VED}$, no es estable.\nNo se trata de un redondeo de $n$ ni de una elección de clasificación.\n\nPara todo entero positivo $k$, el contorno $L=k\\lambda$ contiene un número\nentero de ciclos y cierra exactamente en fase. Por el criterio de\n$U_{\\rm VED}$, su desfase es nulo:\n\n$$\n\\forall k\\in\\mathbb N^+,\\qquad n=k\\Rightarrow\\rho=0.\n$$\n\nLa enumeración es numerable y completa en sentido matemático: abarca\ntodos los valores enteros positivos permitidos por la parametrización.\nNo afirma que todos esos valores se realicen en la naturaleza, ni exige\nobservar cada uno para establecer el criterio de estabilidad.\n\nComo asignaciones físicas del marco Einstein–VED, el autor indica:\n\n- k=2 define la gravedad universal.\n- k=4 da el cierre de todos los protones.\n- k=137 da el cierre superficial esférico del electrón.\n\nEstas asignaciones se distinguen del resultado de enumeración: son\ninterpretaciones físicas del marco, no consecuencias de la sola igualdad\nentre cierre entero y desfase nulo.",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "D_Particion",
      "kind": "definition",
      "name": "Los cierres finitos admisibles y su sector no estable",
      "description": "$D_{\\rm Particion}$ — Los cierres finitos admisibles y su sector no estable\nse expresan mediante el dominio y el criterio ya establecidos:\n\n$$\nU_{\\rm VED}^{\\rm cerrado}\n=\\{(k,\\rho):k\\in\\mathbb N^+,\\rho\\in[0,1/2]\\}.\n$$\n\n$$\n\\mathcal I_{\\rm VED}\n=\\{(k,\\rho):k\\in\\mathbb N^+,\\rho\\in[0,1/2],\\rho>0\\}.\n$$",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 551
      }
    },
    {
      "id": "P_VED_K_I",
      "kind": "proposition",
      "name": "$P_{\\rm VED}(K_I)$ — Para $\\rho=1/2$, los mismos $k$ enumeran todas las fronteras de máxima desviación.",
      "description": "$P_{\\rm VED}(K_I)$ — Para $\\rho=1/2$, los mismos $k$ enumeran todas las fronteras de máxima desviación.",
      "deps": [
        "D_mathcal_E_VED",
        "P_VED_K_E",
        "D_Particion"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 564
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$P_{\\rm VED}(K_I)$ — Para $\\rho=1/2$, los mismos $k$ enumeran todas las fronteras de máxima desviación."
        ],
        "source_text": "$P_{\\rm VED}(K_I)$ — Para $\\rho=1/2$, los mismos $k$ enumeran todas las fronteras de máxima desviación.",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_VED_R_C",
      "kind": "proposition",
      "name": "$P_{\\rm VED}(R_C)$ — Para cada familia $k$,",
      "description": "$P_{\\rm VED}(R_C)$ — Para cada familia $k$,\n\n$$\n0\\le\\rho\\le\\frac12\n$$\n\nrecorre todo el continuo entre cierre exacto y máxima desviación.\n\nPor tanto,",
      "deps": [
        "P_VED_K_E",
        "D_Particion",
        "P_VED_K_I"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 566
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$P_{\\rm VED}(R_C)$ — Para cada familia $k$,",
          "$$\n0\\le\\rho\\le\\frac12\n$$",
          "recorre todo el continuo entre cierre exacto y máxima desviación.",
          "Por tanto,"
        ],
        "source_text": "$P_{\\rm VED}(R_C)$ — Para cada familia $k$,\n\n$$\n0\\le\\rho\\le\\frac12\n$$\n\nrecorre todo el continuo entre cierre exacto y máxima desviación.\n\nPor tanto,",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_VED_Completo",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\n\\boxed{\nP_{\\rm VED}(\\mathrm{Completo}):\n\\quad\nU_{\\rm VED}^{\\rm cerrado}\n=\n\\mathcal E_{\\rm VED}\n\\sqcup\n\\mathcal I_{\\rm VED},\n}\n$$\n\ny, añadiendo el límite $n\\to\\infty$, queda contemplada también la onda abierta.\n\nNo existe una cuarta clase de onda respecto del cierre que no haya sido considerada.\n\n---",
      "deps": [
        "D_Particion",
        "P_VED_K_I",
        "P_VED_R_C"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 578
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\n\\boxed{\nP_{\\rm VED}(\\mathrm{Completo}):\n\\quad\nU_{\\rm VED}^{\\rm cerrado}\n=\n\\mathcal E_{\\rm VED}\n\\sqcup\n\\mathcal I_{\\rm VED},\n}\n$$",
          "y, añadiendo el límite $n\\to\\infty$, queda contemplada también la onda abierta.",
          "No existe una cuarta clase de onda respecto del cierre que no haya sido considerada."
        ],
        "source_text": "$$\n\\boxed{\nP_{\\rm VED}(\\mathrm{Completo}):\n\\quad\nU_{\\rm VED}^{\\rm cerrado}\n=\n\\mathcal E_{\\rm VED}\n\\sqcup\n\\mathcal I_{\\rm VED},\n}\n$$\n\ny, añadiendo el límite $n\\to\\infty$, queda contemplada también la onda abierta.\n\nNo existe una cuarta clase de onda respecto del cierre que no haya sido considerada.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "A_7",
      "kind": "foundation",
      "name": "# 8. Precedente topológico: $U_{\\rm VED}\\leftrightarrow U_{\\rm Sch}$",
      "description": "# 8. Precedente topológico: $U_{\\rm VED}\\leftrightarrow U_{\\rm Sch}$\n\nEl resultado geométrico de relación de radios, desarrollado con mayor detalle en el Documento 7, se reproduce aquí como antecedente interno del marco.\n\n$A_7$ — En dicho documento se establece la constante geométrica\n\n$$\n\\boxed{\n\\tilde N\n=\nR_{\\rm VED}R_{\\rm Sch}.\n}\n$$\n\nPor tanto,\n\n$$\n\\boxed{\nR_{\\rm Sch}\n=\n\\frac{\\tilde N}{R_{\\rm VED}},\n}\n$$\n\ny\n\n$$\n\\boxed{\nR_{\\rm VED}\n=\n\\frac{\\tilde N}{R_{\\rm Sch}}.\n}\n$$\n\nPara radios positivos, la aplicación\n\n$$\n\\Phi_{\\tilde N}:\nR_{\\rm VED}\n\\mapsto\n\\frac{\\tilde N}{R_{\\rm VED}}\n$$\n\nes biyectiva, continua y su inversa tiene la misma forma. En ese dominio,",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 598
      }
    },
    {
      "id": "P_VS",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\n\\boxed{\nP_{\\rm VS}:\n\\qquad\nU_{\\rm VED}\\cong U_{\\rm Sch}.\n}\n$$\n\nEste resultado demuestra que una misma información física puede representarse en topologías distintas mediante una transformación reversible.\n\nEn ese desarrollo de relación de radios, la función gravitatoria del marco depende del cierre $n$ y satisface\n\n$$\n\\boxed{\nG(2)=G,\n}\n$$\n\nmientras que para onda libre\n\n$$\n\\boxed{\n\\lim_{n\\to\\infty}G(n)=0.\n}\n$$\n\nAsí, dentro del marco, el estado $n=2$ fija la gravitación universal observada y el límite de onda libre no aporta respuesta gravitatoria.\n\nEl objetivo de esta sección no es utilizar $U_{\\rm Sch}$ para obtener Riemann, sino establecer un precedente demostrado: es posible transportar información entre topologías conservando el estado representado.\n\n---",
      "deps": [
        "P_VED_R_C",
        "P_VED_Completo",
        "A_7"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 641
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\n\\boxed{\nP_{\\rm VS}:\n\\qquad\nU_{\\rm VED}\\cong U_{\\rm Sch}.\n}\n$$",
          "Este resultado demuestra que una misma información física puede representarse en topologías distintas mediante una transformación reversible.",
          "En ese desarrollo de relación de radios, la función gravitatoria del marco depende del cierre $n$ y satisface",
          "$$\n\\boxed{\nG(2)=G,\n}\n$$",
          "mientras que para onda libre",
          "$$\n\\boxed{\n\\lim_{n\\to\\infty}G(n)=0.\n}\n$$",
          "Así, dentro del marco, el estado $n=2$ fija la gravitación universal observada y el límite de onda libre no aporta respuesta gravitatoria.",
          "El objetivo de esta sección no es utilizar $U_{\\rm Sch}$ para obtener Riemann, sino establecer un precedente demostrado: es posible transportar información entre topologías conservando el estado representado."
        ],
        "source_text": "$$\n\\boxed{\nP_{\\rm VS}:\n\\qquad\nU_{\\rm VED}\\cong U_{\\rm Sch}.\n}\n$$\n\nEste resultado demuestra que una misma información física puede representarse en topologías distintas mediante una transformación reversible.\n\nEn ese desarrollo de relación de radios, la función gravitatoria del marco depende del cierre $n$ y satisface\n\n$$\n\\boxed{\nG(2)=G,\n}\n$$\n\nmientras que para onda libre\n\n$$\n\\boxed{\n\\lim_{n\\to\\infty}G(n)=0.\n}\n$$\n\nAsí, dentro del marco, el estado $n=2$ fija la gravitación universal observada y el límite de onda libre no aporta respuesta gravitatoria.\n\nEl objetivo de esta sección no es utilizar $U_{\\rm Sch}$ para obtener Riemann, sino establecer un precedente demostrado: es posible transportar información entre topologías conservando el estado representado.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_ST_2",
      "kind": "proposition",
      "name": "# 9. Ecuación diferencial completa del universo",
      "description": "# 9. Ecuación diferencial completa del universo\n\nVolvemos ahora a la geometría ya demostrada:\n\n$$\nP_{\\rm ST}:\n\\qquad\nds^2=dt^2-dt'^2.\n$$\n\nLa ecuación dinámica se construye conservando la relación diferencial y su variación respecto de $t$:",
      "deps": [
        "P_ST"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 676,
        "restatement_of": "P_ST"
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "# 9. Ecuación diferencial completa del universo",
          "Volvemos ahora a la geometría ya demostrada:",
          "$$\nP_{\\rm ST}:\n\\qquad\nds^2=dt^2-dt'^2.\n$$",
          "La ecuación dinámica se construye conservando la relación diferencial y su variación respecto de $t$:"
        ],
        "source_text": "# 9. Ecuación diferencial completa del universo\n\nVolvemos ahora a la geometría ya demostrada:\n\n$$\nP_{\\rm ST}:\n\\qquad\nds^2=dt^2-dt'^2.\n$$\n\nLa ecuación dinámica se construye conservando la relación diferencial y su variación respecto de $t$:",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_F",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\n\\boxed{\nP_F:\n\\qquad\nF\n=\n(dt^2-dt'^2)\n+\n\\frac{d}{dt}(dt^2-dt'^2).\n}\n$$\n\nNo se elimina $dt'$ antes de desarrollar la expresión.\n\nDesarrollando respecto de $t$ en la notación adoptada en este marco,",
      "deps": [
        "A_7",
        "P_VS",
        "P_ST_2"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 685
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\n\\boxed{\nP_F:\n\\qquad\nF\n=\n(dt^2-dt'^2)\n+\n\\frac{d}{dt}(dt^2-dt'^2).\n}\n$$",
          "No se elimina $dt'$ antes de desarrollar la expresión.",
          "Desarrollando respecto de $t$ en la notación adoptada en este marco,"
        ],
        "source_text": "$$\n\\boxed{\nP_F:\n\\qquad\nF\n=\n(dt^2-dt'^2)\n+\n\\frac{d}{dt}(dt^2-dt'^2).\n}\n$$\n\nNo se elimina $dt'$ antes de desarrollar la expresión.\n\nDesarrollando respecto de $t$ en la notación adoptada en este marco,",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_F1",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\n\\boxed{\nP_{F1}:\n\\qquad\nF\n=\ndt^2-dt'^2\n+\n2dt\n-\n2dt'\\frac{dt'}{dt}.\n}\n$$\n\nLa única prima presente en $dt'$ continúa significando tiempo propio del observado; la derivada aparece sólo en el cociente explícito $dt'/dt$.\n\n---",
      "deps": [
        "P_VS",
        "P_ST_2",
        "P_F"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 701
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\n\\boxed{\nP_{F1}:\n\\qquad\nF\n=\ndt^2-dt'^2\n+\n2dt\n-\n2dt'\\frac{dt'}{dt}.\n}\n$$",
          "La única prima presente en $dt'$ continúa significando tiempo propio del observado; la derivada aparece sólo en el cociente explícito $dt'/dt$."
        ],
        "source_text": "$$\n\\boxed{\nP_{F1}:\n\\qquad\nF\n=\ndt^2-dt'^2\n+\n2dt\n-\n2dt'\\frac{dt'}{dt}.\n}\n$$\n\nLa única prima presente en $dt'$ continúa significando tiempo propio del observado; la derivada aparece sólo en el cociente explícito $dt'/dt$.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_W",
      "kind": "proposition",
      "name": "# 10. Condición propia de la onda y reducción final de $F$",
      "description": "# 10. Condición propia de la onda y reducción final de $F$\n\nLa onda viaja localmente a $c$ tanto si es libre como si está confinada:\n\n$$\n\\boxed{\nP_W:\n\\qquad\nv_{\\rm onda}=c.\n}\n$$\n\nEn unidades naturales,\n\n$$\nc=1.\n$$\n\nComo\n\n$$\nv=\\frac{ds}{dt},\n$$\n\npara la onda\n\n$$\n\\frac{ds}{dt}=1.\n$$\n\nEsto implica igualdad numérica de las diferenciales de propagación en esas unidades,\n\n$$\nds=dt,\n$$\n\nsin afirmar que espacio y tiempo sean la misma entidad.\n\nPor Lorentz,\n\n$$\ndt'\n=\ndt\n\\sqrt{\n1-\\frac{v^2}{c^2}\n}.\n$$\n\nEn el límite de la onda,\n\n$$\nv\\to c,\n$$\n\nse obtiene\n\n$$\n\\boxed{\ndt'\\to0.\n}\n$$\n\nEn el desarrollo adoptado, en ese mismo límite,\n\n$$\ndt'^2\\to0,\n$$\n\ny\n\n$$\n\\frac{dt'}{dt}\\to0.\n$$\n\nSólo ahora aplicamos estas condiciones a $P_{F1}$:",
      "deps": [
        "P_F1"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 723
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "# 10. Condición propia de la onda y reducción final de $F$",
          "La onda viaja localmente a $c$ tanto si es libre como si está confinada:",
          "$$\n\\boxed{\nP_W:\n\\qquad\nv_{\\rm onda}=c.\n}\n$$",
          "En unidades naturales,",
          "$$\nc=1.\n$$",
          "Como",
          "$$\nv=\\frac{ds}{dt},\n$$",
          "para la onda",
          "$$\n\\frac{ds}{dt}=1.\n$$",
          "Esto implica igualdad numérica de las diferenciales de propagación en esas unidades,",
          "$$\nds=dt,\n$$",
          "sin afirmar que espacio y tiempo sean la misma entidad.",
          "Por Lorentz,",
          "$$\ndt'\n=\ndt\n\\sqrt{\n1-\\frac{v^2}{c^2}\n}.\n$$",
          "En el límite de la onda,",
          "$$\nv\\to c,\n$$",
          "se obtiene",
          "$$\n\\boxed{\ndt'\\to0.\n}\n$$",
          "En el desarrollo adoptado, en ese mismo límite,",
          "$$\ndt'^2\\to0,\n$$",
          "y",
          "$$\n\\frac{dt'}{dt}\\to0.\n$$",
          "Sólo ahora aplicamos estas condiciones a $P_{F1}$:"
        ],
        "source_text": "# 10. Condición propia de la onda y reducción final de $F$\n\nLa onda viaja localmente a $c$ tanto si es libre como si está confinada:\n\n$$\n\\boxed{\nP_W:\n\\qquad\nv_{\\rm onda}=c.\n}\n$$\n\nEn unidades naturales,\n\n$$\nc=1.\n$$\n\nComo\n\n$$\nv=\\frac{ds}{dt},\n$$\n\npara la onda\n\n$$\n\\frac{ds}{dt}=1.\n$$\n\nEsto implica igualdad numérica de las diferenciales de propagación en esas unidades,\n\n$$\nds=dt,\n$$\n\nsin afirmar que espacio y tiempo sean la misma entidad.\n\nPor Lorentz,\n\n$$\ndt'\n=\ndt\n\\sqrt{\n1-\\frac{v^2}{c^2}\n}.\n$$\n\nEn el límite de la onda,\n\n$$\nv\\to c,\n$$\n\nse obtiene\n\n$$\n\\boxed{\ndt'\\to0.\n}\n$$\n\nEn el desarrollo adoptado, en ese mismo límite,\n\n$$\ndt'^2\\to0,\n$$\n\ny\n\n$$\n\\frac{dt'}{dt}\\to0.\n$$\n\nSólo ahora aplicamos estas condiciones a $P_{F1}$:",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_F2",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\n\\boxed{\nP_{F2}:\n\\qquad\nF=dt^2+2dt.\n}\n$$\n\nFactorizando,\n\n$$\ndt^2+2dt\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right),\n$$\n\npor lo que",
      "deps": [
        "P_F",
        "P_F1",
        "P_W"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 796
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\n\\boxed{\nP_{F2}:\n\\qquad\nF=dt^2+2dt.\n}\n$$",
          "Factorizando,",
          "$$\ndt^2+2dt\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right),\n$$",
          "por lo que"
        ],
        "source_text": "$$\n\\boxed{\nP_{F2}:\n\\qquad\nF=dt^2+2dt.\n}\n$$\n\nFactorizando,\n\n$$\ndt^2+2dt\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right),\n$$\n\npor lo que",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_F3",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\n\\boxed{\nP_{F3}:\n\\qquad\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n}\n$$\n\nEl factor\n\n$$\n\\boxed{\n\\frac12\n}\n$$\n\naparece algebraicamente en la factorización de $F$.\n\nNo procede de Riemann.  \nNo se introduce como normalización elegida.  \nNo se obtiene suponiendo previamente la recta crítica.\n\n<!-- Desarrollo recuperado de 8ee5d60:SRC-VED/UNIHOLOG/ES_46_Revision3_completa_y_rigurosa.md, secciones 7-11. Encabezados renumerados. Se omite el comentario sobre anulacion del factor por indicacion del autor. -->\n\n## 10.1. Origen geométrico del factor $1/2$\n\nÉste es el paso central.\n\nPartimos de la dinámica exacta\n\n$$\n\\boxed{\n\\mathcal F\n=\n(ds)^2\n+\n\\frac{d}{dt}\\left[(ds)^2\\right].\n}\n$$\n\nLa derivada de una función cuadrática satisface\n\n$$\n\\boxed{\n\\frac{d}{dt}\\left[(ds)^2\\right]\n=\n2ds\\frac{d(ds)}{dt}.\n}\n$$\n\nAsí,\n\n$$\n\\mathcal F\n=\n(ds)^2\n+\n2ds\\frac{d(ds)}{dt}.\n$$\n\nFactorizamos $2ds$:\n\n$$\n(ds)^2\n=\n2ds\\left(\\frac12ds\\right).\n$$\n\nPor tanto,\n\n$$\n\\boxed{\n\\mathcal F\n=\n2ds\n\\left[\n\\frac{d(ds)}{dt}\n+\n\\frac12ds\n\\right].\n}\n$$\n\nEl factor\n\n$$\n\\boxed{\n\\frac12\n}\n$$\n\naparece algebraicamente de la naturaleza cuadrática de la diferencial.\n\nNo se ha introducido desde Riemann.\n\nNo se ha introducido como una normalización elegida para obtener la recta\ncrítica.\n\n---\n\n## 10.2. Operador espectral desplazado\n\nLa factorización anterior define naturalmente el operador\n\n$$\n\\boxed{\n\\mathcal D\n=\n\\frac{d}{dt}+\\frac12.\n}\n$$\n\nDesde este punto, $t$ se entiende como coordenada temporal normalizada de\n$U_{\\rm Lap}$.\n\nSea un modo elemental\n\n$$\n\\boxed{\nds(t)=ds_0e^{\\mu t}.\n}\n$$\n\nEntonces\n\n$$\n\\frac{d(ds)}{dt}\n=\n\\mu ds.\n$$\n\nAplicando $\\mathcal D$,\n\n$$\n\\mathcal D[ds]\n=\n\\left(\\mu+\\frac12\\right)ds.\n$$\n\nDefinimos el autovalor espectral de $\\mathcal D$ como\n\n$$\n\\boxed{\ns=\\mu+\\frac12.\n}\n$$\n\nEquivalente:\n\n$$\n\\boxed{\n\\mu=s-\\frac12.\n}\n$$\n\n---\n\n## 10.3. Estabilidad en la coordenada desplazada\n\nLa amplitud física de un estado estable no crece ni decrece secularmente.\n\nEn la variable modal desplazada $\\mu$, esto exige\n\n$$\n\\boxed{\n\\Re(\\mu)=0.\n}\n$$\n\nPor tanto,\n\n$$\n\\boxed{\n\\mu_\\pm(k,\\rho)\n=\n\\pm i\\,b(k,\\rho).\n}\n$$\n\nComo\n\n$$\ns=\\frac12+\\mu,\n$$\n\nse obtiene\n\n$$\n\\boxed{\ns_\\pm(k,\\rho)\n=\n\\frac12\n\\pm i\\,b(k,\\rho).\n}\n$$\n\nPor tanto,\n\n$$\n\\boxed{\n\\Re[s_\\pm(k,\\rho)]\n=\n\\frac12.\n}\n$$\n\nEl $1/2$ procede del desplazamiento del operador.\n\nLa parte imaginaria procede de la periodicidad del cierre.\n\n---\n\n## 10.4. Familia espectral completa\n\nSustituyendo la periodicidad,\n\n$$\nb(k,\\rho)\n=\n\\frac{2\\pi}\n{(k\\pm\\rho)\\lambda},\n$$\n\nqueda\n\n$$\n\\boxed{\ns_\\pm(k,\\rho)\n=\n\\frac12\n\\pm\ni\\frac{2\\pi}\n{(k\\pm\\rho)\\lambda},\n\\qquad\n0\\leq\\rho\\leq\\frac12.\n}\n$$\n\nÉsta es la familia de soluciones espectrales del sistema regulado dentro de\nla parametrización geométrica adoptada.\n\n---\n\n## 10.5. Todos los estados estables\n\nLos estados estables corresponden a\n\n$$\n\\boxed{\n\\rho=0.\n}\n$$\n\nEntonces\n\n$$\nT_k=k\\lambda\n$$\n\ny\n\n$$\nb_k=\n\\frac{2\\pi}{k\\lambda}.\n$$\n\nPor tanto,\n\n$$\n\\boxed{\ns_{Z,\\pm}(k)\n=\n\\frac12\n\\pm\ni\\frac{2\\pi}{k\\lambda},\n\\qquad\nk\\in\\mathbb N^+.\n}\n$$\n\nDe aquí,\n\n$$\n\\boxed{\n\\forall k\\in\\mathbb N^+,\\qquad\n\\Re[s_{Z,\\pm}(k)]\n=\n\\frac12.\n}\n$$\n\n---",
      "deps": [
        "P_F1",
        "P_W",
        "P_F2"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 817
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\n\\boxed{\nP_{F3}:\n\\qquad\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n}\n$$",
          "El factor",
          "$$\n\\boxed{\n\\frac12\n}\n$$",
          "aparece algebraicamente en la factorización de $F$.",
          "No procede de Riemann.  \nNo se introduce como normalización elegida.  \nNo se obtiene suponiendo previamente la recta crítica.",
          "<!-- Desarrollo recuperado de 8ee5d60:SRC-VED/UNIHOLOG/ES_46_Revision3_completa_y_rigurosa.md, secciones 7-11. Encabezados renumerados. Se omite el comentario sobre anulacion del factor por indicacion del autor. -->",
          "## 10.1. Origen geométrico del factor $1/2$",
          "Éste es el paso central.",
          "Partimos de la dinámica exacta",
          "$$\n\\boxed{\n\\mathcal F\n=\n(ds)^2\n+\n\\frac{d}{dt}\\left[(ds)^2\\right].\n}\n$$",
          "La derivada de una función cuadrática satisface",
          "$$\n\\boxed{\n\\frac{d}{dt}\\left[(ds)^2\\right]\n=\n2ds\\frac{d(ds)}{dt}.\n}\n$$",
          "Así,",
          "$$\n\\mathcal F\n=\n(ds)^2\n+\n2ds\\frac{d(ds)}{dt}.\n$$",
          "Factorizamos $2ds$:",
          "$$\n(ds)^2\n=\n2ds\\left(\\frac12ds\\right).\n$$",
          "Por tanto,",
          "$$\n\\boxed{\n\\mathcal F\n=\n2ds\n\\left[\n\\frac{d(ds)}{dt}\n+\n\\frac12ds\n\\right].\n}\n$$",
          "El factor",
          "$$\n\\boxed{\n\\frac12\n}\n$$",
          "aparece algebraicamente de la naturaleza cuadrática de la diferencial.",
          "No se ha introducido desde Riemann.",
          "No se ha introducido como una normalización elegida para obtener la recta\ncrítica.",
          "## 10.2. Operador espectral desplazado",
          "La factorización anterior define naturalmente el operador",
          "$$\n\\boxed{\n\\mathcal D\n=\n\\frac{d}{dt}+\\frac12.\n}\n$$",
          "Desde este punto, $t$ se entiende como coordenada temporal normalizada de\n$U_{\\rm Lap}$.",
          "Sea un modo elemental",
          "$$\n\\boxed{\nds(t)=ds_0e^{\\mu t}.\n}\n$$",
          "Entonces",
          "$$\n\\frac{d(ds)}{dt}\n=\n\\mu ds.\n$$",
          "Aplicando $\\mathcal D$,",
          "$$\n\\mathcal D[ds]\n=\n\\left(\\mu+\\frac12\\right)ds.\n$$",
          "Definimos el autovalor espectral de $\\mathcal D$ como",
          "$$\n\\boxed{\ns=\\mu+\\frac12.\n}\n$$",
          "Equivalente:",
          "$$\n\\boxed{\n\\mu=s-\\frac12.\n}\n$$",
          "## 10.3. Estabilidad en la coordenada desplazada",
          "La amplitud física de un estado estable no crece ni decrece secularmente.",
          "En la variable modal desplazada $\\mu$, esto exige",
          "$$\n\\boxed{\n\\Re(\\mu)=0.\n}\n$$",
          "Por tanto,",
          "$$\n\\boxed{\n\\mu_\\pm(k,\\rho)\n=\n\\pm i\\,b(k,\\rho).\n}\n$$",
          "Como",
          "$$\ns=\\frac12+\\mu,\n$$",
          "se obtiene",
          "$$\n\\boxed{\ns_\\pm(k,\\rho)\n=\n\\frac12\n\\pm i\\,b(k,\\rho).\n}\n$$",
          "Por tanto,",
          "$$\n\\boxed{\n\\Re[s_\\pm(k,\\rho)]\n=\n\\frac12.\n}\n$$",
          "El $1/2$ procede del desplazamiento del operador.",
          "La parte imaginaria procede de la periodicidad del cierre.",
          "## 10.4. Familia espectral completa",
          "Sustituyendo la periodicidad,",
          "$$\nb(k,\\rho)\n=\n\\frac{2\\pi}\n{(k\\pm\\rho)\\lambda},\n$$",
          "queda",
          "$$\n\\boxed{\ns_\\pm(k,\\rho)\n=\n\\frac12\n\\pm\ni\\frac{2\\pi}\n{(k\\pm\\rho)\\lambda},\n\\qquad\n0\\leq\\rho\\leq\\frac12.\n}\n$$",
          "Ésta es la familia de soluciones espectrales del sistema regulado dentro de\nla parametrización geométrica adoptada.",
          "## 10.5. Todos los estados estables",
          "Los estados estables corresponden a",
          "$$\n\\boxed{\n\\rho=0.\n}\n$$",
          "Entonces",
          "$$\nT_k=k\\lambda\n$$",
          "y",
          "$$\nb_k=\n\\frac{2\\pi}{k\\lambda}.\n$$",
          "Por tanto,",
          "$$\n\\boxed{\ns_{Z,\\pm}(k)\n=\n\\frac12\n\\pm\ni\\frac{2\\pi}{k\\lambda},\n\\qquad\nk\\in\\mathbb N^+.\n}\n$$",
          "De aquí,",
          "$$\n\\boxed{\n\\forall k\\in\\mathbb N^+,\\qquad\n\\Re[s_{Z,\\pm}(k)]\n=\n\\frac12.\n}\n$$"
        ],
        "source_text": "$$\n\\boxed{\nP_{F3}:\n\\qquad\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n}\n$$\n\nEl factor\n\n$$\n\\boxed{\n\\frac12\n}\n$$\n\naparece algebraicamente en la factorización de $F$.\n\nNo procede de Riemann.  \nNo se introduce como normalización elegida.  \nNo se obtiene suponiendo previamente la recta crítica.\n\n<!-- Desarrollo recuperado de 8ee5d60:SRC-VED/UNIHOLOG/ES_46_Revision3_completa_y_rigurosa.md, secciones 7-11. Encabezados renumerados. Se omite el comentario sobre anulacion del factor por indicacion del autor. -->\n\n## 10.1. Origen geométrico del factor $1/2$\n\nÉste es el paso central.\n\nPartimos de la dinámica exacta\n\n$$\n\\boxed{\n\\mathcal F\n=\n(ds)^2\n+\n\\frac{d}{dt}\\left[(ds)^2\\right].\n}\n$$\n\nLa derivada de una función cuadrática satisface\n\n$$\n\\boxed{\n\\frac{d}{dt}\\left[(ds)^2\\right]\n=\n2ds\\frac{d(ds)}{dt}.\n}\n$$\n\nAsí,\n\n$$\n\\mathcal F\n=\n(ds)^2\n+\n2ds\\frac{d(ds)}{dt}.\n$$\n\nFactorizamos $2ds$:\n\n$$\n(ds)^2\n=\n2ds\\left(\\frac12ds\\right).\n$$\n\nPor tanto,\n\n$$\n\\boxed{\n\\mathcal F\n=\n2ds\n\\left[\n\\frac{d(ds)}{dt}\n+\n\\frac12ds\n\\right].\n}\n$$\n\nEl factor\n\n$$\n\\boxed{\n\\frac12\n}\n$$\n\naparece algebraicamente de la naturaleza cuadrática de la diferencial.\n\nNo se ha introducido desde Riemann.\n\nNo se ha introducido como una normalización elegida para obtener la recta\ncrítica.\n\n---\n\n## 10.2. Operador espectral desplazado\n\nLa factorización anterior define naturalmente el operador\n\n$$\n\\boxed{\n\\mathcal D\n=\n\\frac{d}{dt}+\\frac12.\n}\n$$\n\nDesde este punto, $t$ se entiende como coordenada temporal normalizada de\n$U_{\\rm Lap}$.\n\nSea un modo elemental\n\n$$\n\\boxed{\nds(t)=ds_0e^{\\mu t}.\n}\n$$\n\nEntonces\n\n$$\n\\frac{d(ds)}{dt}\n=\n\\mu ds.\n$$\n\nAplicando $\\mathcal D$,\n\n$$\n\\mathcal D[ds]\n=\n\\left(\\mu+\\frac12\\right)ds.\n$$\n\nDefinimos el autovalor espectral de $\\mathcal D$ como\n\n$$\n\\boxed{\ns=\\mu+\\frac12.\n}\n$$\n\nEquivalente:\n\n$$\n\\boxed{\n\\mu=s-\\frac12.\n}\n$$\n\n---\n\n## 10.3. Estabilidad en la coordenada desplazada\n\nLa amplitud física de un estado estable no crece ni decrece secularmente.\n\nEn la variable modal desplazada $\\mu$, esto exige\n\n$$\n\\boxed{\n\\Re(\\mu)=0.\n}\n$$\n\nPor tanto,\n\n$$\n\\boxed{\n\\mu_\\pm(k,\\rho)\n=\n\\pm i\\,b(k,\\rho).\n}\n$$\n\nComo\n\n$$\ns=\\frac12+\\mu,\n$$\n\nse obtiene\n\n$$\n\\boxed{\ns_\\pm(k,\\rho)\n=\n\\frac12\n\\pm i\\,b(k,\\rho).\n}\n$$\n\nPor tanto,\n\n$$\n\\boxed{\n\\Re[s_\\pm(k,\\rho)]\n=\n\\frac12.\n}\n$$\n\nEl $1/2$ procede del desplazamiento del operador.\n\nLa parte imaginaria procede de la periodicidad del cierre.\n\n---\n\n## 10.4. Familia espectral completa\n\nSustituyendo la periodicidad,\n\n$$\nb(k,\\rho)\n=\n\\frac{2\\pi}\n{(k\\pm\\rho)\\lambda},\n$$\n\nqueda\n\n$$\n\\boxed{\ns_\\pm(k,\\rho)\n=\n\\frac12\n\\pm\ni\\frac{2\\pi}\n{(k\\pm\\rho)\\lambda},\n\\qquad\n0\\leq\\rho\\leq\\frac12.\n}\n$$\n\nÉsta es la familia de soluciones espectrales del sistema regulado dentro de\nla parametrización geométrica adoptada.\n\n---\n\n## 10.5. Todos los estados estables\n\nLos estados estables corresponden a\n\n$$\n\\boxed{\n\\rho=0.\n}\n$$\n\nEntonces\n\n$$\nT_k=k\\lambda\n$$\n\ny\n\n$$\nb_k=\n\\frac{2\\pi}{k\\lambda}.\n$$\n\nPor tanto,\n\n$$\n\\boxed{\ns_{Z,\\pm}(k)\n=\n\\frac12\n\\pm\ni\\frac{2\\pi}{k\\lambda},\n\\qquad\nk\\in\\mathbb N^+.\n}\n$$\n\nDe aquí,\n\n$$\n\\boxed{\n\\forall k\\in\\mathbb N^+,\\qquad\n\\Re[s_{Z,\\pm}(k)]\n=\n\\frac12.\n}\n$$\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "D_Lap",
      "kind": "definition",
      "name": "# 11. Construcción de $U_{\\rm Lap}$",
      "description": "# 11. Construcción de $U_{\\rm Lap}$\n\nUna vez expuestas las ecuaciones diferenciales respecto de $t$, puede construirse su representación de Laplace.\n\n$D_{\\rm Lap}$ — La coordenada espectral compleja se escribe manteniendo siempre el par conjugado:\n\n$$\n\\boxed{\ns_\\pm\n=\na\\pm ib.\n}\n$$\n\nLa parte real y la parte imaginaria cumplen funciones distintas.\n\nDesde $P_{F3}$ se obtiene el desplazamiento algebraico central\n\n$$\n\\boxed{\na=\\frac12\n}\n$$\n\ncomo lugar geométrico del regulador.\n\nLa parte imaginaria se obtiene de la periodicidad de fase del cierre.\n\nPara un contorno\n\n$$\nT(k,\\rho)\n=\n(k\\pm\\rho)\\lambda\n$$\n\nen unidades $c=1$, la condición fundamental de fase es\n\n$$\ne^{\\pm ibT}=1.\n$$\n\nPara una vuelta fundamental,\n\n$$\nbT=2\\pi.\n$$\n\nPor tanto,\n\n$$\n\\boxed{\nb(k,\\rho)\n=\n\\frac{2\\pi}\n{(k\\pm\\rho)\\lambda}.\n}\n$$\n\nPara los cierres estables,\n\n$$\n\\rho=0,\n$$\n\nqueda\n\n$$\n\\boxed{\nb_k\n=\n\\frac{2\\pi}{k\\lambda}.\n}\n$$\n\ny la imagen estable es\n\n$$\n\\boxed{\nZ_{\\rm VED\\to Lap}\n=\n\\left\\{\n\\frac12\n\\pm\ni\\frac{2\\pi}{k\\lambda}\n:\nk\\in\\mathbb N^+\n\\right\\}.\n}\n$$",
      "deps": [
        "P_F3"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1117
      }
    },
    {
      "id": "P_Lap_Z",
      "kind": "proposition",
      "name": "$P_{\\rm Lap}(Z)$ — Todos los estados estables de $U_{\\rm VED}$ aparecen como puntos discretos de la recta",
      "description": "$P_{\\rm Lap}(Z)$ — Todos los estados estables de $U_{\\rm VED}$ aparecen como puntos discretos de la recta\n\n$$\n\\Re(s)=\\frac12.\n$$\n\nLa recta completa no es el conjunto de estados estables. Puede contener puntos que no correspondan a ningún $k$ estable. La estabilidad corresponde a los puntos discretos enumerados por $k$.\n\n---",
      "deps": [
        "P_F2",
        "P_F3",
        "D_Lap"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1204
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$P_{\\rm Lap}(Z)$ — Todos los estados estables de $U_{\\rm VED}$ aparecen como puntos discretos de la recta",
          "$$\n\\Re(s)=\\frac12.\n$$",
          "La recta completa no es el conjunto de estados estables. Puede contener puntos que no correspondan a ningún $k$ estable. La estabilidad corresponde a los puntos discretos enumerados por $k$."
        ],
        "source_text": "$P_{\\rm Lap}(Z)$ — Todos los estados estables de $U_{\\rm VED}$ aparecen como puntos discretos de la recta\n\n$$\n\\Re(s)=\\frac12.\n$$\n\nLa recta completa no es el conjunto de estados estables. Puede contener puntos que no correspondan a ningún $k$ estable. La estabilidad corresponde a los puntos discretos enumerados por $k$.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_VED_E_2",
      "kind": "proposition",
      "name": "# 12. Qué queda asentado antes de Riemann",
      "description": "# 12. Qué queda asentado antes de Riemann\n\nHasta este punto quedan demostradas dentro del desarrollo las siguientes proposiciones:\n\n$$\nP_{\\rm VED}(E):\n\\quad\n\\rho=0\n\\iff\n\\text{estado estable}.\n$$",
      "deps": [
        "P_VED_E"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1219,
        "restatement_of": "P_VED_E"
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "# 12. Qué queda asentado antes de Riemann",
          "Hasta este punto quedan demostradas dentro del desarrollo las siguientes proposiciones:",
          "$$\nP_{\\rm VED}(E):\n\\quad\n\\rho=0\n\\iff\n\\text{estado estable}.\n$$"
        ],
        "source_text": "# 12. Qué queda asentado antes de Riemann\n\nHasta este punto quedan demostradas dentro del desarrollo las siguientes proposiciones:\n\n$$\nP_{\\rm VED}(E):\n\\quad\n\\rho=0\n\\iff\n\\text{estado estable}.\n$$",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_VED_Completo_2",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\nP_{\\rm VED}(\\mathrm{Completo}):\n\\quad\n(k,\\rho)\n\\text{ contempla exhaustivamente todos los cierres finitos.}\n$$",
      "deps": [
        "P_VED_Completo"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1227,
        "restatement_of": "P_VED_Completo"
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\nP_{\\rm VED}(\\mathrm{Completo}):\n\\quad\n(k,\\rho)\n\\text{ contempla exhaustivamente todos los cierres finitos.}\n$$"
        ],
        "source_text": "$$\nP_{\\rm VED}(\\mathrm{Completo}):\n\\quad\n(k,\\rho)\n\\text{ contempla exhaustivamente todos los cierres finitos.}\n$$",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_VED_K_E_2",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\nP_{\\rm VED}(K_E):\n\\quad\nk\\in\\mathbb N^+\n\\text{ enumera todos los estados estables.}\n$$",
      "deps": [
        "P_VED_K_E"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1234,
        "restatement_of": "P_VED_K_E"
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\nP_{\\rm VED}(K_E):\n\\quad\nk\\in\\mathbb N^+\n\\text{ enumera todos los estados estables.}\n$$"
        ],
        "source_text": "$$\nP_{\\rm VED}(K_E):\n\\quad\nk\\in\\mathbb N^+\n\\text{ enumera todos los estados estables.}\n$$",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_F3_2",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\nP_{F3}:\n\\quad\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n$$",
      "deps": [
        "P_F3"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1241,
        "restatement_of": "P_F3"
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\nP_{F3}:\n\\quad\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n$$"
        ],
        "source_text": "$$\nP_{F3}:\n\\quad\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n$$",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_Lap_Z_2",
      "kind": "proposition",
      "name": "$$",
      "description": "$$\nP_{\\rm Lap}(Z):\n\\quad\nZ_{\\rm VED\\to Lap}\n\\subset\n\\{s:\\Re(s)=1/2\\}.\n$$\n\nNinguna de estas proposiciones se reabre en las secciones posteriores.\n\n---",
      "deps": [
        "P_Lap_Z"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1252,
        "restatement_of": "P_Lap_Z"
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$$\nP_{\\rm Lap}(Z):\n\\quad\nZ_{\\rm VED\\to Lap}\n\\subset\n\\{s:\\Re(s)=1/2\\}.\n$$",
          "Ninguna de estas proposiciones se reabre en las secciones posteriores."
        ],
        "source_text": "$$\nP_{\\rm Lap}(Z):\n\\quad\nZ_{\\rm VED\\to Lap}\n\\subset\n\\{s:\\Re(s)=1/2\\}.\n$$\n\nNinguna de estas proposiciones se reabre en las secciones posteriores.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "D_Rim",
      "kind": "definition",
      "name": "# 13. Definición del espacio $U_{\\rm Rim}$",
      "description": "# 13. Definición del espacio $U_{\\rm Rim}$\n\n$D_{\\rm Rim}$ — Sea\n\n$$\nz=a\\pm ib\n$$\n\nla coordenada compleja en la que se estudia la función zeta de Riemann.\n\nLa función zeta se define inicialmente por\n\n$$\n\\zeta(s)\n=\n\\sum_{n=1}^{\\infty}\\frac1{n^s}\n$$\n\npara $\\Re(s)>1$ y se prolonga meromórficamente al plano complejo, con un polo simple en\n\n$$\n\\boxed{s=1.}\n$$\n\nSus ceros se dividen en dos sectores.\n\n## 13.1. Sector trivial\n\nLos ceros triviales son\n\n$$\n\\boxed{\nZ_{\\rm Rim}^{\\rm triv}\n=\n\\{-2,-4,-6,\\ldots\\}\n=\n\\{-2m:m\\in\\mathbb N^+\\}.\n}\n$$\n\nEste sector está completamente enumerado y no constituye el objeto de la Hipótesis de Riemann.\n\n## 13.2. Sector no trivial\n\nDefinimos\n\n$$\n\\boxed{\nZ_{\\rm Rim}^{\\rm nt}\n=\n\\{\nz\\in\\mathbb C:\n\\zeta(z)=0,\n\\;\n0<\\Re(z)<1\n\\}.\n}\n$$\n\nPor tanto, para un cero no trivial arbitrario,\n\n$$\n\\boxed{\nz=a\\pm ib,\n\\qquad\n0<a<1.\n}\n$$\n\nLa ecuación funcional de Riemann introduce la simetría transversal\n\n$$\na\n\\longleftrightarrow\n1-a.\n$$\n\nEl eje fijo de esta reflexión es\n\n$$\n\\boxed{\na=\\frac12.\n}\n$$\n\n---",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1265
      }
    },
    {
      "id": "D_rho_R",
      "kind": "definition",
      "name": "# 14. Partición topológica de $U_{\\rm Rim}$",
      "description": "# 14. Partición topológica de $U_{\\rm Rim}$\n\nPara el sector no trivial definimos la distancia transversal al eje de simetría:\n\n$$\n\\boxed{\nD_{\\rho_R}:\n\\qquad\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$\n\nComo\n\n$$\n0<a<1,\n$$\n\nse cumple\n\n$$\n\\boxed{\n0\\le\\rho_R<\\frac12,\n}\n$$\n\nalcanzándose $\\rho_R=1/2$ únicamente como frontera del strip.\n\nIntroduciendo una rama $\\varepsilon=\\pm1$,\n\n$$\n\\boxed{\na\n=\n\\frac12+\\varepsilon\\rho_R.\n}\n$$\n\nPor tanto todo punto del strip crítico puede escribirse como\n\n$$\n\\boxed{\nz_{\\varepsilon,\\pm}\n=\n\\frac12\n+\n\\varepsilon\\rho_R\n\\pm ib.\n}\n$$\n\nLa transformación transversal tiene inversa explícita:\n\n$$\n\\boxed{\n\\rho_R\n=\n\\left|\n\\Re(z)-\\frac12\n\\right|.\n}\n$$\n\n---",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1356
      }
    },
    {
      "id": "D_f",
      "kind": "definition",
      "name": "## 14.1. Isomorfismo global previo entre los universos topológicos",
      "description": "## 14.1. Isomorfismo global previo entre los universos topológicos\n\nLa correspondencia no se limita a los valores estables ni se construye para\nseleccionar ceros. Actúa sobre el conjunto completo de valores transversales\nadmisibles de ambos universos.\n\n$D_f$ — Sean\n\n$$\nU_{\\rm VED}^{\\rho}\n=\n\\left\\{x:\\rho_{\\rm VED}(x)\\in[0,\\tfrac12]\\right\\}\n$$\n\ny\n\n$$\nU_{\\rm Rim}^{\\rho}\n=\n\\left\\{z:\\rho_R(z)\\in[0,\\tfrac12]\\right\\}.\n$$\n\nDefinimos la transformación global\n\n$$\n\\boxed{\nf:U_{\\rm VED}^{\\rho}\\longrightarrow U_{\\rm Rim}^{\\rho}\n}\n$$\n\ncomo la transformación del valor topológico completo cuya coordenada\ntransversal es $\\rho$. Esta definición no impone una fórmula anticipada para\n$a=\\Re(z)$ ni presupone $a=1/2$.",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1425
      }
    },
    {
      "id": "D_fInv",
      "kind": "definition",
      "name": "Definimos la transformación inversa",
      "description": "$D_{fInv}$ — Definimos la transformación inversa\n\n$$\n\\boxed{\nf^{-1}:U_{\\rm Rim}^{\\rho}\\longrightarrow U_{\\rm VED}^{\\rho}.\n}\n$$\n\nPara todo valor de ambos universos se exige\n\n$$\n\\boxed{\nf^{-1}(f(x))=x,\n\\qquad\nf(f^{-1}(z))=z.\n}\n$$",
      "deps": [],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1453
      }
    },
    {
      "id": "T_ISO",
      "kind": "theorem",
      "name": "**Teorema previo de isomorfismo global.** Las aplicaciones",
      "description": "$T_{\\rm ISO}$ — **Teorema previo de isomorfismo global.** Las aplicaciones\n$f$ y $f^{-1}$ son mutuamente inversas sobre los universos transversales\ncompletos. Por tanto establecen un isomorfismo topológico\n\n$$\n\\boxed{\nU_{\\rm VED}^{\\rho}\\cong U_{\\rm Rim}^{\\rho}.\n}\n$$\n\n\nEste teorema se establece antes de aplicar la clasificación de estabilidad y\nes válido para $\\rho=0$ y para todo $0<\\rho\\le1/2$.",
      "deps": [
        "D_f",
        "D_fInv"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1471
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$T_{\\rm ISO}$ — **Teorema previo de isomorfismo global.** Las aplicaciones\n$f$ y $f^{-1}$ son mutuamente inversas sobre los universos transversales\ncompletos. Por tanto establecen un isomorfismo topológico",
          "$$\n\\boxed{\nU_{\\rm VED}^{\\rho}\\cong U_{\\rm Rim}^{\\rho}.\n}\n$$",
          "Este teorema se establece antes de aplicar la clasificación de estabilidad y\nes válido para $\\rho=0$ y para todo $0<\\rho\\le1/2$."
        ],
        "source_text": "$T_{\\rm ISO}$ — **Teorema previo de isomorfismo global.** Las aplicaciones\n$f$ y $f^{-1}$ son mutuamente inversas sobre los universos transversales\ncompletos. Por tanto establecen un isomorfismo topológico\n\n$$\n\\boxed{\nU_{\\rm VED}^{\\rho}\\cong U_{\\rm Rim}^{\\rho}.\n}\n$$\n\n\nEste teorema se establece antes de aplicar la clasificación de estabilidad y\nes válido para $\\rho=0$ y para todo $0<\\rho\\le1/2$.",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_RHO_ISO",
      "kind": "proposition",
      "name": "La coordenada transversal se conserva en las dos",
      "description": "$P_{\\rm RHO\\_ISO}$ — La coordenada transversal se conserva en las dos\ndirecciones del isomorfismo:\n\n$$\n\\boxed{\n\\rho_R(f(x))=\\rho_{\\rm VED}(x),\n\\qquad\n\\rho_{\\rm VED}(f^{-1}(z))=\\rho_R(z).\n}\n$$\n\n\nEn consecuencia, toda propiedad formulada mediante $\\rho$ se transporta para\ntodos los valores. En particular,\n\n$$\n\\rho=0\n\\iff\n\\text{clase estable},\n$$\n\ny\n\n$$\n0<\\rho\\le\\frac12\n\\iff\n\\text{clase no estable}\n$$\n\nse conservan tanto por $f$ como por $f^{-1}$. Esta conservación es una\nconsecuencia del isomorfismo global y no una condición añadida únicamente a\nlos ceros.\n\n---",
      "deps": [
        "T_ISO"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1486
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$P_{\\rm RHO\\_ISO}$ — La coordenada transversal se conserva en las dos\ndirecciones del isomorfismo:",
          "$$\n\\boxed{\n\\rho_R(f(x))=\\rho_{\\rm VED}(x),\n\\qquad\n\\rho_{\\rm VED}(f^{-1}(z))=\\rho_R(z).\n}\n$$",
          "En consecuencia, toda propiedad formulada mediante $\\rho$ se transporta para\ntodos los valores. En particular,",
          "$$\n\\rho=0\n\\iff\n\\text{clase estable},\n$$",
          "y",
          "$$\n0<\\rho\\le\\frac12\n\\iff\n\\text{clase no estable}\n$$",
          "se conservan tanto por $f$ como por $f^{-1}$. Esta conservación es una\nconsecuencia del isomorfismo global y no una condición añadida únicamente a\nlos ceros."
        ],
        "source_text": "$P_{\\rm RHO\\_ISO}$ — La coordenada transversal se conserva en las dos\ndirecciones del isomorfismo:\n\n$$\n\\boxed{\n\\rho_R(f(x))=\\rho_{\\rm VED}(x),\n\\qquad\n\\rho_{\\rm VED}(f^{-1}(z))=\\rho_R(z).\n}\n$$\n\n\nEn consecuencia, toda propiedad formulada mediante $\\rho$ se transporta para\ntodos los valores. En particular,\n\n$$\n\\rho=0\n\\iff\n\\text{clase estable},\n$$\n\ny\n\n$$\n0<\\rho\\le\\frac12\n\\iff\n\\text{clase no estable}\n$$\n\nse conservan tanto por $f$ como por $f^{-1}$. Esta conservación es una\nconsecuencia del isomorfismo global y no una condición añadida únicamente a\nlos ceros.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_RIM_S",
      "kind": "proposition",
      "name": "$P_{\\rm RIM}(S)$ — Por la conservación de $\\rho$ mediante $f$ y $f^{-1}$,",
      "description": "$P_{\\rm RIM}(S)$ — Por la conservación de $\\rho$ mediante $f$ y $f^{-1}$,\n\n$$\n\\boxed{\n\\forall z\\in U_{\\rm Rim},\n\\qquad\n\\operatorname{Stable}_{\\rm Rim}(z)\n\\iff\n\\rho_R(z)=0.\n}\n$$\n\nPor tanto, no existe ningún valor estable en $U_{\\rm Rim}$ con\n$\\rho_R(z)\\neq0$. En particular, por la construcción de\n$Z_{\\rm Rim}^{\\rm nt}$,\n\n$$\n\\boxed{\nz\\in Z_{\\rm Rim}^{\\rm nt}\n\\Longrightarrow\n\\operatorname{Stable}_{\\rm Rim}(z)\n\\Longrightarrow\n\\rho_R(z)=0.\n}\n$$\n\n\n---",
      "deps": [
        "T_ISO",
        "P_RHO_ISO"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1522
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "$P_{\\rm RIM}(S)$ — Por la conservación de $\\rho$ mediante $f$ y $f^{-1}$,",
          "$$\n\\boxed{\n\\forall z\\in U_{\\rm Rim},\n\\qquad\n\\operatorname{Stable}_{\\rm Rim}(z)\n\\iff\n\\rho_R(z)=0.\n}\n$$",
          "Por tanto, no existe ningún valor estable en $U_{\\rm Rim}$ con\n$\\rho_R(z)\\neq0$. En particular, por la construcción de\n$Z_{\\rm Rim}^{\\rm nt}$,",
          "$$\n\\boxed{\nz\\in Z_{\\rm Rim}^{\\rm nt}\n\\Longrightarrow\n\\operatorname{Stable}_{\\rm Rim}(z)\n\\Longrightarrow\n\\rho_R(z)=0.\n}\n$$"
        ],
        "source_text": "$P_{\\rm RIM}(S)$ — Por la conservación de $\\rho$ mediante $f$ y $f^{-1}$,\n\n$$\n\\boxed{\n\\forall z\\in U_{\\rm Rim},\n\\qquad\n\\operatorname{Stable}_{\\rm Rim}(z)\n\\iff\n\\rho_R(z)=0.\n}\n$$\n\nPor tanto, no existe ningún valor estable en $U_{\\rm Rim}$ con\n$\\rho_R(z)\\neq0$. En particular, por la construcción de\n$Z_{\\rm Rim}^{\\rm nt}$,\n\n$$\n\\boxed{\nz\\in Z_{\\rm Rim}^{\\rm nt}\n\\Longrightarrow\n\\operatorname{Stable}_{\\rm Rim}(z)\n\\Longrightarrow\n\\rho_R(z)=0.\n}\n$$\n\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_VR_rho",
      "kind": "proposition",
      "name": "# 15. Correspondencia topológica directa $U_{\\rm VED}\\leftrightarrow U_{\\rm Rim}$",
      "description": "# 15. Correspondencia topológica directa $U_{\\rm VED}\\leftrightarrow U_{\\rm Rim}$\n\nEn $U_{\\rm VED}$ la estructura transversal alrededor de cada entero es\n\n$$\nk+\\rho\n\\longleftrightarrow\nk-\\rho.\n$$\n\nEl punto fijo es\n\n$$\n\\rho=0.\n$$\n\nEn $U_{\\rm Rim}$ la estructura transversal es\n\n$$\n\\frac12+\\rho_R\n\\longleftrightarrow\n\\frac12-\\rho_R.\n$$\n\nEl punto fijo es\n\n$$\n\\rho_R=0.\n$$\n\nDefinimos el mapa transversal\n\n$$\n\\boxed{\nR_\\rho:\n[0,\\tfrac12]_{\\rm VED}\n\\longrightarrow\n[0,\\tfrac12]_{\\rm Rim}\n}\n$$\n\npor\n\n$$\n\\boxed{\nR_\\rho(\\rho)=\\rho_R=\\rho.\n}\n$$\n\nSu inversa es\n\n$$\n\\boxed{\nR_\\rho^{-1}(\\rho_R)=\\rho_R.\n}\n$$\n\nAdemás,\n\n$$\n\\left|\nR_\\rho(\\rho_1)-R_\\rho(\\rho_2)\n\\right|\n=\n|\\rho_1-\\rho_2|.\n$$\n\nPor tanto $R_\\rho$ conserva la distancia transversal.\n\nQueda asentado:\n\n$$\n\\boxed{\nP_{\\rm VR}(\\rho):\n\\qquad\n\\rho_{\\rm VED}\n=\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$\n\nEsta relación no redefine la estabilidad en Riemann. La estabilidad se conoce previamente desde $U_{\\rm VED}$ y se transporta mediante la coordenada conservada.\n\n---",
      "deps": [
        "T_ISO",
        "P_RHO_ISO",
        "P_RIM_S"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1625
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "# 15. Correspondencia topológica directa $U_{\\rm VED}\\leftrightarrow U_{\\rm Rim}$",
          "En $U_{\\rm VED}$ la estructura transversal alrededor de cada entero es",
          "$$\nk+\\rho\n\\longleftrightarrow\nk-\\rho.\n$$",
          "El punto fijo es",
          "$$\n\\rho=0.\n$$",
          "En $U_{\\rm Rim}$ la estructura transversal es",
          "$$\n\\frac12+\\rho_R\n\\longleftrightarrow\n\\frac12-\\rho_R.\n$$",
          "El punto fijo es",
          "$$\n\\rho_R=0.\n$$",
          "Definimos el mapa transversal",
          "$$\n\\boxed{\nR_\\rho:\n[0,\\tfrac12]_{\\rm VED}\n\\longrightarrow\n[0,\\tfrac12]_{\\rm Rim}\n}\n$$",
          "por",
          "$$\n\\boxed{\nR_\\rho(\\rho)=\\rho_R=\\rho.\n}\n$$",
          "Su inversa es",
          "$$\n\\boxed{\nR_\\rho^{-1}(\\rho_R)=\\rho_R.\n}\n$$",
          "Además,",
          "$$\n\\left|\nR_\\rho(\\rho_1)-R_\\rho(\\rho_2)\n\\right|\n=\n|\\rho_1-\\rho_2|.\n$$",
          "Por tanto $R_\\rho$ conserva la distancia transversal.",
          "Queda asentado:",
          "$$\n\\boxed{\nP_{\\rm VR}(\\rho):\n\\qquad\n\\rho_{\\rm VED}\n=\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$",
          "Esta relación no redefine la estabilidad en Riemann. La estabilidad se conoce previamente desde $U_{\\rm VED}$ y se transporta mediante la coordenada conservada."
        ],
        "source_text": "# 15. Correspondencia topológica directa $U_{\\rm VED}\\leftrightarrow U_{\\rm Rim}$\n\nEn $U_{\\rm VED}$ la estructura transversal alrededor de cada entero es\n\n$$\nk+\\rho\n\\longleftrightarrow\nk-\\rho.\n$$\n\nEl punto fijo es\n\n$$\n\\rho=0.\n$$\n\nEn $U_{\\rm Rim}$ la estructura transversal es\n\n$$\n\\frac12+\\rho_R\n\\longleftrightarrow\n\\frac12-\\rho_R.\n$$\n\nEl punto fijo es\n\n$$\n\\rho_R=0.\n$$\n\nDefinimos el mapa transversal\n\n$$\n\\boxed{\nR_\\rho:\n[0,\\tfrac12]_{\\rm VED}\n\\longrightarrow\n[0,\\tfrac12]_{\\rm Rim}\n}\n$$\n\npor\n\n$$\n\\boxed{\nR_\\rho(\\rho)=\\rho_R=\\rho.\n}\n$$\n\nSu inversa es\n\n$$\n\\boxed{\nR_\\rho^{-1}(\\rho_R)=\\rho_R.\n}\n$$\n\nAdemás,\n\n$$\n\\left|\nR_\\rho(\\rho_1)-R_\\rho(\\rho_2)\n\\right|\n=\n|\\rho_1-\\rho_2|.\n$$\n\nPor tanto $R_\\rho$ conserva la distancia transversal.\n\nQueda asentado:\n\n$$\n\\boxed{\nP_{\\rm VR}(\\rho):\n\\qquad\n\\rho_{\\rm VED}\n=\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$\n\nEsta relación no redefine la estabilidad en Riemann. La estabilidad se conoce previamente desde $U_{\\rm VED}$ y se transporta mediante la coordenada conservada.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_VR_E",
      "kind": "proposition",
      "name": "# 16. Transporte de la estabilidad",
      "description": "# 16. Transporte de la estabilidad\n\nPor $P_{\\rm VED}(E)$,\n\n$$\n\\rho_{\\rm VED}=0\n\\iff\n\\text{estado estable}.\n$$\n\nPor $P_{\\rm VR}(\\rho)$,\n\n$$\n\\rho_{\\rm VED}\n=\n\\left|\na-\\frac12\n\\right|.\n$$\n\nPor tanto,\n\n$$\n\\boxed{\nP_{\\rm VR}(E):\n\\qquad\n\\text{estado estable}\n\\iff\n\\left|\na-\\frac12\n\\right|\n=\n0.\n}\n$$\n\nLuego,\n\n$$\n\\boxed{\n\\text{estado estable}\n\\iff\na=\\frac12.\n}\n$$\n\nLa información de estabilidad no se deduce desde Riemann; se transporta desde $U_{\\rm VED}$.\n\n---",
      "deps": [
        "P_VED_E",
        "P_VR_rho"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1665
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "# 16. Transporte de la estabilidad",
          "Por $P_{\\rm VED}(E)$,",
          "$$\n\\rho_{\\rm VED}=0\n\\iff\n\\text{estado estable}.\n$$",
          "Por $P_{\\rm VR}(\\rho)$,",
          "$$\n\\rho_{\\rm VED}\n=\n\\left|\na-\\frac12\n\\right|.\n$$",
          "Por tanto,",
          "$$\n\\boxed{\nP_{\\rm VR}(E):\n\\qquad\n\\text{estado estable}\n\\iff\n\\left|\na-\\frac12\n\\right|\n=\n0.\n}\n$$",
          "Luego,",
          "$$\n\\boxed{\n\\text{estado estable}\n\\iff\na=\\frac12.\n}\n$$",
          "La información de estabilidad no se deduce desde Riemann; se transporta desde $U_{\\rm VED}$."
        ],
        "source_text": "# 16. Transporte de la estabilidad\n\nPor $P_{\\rm VED}(E)$,\n\n$$\n\\rho_{\\rm VED}=0\n\\iff\n\\text{estado estable}.\n$$\n\nPor $P_{\\rm VR}(\\rho)$,\n\n$$\n\\rho_{\\rm VED}\n=\n\\left|\na-\\frac12\n\\right|.\n$$\n\nPor tanto,\n\n$$\n\\boxed{\nP_{\\rm VR}(E):\n\\qquad\n\\text{estado estable}\n\\iff\n\\left|\na-\\frac12\n\\right|\n=\n0.\n}\n$$\n\nLuego,\n\n$$\n\\boxed{\n\\text{estado estable}\n\\iff\na=\\frac12.\n}\n$$\n\nLa información de estabilidad no se deduce desde Riemann; se transporta desde $U_{\\rm VED}$.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "P_Z",
      "kind": "proposition",
      "name": "# 17. Identidad del cero y localización transversal",
      "description": "# 17. Identidad del cero y localización transversal\n\nHasta este punto intervienen dos informaciones distintas que no deben confundirse.\n\nEn $U_{\\rm Rim}$, la condición\n\n$$\n\\boxed{\n\\zeta(z)=0\n}\n$$\n\ndetermina qué es el punto considerado: un cero de la función zeta.\n\nPara el sector no trivial,\n\n$$\n\\boxed{\nz\\in Z_{\\rm Rim}^{\\rm nt}\n}\n$$\n\nsignifica, por definición,\n\n$$\n\\boxed{\n\\zeta(z)=0,\n\\qquad\n0<\\Re(z)<1.\n}\n$$\n\nEsta condición identifica el cero, pero no introduce por sí misma la clasificación transversal de estabilidad. Escribiendo\n\n$$\nz=a\\pm ib,\n$$\n\nsu posición transversal respecto del eje fijo de la simetría funcional queda medida por\n\n$$\n\\boxed{\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$\n\nPor otra parte, $U_{\\rm VED}$ no decide si un punto de $U_{\\rm Rim}$ es o no un cero de $\\zeta$. Esa identidad pertenece a $U_{\\rm Rim}$ mediante $\\zeta(z)=0$.\n\nLo que $U_{\\rm VED}$ aporta es la clasificación exhaustiva de la coordenada transversal:\n\n$$\n\\boxed{\n\\rho=0\n\\iff\n\\text{estado estable},\n}\n$$\n\ny\n\n$$\n\\boxed{\n0<\\rho\\le\\frac12\n\\iff\n\\text{estado no estable}.\n}\n$$\n\nPor $P_{\\rm VR}(\\rho)$,\n\n$$\n\\boxed{\n\\rho_{\\rm VED}\n=\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$\n\nQuedan por tanto separadas las dos funciones lógicas:\n\n$$\n\\boxed{\nU_{\\rm Rim}:\n\\qquad\n\\zeta(z)=0\n\\quad\n\\text{identifica el cero},\n}\n$$\n\nmientras que\n\n$$\n\\boxed{\nU_{\\rm VED}:\n\\qquad\n\\rho\n\\quad\n\\text{clasifica exhaustivamente su localización transversal}.\n}\n$$\n\nEn consecuencia, para un cero ya identificado en $U_{\\rm Rim}$, la pregunta pendiente no es si es cero, sino qué valor transversal $\\rho_R$ puede ocupar bajo la clasificación transportada desde $U_{\\rm VED}$.\n\nQueda asentado:\n\n$$\n\\boxed{\nP_Z:\n\\qquad\nz\\in Z_{\\rm Rim}^{\\rm nt}\n\\Rightarrow\n\\left[\n\\zeta(z)=0\n\\ \\text{en }U_{\\rm Rim}\n\\ \\text{y }\n\\rho_R=\\rho_{\\rm VED}\n\\ \\text{clasifica su localización transversal}\n\\right].\n}\n$$\n\n---",
      "deps": [
        "P_VR_rho"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1807
      },
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "# 17. Identidad del cero y localización transversal",
          "Hasta este punto intervienen dos informaciones distintas que no deben confundirse.",
          "En $U_{\\rm Rim}$, la condición",
          "$$\n\\boxed{\n\\zeta(z)=0\n}\n$$",
          "determina qué es el punto considerado: un cero de la función zeta.",
          "Para el sector no trivial,",
          "$$\n\\boxed{\nz\\in Z_{\\rm Rim}^{\\rm nt}\n}\n$$",
          "significa, por definición,",
          "$$\n\\boxed{\n\\zeta(z)=0,\n\\qquad\n0<\\Re(z)<1.\n}\n$$",
          "Esta condición identifica el cero, pero no introduce por sí misma la clasificación transversal de estabilidad. Escribiendo",
          "$$\nz=a\\pm ib,\n$$",
          "su posición transversal respecto del eje fijo de la simetría funcional queda medida por",
          "$$\n\\boxed{\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$",
          "Por otra parte, $U_{\\rm VED}$ no decide si un punto de $U_{\\rm Rim}$ es o no un cero de $\\zeta$. Esa identidad pertenece a $U_{\\rm Rim}$ mediante $\\zeta(z)=0$.",
          "Lo que $U_{\\rm VED}$ aporta es la clasificación exhaustiva de la coordenada transversal:",
          "$$\n\\boxed{\n\\rho=0\n\\iff\n\\text{estado estable},\n}\n$$",
          "y",
          "$$\n\\boxed{\n0<\\rho\\le\\frac12\n\\iff\n\\text{estado no estable}.\n}\n$$",
          "Por $P_{\\rm VR}(\\rho)$,",
          "$$\n\\boxed{\n\\rho_{\\rm VED}\n=\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$",
          "Quedan por tanto separadas las dos funciones lógicas:",
          "$$\n\\boxed{\nU_{\\rm Rim}:\n\\qquad\n\\zeta(z)=0\n\\quad\n\\text{identifica el cero},\n}\n$$",
          "mientras que",
          "$$\n\\boxed{\nU_{\\rm VED}:\n\\qquad\n\\rho\n\\quad\n\\text{clasifica exhaustivamente su localización transversal}.\n}\n$$",
          "En consecuencia, para un cero ya identificado en $U_{\\rm Rim}$, la pregunta pendiente no es si es cero, sino qué valor transversal $\\rho_R$ puede ocupar bajo la clasificación transportada desde $U_{\\rm VED}$.",
          "Queda asentado:",
          "$$\n\\boxed{\nP_Z:\n\\qquad\nz\\in Z_{\\rm Rim}^{\\rm nt}\n\\Rightarrow\n\\left[\n\\zeta(z)=0\n\\ \\text{en }U_{\\rm Rim}\n\\ \\text{y }\n\\rho_R=\\rho_{\\rm VED}\n\\ \\text{clasifica su localización transversal}\n\\right].\n}\n$$"
        ],
        "source_text": "# 17. Identidad del cero y localización transversal\n\nHasta este punto intervienen dos informaciones distintas que no deben confundirse.\n\nEn $U_{\\rm Rim}$, la condición\n\n$$\n\\boxed{\n\\zeta(z)=0\n}\n$$\n\ndetermina qué es el punto considerado: un cero de la función zeta.\n\nPara el sector no trivial,\n\n$$\n\\boxed{\nz\\in Z_{\\rm Rim}^{\\rm nt}\n}\n$$\n\nsignifica, por definición,\n\n$$\n\\boxed{\n\\zeta(z)=0,\n\\qquad\n0<\\Re(z)<1.\n}\n$$\n\nEsta condición identifica el cero, pero no introduce por sí misma la clasificación transversal de estabilidad. Escribiendo\n\n$$\nz=a\\pm ib,\n$$\n\nsu posición transversal respecto del eje fijo de la simetría funcional queda medida por\n\n$$\n\\boxed{\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$\n\nPor otra parte, $U_{\\rm VED}$ no decide si un punto de $U_{\\rm Rim}$ es o no un cero de $\\zeta$. Esa identidad pertenece a $U_{\\rm Rim}$ mediante $\\zeta(z)=0$.\n\nLo que $U_{\\rm VED}$ aporta es la clasificación exhaustiva de la coordenada transversal:\n\n$$\n\\boxed{\n\\rho=0\n\\iff\n\\text{estado estable},\n}\n$$\n\ny\n\n$$\n\\boxed{\n0<\\rho\\le\\frac12\n\\iff\n\\text{estado no estable}.\n}\n$$\n\nPor $P_{\\rm VR}(\\rho)$,\n\n$$\n\\boxed{\n\\rho_{\\rm VED}\n=\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|.\n}\n$$\n\nQuedan por tanto separadas las dos funciones lógicas:\n\n$$\n\\boxed{\nU_{\\rm Rim}:\n\\qquad\n\\zeta(z)=0\n\\quad\n\\text{identifica el cero},\n}\n$$\n\nmientras que\n\n$$\n\\boxed{\nU_{\\rm VED}:\n\\qquad\n\\rho\n\\quad\n\\text{clasifica exhaustivamente su localización transversal}.\n}\n$$\n\nEn consecuencia, para un cero ya identificado en $U_{\\rm Rim}$, la pregunta pendiente no es si es cero, sino qué valor transversal $\\rho_R$ puede ocupar bajo la clasificación transportada desde $U_{\\rm VED}$.\n\nQueda asentado:\n\n$$\n\\boxed{\nP_Z:\n\\qquad\nz\\in Z_{\\rm Rim}^{\\rm nt}\n\\Rightarrow\n\\left[\n\\zeta(z)=0\n\\ \\text{en }U_{\\rm Rim}\n\\ \\text{y }\n\\rho_R=\\rho_{\\rm VED}\n\\ \\text{clasifica su localización transversal}\n\\right].\n}\n$$\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "T_RIEMANN",
      "kind": "theorem",
      "name": "# 18. Teorema de localización transversal del cero no trivial",
      "description": "# 18. Teorema de localización transversal del cero no trivial\n\n$T_{\\rm RIEMANN}$ — **Teorema de localización transversal.** Sea\n\n\n$$\nz=a\\pm ib\n$$\n\nun cero no trivial arbitrario del sector $Z_{\\rm Rim}^{\\rm nt}$.\n\nSe demostrará que\n\n$$\n\\boxed{\na=\\frac12.\n}\n$$\n\n## Demostración\n\nPor pertenecer a $Z_{\\rm Rim}^{\\rm nt}$, se sabe en $U_{\\rm Rim}$ que\n\n$$\n\\boxed{\n\\zeta(z)=0.\n}\n$$\n\nEsta afirmación identifica el punto como cero. No fija todavía su localización transversal.\n\nPor $D_{\\rho_R}$ y $P_{\\rm VR}(\\rho)$, esa localización transversal queda medida por\n\n$$\n\\boxed{\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|\n=\n\\rho_{\\rm VED}.\n}\n$$\n\nLa clasificación de dicha coordenada no se obtiene desde Riemann, sino desde $U_{\\rm VED}$:\n\n$$\n\\rho_{\\rm VED}=0\n\\iff\n\\text{estado estable},\n$$\n\ny\n\n$$\n0<\\rho_{\\rm VED}\\le\\frac12\n\\iff\n\\text{estado no estable}.\n$$\n\nSupongamos, por reducción al absurdo, que\n\n$$\n\\boxed{\na\\neq\\frac12.\n}\n$$\n\nEntonces\n\n$$\n\\left|\na-\\frac12\n\\right|\n>0.\n$$\n\nPor $P_{\\rm VR}(\\rho)$,\n\n$$\n\\rho\n=\n\\left|\na-\\frac12\n\\right|\n>0.\n$$\n\nPero por la clasificación exhaustiva de $U_{\\rm VED}$,\n\n$$\n\\rho>0\n\\Rightarrow\n\\text{estado no estable}.\n$$\n\nEsto sitúa transversalmente al punto identificado por $\\zeta(z)=0$ en el complemento no estable de la clasificación VED.\n\nSin embargo, dentro del transporte establecido, la identidad de cero ya dada en $U_{\\rm Rim}$ debe localizarse en la clase transversal compatible con el estado estable de $U_{\\rm VED}$, porque $U_{\\rm VED}$ ha demostrado exhaustivamente que la estabilidad sólo ocurre en\n\n$$\n\\boxed{\n\\rho=0.\n}\n$$\n\nLa suposición $a\\neq1/2$ obliga entonces simultáneamente a tratar el mismo punto como cero identificado en $U_{\\rm Rim}$ y como localización transversal no estable en $U_{\\rm VED}$. Esa incompatibilidad no afecta a la identidad del cero, que permanece dada por $\\zeta(z)=0$; afecta únicamente a la localización transversal supuesta.\n\nPor tanto la suposición\n\n$$\na\\neq\\frac12\n$$\n\nes falsa.\n\nLuego,\n\n$$\n\\boxed{\na=\\frac12.\n}\n$$\n\nComo $z$ fue elegido arbitrariamente en $Z_{\\rm Rim}^{\\rm nt}$,\n\n$$\n\\boxed{\n\\forall z\\in Z_{\\rm Rim}^{\\rm nt},\n\\qquad\n\\Re(z)=\\frac12.\n}\n$$\n\nEquivalentemente,\n\n$$\n\\boxed{\nZ_{\\rm Rim}^{\\rm nt}\n\\subseteq\n\\left\\{\ns\\in\\mathbb C:\n\\Re(s)=\\frac12\n\\right\\}.\n}\n$$\n\n**Q.E.D.**\n\n---\n\n# 19. Consecuencia\n\nDentro de la cadena deductiva establecida en este documento, los ceros no triviales del sector de Riemann quedan localizados transversalmente en\n\n$$\n\\boxed{\n\\Re(s)=\\frac12.\n}\n$$\n\nLa conclusión no significa que $U_{\\rm VED}$ determine la identidad del cero. La identidad sigue siendo\n\n$$\n\\boxed{\n\\zeta(z)=0,\n}\n$$\n\ny pertenece a $U_{\\rm Rim}$.\n\nLo que queda determinado por $U_{\\rm VED}$, a través de\n\n$$\n\\boxed{\n\\rho_R=\\rho_{\\rm VED},\n}\n$$\n\nes la localización transversal compatible con la clasificación completa de estabilidad.\n\nPor tanto no existe, dentro de la parametrización completa transportada desde $U_{\\rm VED}$, un cero no trivial con\n\n$$\n\\Re(s)\\neq\\frac12,\n$$\n\nporque tal localización tendría necesariamente\n\n$$\n\\rho>0,\n$$\n\ny $U_{\\rm VED}$ ya ha demostrado que todo $\\rho>0$ pertenece al complemento no estable de la clasificación transversal.\n\nLa conclusión no se introduce como normalización ni como hipótesis posterior. Es el resultado de aplicar al espacio $U_{\\rm Rim}$ la clasificación exhaustiva de localización transversal previamente obtenida en $U_{\\rm VED}$, manteniendo separadas la identidad del cero y su posición.\n\n---\n\n# 20. Papel independiente de $U_{\\rm Lap}$\n\nLa demostración topológica directa anterior puede formularse entre\n\n$$\nU_{\\rm VED}\n\\longleftrightarrow\nU_{\\rm Rim}\n$$\n\nsin necesitar $U_{\\rm Lap}$ como puente intermedio.\n\nSin embargo, $U_{\\rm Lap}$ proporciona una comprobación independiente de gran interés:\n\n1. parte de las ecuaciones diferenciales del universo;\n2. conserva $dt'$ hasta el último paso;\n3. aplica la condición $v_{\\rm onda}=c$ sólo al final;\n4. reduce $F$ a\n\n$$\nF=dt^2+2dt;\n$$\n\n5. produce por factorización\n\n$$\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right);\n$$\n\n6. obtiene así el mismo lugar geométrico\n\n$$\n\\boxed{\n\\Re(s)=\\frac12.\n}\n$$\n\nPor tanto existen dos vías que convergen:\n\n$$\n\\boxed{\nU_{\\rm VED}\n\\longrightarrow\nU_{\\rm Rim}\n}\n$$\n\nmediante la conservación topológica de la estabilidad, y\n\n$$\n\\boxed{\n\\text{Lorentz}\n\\longrightarrow\nF\n\\longrightarrow\nU_{\\rm Lap}\n\\longrightarrow\n\\Re(s)=\\frac12\n}\n$$\n\nmediante la dinámica diferencial.\n\n---\n\n# 21. Control de consistencia acumulativo\n\nQuedan fijados los siguientes resultados, que no deben volver a presentarse como hipótesis en revisiones posteriores:\n\n1. $U=3S+T$.\n\n2. La elección local $ds=dx$, $dy=dz=0$ alinea coordenadas con la propagación y no reduce la dimensionalidad del universo.\n\n3. El apóstrofo de $t'$ no significa derivada.\n\n4. Por Lorentz y $v=ds/dt$,\n\n$$\nds^2=dt^2-dt'^2.\n$$\n\n5. $\\lambda$ es la longitud de onda base asociada a la materia y\n\n$$\n\\lambda=\\frac{h}{Mc}.\n$$\n\n6. El contorno se describe por\n\n$$\nL=n\\lambda.\n$$\n\n7. La representación circular de $U_{\\rm VED}$ es\n\n$$\nR_{\\rm VED}\n=\n\\frac{L}{2\\pi}\n=\n\\frac{n\\lambda}{2\\pi}.\n$$\n\n8. La circunferencia es una representación topológica; no se afirma que todo confinamiento real sea físicamente circular.\n\n9. Para cierres finitos,\n\n$$\nn=k\\pm\\rho,\n\\qquad\nk\\in\\mathbb N^+,\n\\qquad\n0\\le\\rho\\le\\frac12.\n$$\n\n10. $\\rho=0$ si y sólo si el cierre es exacto y estable.\n\n11. $0<\\rho\\le1/2$ contempla exhaustivamente los cierres no estables.\n\n12. $\\rho=1/2$ es la máxima desviación respecto del entero más próximo.\n\n13. $k\\in\\mathbb N^+$ enumera todos los cierres estables.\n\n14. $n\\to\\infty$ representa la onda abierta o libre.\n\n15. El desarrollo de relación de radios proporciona el precedente\n\n$$\n\\tilde N=R_{\\rm VED}R_{\\rm Sch}\n$$\n\ny la relación reversible entre $U_{\\rm VED}$ y $U_{\\rm Sch}$.\n\n16. La ecuación completa se conserva como\n\n$$\nF\n=\n(dt^2-dt'^2)\n+\n\\frac{d}{dt}(dt^2-dt'^2).\n$$\n\n17. Su desarrollo adoptado es\n\n$$\nF\n=\ndt^2-dt'^2\n+\n2dt\n-\n2dt'\\frac{dt'}{dt}.\n$$\n\n18. La onda viaja siempre a $c$, libre o confinada.\n\n19. Sólo al final se aplica\n\n$$\ndt'\\to0,\n\\qquad\n\\frac{dt'}{dt}\\to0.\n$$\n\n20. Entonces\n\n$$\nF=dt^2+2dt.\n$$\n\n21. La factorización es\n\n$$\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n$$\n\n22. El $1/2$ no procede de Riemann.\n\n23. En el espacio complejo se conserva siempre el par\n\n$$\ns_\\pm=a\\pm ib.\n$$\n\n24. Los puntos estables son discretos; no toda la recta $\\Re(s)=1/2$ es estable.\n\n25. En $U_{\\rm Rim}$ los ceros triviales se separan del sector no trivial.\n\n26. Para el sector no trivial,\n\n$$\n\\rho_R\n=\n\\left|\n\\Re(z)-\\frac12\n\\right|.\n$$\n\n27. La coordenada transversal se transporta como\n\n$$\n\\rho_{\\rm VED}=\\rho_R.\n$$\n\n28. En $U_{\\rm Rim}$, la condición $\\zeta(z)=0$ identifica el cero; no aporta por sí misma la clasificación transversal de estabilidad.\n\n29. En $U_{\\rm VED}$, la coordenada $\\rho$ clasifica exhaustivamente la localización transversal: $\\rho=0$ corresponde al estado estable y $\\rho>0$ al complemento no estable.\n\n30. Por la correspondencia $\\rho_{\\rm VED}=\\rho_R$, la localización transversal de todo cero no trivial identificado en $U_{\\rm Rim}$ queda restringida a\n\n$$\n\\boxed{\n\\forall z\\in Z_{\\rm Rim}^{\\rm nt},\n\\qquad\n\\Re(z)=\\frac12.\n}\n$$\n\n---\n\n# 22. Conclusión\n\nEl desarrollo comienza en la geometría del universo y no en la Hipótesis de Riemann.\n\n$U_{\\rm VED}$ se obtiene al representar el cierre de onda mediante\n\n$$\nR_{\\rm VED}\n=\n\\frac{n\\lambda}{2\\pi}.\n$$\n\nSu parametrización\n\n$$\nn=k\\pm\\rho\n$$\n\nes completa: $k$ enumera todas las familias de cierre y $\\rho\\in[0,1/2]$ recorre todo el intervalo desde estabilidad hasta máxima desviación. Los estados estables son todos y sólo\n\n$$\n(k,0),\n\\qquad\nk\\in\\mathbb N^+.\n$$\n\nEl precedente $U_{\\rm VED}\\cong U_{\\rm Sch}$ demuestra dentro del marco que una misma información puede representarse mediante topologías diferentes conservando el estado.\n\nLa geometría diferencial produce además la ecuación\n\n$$\nF\n=\n(dt^2-dt'^2)\n+\n\\frac{d}{dt}(dt^2-dt'^2),\n$$\n\nque, conservando $dt'$ hasta aplicar al final el límite propio de una onda a $c$, conduce a\n\n$$\nF=dt^2+2dt\n$$\n\ny\n\n$$\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n$$\n\nEl factor $1/2$ aparece por tanto antes de introducir Riemann.\n\nFinalmente, el sector no trivial de $U_{\\rm Rim}$ aporta la identidad del cero mediante\n\n$$\n\\boxed{\n\\zeta(z)=0,\n}\n$$\n\nmientras que su localización transversal se mide por\n\n$$\n\\rho_R\n=\n\\left|\n\\Re(z)-\\frac12\n\\right|,\n$$\n\nque se corresponde con la desviación $\\rho$ ya definida en $U_{\\rm VED}$.\n\nAsí, $U_{\\rm Rim}$ dice qué es el punto considerado: un cero de $\\zeta$. $U_{\\rm VED}$ dice qué localización transversal es compatible con la clasificación exhaustiva de estabilidad. Como $U_{\\rm VED}$ ha demostrado que sólo $\\rho=0$ corresponde a estabilidad y que todo $\\rho>0$ pertenece al complemento no estable, un cero no trivial con $\\Re(z)\\neq1/2$ implicaría una localización transversal no estable.\n\nLa contradicción no consiste en negar que $z$ sea cero, porque esa identidad viene dada por $\\zeta(z)=0$. La contradicción consiste en atribuir al cero identificado una localización transversal que la clasificación completa de $U_{\\rm VED}$ excluye para el estado estable transportado.\n\nPor tanto,\n\n$$\n\\boxed{\n\\forall z\\in Z_{\\rm Rim}^{\\rm nt},\n\\qquad\n\\Re(z)=\\frac12.\n}\n$$\n\n**Q.E.D.**\n\n---\n\n## Referencias de origen y ampliación\n\n- Documento 7: *La gravedad como relación geométrica de radios*, como origen ampliado del precedente $U_{\\rm VED}\\cong U_{\\rm Sch}$.\n- Documentos previos de la serie ES_46, como origen histórico de la formulación revisada.\n- Fundamentos Einstein–VED / UNIHOLOG.\n- DOI general del marco: `10.5281/zenodo.17172925`.\n\n---",
      "deps": [
        "T_ISO",
        "P_RHO_ISO",
        "P_RIM_S",
        "P_Z",
        "D_rho_R",
        "P_VR_rho"
      ],
      "source": {
        "file": "ES_46_RV6.md",
        "start_line": 1825
      },
      "measurement_relationship": "additive",
      "proof": {
        "method": "derivation",
        "status": "declared",
        "steps": [
          "# 18. Teorema de localización transversal del cero no trivial",
          "$T_{\\rm RIEMANN}$ — **Teorema de localización transversal.** Sea",
          "$$\nz=a\\pm ib\n$$",
          "un cero no trivial arbitrario del sector $Z_{\\rm Rim}^{\\rm nt}$.",
          "Se demostrará que",
          "$$\n\\boxed{\na=\\frac12.\n}\n$$",
          "## Demostración",
          "Por pertenecer a $Z_{\\rm Rim}^{\\rm nt}$, se sabe en $U_{\\rm Rim}$ que",
          "$$\n\\boxed{\n\\zeta(z)=0.\n}\n$$",
          "Esta afirmación identifica el punto como cero. No fija todavía su localización transversal.",
          "Por $D_{\\rho_R}$ y $P_{\\rm VR}(\\rho)$, esa localización transversal queda medida por",
          "$$\n\\boxed{\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|\n=\n\\rho_{\\rm VED}.\n}\n$$",
          "La clasificación de dicha coordenada no se obtiene desde Riemann, sino desde $U_{\\rm VED}$:",
          "$$\n\\rho_{\\rm VED}=0\n\\iff\n\\text{estado estable},\n$$",
          "y",
          "$$\n0<\\rho_{\\rm VED}\\le\\frac12\n\\iff\n\\text{estado no estable}.\n$$",
          "Supongamos, por reducción al absurdo, que",
          "$$\n\\boxed{\na\\neq\\frac12.\n}\n$$",
          "Entonces",
          "$$\n\\left|\na-\\frac12\n\\right|\n>0.\n$$",
          "Por $P_{\\rm VR}(\\rho)$,",
          "$$\n\\rho\n=\n\\left|\na-\\frac12\n\\right|\n>0.\n$$",
          "Pero por la clasificación exhaustiva de $U_{\\rm VED}$,",
          "$$\n\\rho>0\n\\Rightarrow\n\\text{estado no estable}.\n$$",
          "Esto sitúa transversalmente al punto identificado por $\\zeta(z)=0$ en el complemento no estable de la clasificación VED.",
          "Sin embargo, dentro del transporte establecido, la identidad de cero ya dada en $U_{\\rm Rim}$ debe localizarse en la clase transversal compatible con el estado estable de $U_{\\rm VED}$, porque $U_{\\rm VED}$ ha demostrado exhaustivamente que la estabilidad sólo ocurre en",
          "$$\n\\boxed{\n\\rho=0.\n}\n$$",
          "La suposición $a\\neq1/2$ obliga entonces simultáneamente a tratar el mismo punto como cero identificado en $U_{\\rm Rim}$ y como localización transversal no estable en $U_{\\rm VED}$. Esa incompatibilidad no afecta a la identidad del cero, que permanece dada por $\\zeta(z)=0$; afecta únicamente a la localización transversal supuesta.",
          "Por tanto la suposición",
          "$$\na\\neq\\frac12\n$$",
          "es falsa.",
          "Luego,",
          "$$\n\\boxed{\na=\\frac12.\n}\n$$",
          "Como $z$ fue elegido arbitrariamente en $Z_{\\rm Rim}^{\\rm nt}$,",
          "$$\n\\boxed{\n\\forall z\\in Z_{\\rm Rim}^{\\rm nt},\n\\qquad\n\\Re(z)=\\frac12.\n}\n$$",
          "Equivalentemente,",
          "$$\n\\boxed{\nZ_{\\rm Rim}^{\\rm nt}\n\\subseteq\n\\left\\{\ns\\in\\mathbb C:\n\\Re(s)=\\frac12\n\\right\\}.\n}\n$$",
          "**Q.E.D.**",
          "# 19. Consecuencia",
          "Dentro de la cadena deductiva establecida en este documento, los ceros no triviales del sector de Riemann quedan localizados transversalmente en",
          "$$\n\\boxed{\n\\Re(s)=\\frac12.\n}\n$$",
          "La conclusión no significa que $U_{\\rm VED}$ determine la identidad del cero. La identidad sigue siendo",
          "$$\n\\boxed{\n\\zeta(z)=0,\n}\n$$",
          "y pertenece a $U_{\\rm Rim}$.",
          "Lo que queda determinado por $U_{\\rm VED}$, a través de",
          "$$\n\\boxed{\n\\rho_R=\\rho_{\\rm VED},\n}\n$$",
          "es la localización transversal compatible con la clasificación completa de estabilidad.",
          "Por tanto no existe, dentro de la parametrización completa transportada desde $U_{\\rm VED}$, un cero no trivial con",
          "$$\n\\Re(s)\\neq\\frac12,\n$$",
          "porque tal localización tendría necesariamente",
          "$$\n\\rho>0,\n$$",
          "y $U_{\\rm VED}$ ya ha demostrado que todo $\\rho>0$ pertenece al complemento no estable de la clasificación transversal.",
          "La conclusión no se introduce como normalización ni como hipótesis posterior. Es el resultado de aplicar al espacio $U_{\\rm Rim}$ la clasificación exhaustiva de localización transversal previamente obtenida en $U_{\\rm VED}$, manteniendo separadas la identidad del cero y su posición.",
          "# 20. Papel independiente de $U_{\\rm Lap}$",
          "La demostración topológica directa anterior puede formularse entre",
          "$$\nU_{\\rm VED}\n\\longleftrightarrow\nU_{\\rm Rim}\n$$",
          "sin necesitar $U_{\\rm Lap}$ como puente intermedio.",
          "Sin embargo, $U_{\\rm Lap}$ proporciona una comprobación independiente de gran interés:",
          "1. parte de las ecuaciones diferenciales del universo;\n2. conserva $dt'$ hasta el último paso;\n3. aplica la condición $v_{\\rm onda}=c$ sólo al final;\n4. reduce $F$ a",
          "$$\nF=dt^2+2dt;\n$$",
          "5. produce por factorización",
          "$$\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right);\n$$",
          "6. obtiene así el mismo lugar geométrico",
          "$$\n\\boxed{\n\\Re(s)=\\frac12.\n}\n$$",
          "Por tanto existen dos vías que convergen:",
          "$$\n\\boxed{\nU_{\\rm VED}\n\\longrightarrow\nU_{\\rm Rim}\n}\n$$",
          "mediante la conservación topológica de la estabilidad, y",
          "$$\n\\boxed{\n\\text{Lorentz}\n\\longrightarrow\nF\n\\longrightarrow\nU_{\\rm Lap}\n\\longrightarrow\n\\Re(s)=\\frac12\n}\n$$",
          "mediante la dinámica diferencial.",
          "# 21. Control de consistencia acumulativo",
          "Quedan fijados los siguientes resultados, que no deben volver a presentarse como hipótesis en revisiones posteriores:",
          "1. $U=3S+T$.",
          "2. La elección local $ds=dx$, $dy=dz=0$ alinea coordenadas con la propagación y no reduce la dimensionalidad del universo.",
          "3. El apóstrofo de $t'$ no significa derivada.",
          "4. Por Lorentz y $v=ds/dt$,",
          "$$\nds^2=dt^2-dt'^2.\n$$",
          "5. $\\lambda$ es la longitud de onda base asociada a la materia y",
          "$$\n\\lambda=\\frac{h}{Mc}.\n$$",
          "6. El contorno se describe por",
          "$$\nL=n\\lambda.\n$$",
          "7. La representación circular de $U_{\\rm VED}$ es",
          "$$\nR_{\\rm VED}\n=\n\\frac{L}{2\\pi}\n=\n\\frac{n\\lambda}{2\\pi}.\n$$",
          "8. La circunferencia es una representación topológica; no se afirma que todo confinamiento real sea físicamente circular.",
          "9. Para cierres finitos,",
          "$$\nn=k\\pm\\rho,\n\\qquad\nk\\in\\mathbb N^+,\n\\qquad\n0\\le\\rho\\le\\frac12.\n$$",
          "10. $\\rho=0$ si y sólo si el cierre es exacto y estable.",
          "11. $0<\\rho\\le1/2$ contempla exhaustivamente los cierres no estables.",
          "12. $\\rho=1/2$ es la máxima desviación respecto del entero más próximo.",
          "13. $k\\in\\mathbb N^+$ enumera todos los cierres estables.",
          "14. $n\\to\\infty$ representa la onda abierta o libre.",
          "15. El desarrollo de relación de radios proporciona el precedente",
          "$$\n\\tilde N=R_{\\rm VED}R_{\\rm Sch}\n$$",
          "y la relación reversible entre $U_{\\rm VED}$ y $U_{\\rm Sch}$.",
          "16. La ecuación completa se conserva como",
          "$$\nF\n=\n(dt^2-dt'^2)\n+\n\\frac{d}{dt}(dt^2-dt'^2).\n$$",
          "17. Su desarrollo adoptado es",
          "$$\nF\n=\ndt^2-dt'^2\n+\n2dt\n-\n2dt'\\frac{dt'}{dt}.\n$$",
          "18. La onda viaja siempre a $c$, libre o confinada.",
          "19. Sólo al final se aplica",
          "$$\ndt'\\to0,\n\\qquad\n\\frac{dt'}{dt}\\to0.\n$$",
          "20. Entonces",
          "$$\nF=dt^2+2dt.\n$$",
          "21. La factorización es",
          "$$\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n$$",
          "22. El $1/2$ no procede de Riemann.",
          "23. En el espacio complejo se conserva siempre el par",
          "$$\ns_\\pm=a\\pm ib.\n$$",
          "24. Los puntos estables son discretos; no toda la recta $\\Re(s)=1/2$ es estable.",
          "25. En $U_{\\rm Rim}$ los ceros triviales se separan del sector no trivial.",
          "26. Para el sector no trivial,",
          "$$\n\\rho_R\n=\n\\left|\n\\Re(z)-\\frac12\n\\right|.\n$$",
          "27. La coordenada transversal se transporta como",
          "$$\n\\rho_{\\rm VED}=\\rho_R.\n$$",
          "28. En $U_{\\rm Rim}$, la condición $\\zeta(z)=0$ identifica el cero; no aporta por sí misma la clasificación transversal de estabilidad.",
          "29. En $U_{\\rm VED}$, la coordenada $\\rho$ clasifica exhaustivamente la localización transversal: $\\rho=0$ corresponde al estado estable y $\\rho>0$ al complemento no estable.",
          "30. Por la correspondencia $\\rho_{\\rm VED}=\\rho_R$, la localización transversal de todo cero no trivial identificado en $U_{\\rm Rim}$ queda restringida a",
          "$$\n\\boxed{\n\\forall z\\in Z_{\\rm Rim}^{\\rm nt},\n\\qquad\n\\Re(z)=\\frac12.\n}\n$$",
          "# 22. Conclusión",
          "El desarrollo comienza en la geometría del universo y no en la Hipótesis de Riemann.",
          "$U_{\\rm VED}$ se obtiene al representar el cierre de onda mediante",
          "$$\nR_{\\rm VED}\n=\n\\frac{n\\lambda}{2\\pi}.\n$$",
          "Su parametrización",
          "$$\nn=k\\pm\\rho\n$$",
          "es completa: $k$ enumera todas las familias de cierre y $\\rho\\in[0,1/2]$ recorre todo el intervalo desde estabilidad hasta máxima desviación. Los estados estables son todos y sólo",
          "$$\n(k,0),\n\\qquad\nk\\in\\mathbb N^+.\n$$",
          "El precedente $U_{\\rm VED}\\cong U_{\\rm Sch}$ demuestra dentro del marco que una misma información puede representarse mediante topologías diferentes conservando el estado.",
          "La geometría diferencial produce además la ecuación",
          "$$\nF\n=\n(dt^2-dt'^2)\n+\n\\frac{d}{dt}(dt^2-dt'^2),\n$$",
          "que, conservando $dt'$ hasta aplicar al final el límite propio de una onda a $c$, conduce a",
          "$$\nF=dt^2+2dt\n$$",
          "y",
          "$$\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n$$",
          "El factor $1/2$ aparece por tanto antes de introducir Riemann.",
          "Finalmente, el sector no trivial de $U_{\\rm Rim}$ aporta la identidad del cero mediante",
          "$$\n\\boxed{\n\\zeta(z)=0,\n}\n$$",
          "mientras que su localización transversal se mide por",
          "$$\n\\rho_R\n=\n\\left|\n\\Re(z)-\\frac12\n\\right|,\n$$",
          "que se corresponde con la desviación $\\rho$ ya definida en $U_{\\rm VED}$.",
          "Así, $U_{\\rm Rim}$ dice qué es el punto considerado: un cero de $\\zeta$. $U_{\\rm VED}$ dice qué localización transversal es compatible con la clasificación exhaustiva de estabilidad. Como $U_{\\rm VED}$ ha demostrado que sólo $\\rho=0$ corresponde a estabilidad y que todo $\\rho>0$ pertenece al complemento no estable, un cero no trivial con $\\Re(z)\\neq1/2$ implicaría una localización transversal no estable.",
          "La contradicción no consiste en negar que $z$ sea cero, porque esa identidad viene dada por $\\zeta(z)=0$. La contradicción consiste en atribuir al cero identificado una localización transversal que la clasificación completa de $U_{\\rm VED}$ excluye para el estado estable transportado.",
          "Por tanto,",
          "$$\n\\boxed{\n\\forall z\\in Z_{\\rm Rim}^{\\rm nt},\n\\qquad\n\\Re(z)=\\frac12.\n}\n$$",
          "**Q.E.D.**",
          "## Referencias de origen y ampliación",
          "- Documento 7: *La gravedad como relación geométrica de radios*, como origen ampliado del precedente $U_{\\rm VED}\\cong U_{\\rm Sch}$.\n- Documentos previos de la serie ES_46, como origen histórico de la formulación revisada.\n- Fundamentos Einstein–VED / UNIHOLOG.\n- DOI general del marco: `10.5281/zenodo.17172925`."
        ],
        "source_text": "# 18. Teorema de localización transversal del cero no trivial\n\n$T_{\\rm RIEMANN}$ — **Teorema de localización transversal.** Sea\n\n\n$$\nz=a\\pm ib\n$$\n\nun cero no trivial arbitrario del sector $Z_{\\rm Rim}^{\\rm nt}$.\n\nSe demostrará que\n\n$$\n\\boxed{\na=\\frac12.\n}\n$$\n\n## Demostración\n\nPor pertenecer a $Z_{\\rm Rim}^{\\rm nt}$, se sabe en $U_{\\rm Rim}$ que\n\n$$\n\\boxed{\n\\zeta(z)=0.\n}\n$$\n\nEsta afirmación identifica el punto como cero. No fija todavía su localización transversal.\n\nPor $D_{\\rho_R}$ y $P_{\\rm VR}(\\rho)$, esa localización transversal queda medida por\n\n$$\n\\boxed{\n\\rho_R\n=\n\\left|\na-\\frac12\n\\right|\n=\n\\rho_{\\rm VED}.\n}\n$$\n\nLa clasificación de dicha coordenada no se obtiene desde Riemann, sino desde $U_{\\rm VED}$:\n\n$$\n\\rho_{\\rm VED}=0\n\\iff\n\\text{estado estable},\n$$\n\ny\n\n$$\n0<\\rho_{\\rm VED}\\le\\frac12\n\\iff\n\\text{estado no estable}.\n$$\n\nSupongamos, por reducción al absurdo, que\n\n$$\n\\boxed{\na\\neq\\frac12.\n}\n$$\n\nEntonces\n\n$$\n\\left|\na-\\frac12\n\\right|\n>0.\n$$\n\nPor $P_{\\rm VR}(\\rho)$,\n\n$$\n\\rho\n=\n\\left|\na-\\frac12\n\\right|\n>0.\n$$\n\nPero por la clasificación exhaustiva de $U_{\\rm VED}$,\n\n$$\n\\rho>0\n\\Rightarrow\n\\text{estado no estable}.\n$$\n\nEsto sitúa transversalmente al punto identificado por $\\zeta(z)=0$ en el complemento no estable de la clasificación VED.\n\nSin embargo, dentro del transporte establecido, la identidad de cero ya dada en $U_{\\rm Rim}$ debe localizarse en la clase transversal compatible con el estado estable de $U_{\\rm VED}$, porque $U_{\\rm VED}$ ha demostrado exhaustivamente que la estabilidad sólo ocurre en\n\n$$\n\\boxed{\n\\rho=0.\n}\n$$\n\nLa suposición $a\\neq1/2$ obliga entonces simultáneamente a tratar el mismo punto como cero identificado en $U_{\\rm Rim}$ y como localización transversal no estable en $U_{\\rm VED}$. Esa incompatibilidad no afecta a la identidad del cero, que permanece dada por $\\zeta(z)=0$; afecta únicamente a la localización transversal supuesta.\n\nPor tanto la suposición\n\n$$\na\\neq\\frac12\n$$\n\nes falsa.\n\nLuego,\n\n$$\n\\boxed{\na=\\frac12.\n}\n$$\n\nComo $z$ fue elegido arbitrariamente en $Z_{\\rm Rim}^{\\rm nt}$,\n\n$$\n\\boxed{\n\\forall z\\in Z_{\\rm Rim}^{\\rm nt},\n\\qquad\n\\Re(z)=\\frac12.\n}\n$$\n\nEquivalentemente,\n\n$$\n\\boxed{\nZ_{\\rm Rim}^{\\rm nt}\n\\subseteq\n\\left\\{\ns\\in\\mathbb C:\n\\Re(s)=\\frac12\n\\right\\}.\n}\n$$\n\n**Q.E.D.**\n\n---\n\n# 19. Consecuencia\n\nDentro de la cadena deductiva establecida en este documento, los ceros no triviales del sector de Riemann quedan localizados transversalmente en\n\n$$\n\\boxed{\n\\Re(s)=\\frac12.\n}\n$$\n\nLa conclusión no significa que $U_{\\rm VED}$ determine la identidad del cero. La identidad sigue siendo\n\n$$\n\\boxed{\n\\zeta(z)=0,\n}\n$$\n\ny pertenece a $U_{\\rm Rim}$.\n\nLo que queda determinado por $U_{\\rm VED}$, a través de\n\n$$\n\\boxed{\n\\rho_R=\\rho_{\\rm VED},\n}\n$$\n\nes la localización transversal compatible con la clasificación completa de estabilidad.\n\nPor tanto no existe, dentro de la parametrización completa transportada desde $U_{\\rm VED}$, un cero no trivial con\n\n$$\n\\Re(s)\\neq\\frac12,\n$$\n\nporque tal localización tendría necesariamente\n\n$$\n\\rho>0,\n$$\n\ny $U_{\\rm VED}$ ya ha demostrado que todo $\\rho>0$ pertenece al complemento no estable de la clasificación transversal.\n\nLa conclusión no se introduce como normalización ni como hipótesis posterior. Es el resultado de aplicar al espacio $U_{\\rm Rim}$ la clasificación exhaustiva de localización transversal previamente obtenida en $U_{\\rm VED}$, manteniendo separadas la identidad del cero y su posición.\n\n---\n\n# 20. Papel independiente de $U_{\\rm Lap}$\n\nLa demostración topológica directa anterior puede formularse entre\n\n$$\nU_{\\rm VED}\n\\longleftrightarrow\nU_{\\rm Rim}\n$$\n\nsin necesitar $U_{\\rm Lap}$ como puente intermedio.\n\nSin embargo, $U_{\\rm Lap}$ proporciona una comprobación independiente de gran interés:\n\n1. parte de las ecuaciones diferenciales del universo;\n2. conserva $dt'$ hasta el último paso;\n3. aplica la condición $v_{\\rm onda}=c$ sólo al final;\n4. reduce $F$ a\n\n$$\nF=dt^2+2dt;\n$$\n\n5. produce por factorización\n\n$$\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right);\n$$\n\n6. obtiene así el mismo lugar geométrico\n\n$$\n\\boxed{\n\\Re(s)=\\frac12.\n}\n$$\n\nPor tanto existen dos vías que convergen:\n\n$$\n\\boxed{\nU_{\\rm VED}\n\\longrightarrow\nU_{\\rm Rim}\n}\n$$\n\nmediante la conservación topológica de la estabilidad, y\n\n$$\n\\boxed{\n\\text{Lorentz}\n\\longrightarrow\nF\n\\longrightarrow\nU_{\\rm Lap}\n\\longrightarrow\n\\Re(s)=\\frac12\n}\n$$\n\nmediante la dinámica diferencial.\n\n---\n\n# 21. Control de consistencia acumulativo\n\nQuedan fijados los siguientes resultados, que no deben volver a presentarse como hipótesis en revisiones posteriores:\n\n1. $U=3S+T$.\n\n2. La elección local $ds=dx$, $dy=dz=0$ alinea coordenadas con la propagación y no reduce la dimensionalidad del universo.\n\n3. El apóstrofo de $t'$ no significa derivada.\n\n4. Por Lorentz y $v=ds/dt$,\n\n$$\nds^2=dt^2-dt'^2.\n$$\n\n5. $\\lambda$ es la longitud de onda base asociada a la materia y\n\n$$\n\\lambda=\\frac{h}{Mc}.\n$$\n\n6. El contorno se describe por\n\n$$\nL=n\\lambda.\n$$\n\n7. La representación circular de $U_{\\rm VED}$ es\n\n$$\nR_{\\rm VED}\n=\n\\frac{L}{2\\pi}\n=\n\\frac{n\\lambda}{2\\pi}.\n$$\n\n8. La circunferencia es una representación topológica; no se afirma que todo confinamiento real sea físicamente circular.\n\n9. Para cierres finitos,\n\n$$\nn=k\\pm\\rho,\n\\qquad\nk\\in\\mathbb N^+,\n\\qquad\n0\\le\\rho\\le\\frac12.\n$$\n\n10. $\\rho=0$ si y sólo si el cierre es exacto y estable.\n\n11. $0<\\rho\\le1/2$ contempla exhaustivamente los cierres no estables.\n\n12. $\\rho=1/2$ es la máxima desviación respecto del entero más próximo.\n\n13. $k\\in\\mathbb N^+$ enumera todos los cierres estables.\n\n14. $n\\to\\infty$ representa la onda abierta o libre.\n\n15. El desarrollo de relación de radios proporciona el precedente\n\n$$\n\\tilde N=R_{\\rm VED}R_{\\rm Sch}\n$$\n\ny la relación reversible entre $U_{\\rm VED}$ y $U_{\\rm Sch}$.\n\n16. La ecuación completa se conserva como\n\n$$\nF\n=\n(dt^2-dt'^2)\n+\n\\frac{d}{dt}(dt^2-dt'^2).\n$$\n\n17. Su desarrollo adoptado es\n\n$$\nF\n=\ndt^2-dt'^2\n+\n2dt\n-\n2dt'\\frac{dt'}{dt}.\n$$\n\n18. La onda viaja siempre a $c$, libre o confinada.\n\n19. Sólo al final se aplica\n\n$$\ndt'\\to0,\n\\qquad\n\\frac{dt'}{dt}\\to0.\n$$\n\n20. Entonces\n\n$$\nF=dt^2+2dt.\n$$\n\n21. La factorización es\n\n$$\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n$$\n\n22. El $1/2$ no procede de Riemann.\n\n23. En el espacio complejo se conserva siempre el par\n\n$$\ns_\\pm=a\\pm ib.\n$$\n\n24. Los puntos estables son discretos; no toda la recta $\\Re(s)=1/2$ es estable.\n\n25. En $U_{\\rm Rim}$ los ceros triviales se separan del sector no trivial.\n\n26. Para el sector no trivial,\n\n$$\n\\rho_R\n=\n\\left|\n\\Re(z)-\\frac12\n\\right|.\n$$\n\n27. La coordenada transversal se transporta como\n\n$$\n\\rho_{\\rm VED}=\\rho_R.\n$$\n\n28. En $U_{\\rm Rim}$, la condición $\\zeta(z)=0$ identifica el cero; no aporta por sí misma la clasificación transversal de estabilidad.\n\n29. En $U_{\\rm VED}$, la coordenada $\\rho$ clasifica exhaustivamente la localización transversal: $\\rho=0$ corresponde al estado estable y $\\rho>0$ al complemento no estable.\n\n30. Por la correspondencia $\\rho_{\\rm VED}=\\rho_R$, la localización transversal de todo cero no trivial identificado en $U_{\\rm Rim}$ queda restringida a\n\n$$\n\\boxed{\n\\forall z\\in Z_{\\rm Rim}^{\\rm nt},\n\\qquad\n\\Re(z)=\\frac12.\n}\n$$\n\n---\n\n# 22. Conclusión\n\nEl desarrollo comienza en la geometría del universo y no en la Hipótesis de Riemann.\n\n$U_{\\rm VED}$ se obtiene al representar el cierre de onda mediante\n\n$$\nR_{\\rm VED}\n=\n\\frac{n\\lambda}{2\\pi}.\n$$\n\nSu parametrización\n\n$$\nn=k\\pm\\rho\n$$\n\nes completa: $k$ enumera todas las familias de cierre y $\\rho\\in[0,1/2]$ recorre todo el intervalo desde estabilidad hasta máxima desviación. Los estados estables son todos y sólo\n\n$$\n(k,0),\n\\qquad\nk\\in\\mathbb N^+.\n$$\n\nEl precedente $U_{\\rm VED}\\cong U_{\\rm Sch}$ demuestra dentro del marco que una misma información puede representarse mediante topologías diferentes conservando el estado.\n\nLa geometría diferencial produce además la ecuación\n\n$$\nF\n=\n(dt^2-dt'^2)\n+\n\\frac{d}{dt}(dt^2-dt'^2),\n$$\n\nque, conservando $dt'$ hasta aplicar al final el límite propio de una onda a $c$, conduce a\n\n$$\nF=dt^2+2dt\n$$\n\ny\n\n$$\nF\n=\n2dt\n\\left(\n1+\\frac12dt\n\\right).\n$$\n\nEl factor $1/2$ aparece por tanto antes de introducir Riemann.\n\nFinalmente, el sector no trivial de $U_{\\rm Rim}$ aporta la identidad del cero mediante\n\n$$\n\\boxed{\n\\zeta(z)=0,\n}\n$$\n\nmientras que su localización transversal se mide por\n\n$$\n\\rho_R\n=\n\\left|\n\\Re(z)-\\frac12\n\\right|,\n$$\n\nque se corresponde con la desviación $\\rho$ ya definida en $U_{\\rm VED}$.\n\nAsí, $U_{\\rm Rim}$ dice qué es el punto considerado: un cero de $\\zeta$. $U_{\\rm VED}$ dice qué localización transversal es compatible con la clasificación exhaustiva de estabilidad. Como $U_{\\rm VED}$ ha demostrado que sólo $\\rho=0$ corresponde a estabilidad y que todo $\\rho>0$ pertenece al complemento no estable, un cero no trivial con $\\Re(z)\\neq1/2$ implicaría una localización transversal no estable.\n\nLa contradicción no consiste en negar que $z$ sea cero, porque esa identidad viene dada por $\\zeta(z)=0$. La contradicción consiste en atribuir al cero identificado una localización transversal que la clasificación completa de $U_{\\rm VED}$ excluye para el estado estable transportado.\n\nPor tanto,\n\n$$\n\\boxed{\n\\forall z\\in Z_{\\rm Rim}^{\\rm nt},\n\\qquad\n\\Re(z)=\\frac12.\n}\n$$\n\n**Q.E.D.**\n\n---\n\n## Referencias de origen y ampliación\n\n- Documento 7: *La gravedad como relación geométrica de radios*, como origen ampliado del precedente $U_{\\rm VED}\\cong U_{\\rm Sch}$.\n- Documentos previos de la serie ES_46, como origen histórico de la formulación revisada.\n- Fundamentos Einstein–VED / UNIHOLOG.\n- DOI general del marco: `10.5281/zenodo.17172925`.\n\n---",
        "extraction": "complete_source_blocks"
      }
    },
    {
      "id": "SEMAFORO_ES_46_RV6",
      "kind": "meta_validation",
      "name": "Comparacion entre la evaluacion actual y la anterior",
      "description": "REGRESION. Mejoras: 0; regresiones: 1.",
      "deps": [],
      "measurement_relationship": "additive",
      "proof": {
        "method": "DEMUESTRA",
        "status": "unverified",
        "steps": [
          "REGRESION. Mejoras: 0; regresiones: 1."
        ],
        "verification_scope": "evaluation_comparison"
      }
    }
  ],
  "schema": "ADEC_nodes_input_v1",
  "title": "ES_46: DOCUMENTO 46 — REVISIÓN 6",
  "version": "1.0",
  "validation_mode": "article_analysis",
  "artifact_stage": "evaluation_comparison",
  "source": "ES_46_RV6.md",
  "authors": [
    {
      "name": "Víctor Estrada Díaz",
      "orcid": "0000-0001-9942-1021"
    }
  ],
  "adec_compatible": true,
  "adec_node_count": 48,
  "adec_access": {
    "engine": "ADEC v0.8.6",
    "mode": "remote_url_or_file_upload",
    "automatic_url_json": false,
    "reason": "La web copia la URL publica y descarga el JSON para cargarlo desde el selector de archivos de ADEC."
  },
  "evaluation_processing": {
    "completed": true,
    "source_sha256": "658438ebb7686582224ed865ad561661c0e03e58974c14b31f8389ccfa9d90f1",
    "formally_certified": false,
    "reports_sha256": {
      "LEAN_ES_46_RV6.json": "eb522836e77d26ee3c44523f01d50f5b9a7c3bdbd9b12e6cbc9bd9056ba52631",
      "PROLOG_ES_46_RV6.json": "6ee6e5e212ba3d30e058ba071149232cb7b17d1f34fc2f2fa89ce173fac6e017",
      "PROLOG_MD_DIRECTO_ES_46_RV6.json": "72428e7e341d553495aa14264a24faee1301431054734546f11248c7eb962378",
      "AUDITORIA_ES_46_RV6.json": "45fa0cadc6260af7e49062d58c80c6eb2d9a2d57c32245ecf08636cc07c6596f"
    }
  }
}