> ## 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.

# Vérifiez vous-même

> Cinq contrôles qui transforment les affirmations de l'architecture en choses que vous pouvez trancher vous-même — dont deux sans aucune connexion réseau.

Ces pages avancent quatre affirmations à répétition : qu'un calcul de marge se vérifie isolément, que n'importe qui peut recalculer une sélection de réduction automatique du levier, que le financement est dérivé et non décidé, et que deux nœuds honnêtes produisent des résultats identiques au bit près. Une affirmation de cette forme ne vaut rien tant que quelqu'un d'extérieur au protocole ne l'a pas exécutée.

Cette page explique comment. Chaque contrôle nomme les entrées, leur provenance et — tout aussi important — ce qu'il n'établit *pas*.

<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">Rien que de l'arithmétique</span></div>
    <div className="dg-band" style={{left:"34.5370%",top:"7.2581%",width:"30.9259%",height:"72.5806%"}}><span className="dg-cap">Données publiques, n'importe quel nœud</span></div>
    <div className="dg-band" style={{left:"69.0741%",top:"7.2581%",width:"30.9259%",height:"72.5806%"}}><span className="dg-cap">Votre propre nœud complet</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">Une exigence de marge</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 prix de liquidation</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">Une sélection 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 paiement de financement</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 bloc, octet par octet</span></div>
    <div className="dg-free dg-mid" style={{left:"0.0000%",top:"83.0645%",width:"100.0000%"}}><div className="dg-n">Deux des cinq ne demandent aucun réseau : ce sont des fonctions pures d'un barème de paliers publié.</div></div>
  </div>
</div>

<h2 id="1-a-margin-requirement">
  1 · Une exigence de marge
</h2>

**Ce qu'il vous faut :** un barème de paliers de levier et une taille de position. Rien d'autre. Aucun nœud, aucun réseau, aucun compte.

La marge initiale et la marge de maintien sont des fonctions pures du notionnel et du barème, avec les formules et l'arrondi exact sur [Levier](/fr/trading/leverage) :

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

$$
\text{MM} = \max\!\left(\text{notionnel} \times \text{mm\_leverage} \times 10^{\text{exponent}} - \text{déduction},\; 0\right)
$$

Les barèmes sont publiés dans le groupe **DEX Config** de la [référence de l'API](https://testnet-openapi.intention.xyz/) — `im_leverage`, `mm_leverage`, l'`exponent` partagé et le `deduction` propre à chaque palier. Choisissez un notionnel, évaluez les deux expressions sur papier, et comparez à ce que la place facture à la même position.

**Ce que cela prouve :** l'exigence est une fonction publiée de paramètres publics, pas une appréciation compte par compte. **Ce que cela ne prouve pas :** que le barème soit bien calibré. C'est une question de gouvernance, pas d'arithmétique.

<Note>
  L'arrondi fait partie de la spécification, ce n'est pas une tolérance. Si votre entier diffère d'une unité de celui de la place, l'un des deux est faux — consultez les règles d'arrondi sur la page [Chambre de compensation](/fr/protocol/architecture/clearinghouse) avant de conclure lequel.
</Note>

<h2 id="2-a-liquidation-price">
  2 · Un prix de liquidation
</h2>

**Ce qu'il vous faut :** le même barème, plus votre solde et votre position.

Le seuil est un ratio, défini sur [Liquidations](/fr/trading/liquidations) :

$$
\text{utilisation de la marge} = \frac{\text{marge de maintenance}}{\text{collatéral net}}
$$

Le collatéral net, c'est le solde plus le P\&L latent, moins ce que les ordres en carnet ont réservé. Résolvez pour le prix de marquage auquel le ratio atteint son déclencheur et vous tenez le prix auquel le protocole agira — avant qu'il n'agisse.

**Ce que cela prouve :** le déclencheur se dérive à l'avance à partir de vos propres chiffres. **Ce que cela ne prouve pas :** le prix auquel vous serez effectivement clôturé, qui dépend du carnet à cet instant et est borné par le prix de faillite.

<h2 id="3-an-auto-deleveraging-selection">
  3 · Une sélection de réduction automatique du levier
</h2>

**Ce qu'il vous faut :** les positions ouvertes et les prix de marquage d'un marché, depuis n'importe quel nœud complet.

La sélection est un score, défini sur [Réduction automatique du levier](/fr/trading/adl) :

$$
\text{score} = \text{\% de gain latent} \times \text{levier effectif}
$$

Récupérez les positions d'un marché dans le groupe **Accounts** et le prix certifié dans le groupe **Oracle**, calculez le score de chaque position du côté gagnant, puis triez. Cet ordre est la file. Comparez la tête de votre file calculée à l'indicateur ADL affiché par l'interface.

**Ce que cela prouve :** la file est une fonction d'un état public. Personne ne choisit, et aucune position n'y figure que votre propre arithmétique ne saurait trouver. **Ce que cela ne prouve pas :** que la réduction du levier ne vous atteindra pas. Une file que vous savez calculer reste une file dans laquelle vous pouvez être.

<h2 id="4-a-funding-payment">
  4 · Un paiement de financement
</h2>

**Ce qu'il vous faut :** le carnet d'ordres et l'indice certifié du tour de règlement, plus votre position.

Le taux se construit en trois temps sur [Financement](/fr/trading/funding) — une prime pondérée par la profondeur, mise à l'échelle de l'intervalle du marché, puis bornée :

$$
P = \frac{\max(0,\; \text{acheteur pondéré} - \text{indice}) \;-\; \max(0,\; \text{indice} - \text{vendeur pondéré})}{\text{indice}}
$$

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

Puis le prélèvement lui-même :

$$
\text{paiement de financement} = \text{taille de la position} \times \text{prix de marquage} \times \text{taux de financement}
$$

Le carnet vient du groupe **Markets**, l'indice certifié d'**Oracle**, et le paiement réellement effectué par le protocole du point de terminaison des paiements de financement dans le groupe **Accounts**. Recalculez et comparez.

**Ce que cela prouve :** le taux a été dérivé du carnet et de l'indice, il n'a pas été fixé par un opérateur. **Ce que cela ne prouve pas :** que l'indice était juste. Voir [ce que l'oracle garantit et ne garantit pas](/fr/protocol/architecture/oracle).

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

