> ## Documentation Index
> Fetch the complete documentation index at: https://docs.intention.xyz/llms.txt
> Use this file to discover all available pages before exploring further.

# Verifícalo tú mismo

> Cinco comprobaciones que convierten las afirmaciones de la arquitectura en cosas que puedes zanjar por tu cuenta; dos de ellas sin conexión de red.

Estas páginas hacen cuatro afirmaciones una y otra vez: que un cálculo de margen se puede comprobar de forma aislada, que cualquiera puede recalcular una selección de desapalancamiento automático, que la financiación se deriva en lugar de decidirse, y que dos nodos honestos producen resultados idénticos byte a byte. Una afirmación de esa forma no vale nada hasta que alguien ajeno al protocolo la ha ejecutado.

Esta página es el cómo. Cada comprobación nombra las entradas, de dónde vienen y —igual de importante— qué es lo que *no* establece.

<div className="dg" data-dg="verify-tiers">
  <div className="dg-c" style={{aspectRatio:"720 / 248"}}>
    <svg className="dg-w" viewBox="0 0 720 248" aria-hidden="true" />

    <div className="dg-band" style={{left:"0.0000%",top:"7.2581%",width:"30.9259%",height:"72.5806%"}}><span className="dg-cap">Solo aritmética</span></div>
    <div className="dg-band" style={{left:"34.5370%",top:"7.2581%",width:"30.9259%",height:"72.5806%"}}><span className="dg-cap">Datos públicos, cualquier nodo</span></div>
    <div className="dg-band" style={{left:"69.0741%",top:"7.2581%",width:"30.9259%",height:"72.5806%"}}><span className="dg-cap">Tu propio nodo completo</span></div>
    <div className="dg-b dg--blue" style={{left:"2.2222%",top:"18.5484%",width:"26.4815%",height:"22.5806%"}}><span className="dg-t">Un requisito de margen</span></div>
    <div className="dg-b dg--blue" style={{left:"2.2222%",top:"45.9677%",width:"26.4815%",height:"22.5806%"}}><span className="dg-t">Un precio de liquidación</span></div>
    <div className="dg-b dg--orange" style={{left:"36.7593%",top:"18.5484%",width:"26.4815%",height:"22.5806%"}}><span className="dg-t">Una selección de ADL</span></div>
    <div className="dg-b dg--orange" style={{left:"36.7593%",top:"45.9677%",width:"26.4815%",height:"22.5806%"}}><span className="dg-t">Un pago de financiación</span></div>
    <div className="dg-b dg--green" style={{left:"71.2963%",top:"32.2581%",width:"26.4815%",height:"22.5806%"}}><span className="dg-t">Un bloque, byte a byte</span></div>
    <div className="dg-free dg-mid" style={{left:"0.0000%",top:"83.0645%",width:"100.0000%"}}><div className="dg-n">Dos de los cinco no necesitan red alguna: son funciones puras sobre un registro de tramos publicado.</div></div>
  </div>
</div>

<h2 id="1-a-margin-requirement">
  1 · Un requisito de margen
</h2>

**Qué necesitas:** un registro de tramos de apalancamiento y un tamaño de posición. Nada más. Ni nodo, ni red, ni cuenta.

El margen inicial y el de mantenimiento son funciones puras del nocional y del registro de tramos; las fórmulas y el redondeo exacto están en [Apalancamiento](/es/trading/leverage):

$$
\text{IM} = \text{nocional} \times \text{im\_leverage} \times 10^{\text{exponent}}
$$

$$
\text{MM} = \max\!\left(\text{nocional} \times \text{mm\_leverage} \times 10^{\text{exponent}} - \text{deducción},\; 0\right)
$$

