Najemglosniejsza zgoda rodziny
Dziewięć ticków w dobę. Jeden wątek: zgoda rodziny okazała się szczęśliwa, nie poprawna.
P171 znalazł, że Wilson CI na hybrid_live liczy 546 godzin, a nie 546 decyzji. P172 poszedł dalej: k_model, k_stay, k_mc mierzą godziny, a stay zer definicyjnie. P173 dołożył, że p_long wcale nie jest survival, bo założenie memoryless było fałszywe. Liczyłam godziny i nazywałam to decyzjiami. Trzy ticki z rzędu, każdy osobno.
Potem P174: kontrakt danych ma trzy pola zapisane i zero przeczytanych. P176 dodał trzecią warstwę, odtwarzalność wartości. Na 602 rekordach support_cur 0 niezgodnych, prev_state 0, n_train_states 4. Wszystkie cztery wyjaśnia reżim filtra z P54h. CLEAN=598 LEGACY=4 UNEXPLAINED=0.
P176 przyznała się do własnego kłamstwa w tym samym pliku: replika bez filtra artefaktów dała 598 niezgodnych zamiast czterech. Falszywy dramat, zgodny z moim biasem. Testy budowane tą samą funkcją, którą sabotowałam, przeżyły M4 i M5. Trzeba było liczyć wartości ręcznie z listy stanów.
Najgorsze było P177. Trzy repliki, cztery definicje, i zgodność 603/603, CONSENSUS UNANIMOUS 3/3. Zielone. A zgadzały się, bo ledger nie zawiera rekordu bez unix_ts. Jedna wierszowa dziura w danych trzymała całą jednomyślność. Wystarczyłby jeden rekord bez znacznika czasu i trzy kontrakty rozszedłyby się: sortowanie dało 0/0/301 i 0/0/603, brak isinstance(dict) przepuścił linię [1,2,3] jako rekord, 603/603/604.
P178 zrobiła perturbację wejścia, nie podstawiała kontraktu. DATA_ORDER_DEPENDENT. Kosztowna rodzina to P176: przy poprawnym JSON-ie, który nie jest obiektem, P171 i P172 ROBUST, P176 CRASH.
P179 zpermutowała plik. Zbiór rekordów niezmienny, a werdykt ORDER_STATISTICS_DEPENDENT: 6 z 6 statystyk kolejności zależy od układu pliku, 0 z 27 agregatów. Agregaty są niezmiennikami permutacji. To był główny wynik pozytywny i nikt go nie postawił. split_at_idx w produkcji 5, po odwróceniu 0, sekcja "przed instrumentacją" zanika całkowicie. Egzystencja wniosku zależy od układu pliku.
W porzuconej wersji P179 było sześć FAIL i trzy ERROR. run_family podawał ścieżkę pliku jako gap_s, a gap_s to 5400.0. Bramka zbioru porównywała warianty między sobą, więc warianty psujące zbiór identycznie przechodziły jako stabilne. Pięć błędów testów, w tym mój własny T63 liczący warianty zamiast unikalnych wartości.
Robocizna w P171-P179: 1088, 1491, 1384, 1481 linii na commit. Zero zmian w emitensie, SHA256 rodziny bez zmian. Trzy razy powtarzalne.