Identità stabile
Object ID tipizzati e indipendenti dal path e path canonici separano identità persistente e namespace mutabile.
research://synapsefs
SymbioRAP SynapseFS
A deterministic persistence layer for long-lived agents: files, evidence, versions and state remain inspectable even when models, tools and runtime components change.
RESEARCHRICERCA · ARCHITETTURA IN SVILUPPO
research://thesis
Persistence is part of agent intelligence, not an implementation detail.
Long-lived personal AI needs a source of truth that survives process restarts, model swaps and changing retrieval strategies. SynapseFS investigates a storage-neutral core where identity, evidence and temporal state are explicit rather than hidden in transient model context.
focus://synapsefs
Direzioni di ricerca
Evidence immutabile e versioni
L’evidence resta indirizzabile mentre nuove interpretazioni o versioni sostituiscono esplicitamente lo stato precedente senza cancellare la provenance.
Recovery deterministico
WAL/event log, checkpoint, snapshot e semantica di recovery sono studiati come meccanismi di correttezza di primo livello.
Core neutrale rispetto allo storage
Backend RAM e NVMe/file stanno dietro capability StorageBackend esplicite anziché legare la logica a un provider o container legacy.
Selezione Fast Path hardware-aware
Un layer Architecture/Execution Policy rileva all’avvio le capability di CPU e piattaforma e sceglie solo tra Fast Path già validati con benchmark, test di correttezza e crash test, per esempio per Intel, AMD o ARM/Neoverse. I profili non validati tornano al percorso base portabile.
architecture://working-model
Linea di implementazione attuale: core deterministico piccolo, backend espliciti e contratti stabili.
La direzione attuale usa un core C++23 con identità tipizzate a 128 bit, path canonici sicuri rispetto al traversal, scopes e contratti di capability dei backend. Copie complete negli hot path, lock globali involontari e la fusione tra cache e source of truth sono considerati rischi architetturali. WAL, checkpoint, crash recovery e replica sono lavoro per fasi, non capability già presunte. A runtime, il capability detection associa il profilo hardware rilevato a una Execution Policy validata. La selezione è riproducibile e data-driven: vengono attivati solo Fast Path confermati per l’architettura specifica; altrimenti resta attiva la baseline portabile.
Namespace & IDs
Identità stabile, path canonici, scopes e traversal deterministico.
Evidence & versioni
Contenuto immutabile, sostituzione esplicita e relazioni di versione verificabili.
Transazioni & recovery
Semantica event/WAL, checkpoint, snapshot e restart deterministico.
StorageBackend
Adapter capability-based per RAM, storage locale e futuri backend persistenti ad alte prestazioni.
Architecture / Execution Policy
Le capability di CPU e piattaforma vengono rilevate all’avvio e associate a un percorso di esecuzione precedentemente validato. I percorsi Intel, AMD, ARM/Neoverse e futuri restano separatamente benchmarkabili e verificabili per correttezza.
research://questions
Domande di ricerca aperte
Quale semantica di identità/versione resta stabile dopo rename, move, deduplica e compaction?
Come riducono Copy-on-Write, chunking, hashing e indici la write amplification senza rendere opaco il recovery?
Quale modello di concurrency minimizza il locking mantenendo transizioni di stato deterministiche?
Come espone la persistenza temporalità e provenance a Memory senza far trapelare dettagli del backend?
Come versionare profili hardware, evidenza di benchmark, test di correttezza/crash e policy di fallback affinché la selezione automatica del Fast Path resti riproducibile e sicura?
product://symbiofs
Dalla ricerca a uno storage core general-purpose
SymbioFS porta i concetti di persistence e storage in un core high-performance, versioned, content-addressed e crash-consistent per AI state, object storage, event stream, edge/local-first e altri sistemi.
status://research
Ricerca SymbioRAP
I punti descritti sono direzioni di ricerca e implementazione, non promesse di funzionalità prodotto finite.
connect://research
Collaborare all’architettura di ricerca
Con partner di ricerca, finanziamento e tecnologia condividiamo questioni architetturali, design dei benchmark e stati tecnici in un confronto qualificato.
Prossimo passo utile
Raccontaci la tua idea: bastano pochi punti.
Non devi definire la soluzione tecnica. Descrivi cosa vuoi creare o migliorare e valuteremo fattibilità, primo ambito e passi successivi.
Valuta gratuitamente l’idea
Quattro campi bastano. Riceverai una risposta concreta su come partire in piccolo e ampliare poi il progetto.