Los registros de tramos se publican en el grupo **DEX Config** de la [referencia de la API](https://testnet-openapi.intention.xyz/): `im_leverage`, `mm_leverage`, el `exponent` compartido y el `deduction` de cada tramo. Elige un nocional, evalúa ambas expresiones sobre el papel y compáralas con lo que el mercado cobra a la misma posición.

**Qué demuestra:** el requisito es una función publicada de parámetros públicos, no un criterio cuenta por cuenta. **Qué no demuestra:** que el registro de tramos esté bien elegido. Eso es una cuestión de gobernanza, no de aritmética.

<Note>
  El redondeo forma parte de la especificación, no es una tolerancia. Si tu entero difiere en una unidad del del mercado, uno de los dos está mal: mira las reglas de redondeo en la página [Cámara de compensación](/es/protocol/architecture/clearinghouse) antes de decidir cuál.
</Note>

<h2 id="2-a-liquidation-price">
  2 · Un precio de liquidación
</h2>

**Qué necesitas:** el mismo registro de tramos, más tu saldo y tu posición.

El umbral es un ratio, definido en [Liquidaciones](/es/trading/liquidations):

$$
\text{uso} = \frac{\text{margen de mantenimiento}}{\text{colateral neto}}
$$

El colateral neto es el saldo más el P\&L no realizado, menos lo que hayan reservado las órdenes en el libro. Despeja el precio de marca al que el ratio alcanza su disparador y tendrás el precio al que actuará el protocolo, antes de que actúe.

**Qué demuestra:** el disparador se puede derivar de antemano a partir de tus propios números. **Qué no demuestra:** el precio al que realmente te cerrarán, que depende del libro en ese momento y está acotado por el precio de bancarrota.

<h2 id="3-an-auto-deleveraging-selection">
  3 · Una selección de desapalancamiento automático
</h2>

**Qué necesitas:** las posiciones abiertas y los precios de marca de un mercado, desde cualquier nodo completo.

La selección es una puntuación, definida en [Desapalancamiento automático](/es/trading/adl):

$$
\text{puntuación} = \text{\% de beneficio no realizado} \times \text{apalancamiento efectivo}
$$

Toma las posiciones de un mercado del grupo **Accounts** y el precio certificado del grupo **Oracle**, calcula la puntuación de cada posición del lado en ganancia y ordena. Ese orden es la cola. Compara la cabeza de tu cola calculada con el indicador de ADL que muestra la interfaz.

**Qué demuestra:** la cola es una función de estado público. Nadie elige, y no hay en ella ninguna posición que tu propia aritmética no pueda encontrar. **Qué no demuestra:** que el desapalancamiento no vaya a alcanzarte. Una cola que sabes calcular sigue siendo una cola en la que puedes estar.

<h2 id="4-a-funding-payment">
  4 · Un pago de financiación
</h2>

**Qué necesitas:** el libro de órdenes y el índice certificado de la ronda de liquidación, más tu posición.

La tasa se construye en tres pasos en [Financiación](/es/trading/funding): una prima ponderada por profundidad, escalada al intervalo del mercado y luego acotada:

$$
P = \frac{\max(0,\; \text{compra DW} - \text{índice}) \;-\; \max(0,\; \text{índice} - \text{venta DW})}{\text{índice}}
$$

$$
F = F_{8h} \times \frac{\text{segundos del intervalo}}{28{,}800}
\qquad
F_{\text{final}} = \operatorname{clamp}\!\left(F,\; F_{\min},\; F_{\max}\right)
$$

Y después el cargo en sí:

$$
\text{pago de financiación} = \text{tamaño de la posición} \times \text{precio de marca} \times \text{tasa de financiación}
$$

El libro sale del grupo **Markets**, el índice certificado de **Oracle**, y el pago que el protocolo realizó de verdad del endpoint de pagos de financiación en el grupo **Accounts**. Recalcula y compara.

**Qué demuestra:** la tasa se derivó del libro y del índice, no la fijó un operador. **Qué no demuestra:** que el índice fuera correcto. Consulta [qué garantiza y qué no garantiza el oráculo](/es/protocol/architecture/oracle).

<h2 id="5-a-block-byte-for-byte">
  5 · Un bloque, byte a byte
</h2>

**Qué necesitas:** un nodo completo tuyo. Cualquiera puede ejecutar uno; consulta [Ejecutar un nodo](/es/developers/run-a-node).

<Note>
  Es la única comprobación de esta página que hoy no está disponible. La red está en una [testnet privada](/es/protocol/architecture/network-status) hasta que se abra el acceso público, así que las cuatro primeras se pueden hacer ya y esta lo será entonces. Aparece aquí porque las otras cuatro valen lo que valga esta.
</Note>

Es la comprobación sobre la que se apoyan las otras cuatro. Toma un bloque confirmado y su estado previo, ejecútalo y compara tu resultado con el de la red. Aquí el determinismo se impone, no se espera: la ruta de ejecución no lee reloj, ni entropía en tiempo de ejecución, ni coma flotante, ni órdenes de iteración aleatorizados por hash, así que una divergencia es un defecto y no una tolerancia. Consulta [Por qué el resultado es reproducible](/es/protocol/architecture/kernel).

Dos propiedades hacen de esto una prueba real y no una ceremonia. El ordenamiento es un objeto confirmado por el consenso, así que la secuencia que reejecutas es la que firmó un cuórum y no la que dedujo tu nodo. Y los precios están confirmados por las mismas firmas, de modo que no existe ventana alguna en la que pudieras reejecutar contra un precio que la red no certificó.

**Qué demuestra:** que el estado que se te sirve fue producido por las reglas tal como están publicadas, sobre entradas que la red confirmó. **Qué no demuestra:** que las reglas estén libres de defectos. Reproducir un fallo exactamente sigue siendo reproducir un fallo, y por eso junto a esto existen las [auditorías](/es/protocol/security/audits) y el [programa de recompensas](/es/protocol/security/bug-bounty).

<h2 id="what-none-of-it-covers">
  Lo que nada de esto cubre
</h2>

La verificación acota lo que hay que dar por bueno; no lo elimina. Lo que queda —el conjunto de validadores, el cuórum de precios, el alcance de la gobernanza sobre los parámetros y el puente— está enumerado en [Supuestos de confianza](/es/protocol/architecture/trust). Lee esa página a continuación si viniste a buscar los límites y no las garantías.

<h2 id="where-to-go-next">
  Qué leer a continuación
</h2>

<CardGroup cols={2}>
  <Card title="Supuestos de confianza" href="/es/protocol/architecture/trust">
    Lo que queda cuando ya se ha comprobado todo lo comprobable.
  </Card>

  <Card title="Ejecutar un nodo" href="/es/developers/run-a-node">
    Hardware, sincronización y qué ejecuta realmente un validador.
  </Card>

  <Card title="IntentionKernel" href="/es/protocol/architecture/kernel">
    Los cuatro cierres que dan sentido a la reejecución.
  </Card>

  <Card title="Referencia de la API" href="https://testnet-openapi.intention.xyz/">
    Detalle a nivel de campo de cada entrada mencionada arriba.
  </Card>
</CardGroup>