> ## 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.
# Modello di stato
> Che cosa costituisce lo stato della catena, come viene indirizzato e versionato, e quale delle tre rappresentazioni fa fede.
In un motore di negoziazione tre cose diverse si chiamano tutte «stato», e confonderle è il modo in cui i sistemi finiscono per dare risposte che dipendono da chi interroghi. Questa pagina le separa e dice quale fa fede.
Tre rappresentazioni
Stato del motoremercati · conti · posizioni · book · stanza di compensazionedura tra i blocchi · una ricostruzione
Working set del bloccoprezzi mark · conti toccati · esecuzioni · outputdura un solo blocco · un giornale
Stato della catenachiave-valore versionato, autenticato da Merklefa fede
Il guasto che previeneUn motore la cui vista in memoria si è discostata da ciò che è stato consolidato continua a servire risposte, e ognuna è sbagliata in un modo che salta fuori solo al regolamento.
lo stato del motore deve essere derivabile dal registro consolidato, mai il contrario
**Lo stato del motore** è ciò che il [kernel](/it/protocol/architecture/kernel) tiene fra un blocco e l'altro: metadati dei mercati, conti, posizioni, book degli ordini, stato degli strumenti, stato della stanza di compensazione. È la rappresentazione di lavoro, disposta per gli schemi di accesso che matching e compensazione hanno davvero, non per l'archiviazione.
**Il working set del blocco** esiste solo mentre un blocco viene eseguito: i prezzi mark fissati all'inizio, quali conti e quali ordini sono stati toccati, le esecuzioni prodotte, gli output in costruzione. È un giornale di ciò che è successo durante questo blocco.
**Lo stato della catena** è il risultato consolidato: voci chiave-valore versionate, autenticate da una struttura di Merkle, durevoli e rieseguibili. È ciò che un nodo sincronizza, ciò contro cui si fa una prova, e ciò che legge un [indexer](/it/protocol/architecture/indexer).
**Fa fede lo stato della catena.** Il working set del blocco è un giornale usato per costruire output deterministico, non una fonte di verità. Lo stato del motore è una ricostruzione dello stato della catena ottimizzata per l'esecuzione: deve essere derivabile dal registro consolidato, mai il contrario.
Invertire i due è un guasto preciso e riconoscibile: un motore la cui vista in memoria si è discostata da ciò che è stato consolidato continuerà a servire risposte, e ognuna sarà sbagliata in un modo che salta fuori solo al regolamento.
Chiavi
Lo stato della catena è indirizzato per chiave. Lo stato di negoziazione è raggruppato in namespace con un nome e una versione esplicita: per esempio la configurazione delle commissioni, l'indice dei contratti perpetui, la tabella dei livelli di leva, l'elenco dei ruoli amministrativi.
Il suffisso di versione non è un ornamento. Quando cambia la forma di una configurazione, questa passa a una nuova versione della propria chiave, e la chiave precedente viene conservata perché lo stato scritto con il vecchio schema resti leggibile durante la migrazione. Un lettore che cabla nel codice una versione e non ricontrolla mai leggerà in silenzio una configurazione superata dopo una migrazione; un lettore che risolve la chiave corrente no.
Per questo la configurazione va letta dalla catena e non fissata nel codice del client. Il [servizio dei livelli commissionali](/it/protocol/architecture/programs) rilegge a ogni ciclo la configurazione delle commissioni in vigore esattamente per questo motivo: una tabella dei livelli cablata dentro un client è una tabella che prima o poi non coinciderà con quella che la rete applica.
Versioni
Ogni blocco consolidato fa avanzare una versione. I valori di stato sono memorizzati insieme alla versione in cui sono stati scritti: l'archivio non è soltanto «lo stato corrente», ma «lo stato a qualsiasi versione».
È questa proprietà a rendere possibili più cose insieme:
* **Le prove** possono essere prodotte contro una versione specifica e non solo contro il presente.
* **Il replay** può partire da qualsiasi versione, non solo dal genesis.
* **Le letture** possono essere storiche: un indexer che ricostruisce la storia di una posizione chiede versioni vecchie, non scorre un log.
* **Il pruning** diventa una decisione di policy su quanto indietro conservare, invece di un limite strutturale.
Che cosa finisce consolidato
L'esecuzione del kernel produce due cose per blocco. Ogni transazione porta con sé scritture ed eventi propri, che le restano legati. Gli effetti che non appartengono a nessuna singola transazione utente — flussi di funding, movimenti del fondo assicurativo, contatori a livello di blocco — vanno su un canale di sistema dedicato.
Fra i due non si perde nulla. Non esiste un effetto di esecuzione dentro il kernel che manchi sia dall'output di una transazione sia dal canale di sistema. È questa completezza a permettere di trattare il registro consolidato come la storia intera e non come un suo riassunto, ed è la ragione per cui un evento può essere ricondotto alla transazione che lo ha causato anche quando il matching è stato eseguito a lotti.
Dove proseguire
Come lo stato consolidato è archiviato fisicamente, autenticato e sottoposto a pruning.
Come un nodo che non ha mai visto la catena riesce a mettersi in pari.
Dove risiedono lo stato del motore e il working set del blocco.
Trasformare lo stato consolidato in qualcosa di interrogabile.