Principi e percorso
Wiki pubblico
Sette pagine sui limiti delle affermazioni, sui punti di osservazione, sulle evidenze e sulle decisioni di rilascio.
Tre stati, non due
Il sistema risponde «regge», «non funziona» oppure «non accertato»: la terza risposta non viene mai confusa con la prima.
La posizione dell'osservatore
Il punto da cui si osserva è parte della risposta. Una proiezione che non sa dove si trova pubblica la propria posizione come se fosse lo stato del sistema.
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.
Una verifica vuota non è una verifica superata
L'elenco dei guasti è vuoto solo se qualcuno ha controllato. «Non abbiamo visto nulla» e «non c'è nulla» sono due frasi diverse.
Il rilascio che si valuta da sé
Quindici gate: nove vengono calcolati dalla macchina rispetto a uno specifico commit, sei possono essere chiusi soltanto da una persona, e la macchina non può fingere di averne chiuso neppure uno.
La struttura dell'universo
Il sole coordina, i pianeti lavorano, i satelliti osservano e consegnano prove. La stessa forma si ripete a ogni scala.
Il percorso
Il sistema è cresciuto gradualmente, e una storia onesta vale più di una bella storia: ecco cosa si è guastato, cosa ci ha insegnato e perché le regole attuali sono fatte così.