Projekt RAM Dave’a Plummera wykorzystuje AI do zastąpienia trudno dostępnej pamięci PDP-11
Dave Plummer z pomocą ChatGPT zbudował niestandardową kartę pamięci 4 MB dla swojego zabytkowego komputera, a następnie poinformował o usunięciu usterek i uruchomieniu Uniksa. Projekt RAM Dave’a Plummera mierzy się z kosztownym problemem renowacyjnym: zastąpieniem trudno dostępnej pamięci dla PDP-11, historycznej rodziny minikomputerów firmy Digital Equipment Corporation. Stanowi też użyteczny test porad inżynierskich generowanych przez AI, ponieważ powstały sprzęt podłączono do rzeczywistej maszyny.
Były inżynier Microsoftu użył EasyEDA, aplikacji do projektowania obwodów elektronicznych, aby opracować płytę. Jego podejście łączy dostępne układy pamięci z programowalną logiką sterującą. Określenie „od zera” dotyczy niestandardowej płytki i jej działania, a nie wytwarzania nowych układów pamięci.
Główne napięcie polega na różnicy między wygenerowaniem wiarygodnego projektu a spełnieniem precyzyjnych wymagań interfejsu starszego komputera. Uznane alternatywy, takie jak QBone, już pomagają utrzymywać te maszyny w działaniu. Projekt Plummera bada dedykowany zamiennik, w którym AI wspiera rozwój, a o funkcjonalności projektu decydują testy fizyczne.
Projekt RAM Dave’a Plummera trafił do rzeczywistego komputera
Plummer wyszedł poza rysunek obwodu, tworząc fizyczną kartę pamięci podłączoną do zabytkowego sprzętu.
Tom’s Hardware opisuje płytę opartą na programowalnym układzie Lattice MachXO2, połączonym z czterema układami pamięci ISSI. Plummer testował kartę wraz z płytą procesora M8190 przez Q-Bus, współdzielony interfejs elektryczny łączący kompatybilne komponenty komputerowe. Szczegóły te potwierdzają, że projekt jest niestandardową płytą pamięci, w której należy prawidłowo zapewnić zarówno połączenia fizyczne, jak i zachowanie sterowania.
To rozróżnienie ma znaczenie, ponieważ pamięć pełni bardziej wymagającą funkcję niż samo pojawienie się w konfiguracji maszyny. Procesor musi odczytać tę samą informację, którą wcześniej zapisał. Musi to zrobić w zamierzonej lokalizacji, bez uszkadzania sąsiednich informacji ani odpowiadania na żądania przeznaczone dla innego komponentu.
Płyta może przejść wstępny test wykrywania, a mimo to nieprawidłowo obsługiwać określone operacje. Wykrywanie potwierdza, że część komunikacji działa. Nie rozstrzyga jednak, czy każdy obsługiwany dostęp zachowuje się prawidłowo w całym przewidzianym zakresie pamięci.
Wczesne usterki projektu należą więc do głównej części historii. Pokazują dystans między uzyskaniem odpowiedzi od wyprodukowanej płytki a uczynieniem jej wystarczająco niezawodną dla oprogramowania. Właśnie w tym dystansie kryje się znaczna część pracy inżynierskiej.
Wkład AI także wymaga precyzyjnego określenia granic. ChatGPT uczestniczył w rozwoju projektu, podczas gdy EasyEDA zapewniła środowisko projektowania obwodów. Dostępna relacja nie przedstawia pełnego zapisu przypisującego każdą decyzję projektową, poprawkę lub krok weryfikacji Plummerowi albo asystentowi.
Określenie rezultatu jako projektu sprzętowego wspomaganego przez AI oddaje to, co potwierdzają dowody. Nazwanie go niezależnie zaprojektowanym przez AI komponentem komputerowym wymagałoby znacznie jaśniejszego opisu tego, kto podejmował decyzje. Rozróżnienie to nabiera szczególnego znaczenia, gdy debugowanie zmienia pierwotny projekt.
„Tworzenie RAM-u” może też oznaczać kilka różnych rzeczy. RAM, czyli pamięć o dostępie swobodnym, przechowuje informacje, które procesor może odczytywać i zmieniać podczas działania. Zaprojektowanie kompatybilnej płytki wokół kupionych układów jest znaczącym przedsięwzięciem, ale pozostaje czymś odrębnym od produkcji półprzewodników.
W pracach renowacyjnych istotną jednostką jest płytka. Sam układ pamięci nie może zastąpić brakującej karty rozszerzeń. Potrzebuje odpowiednich połączeń, logiki sterującej i zachowania rozumianego przez oryginalny procesor.
Wysiłek Plummera dotyczy tego problemu integracji. Jego znaczenie wynika z uczynienia współczesnych komponentów użytecznymi w starszym systemie. Ilość pamięci ma znaczenie w granicach tego systemu, a nie jako porównanie z obecnymi komputerami osobistymi.
Dzięki temu projekt łatwiej oceniać według jego własnych kryteriów. Pytanie brzmi, czy karta zapewnia niezawodne przechowywanie danych przeznaczonemu dla niej hostowi. Pozytywna odpowiedź oznaczałaby praktyczne osiągnięcie renowacyjne bez konieczności twierdzenia, że projekt zmienia szerzej rozumiany przemysł pamięci.
Niedobór kart zamiennych wywiera presję na osoby zajmujące się renowacją
Bezpośrednia presja dotyczy osób utrzymujących stare komputery, których użyteczne opcje zamienne zależą od kompatybilności i dostępności.
Plummer wskazał koszt i niedostępność zabytkowej pamięci jako swoją motywację. Tworzy to znany wybór renowacyjny: znaleźć oryginalny komponent, dostosować nowoczesny zamiennik albo zbudować zastępstwo. Każda droga nakłada inne obciążenie na osobę utrzymującą maszynę przy życiu.
Oryginalna karta zachowuje większą część historycznej konfiguracji. Jej stan i dostępność nadal wymagają oceny. Zamiennik wymienia część historycznej autentyczności na możliwość wykorzystania komponentów i metod produkcji dostępnych obecnie.
Żaden z wyborów nie eliminuje potrzeby technicznego osądu. Starą płytę trzeba skontrolować i przetestować. Nowo zaprojektowana płyta wymaga dowodów, że zachowuje się prawidłowo w docelowej maszynie.
Właściwe porównanie wykracza więc poza samo pozyskanie sprzętu. Osoby zajmujące się renowacją poświęcają też czas na diagnozowanie usterek, sprawdzanie dokumentacji, składanie systemów i utrzymywanie wybranego rozwiązania. Wysiłki te są realne, nawet gdy konstruktor traktuje projekt jako hobby.
Niestandardowy zamiennik staje się bardziej użyteczny, gdy inna osoba może go odtworzyć bez powtarzania pierwotnego dochodzenia. Wymaga to zrozumiałych plików projektowych, informacji o komponentach, wskazówek montażowych oraz jasnego opisu obsługiwanych konfiguracji. Działający prototyp rozpoczyna ten proces, a nie go kończy.
Zainteresowanie Plummera tymi systemami poprzedza obecną płytę. W swojej rozmowie o renowacji PDP-11 z Lexem Fridmanem opisał składanie maszyn z pozyskanych części i dążenie do bogato wyposażonej konfiguracji. To tło umieszcza projekt pamięci w ramach istniejącej praktyki renowacyjnej.
Ogranicza też to, co czytelnicy powinni wnioskować o dostępności projektu. Doświadczony programista może wnieść zdyscyplinowane nawyki rozwiązywania problemów do nieznanej pracy elektronicznej. Znajomość maszyny hosta zapewnia dodatkowy kontekst, który początkujący hobbysta wciąż musiałby zdobyć.
Pomoc AI ma znaczenie, ponieważ oferuje kolejną metodę badania nieznanych szczegółów. Konstruktor może zadawać pytania, analizować możliwe podejścia i prosić o wyjaśnienia podczas rozwijania projektu. To, czy zmniejsza to całkowity nakład pracy, zależy od jakości odpowiedzi i wysiłku potrzebnego do ich sprawdzenia.
Nie ma tu kontrolowanego porównania pokazującego ten sam projekt ukończony z ChatGPT i bez niego. Twierdzenia o zmierzonych wzrostach produktywności wykraczałyby więc poza dostępne dowody. Zaobserwowanym rezultatem jest proces rozwoju, który korzystał z AI i dotarł do deklaracji o działającym sprzęcie.
Dla społeczności renowacyjnej ciekawszą możliwością jest łatwy w utrzymaniu projekt zamiennika. Jeśli praca stanie się odtwarzalna, inni właściciele zyskają dodatkową opcję. Jeśli pozostanie specyficzna dla konfiguracji konstruktora, jej wartość będzie bliższa indywidualnemu eksperymentowi.
Ta różnica określa, kto odnosi korzyści. Udana osobista konstrukcja natychmiast służy właścicielowi. Udokumentowana, niezależnie odtworzona płyta może służyć osobom, którym brakuje czasu lub sprzętu do stworzenia własnej.
Programowalna logika musi mówić językiem oryginalnej magistrali
Trudna granica polega na prawidłowym tłumaczeniu żądań pamięci, nawet gdy bazowe układy pamięci działają dokładnie zgodnie z założeniami.
FPGA, czyli programowalna macierz bramek, to układ, którego logikę cyfrową można skonfigurować po wyprodukowaniu. W tej płycie logika działa jako kontroler pamięci, koordynując żądania między komputerem hosta a układami pamięci. Kontroler musi zachować oczekiwania hosta przy każdej obsługiwanej operacji.
Lattice opisuje swoją rodzinę programowalnej logiki jako odpowiednią do łączenia interfejsów i sterowania systemem. Ułatwia to zrozumienie roli komponentu: łączy interfejsy, których szczegóły nie pasują do siebie automatycznie. Same jego możliwości nie mówią nic o tym, czy konkretna konfiguracja poprawnie implementuje te szczegóły.
Istotne rozróżnienie zachodzi między pojemnością pamięci a poprawnością interfejsu. Karta może zawierać wystarczająco dużo fizycznej pamięci, a mimo to mapować żądania do niewłaściwych lokalizacji. Może też zwracać prawidłowe wartości dla części operacji, a inne obsługiwać nieprawidłowo.
Specyfikacje transferów Q-Bus firmy DEC rozróżniają transfery słów i bajtów. Słowo jest zgrupowaną jednostką danych procesora; w tym kontekście zawiera dwa bajty. Poprawna obsługa tych typów transferów wymaga uwagi wobec relacji między adresami a danymi.
Operacja bajtowa wybiera tylko część słowa. Kontroler musi zachować informacje poza żądanym fragmentem, gdy operacja wymaga takiego zachowania. W przeciwnym razie zmiana małej wartości może niezamierzenie zmienić sąsiednie dane.
To ogólne wyjaśnienie wymogu interfejsu, a nie potwierdzona diagnoza konkretnej implementacji Plummera. Zaobserwowana usterka adresowania może wskazywać, gdzie należy szukać. Ustalenie jej przyczyny wymaga zbadania rzeczywistej logiki i sygnałów generowanych podczas wadliwej operacji.
Właśnie tutaj wyjaśnienia generowane przez AI wymagają ostrożnego traktowania. Odpowiedź może opisywać zasadę architektoniczną, która jest ogólnie poprawna, a jednocześnie błędnie stosować ją do konkretnego projektu. Przekonująco brzmiąca terminologia nie dowodzi, że właściwe przewody, adresy i warunki sterujące są zgodne.
Ten sam problem pojawia się przy przechodzeniu między poziomami abstrakcji. Schemat pokazuje połączenia. Logika kontrolera opisuje zachowanie. Test fizyczny ujawnia, co złożony system rzeczywiście robi, gdy te połączenia i zachowania współdziałają.
Zgodność na jednym poziomie nie gwarantuje zgodności na innym. Środowisko projektowe może pomóc w uporządkowaniu projektu, nie certyfikuje jednak kompatybilności z każdą operacją hosta. Oryginalna maszyna pozostaje niezbędnym uczestnikiem walidacji.
Programowalna logika sterująca daje konstruktorowi użyteczną ścieżkę korekty. Gdy błąd dotyczy tej logiki, zmiana konfiguracji może zmienić zachowanie bez wymiany całej płytki. Ta elastyczność zależy od tego, czy fizyczny projekt już obsługuje wymagane zachowanie.
Błąd okablowania lub nieodpowiedni interfejs elektryczny stanowi inny problem. Kod nie może naprawić każdego fizycznego ograniczenia. Odpowiedzialne relacjonowanie unika więc opisywania każdej niewyjaśnionej usterki sprzętowej jako łatwej poprawki programowej.
Najważniejsza lekcja z projektowania sprzętu wspomaganego przez AI dotyczy dowodów na interfejsach. Wygenerowany kod i wyjaśnienia są kandydatami do wdrożenia. Ich niezawodność staje się wyraźniejsza, gdy konkretne wejścia dają wymagane wyjścia w rzeczywistym systemie.
W tym projekcie stary protokół magistrali zapewnia ten zewnętrzny standard. Nie dostosowuje się do założeń asystenta. Zamiennik musi wystarczająco ściśle spełniać ustalone zachowanie maszyny, by zwykłe oprogramowanie mogło na nim polegać.
QBone daje niestandardowej płycie istniejącą alternatywę
Dedykowana karta pamięci trafia do społeczności renowacyjnej, która już dysponuje nowoczesnymi sposobami zastępowania brakujących funkcji.
Projekt emulacji urządzeń QBone Jörga Hoppego łączy maszyny Q-Bus z nowoczesnym środowiskiem Linux za pośrednictwem komputera BeagleBone Black. Udokumentowane możliwości obejmują emulowanie uszkodzonych podsystemów i monitorowanie symulowanej pamięci. Stanowi on konkretny punkt odniesienia przy ocenie tego, co wnosi nowy zamiennik.
Oba podejścia zaspokajają częściowo pokrywające się potrzeby, lecz robią to w odmienny sposób. Dedykowana karta pamięci skupia się na dostarczaniu pamięci za pomocą własnego kontrolera i układów pamięciowych. QBone zapewnia szersze środowisko do reprezentowania urządzeń i wspierania prac diagnostycznych.
Ten szerszy zakres ma znaczenie podczas renowacji. Maszyna z kilkoma brakującymi lub zawodzącymi komponentami potrzebuje czegoś więcej niż zamiennika pamięci. Konfigurowalna platforma może pomóc w badaniu systemu, jednocześnie zapewniając funkcje, które w przeciwnym razie wymagałyby dodatkowego oryginalnego sprzętu.
Wyspecjalizowana karta ma inny urok. Jej przeznaczenie może pozostać węższe, z mniejszą liczbą funkcji do skonfigurowania i utrzymania przez właściciela. To, czy przekłada się to na prostsze ogólne doświadczenie, zależy od gotowej implementacji i dokumentacji.
Nie ma zweryfikowanego porównania wydajności, które potwierdzałoby, że karta Plummera jest szybsza, bardziej niezawodna lub łatwiejsza w użyciu niż QBone. Dostępne dowody pozwalają opisać je jako alternatywne ścieżki. Ich uszeregowanie wymagałoby porównywalnych testów w określonych warunkach.
Istnienie alternatywy zmienia również sposób rozumienia motywacji projektu. Budowa nowej karty nie musi oznaczać, że każde istniejące podejście jest niewystarczające. Nauka, kontrola nad projektem i satysfakcja z konstruowania sprzętu mogą osobno uzasadniać ten wysiłek.
Dla właściciela skupionego na przywróceniu działania decyzja zaczyna się od potrzeb maszyny. Wąsko ukierunkowany zamiennik jest atrakcyjny, gdy brakującą funkcją jest pamięć. Szersze środowisko emulacji staje się istotne, gdy uwagi wymaga kilka podsystemów.
Wierność historyczna dodaje kolejny wymiar. Niektórzy konserwatorzy stawiają na oryginalne komponenty i ich zachowanie. Inni akceptują nowoczesny sprzęt, który pozwala oryginalnemu procesorowi nadal uruchamiać użyteczne oprogramowanie. Te cele prowadzą do różnych wyborów, nie czyniąc żadnej z grup niezdolną do racji.
Niestandardowa karta pamięci PDP-11 należy więc do zestawu opcji renowacyjnych. Nie musi wypierać każdej alternatywy, aby być użyteczna. Jasne przedstawienie jej zamierzonej roli pomogłoby właścicielom zdecydować, gdzie się sprawdzi.
Na uwagę zasługują także wsparcie i trwałość. Użyteczność karty zależy częściowo od tego, czy przyszli właściciele będą mogli zdobyć komponenty, zrozumieć wybory konfiguracyjne i diagnozować awarie. Te kwestie stają się ważniejsze, gdy pierwotny konstruktor przestaje zajmować się projektem.
Dla Plummera opracowanie dedykowanego zamiennika może dać bezpośrednią wiedzę o tym, jak jego maszyna obsługuje pamięć. Dla innych właścicieli wiedza ta staje się wartościowa dzięki dokumentacji i odtwarzalności. Artefakt inżynierski i jego objaśnienie działają razem.
Porównanie z QBone utrzymuje analizę w realiach projektu. Presja dotyczy dostarczenia kolejnej wiarygodnej opcji renowacyjnej. Twierdzenia o zastępowaniu popularnych produktów pamięciowych lub konkurowaniu ze współczesnymi komputerami nie znajdują oparcia w celu tego projektu.
Plummer zgłasza poprawkę, ale szczegóły testów mają znaczenie
Najnowsze zindeksowane wpisy opisują postęp wykraczający poza początkową usterkę, choć walidacja nadal zależy od relacji konstruktora.
Zindeksowane lustro aktualizacji projektu RAM Plummera odnotowuje początkowy błąd adresowania, pośrednią poprawkę i późniejsze twierdzenie o sukcesie. Wpis z 30 października mówi, że zmienił kod FPGA, przeszedł testy i uruchomił Unix w trybie wielu użytkowników. Oryginalne wpisy nie były bezpośrednio dostępne podczas weryfikacji, dlatego opis opiera się na zindeksowanym lustrze.
To zastrzeżenie ma znaczenie, ponieważ relacja powinna zachować zarówno aktualizację, jak i jej ograniczenia dowodowe. Trwałe opisywanie projektu jako niesprawnego pomijałoby dostępne informacje. Traktowanie późniejszego twierdzenia jako niezależnej certyfikacji wykraczałoby poza to, co potwierdzają dostępne materiały.
Uruchomienie systemu operacyjnego jest istotnym sprawdzianem integracyjnym. Testuje współdziałanie komponentów pod oprogramowaniem oczekującym, że maszyna będzie zachowywać się spójnie. Różni się jednak od opublikowanego zapisu testów wyjaśniającego, które operacje pamięciowe i lokalizacje sprawdzono.
Szczegółowy opis walidacji wskazywałby rewizję sprzętu i konfigurację kontrolera. Rozróżniałby również ukierunkowaną diagnostykę od zwykłego korzystania z oprogramowania. Ułatwiłoby to zrozumienie, co przeszło testy, a co pozostaje poza sprawdzonymi warunkami.
Podobnej ostrożności wymaga sformułowanie twierdzenia o testach. Zaliczenie wszystkich testów w określonym zestawie mówi coś o tym zestawie i konfiguracji. Bez zakresu zestawu czytelnicy nie mogą wnioskować o pokryciu każdego obsługiwanego warunku działania.
Nie czyni to zgłoszonego sukcesu nieważnym. Określa właściwy poziom pewności. Dowody potwierdzają, że konstruktor po debugowaniu zgłasza działający system, podczas gdy szersza kompatybilność i odtwarzalność pozostają otwarte.
Rola ChatGPT pozostaje kolejnym nierozstrzygniętym pytaniem. Opublikowana relacja nie wyjaśnia, czy asystent wprowadził błędne założenie, pomógł je skorygować, czy wniósł główny wkład gdzie indziej. Przypisanie odpowiedzialności wymagałoby historii projektu i odpowiednich rozmów.
Ta niepewność działa w obie strony. Początkowa awaria nie dowodzi, że defekt spowodowała AI. Późniejszy sukces nie dowodzi, że AI niezależnie go rozwiązała.
Prace inżynierskie często rozwijają się poprzez błędne założenia, pomiary i korekty. AI zmienia sposób, w jaki pojawiają się niektóre możliwe wyjaśnienia i implementacje. Nie eliminuje potrzeby ustalenia, które wyjaśnienie odpowiada zaobserwowanej awarii.
Projekt RAM Dave’a Plummera jest więc mocniejszym dowodem na wspomagany proces rozwoju niż punktem odniesienia dla zdolności inżynierskich AI. Pokazuje doświadczonego konstruktora podejmującego się nieznanej pracy z dostępnym asystentem. Nie określa ilościowo, ile wiedzy specjalistycznej lub wysiłku zastąpił asystent.
Dla programistów i pracowników wiedzy technicznej to rozróżnienie ma praktyczne znaczenie. Wygenerowany materiał staje się bardziej wiarygodny, gdy jest powiązany ze specyfikacjami, rewizjami i obserwacjami. Zachowanie tego zapisu umożliwia ponowne przeanalizowanie decyzji, gdy test ujawni błędne założenie.
Przeszukiwalna baza wiedzy inżynierskiej wspiera to zadanie dokumentacyjne. W projekcie sprzętowym użyteczny zapis obejmuje oczekiwania, to, co się wydarzyło, oraz rewizję, która zmieniła wynik.
Obserwuj odtwarzalność, szersze testy i długotrwałe użycie
Kolejne dowody powinny pokazać, czy udana osobista konstrukcja może stać się niezawodną opcją dla innych właścicieli PDP-11.
Pierwszym sygnałem jest odtwarzalne wydanie. Oznacza to wystarczającą ilość informacji, aby inny konstruktor mógł zidentyfikować zamierzone komponenty, wyprodukować lub zmontować kartę oraz załadować odpowiadającą jej konfigurację kontrolera. Takie wydanie przeniosłoby projekt poza wynik zademonstrowany na stanowisku jego twórcy.
Szczególnie przydatne byłoby dopasowanie rewizji. Pliki sprzętowe i kod kontrolera muszą mieć jasną relację, aby inny konstruktor wiedział, która kombinacja dała zgłoszony wynik. Niekompletne lub niejednoznaczne wydanie pozostawiałoby odtworzenie zależne od dodatkowej interpretacji.
Niezależny montaż dodatkowo wzmocniłby argumenty. Osiągnięcie tego samego wyniku przez innego właściciela sprawdziłoby, czy instrukcje obejmują założenia uznawane przez pierwotnego konstruktora za oczywiste. Niepowodzenie odtworzenia ujawniłoby luki warte poprawienia.
Drugim sygnałem jest szersza walidacja z określonym zakresem. Czytelnicy powinni szukać udokumentowanych sprawdzeń obsługiwanych odczytów, zapisów, adresów i interakcji z systemem hosta. Celem jest umożliwienie weryfikacji twierdzenia o sukcesie.
Te sprawdzenia pomogłyby również zdefiniować kompatybilność. Wynik na nazwanej konfiguracji potwierdza użycie w tej konfiguracji. Testowanie kolejnych zamierzonych hostów ustaliłoby, jak daleko można rozszerzyć to twierdzenie.
Przydatny raport wyjaśniałby awarie obok zaliczeń. Znane ograniczenia pozwalają właścicielom ocenić, czy karta pasuje do ich maszyny. Milczenie o nieprzetestowanych konfiguracjach powinno pozostać otwartym pytaniem, a nie domniemaną gwarancją.
Trzecim sygnałem jest długotrwałe użycie poza krótką demonstracją. Wielokrotne działanie, zwykłe obciążenia oprogramowaniem i relacje innych właścicieli ujawniłyby, jak projekt zachowuje się z biegiem czasu. Te obserwacje uzupełniałyby ukierunkowane testy.
Opinie społeczności miałyby największe znaczenie, gdyby zawierały wystarczający kontekst do zbadania problemu. Relacja powiązana z konkretną rewizją karty i konfiguracją hosta jest bardziej użyteczna niż niewyjaśniony sukces lub awaria. Informacje te dają także przyszłym konstruktorom jaśniejszy punkt wyjścia.
Żaden z tych sygnałów nie wymaga komercyjnego wprowadzenia produktu. Starannie udokumentowany projekt hobbystyczny może wnieść znaczący wkład. Jego wartość wynika z pomagania innej osobie w utrzymaniu maszyny w działaniu przy mniejszej niepewności.
Projekt RAM Dave’a Plummera już oferuje konkretny przypadek do badania roli AI w inżynierii. Asystent pomagał podczas rozwoju; zgłoszony wynik zależał od budowy, debugowania i obsługi fizycznego sprzętu. Pozostałe pytania dotyczą tego, jak kompletnie wynik został przetestowany i jak łatwo inni mogą go powtórzyć.
Śledź pliki projektu, opisy testów i niezależne konstrukcje, gdy będą się pojawiać. Każdy, kto rozważa pomoc AI w projekcie technicznym, powinien zachować ten sam łańcuch dowodowy: wymaganie, proponowaną implementację, zaobserwowane zachowanie i korektę. Zgłoszone przez Plummera uruchomienie Unix zapewnia tej historii użyteczny kamień milowy. Odtwarzalna karta i przejrzysta walidacja dałyby innym konserwatorom coś, co mogliby ocenić dla własnych maszyn. Gdy pojawi się kolejna aktualizacja, zadaj konkretne pytanie: czy ułatwia ona komuś innemu zweryfikowanie i odtworzenie działającego wyniku?
