Replay record

Page générée — ne pas éditer

Rendue au build par scripts/gen_doc_reference.py, depuis web/data/catalogue-export.json. Une modification manuelle serait perdue au build suivant.

Identifiant du contrat : replay-record. 7 champs, dont 7 obligatoires.

Un pin qui porte ce contrat ne peut être relié qu'à un pin qui porte exactement le même. C'est ce qui rend une edge vérifiable avant toute exécution.

Champ	Obligation	Rôle
replay_id	requis	Identifier le rejeu.
seed	requis	Graine de la simulation.
tick_rate	requis	Pas de temps fixe.
input_log_ref	requis	Journal des entrées rejouées.
state_hashes	requis	Hashes d'état comparés entre exécutions.
divergence	requis	Point de divergence éventuel.
build_ref	requis	Build sur lequel le rejeu s'exécute.

Voir aussi

• Tous les contrats
• Contrats et pins — la règle d'identité
• Format de fichier — où un contrat se déclare