Uno spazio di lavoro finanziario collegato può fallire senza mostrare alcun errore. Un risultato può riflettere un nuovo dato mentre un altro dipende ancora da quello precedente: ogni cifra sembra plausibile, ma l’insieme non è coerente. Il progetto pubblico di Calculator affronta direttamente questo rischio: i blocchi compatibili possono essere collegati, le loro unità e l’ordine di esecuzione devono essere convalidati e le modifiche dipendenti possono propagarsi come un’unica transazione invece di lasciare risultati parziali.
Lo stato pericoloso è una combinazione credibile
Un singolo calcolo ha un confine semplice: riceve dati, esegue un metodo definito e produce un risultato. Collegando più blocchi si crea invece un grafo di dipendenze. Un valore a monte può alimentare un risultato che, a sua volta, ne alimenta molti altri. Non basta più che ogni blocco funzioni da solo: tutti i risultati devono descrivere la stessa versione dei dati.
Se un blocco a monte cambia e solo una parte del grafo viene aggiornata, un valore successivo può restare legato allo stato precedente. La sua formattazione non rivela la discrepanza. L’utente potrebbe confrontare, esportare o interpretare cifre che non sono mai appartenute alla stessa esecuzione. La protezione deve quindi trovarsi nell’esecuzione, non in un avviso mostrato dopo che i risultati parziali sono già visibili.
Convalidare il grafo prima di eseguirlo
Calculator è progettato per collegare blocchi di calcolo compatibili, non risultati arbitrari. Prima di tutto, l’unità di un valore deve avere senso per l’ingresso che lo riceve. Poi conta l’ordine: un blocco dipendente non può produrre il risultato corrente finché non hanno terminato i blocchi che lo alimentano.
La convalida trasforma queste relazioni in un piano eseguibile. Il sistema deve conoscere i blocchi a monte, quelli a valle e l’ordine in cui applicare i metodi definiti. Se una relazione necessaria non è valida, rifiutare l’aggiornamento preserva più significato che calcolare soltanto il sottoinsieme disponibile.
Una transazione crea un prima e un dopo chiari
Quando il grafo è valido, la propagazione deve avere un solo esito visibile: tutti i blocchi interessati completano il nuovo stato oppure lo spazio di lavoro conserva lo stato coerente precedente. L’aggiornamento come unica transazione impedisce che un risultato intermedio sembri definitivo.
Questo non garantisce che ogni formula sia corretta o che ogni ipotesi sia adatta. Risolve un problema più circoscritto: tutti i risultati dipendenti visualizzati appartengono allo stesso aggiornamento accettato. La riproducibilità e la traccia del motore offrono quindi un oggetto stabile da esaminare.
La cronologia deve conservare il contesto
Calculator è progettato intorno a spazi di lavoro persistenti, blocchi riutilizzabili e cronologia di esecuzione, mantenendo insieme dati, risultati, avvisi e tracce dei calcoli. In uno spazio collegato, questo contesto permette di verificare quali dati sono stati usati, quali operazioni definite sono state eseguite e come sono collegati i risultati dipendenti.
Ciò chiarisce anche il ruolo delle spiegazioni generate. Viotus separa i motori finanziari deterministici dal linguaggio generato. Una spiegazione può aiutare a leggere un risultato, ma non è la traccia e non decide se un aggiornamento è riuscito. Questa decisione appartiene al grafo, alle regole di convalida e al motore di calcolo controllato.
Una prova pratica per i calcoli collegati
Quando valuti uno spazio di calcolo collegato, chiediti se convalida la compatibilità dei valori, stabilisce l’ordine delle dipendenze prima dell’esecuzione e mostra insieme tutti i risultati interessati. Se uno dei calcoli fallisce, evita di presentare un aggiornamento parziale come completo? Verifica inoltre che conservi dati, risultati e traccia necessari per riesaminare l’esecuzione accettata.
Calculator è in sviluppo come spazio finanziario modulare per desktop, nel quale sarà possibile collegare risultati compatibili e consultare la cronologia di esecuzione. Non è ancora disponibile per il download. Il suo principio pubblico di transazione offre comunque un criterio utile: uno spazio collegato deve rappresentare un unico stato di calcolo, non un collage convincente di risposte vecchie e nuove.