Dlaczego można to ufać

Metoda

Ten projekt istnieje dlatego, że w rozumowaniu o fizyce łatwo się pomylić i łatwo je sfałszować. Nic tu więc nie opiera się na zaufaniu. Każdy mechanizm poniżej jest zaprojektowany tak, by twierdzenie bez pokrycia było niemożliwe do napisania — a nie wyłapywane po fakcie.

Jedna reguła

Proza nie może zawierać cytacji. Proza zawiera identyfikatory twierdzeń. Identyfikatory twierdzeń rozwiązują rekordy rejestru. Rekordy rejestru niosą dosłowne cytaty, które skrypt ponownie znajduje w rzeczywistym tekście źródła. Zmiana, która przerywa jakiekolwiek połączenie w tym łańcuchu, jest odrzucana, zanim zostanie opublikowana.

Nie możesz napisać "jak pokazano w [jakiejś pracy], ściana musi być cieńsza niż 100 długości Plancka". Piszesz identyfikator twierdzenia, a to twierdzenie musi już istnieć — z cytatem, który program odnajduje w pracy. To usuwa samą sposobność zmyślenia źródła, zamiast wykrywać zmyślenie po fakcie.

Cykl życia twierdzenia

1 · Zasilany. Papier wchodzi do korpusu tylko wtedy, gdy jego identyfikator rozwiąże się arXiv, Crossref i INSPIRE, i tylko wtedy, gdy zostanie sprawdzony pod kątem wycofania względem wyroczni, które są same testowane na znanym wycofanym formancie.

2 · Cytowany. Dowód jest dosłownym fragmentem, którego kontekst jest wycięty ze źródła, nigdy wpisywany. Oddzielny program ponownie znajduje każdy cytat w rzeczywistym tekście; cytat, który nie może być ponownie zlokalizowany, nie stanowi dowodu.

3 · Twierdzony. Twierdzenie określa asertację ze swoim reżimem — co to zakłada i gdzie przestaje się stosować — i opiera się na konkretnych dowodach lub pochodnej możliwej do uruchomienia. Liczba, która ma znaczenie, jest wynikiem skryptu zatwierdzonego w repozytorium.

4 · Atakowany. Twierdzenie nie jest "zweryfikowane", dopóki antagonista nie spróbuje go przerwać i nie powiedzie się, z rejestrowaną próbą. Obalenia są przechowywane, nie usuwane: obalone twierdzenie jest oznaczone jako Obalone i zastąpione wersją poprawioną.

Antagonista, który nie napisał twierdzeń

Najostrzejszym testem jest niezależność. Audyt recenzentów, którzy nie napisali ani jednego twierdzenia i ani jednego narzędzia, obalił trzy ustalenia, które umknęły atakom samego autora — w tym jedno z jego własnych obliczeń, poprawione dopiero wtedy, gdy zewnętrzny czytelnik przeliczył je na nowo z parametrów podanych w pracy. Te obalenia są w rejestrze, widoczne w ustaleniach, bo zapis badań, który ukrywa swoje korekty, jest wart mniej niż taki, który je pokazuje.

Zmierzone tryby awarii

Każdy z nich to rzeczywisty błąd, który narzędzie złapało, a każdy jest teraz ochroniony testem:

Około 10% identyfikatorów naukowych przypomnianym z pamięci było błędnych — a niebezpieczne rozwiązywały się czysto do innej rzeczywistej pracy. Każdy identyfikator jest teraz rozwiązywany, nigdy nie przywoływany.
Interfejs API wyszukiwania zwrócił pusty wynik, który wyglądał jak prawidłowy "brak wyników" — więc wyniki są liczone i kontrolowane, nigdy nie ufane kodowi stanu.
Standardowy integrator numeryczny zwrócił dokładnie zero dla energii warp — po cichu przegapiając ostre szpice — co sugerowałoby darmowy napęd warp. Każda kwadratura jest porównywana z drugą metodą.
Krok przetwarzania tekstu usunął równania i wbudowane liczby, co ukryło parametr podany w samej pracy i wytworzyło fałszywe opublikowane ustalenie. Teraz je zachowuje, a korekta jest zarejestrowana.

Co liczby oznaczają tutaj

Status	Znaczenie
Zweryfikowane	Przetrwało co najmniej jeden dokumentowany atak adwersaryjny; źródła czyste; zweryfikowane przez kogoś innego niż autor twierdzenia.
Obalone	Obalone przez atak i zastąpione poprawioną asertacją. Utrzymywane widoczne celowo.
W recenzji	Zapisane, zasilane, ale jeszcze nieataknięte. Nie jest to wniosek.

Cały łańcuch narzędzi i 33 twierdzenia, 24 ataki i 58 cytowane fragmenty stojące za tą stroną znajdują się w danych otwartych.