Stavo tracciando una prova attraverso il livello di verifica di Midnight quando qualcosa non si allineava.
Non sono riuscito a tornare da dove proveniva.
La prova era ancora lì.
È stato verificato pulitamente.
Ma non c'era niente intorno che mi dicesse come fosse stato prodotto.
Nessuno stato intermedio.
Nessun testimone visibile.
Niente che potessi seguire all'indietro.
L'ho eseguito di nuovo aspettandomi qualcosa che lo ancorasse.
Un riferimento.
Una traccia.
Qualsiasi cosa colleghi il risultato alla sua origine.
Niente.
La prova si è tenuta.
Il processo non lo ha fatto.
L'ho controllato di nuovo.
Transazione diversa.
Stesso risultato.
La verifica ha confermato l'output.
Ma nulla del percorso che l'ha creata è sopravvissuto al controllo.
È lì che è cambiato.
Non mancante.
Strutturale.
Niente prosegue tranne il fatto che è passato.
Tutto il resto semplicemente... svanisce.
Perché il verificatore controlla solo che i vincoli siano stati soddisfatti.
Non ricostruisce mai ciò che li soddisfaceva.
Continuavo a seguire alcune altre prove.
Spaziandoli.
Input diversi.
Tempi diversi.
Stesso schema.
Ognuno completo.
Ognuno isolato.
Nessuna traccia condivisa.
Nessun modo per collegare ciò che ha reso una valida a ciò che ha reso l'altra valida.
Solo una sequenza di conferme.
Tutto corretto.
Nessuno spiegabile.
Continuo a tornare su questo.
Una prova abbandonata.
Ancora valido.
Ancora verificabile.
Ma distaccato da ciò che lo ha reso vero.
L'output esiste.
Il percorso non lo fa.
E nulla nel livello di verifica cerca di riconnettere i due.
Bene.
Su piccola scala, questo regge.
Non lo noti.
Niente conflitti.
Niente preme sul sistema.
Ma una volta che le prove iniziano ad accumularsi...
qualcosa cambia.
Ognuno verifica indipendentemente.
Ognuno passa.
Ma nulla nel sistema può rivalutare le condizioni dietro di essi.
Nessuna superficie condivisa.
Nessuna via di ritorno.
E non c'è nessun luogo in cui quella differenza venga risolta.
Due prove possono essere entrambe valide...
anche se le condizioni dietro di essi sono cambiate in modi che il sistema non può più vedere.
E nulla all'interno del livello di verifica reagisce a ciò.
Continua ad accettare.
Uno dopo l'altro.
Quella è la parte che persiste.
Non che le prove siano sbagliate.
Ma il sistema non ha modo di rivedere perché avessero ragione.
$NIGHT importa qui solo se un sistema che non può rivalutare le condizioni dietro prove valide è comunque sufficiente per mantenere la fiducia una volta che queste prove iniziano ad accumularsi sotto carico.
Perché una volta che l'origine è scomparsa...
la verifica non ricostruisce nulla.
Accetta semplicemente ciò che è passato.
E questo funziona...
fino a quando non lo fa.
Quindi il vero test non è se una prova verifica.
È su ciò su cui la rete fa affidamento...
quando molte prove valide dipendono da condizioni che non può più vedere.
