Galidima
Premessa
Galidima è un sistema privato e local-first che sto costruendo per studiare come l’inferenza possa entrare nel software operativo senza diventare la fonte dei fatti.
Il problema centrale non è esporre una chat. È decidere cosa può entrare nel contesto, quali registri restano autorevoli, cosa sopravvive a un guasto e quali affermazioni possono essere verificate dopo la risposta.
Confine di inferenza
Il serving del modello vive dietro un’interfaccia di provider. I backend locali possono cambiare senza trasferire dettagli di esecuzione al resto del sistema; salute, failover, modalità di richiesta, latenza e uso sono misurati nello stesso confine.
Il ragionamento interno non attraversa l’interfaccia utente. Solo il contenuto finale entra nella conversazione e nel percorso di verifica.
Contesto ed evidenza
La cronologia recente ha budget espliciti. Retrieval e memoria rispettano l’ambito del profilo, mentre i messaggi precedenti del modello servono alla continuità e non diventano evidenza per ripetizione.
Calcoli, date e totali finanziari seguono percorsi deterministici. Le risposte fattuali conservano provenienza e stato di verifica; una risposta contestata viene esclusa dal futuro contesto fattuale.
Contratti di dominio
Au Jour Le Jour fornisce a Galidima un contratto finanziario in sola lettura, riconciliato in centesimi interi. Copertura e freschezza restano visibili anche quando il sistema deve usare uno snapshot locale.
MyCasaPro non ha ancora un connettore operativo con Galidima. Il confine previsto è una proiezione distinta, revocabile e in sola lettura. Questa scelta mantiene l’applicazione sorgente autorevole e impedisce all’assistente di modificare i record operativi.
Durata operativa
Lo stato attivo resta locale in SQLite. Snapshot, esportazioni e backup usano scritture atomiche; l’integrità viene controllata prima della conservazione secondaria.
Il sistema viene verificato anche nei percorsi degradati: provider non disponibile, integrazione offline, copertura finanziaria incompleta, retry duplicati e risposte contestate.
Metodo
Il metodo consiste nel definire gli invarianti prima dell’interfaccia, separare l’esecuzione deterministica dalla generazione, conservare la provenienza e trattare il recupero come parte del comportamento normale del sistema.