**Ce qu'il vous faut :** un nœud complet à vous. N'importe qui peut en faire tourner un — voir [Faire tourner un nœud](/fr/developers/run-a-node).

<Note>
  C'est le seul contrôle de cette page qui n'est pas disponible aujourd'hui. Le réseau est sur un [testnet privé](/fr/protocol/architecture/network-status) jusqu'à l'ouverture de l'accès public : les quatre premiers se font dès maintenant, celui-ci deviendra exécutable à ce moment-là. Il figure ici parce que les quatre autres ne valent que ce que vaut celui-ci.
</Note>

C'est le contrôle sur lequel reposent les quatre autres. Prenez un bloc validé et son état antérieur, exécutez-le, et comparez votre résultat à celui du réseau. Le déterminisme est ici imposé et non espéré : le chemin d'exécution ne lit ni horloge, ni entropie d'exécution, ni virgule flottante, ni ordre d'itération randomisé par hachage — une divergence est donc un défaut, pas une tolérance. Voir [Pourquoi le résultat est reproductible](/fr/protocol/architecture/kernel).

Deux propriétés en font un vrai test plutôt qu'une cérémonie. L'ordonnancement est un objet validé par le consensus : la séquence que vous rejouez est celle qu'un quorum a signée, pas celle que votre nœud a déduite. Et les prix sont validés par les mêmes signatures, si bien qu'il n'existe aucune fenêtre où vous pourriez rejouer contre un prix que le réseau n'a pas certifié.

**Ce que cela prouve :** que l'état qui vous est servi a été produit par les règles telles que publiées, sur des entrées que le réseau a validées. **Ce que cela ne prouve pas :** que les règles sont exemptes de défauts. Reproduire un bogue à l'identique, c'est encore reproduire un bogue — d'où l'existence, à côté de ceci, des [audits](/fr/protocol/security/audits) et du [bug bounty](/fr/protocol/security/bug-bounty).

<h2 id="what-none-of-it-covers">
  Ce que rien de tout cela ne couvre
</h2>

La vérification borne ce qu'il faut prendre pour argent comptant ; elle ne l'élimine pas. Ce qui reste — l'ensemble des validateurs, le quorum de prix, la portée de la gouvernance sur les paramètres, et le bridge — est énuméré sur [Hypothèses de confiance](/fr/protocol/architecture/trust). Lisez cette page ensuite si vous êtes venu chercher les limites plutôt que les garanties.

<h2 id="where-to-go-next">
  Pour aller plus loin
</h2>

<CardGroup cols={2}>
  <Card title="Hypothèses de confiance" href="/fr/protocol/architecture/trust">
    Ce qui subsiste une fois vérifié tout ce qui est vérifiable.
  </Card>

  <Card title="Faire tourner un nœud" href="/fr/developers/run-a-node">
    Matériel, synchronisation, et ce qu'un validateur exécute réellement.
  </Card>

  <Card title="IntentionKernel" href="/fr/protocol/architecture/kernel">
    Les quatre clôtures qui donnent un sens au rejeu.
  </Card>

  <Card title="Référence de l'API" href="https://testnet-openapi.intention.xyz/">
    Le détail au niveau des champs pour chaque entrée citée ci-dessus.
  </Card>
</CardGroup>