CONSTRUCTION DU MARK ET PRIX EXÉCUTABLE
Le mark est le prix contre lequel chaque position sur Dexter est mesurée — votre PnL non réalisé, votre stamp de financement, votre distance de liquidation, vos contrôles de challenge de -4 % quotidien et -8 % total, et le classement qui décide qui atteint le podium et qui paye le prochain reset à 49–299 $. Donc la manière dont le mark est construit — ce qui s'y mélange, quelles gardes rejettent un mauvais tick avant qu'il n'atterrisse, et pourquoi la plateforme ne peut pas le biaiser discrètement dans une direction ou l'autre — est le mécanisme le plus conséquent du protocole. Cette page liste les entrées exactes et l'ordre dans lequel elles sont appliquées.
Le mark exécutable est construit à partir de cinq entrées à chaque tick, appliquées dans un ordre fixe. L'ancre de référence (Hermes/Pyth principal contre-vérifié face au mux oracle HTTP) fixe le point de départ. Le skew de la plateforme, la posture de spread, les contrôles de profondeur et la continuité de mouvement max le façonnent ensuite et le contraignent. Aucune des quatre entrées suivantes ne peut pousser le mark contre la référence — elles peuvent seulement le restreindre, l'élargir ou le rejeter.
| Entrée dans le mark | Pourquoi cela compte |
|---|---|
| Ancre de référence | Hermes/Pyth principal plus la contre-vérification du mux oracle HTTP, les deux dans la fenêtre de fraîcheur et la bande de déviation — la seule entrée qui origine le niveau du mark |
| Posture de spread | La plateforme élargit le spread autour de la référence quand la liquidité se serre ou que la volatilité monte, pour que le mark reflète ce que Dexter peut réellement filler, pas le tick le plus serré visible à l'extérieur |
| Pression de skew et d'open interest | Un open interest fortement unilatéral produit un ajustement de skew qui empêche un positionnement encombré d'être marké à un prix neutre ; cela apparaît aussi dans le taux de financement |
| Contrôles de profondeur et de carnet | Si la profondeur en haut de carnet tombe sous le plancher par marché, le mark s'élargit ou le marché rétrograde — un carnet mince ne définit jamais le niveau exécutable à lui seul |
| Gardes de mouvement max et de continuité | Le mark ne peut pas sauter plus que le plafond de dérive par tick depuis le mark précédent accepté ; une discontinuité de cette taille déclenche une posture réduite et une fenêtre de stabilisation avant que le trading normal ne reprenne |
#De la référence au prix tradable
Chaque tick commence par le chemin de référence accepté, validé entre le principal Hermes/Pyth et la contre-vérification du mux oracle HTTP. Ce chiffre de référence n'est pas encore tradable — il décrit le marché extérieur, pas la capacité actuelle de Dexter à filler contre lui. Le moteur empile ensuite les quatre entrées suivantes en séquence : la posture de spread élargit ou resserre la bande autour de la référence selon la liquidité actuelle de la plateforme, l'ajustement de skew pousse le mark vers le côté qui se fait écraser par un open interest unilatéral, les contrôles de profondeur confirment que le carnet de la plateforme peut absorber la taille minimum au niveau résultant, et la garde de continuité de mouvement max vérifie que le résultat est dans le plafond de dérive par tick depuis le mark précédent accepté.
Ce n'est qu'après que les quatre passent que le nouveau mark devient le niveau exécutable contre lequel le moteur de matching va filler, contre lequel le moteur de règles va contrôler les drawdowns, et que le moteur de financement va échantillonner. Le mark exécutable est donc un pricing de plateforme — un chiffre que Dexter peut défendre filler contre maintenant — pas une ingestion de flux. La référence dit « le marché extérieur est ici ». Le mark dit « voici ce contre quoi nous pouvons trader de manière responsable, ce tick, étant donné le carnet et la posture actuels ».
#Mark exécutable versus index externe
Un index externe — agrégat Pyth, index d'échange, TWAP — décrit où le marché extérieur imprime. Le mark exécutable décrit où Dexter est prêt à filler, marker l'équité et déclencher des liquidations ce tick. Les deux divergent dès que les conditions locales de la plateforme divergent de l'image extérieure : un carnet mince élargit le spread exécutable même si l'index continue d'imprimer serré, un OI unilatéral encombré pousse le mark exécutable hors de l'index pour saigner le taux de financement contre le côté encombré, un gap d'index soudain plus grand que le plafond de dérive par tick est clipé au mouvement maximum autorisé pendant que le sous-jacent se rétablit.
Sous stress, la plateforme garde le marché ouvert avec une posture plus serrée (réduit) avant d'envisager de le halter. Sous un stress plus lourd, elle passe en clôture-seule, puis en halt, au lieu de présenter la référence brute comme si elle était encore fillable. Session-fermée est un état séparé utilisé uniquement quand le marché sous-jacent est sur un calendrier publié — perps actions, métaux et énergie — et est documenté sur Sessions et états dégradés.
ensemble de sources accepté (Hermes principal + contre-vérification HTTP)
-> fenêtre de fraîcheur + bande de déviation passent
-> ancre de référence acceptée
-> la posture de spread élargit la bande autour de l'ancre
-> la pression de skew ajuste le mark vers le côté écrasé
-> la garde de profondeur vérifie le carnet minimum au niveau
-> contrôle de continuité de mouvement max vs mark précédent accepté
-> le mark exécutable devient actif
-> financement, liquidation, contrôles de drawdown, PnL du classement
échantillonnent tous le même mark#Standard de revue pour le mark
La bonne question à poser à la couche de prix n'est pas « Dexter peut-il afficher un chiffre » — n'importe quel flux peut afficher un chiffre. C'est « Dexter peut-il expliquer, après coup, pourquoi un tick particulier était assez sûr pour marker l'équité contre, financer les comptes 90 / 10 sur, et déclencher une violation quotidienne de -4 % depuis ». La construction du mark est la réponse : chaque mark exécutable est traçable à une paire de référence spécifique, une posture de spread et de skew spécifique, une observation de profondeur et un résultat de garde de continuité — tous hashés dans le commit de posture de source qui vit à l'intérieur de la prochaine racine d'état. Un reviewer tirant la racine R du contrat Base peut reconstruire quel mark a tiré quelle liquidation, de la même manière que le moteur de matching l'a fait au moment.