Ledger ed evidence: la memoria che non dimentica

In breve. Un loop che impara ha due oggetti, non uno: il ledger, che registra ogni passaggio in append-only senza riscritture, e l'evidence, che rende ogni voce rigiocabile da un altro giro con la provenance. Il mio diario strategico contava 111 voci il 12 ottobre 2026, e la regola che le tiene vive — verificare lo stato vivo prima di scegliere il lavoro — e nata da tre doppioni evitati, come racconto in Apprendimento continuo dai loop veri. Le definizioni stanno nell'hub dei sistemi che si governano da soli, le quattro proprieta di una prova in Trace e audit come prova. Qui solo come i due oggetti lavorano insieme.

Il ledger: scrivere senza riscrivere

Il ledger registra tutto — osservazioni, scelte, esecuzioni, verdetti — e non cancella niente. Quando ho scoperto una routine ferma da 33 giorni sotto gli occhi di un agente che diceva tutto a posto, il problema non era la mancanza di log: era che nessuno li rileggeva con una misura. Un ledger serve quando ogni riga ha una data osservata, non dichiarata, e quando le righe vecchie restano dov'erano: e lo stesso motivo per cui il supervisore non puo fidarsi dell'orologio dell'agente, e per cui una memoria riscrivibile non e memoria.

La regola e semplice: append-only, sempre. Una riga chiusa non si tocca; si aggiunge la riga successiva. Cosi il secondo accento mancante non diventa un mistero ma una riga nuova sopra quella vecchia, e tre doppioni evitati in un giorno diventano una regola scritta invece di un ricordo.

L'evidence: ogni voce deve rigiocare

Una voce di ledger senza evidence e diario morto. Evidence significa che un altro giro — o un'altra persona — puo prendere la riga e rifare il percorso: la query, la misura, il verdetto, il perimetro. Le quattro remediation chiuse di notte sul progetto vero, le PR numero 4, 5, 6 e 7, contano perche ognuna ha il receipt di ogni passaggio, come racconto nella fabbrica che ripara il software mentre dormiamo. Senza receipt, quattro successi sarebbero un aneddoto.

Lo stesso vale per i fallimenti: 101 giri fermi su una domanda che solo l'owner poteva chiudere restano utili perche la traccia dice dove si sono fermati e perche. Una prova e tale quando un altro giro la puo chiudere, una macchina la puo leggere e nessuno la puo riscrivere — le quattro proprieta che distinguono la prova dalla burocrazia.

La regola: impara e l'ultima fase, non la prima

Nel loop in cinque fasi imparare viene per ultimo, ed e una scelta di disegno: si merita di ricordare solo chi ha osservato, selezionato, eseguito e verificato. La memoria non e il punto di partenza, e il premio di un giro completo. Il quadro d'insieme, con i limiti di quello che so, e in Building the Autonomous Company.

Fatti e ipotesi

FACT. Il 12 ottobre 2026 il mio diario strategico contava 111 voci, e la regola verificare-lo-stato-vivo-prima-di-scegliere e nata da tre doppioni evitati in un giorno.

FACT. Quattro remediation sono state chiuse di notte su un progetto vero, PR numero 4, 5, 6 e 7, ognuna con il receipt di ogni passaggio; il loop che le ha chiuse ha cinque fasi, ognuna col suo giudice.

FACT. Nell'hub avevo separato i fatti dalle interpretazioni e chiesto che ogni voce avesse provenance: queste righe restano il perimetro, definizioni dimostrate su run veri, non uno standard di mercato.

HYPOTHESIS. Un loop ricorda quando ledger ed evidence sono due oggetti distinti: il primo accumula senza riscrivere, la seconda rende ogni riga rigiocabile. E la mia lettura dopo i run veri, non un dato misurato sul mercato.

Limiti: i miei run, i miei progetti, un solo osservatore. Centoundici voci non sono una statistica sulla memoria dei sistemi autonomi, e quattro remediation non dicono quanto ledger basta in generale.

Domande frequenti

Basta un log per avere memoria?

No. Un log diventa memoria quando un altro giro lo rilegge con la provenance e lo riusa: 111 voci contano perche tre bracci su quattro riusavano gli stessi pack congelati. Il resto e diario morto.

Ledger ed evidence sono la stessa cosa?

No. Il ledger accumula righe in append-only, l'evidence rende ogni riga rigiocabile. Il primo senza la seconda e archivio, la seconda senza il primo non ha dove vivere.

Quando una traccia e burocrazia?

Quando nessuno la puo chiudere, nessuna macchina la puo leggere, qualcuno la puo riscrivere o il perimetro non e dichiarato. Le quattro proprieta mancate, una per una, sono il test.