TECNOLOGIA E VERIFICA
Regole, risultati ed evidenze lungo lo stesso percorso.
Fable collega logica economica, esecuzione software, registrazioni e blockchain. Ogni livello rende leggibile una parte del sistema e associa le proprietà dichiarate a un perimetro di verifica preciso.
Protocollo
Regole economiche
Definisce i modelli, le operazioni supportate e le proprietà da conservare durante l'evoluzione del sistema.
Motore
Esecuzione coordinata
Elabora le operazioni, applica i controlli previsti e aggiorna lo stato economico secondo il modello configurato.
Ledger
Storia ricostruibile
Collega richieste, trasformazioni e risultati attraverso le registrazioni previste dall'architettura.
Blockchain
Prova indipendente
Registra o certifica integrità, sequenza e provenienza degli elementi inclusi nell'implementazione on-chain.
Proprietà osservabili
Le proprietà collegano dichiarazioni e risultati.
| Proprietà | Stato | Risultato dimostrativo | Evidenza |
|---|---|---|---|
| Determinismo | Verificata nel perimetro implementato | Stessa configurazione + stesse operazioni → stesso stato finale | Controllo interno |
| Precisione numerica | Verificata nel perimetro implementato | Scarto entro la tolleranza dichiarata sulle operazioni testate | Controllo interno |
| Atomicità | Verificata nel perimetro implementato | Operazione completata integralmente o stato invariato | Controllo interno |
| Tracciabilità | Verificata nel perimetro implementato | Operazione ricostruibile dalle registrazioni previste | Controllo interno |
| Invarianti economiche | In estensione progressiva | Condizione dichiarata resta vera dopo l'operazione testata | In validazione |
La verifica confronta condizioni iniziali, operazioni eseguite e risultati osservati. Ogni evidenza rende leggibile il comportamento della proprietà nel perimetro dichiarato.
Dal motore alla prova
Applicazione, dati e rete svolgono compiti distinti.
I tre livelli cooperano lungo la stessa operazione: il motore applica le regole, il ledger conserva la trasformazione e la blockchain certifica gli elementi previsti. Seleziona un livello per esplorarne il ruolo.
Motore economico
Elabora le operazioni, aggiorna lo stato e applica i controlli definiti dal protocollo.
Ledger applicativo
Conserva la storia necessaria a ricostruire le trasformazioni e collegare ogni risultato alle operazioni che lo hanno prodotto.
Livello blockchain
Fornisce prova di integrità, sequenza e provenienza per gli elementi inclusi nell'implementazione on-chain.
Stato delle evidenze
Ogni elemento dichiara il proprio livello di maturità.
Disponibile
Motore economico
Eseguibile e osservabile oggi nel Protocol Lab, con credito virtuale privo di valore reale.
Documentato
Proprietà e perimetro delle verifiche
La documentazione pubblica descrive proprietà osservabili, condizioni di prova, limiti ed evidenze divulgabili.
In validazione
Implementazione blockchain
La validazione su rete di test precede la pubblicazione di rete, contratti, eventi e riferimenti consultabili.
Visione futura
Economie digitali complete
Direzione di ricerca e sviluppo successiva all'attuale implementazione dedicata alle tokenomics.
Blockchain e testnet
Motore · Disponibile nel Lab
Blockchain · In validazione su testnet
La validazione su rete di test verifica l'integrazione tra motore, ledger e componenti on-chain. Rete, contratti, eventi e transazioni consultabili saranno pubblicati dopo il consolidamento tecnico.
Evidenze per progettare e integrare
Informazioni leggibili accompagnano ogni fase del progetto.
Proprietà osservabili, condizioni di prova, risultati e limiti del perimetro aiutano team tecnici, partner e valutatori a comprendere il comportamento del sistema, confrontare scenari e definire integrazioni coerenti.
La documentazione pubblica descrive ciò che serve a valutare il comportamento e lo stato dell'implementazione. I dettagli proprietari del motore sono gestiti secondo il relativo livello di riservatezza.