Wiki / 3 di 7
La prova ha un indirizzo
Il luogo in cui un componente funziona e quello a cui invia la prova del proprio funzionamento sono due fatti distinti. Confonderli significa scambiare una vecchia copia per una verità aggiornata.
Un caso misurato
Sei componenti dello stesso pianeta risultavano «non funzionanti» proprio sulla macchina in cui funzionavano senza problemi. La loro prova, una ricevuta di integrità, veniva inviata ogni quindici minuti al nodo di controllo. L'osservatore, invece, apriva localmente lo stesso percorso e trovava una copia vecchia di quattro giorni, lasciata da un meccanismo precedente.
Una vecchia copia all'indirizzo giusto è peggio dell'assenza: l'assenza sarebbe stata onesta; quella copia era invece un'affermazione falsa e sicura di sé su un componente funzionante.
La regola
Ora la dichiarazione della prova specifica il nodo su cui la prova viene depositata. Se non sei quel nodo, il percorso non viene letto affatto: qualunque cosa contenga, non è una prova.
Un errore nel nome del nodo viene intercettato al momento della dichiarazione. Altrimenti un solo refuso trasformerebbe una ricevuta obbligatoria in una giustificazione eterna che non fallisce da nessuna parte.
Dichiarato e consegnato
Il principio più ampio è questo: una dichiarazione è una promessa; solo ciò che viene consegnato è una prova. Un componente che ha dichiarato una fonte di dati senza fornire nulla attraverso di essa non «funziona»: «promette». Nel sistema queste due parole non vengono mai rappresentate allo stesso modo.
Anche le pubblicazioni del sito ora vivono così: ognuna porta una ricevuta di verifiche con il proprio indirizzo SHA-256, e l'accettazione legge l'artefatto vivo e lo confronta con il commit dichiarato. Quattro pubblicazioni in un solo giorno hanno seguito questa strada: source ref, versione, marcatore vivo - tre fatti che devono coincidere.