Preuve interne expurgée

Validation Aster du 20 septembre 2026

Référence publique de la validation interne Aster Testnet. Elle sépare ce qui est vérifiable dans le code versionné, ce qui est consigné dans la release et ce qui ne peut pas être reproduit depuis les artefacts publiés.

EnvironnementAster Testnet
Date du contrôle2026-09-20
NatureContrôle interne

Verdict publié avec sa limite

La release interne consigne un PASS pour les cycles financés BTC/USDT Spot et Perp sur Testnet : soumission, annulation, fills, règlement du ledger Spot, clôture Perp reduce-only et nettoyage final. Le rapport brut expurgé de ce run n'est toutefois pas présent dans les artefacts locaux publiés ; cette exécution historique n'est donc pas reproductible indépendamment depuis cette page.

Statut du chiffre « 14 » : NON VÉRIFIABLE. Aucun artefact versionné retrouvé ne relie ce nombre à quatorze contrôles nommés individuellement. TIYlab retire donc ce chiffre précis de sa formulation publique.

Inventaire vérifiable dans le code

Version runtime fecc6c1024b6 · validateur limité au Testnet · tests ciblés rejoués le 25 septembre 2026 : 61 passed. Ces tests valident le logiciel avec des fixtures isolées, pas une nouvelle exécution sur la plateforme.

testnet-boundary

Le validateur refuse tout état hors Testnet et ne possède aucun mode de validation Mainnet.

agent-binding

L'adresse principale attendue, l'adresse de l'Agent dédié et la liste d'IP TIYlab sont contrôlées.

agent-permissions

La lecture et le trading Spot/Perp doivent être actifs ; retrait et transfert externe doivent être désactivés ; l'expiration doit être valide.

market-contracts

Les spécifications de marché et carnets publics BTC/USDT Spot et Perp sont requis.

clean-start

Tout inventaire Spot BTC, toute exposition Perp BTC et tout ordre BTC ouvert préexistants sont refusés hors référence déclarée.

authenticated-state

Soldes, positions et ordres ouverts Spot/Perp authentifiés sont lus avant exécution.

spot-lifecycle

Le cycle codé couvre une sonde d'annulation, un achat exécuté, les variations du ledger BTC/USDT authentifié, une vente exécutée et le nettoyage de l'inventaire résiduel.

perp-lifecycle

Le cycle codé couvre marge isolée, levier, sonde d'annulation, entrée exécutée, clôture reduce-only et position finale nulle.

transfer-idempotency

Les transferts de collatéral internes portent un identifiant client ; les réponses ambiguës -1006/-1007 imposent un rapprochement avant toute nouvelle tentative.

final-cleanup

Les ordres créés par le run sont annulés, l'exposition de test est clôturée, le résidu Spot est borné et tout échec de nettoyage fait échouer le run.

Historique de la maintenance 024003

Le 10 septembre 2026, le registre interne de compatibilité consigne une réponse externe -1006 avec le message Aster 024003 (« system under maintenance ») sur le transfert de collatéral interne ; le rapprochement des soldes a confirmé qu'aucun transfert n'avait eu lieu. La release du 20 septembre ne le classe plus comme blocage actif et consigne les cycles financés comme validés.

Le garde-fou reste actif : une réponse de transfert -1006 ou -1007 est traitée comme un résultat inconnu, l'identifiant de transfert est conservé et un rapprochement est exigé avant toute nouvelle tentative.

Limites
  • Contrôles réalisés par TIYlab, sans audit indépendant.
  • Testnet et fonds de test : aucune preuve de performance financière ni garantie d'exécution Mainnet.
  • Aucune adresse, IP, clé, signature, référence d'ordre ou transaction sensible n'est publiée.
  • Chaque activation Live conserve ses propres contrôles de compte, permissions, marchés, soldes et expiration.