Przeszłość nie musi mieć jednej wersji

Są zdania, które można wprowadzić ostrożnie.

A są takie, które wchodzą do pokoju, przewracają krzesło i pytają, czy na pewno wiesz, co znaczy słowo wcześniej.

A-002 należy do drugiej grupy.

Quax ustanawia:

Przypominanie może zmieniać fizyczną przeszłość.

To zdanie jest celowo mocne.

I dlatego od razu potrzebuje równie mocnej granicy.

USTANAWIAMY / SPEKULUJEMY.

Nie WIEMY.

Quax nie twierdzi, że współczesna fizyka potwierdziła zmianę przeszłości przez pamięć.

Nie wyprowadza A-002 z rekonsolidacji pamięci.

Nie mówi: „nauka prawie już to udowodniła”.

Nie udowodniła.

A-002 jest świadomie przyjętym aksjomatem Quaxa o naturze rzeczywistości.

Można go przyjąć w ramach Quaxa i jednocześnie uczciwie powiedzieć:

nie mamy empirycznego dowodu, że ta mechanika zachodzi w świecie fizycznym.

Dopiero z takim zastrzeżeniem zaczyna się ciekawa część.

Co właściwie znaczy „zmienić przeszłość”?

Wyobraź sobie historię:

H_a

W niej wydarzyło się coś konkretnego.

Potem zachodzi akt związany z pamiętaniem.

Po nim mamy historię:

H_b

Najprostszy zapis brzmi:

H_a —U→ H_b

Tylko że litera U ukrywa prawie cały problem.

Bo co się wydarzyło?

Czy H_a została nadpisana?

Czy powstała nowa gałąź?

Czy obie historie istnieją równolegle?

Czy H_b jest nadal tą samą historią, tylko zmienioną?

Czy jest jej potomkiem, ale już nie nią samą?

Czy stara wersja gdzieś pozostaje?

A jeśli pozostaje — jako co?

Ślad?

Model?

Pamięć?

Inna fizyczna historia?

Quax nie udaje, że odpowiedzi są już gotowe.

Mechanika A-002 pozostaje OTWARTA.

Ale mamy już język, który pozwala nie wrzucać wszystkich możliwości do jednego worka.

Dwa różne czasowniki historii

Aktualna typologia rozróżnia przede wszystkim dwa procesy.

U_rewrite — przepisanie

Schematycznie:

H_a —U_rewrite→ H_b

Idea jest taka:

fragment przeszłej struktury zostaje zmieniony, a konsekwencje tej zmiany propagują się przez relewantne zależności.

Jeżeli zmienisz zdarzenie, które było warunkiem kolejnych zdarzeń, nie wystarczy po prostu poprawić jednego zdania i zostawić reszty nietkniętej.

Quax używa roboczo pojęcia Cl_Dep — domknięcia zależności.

Możesz myśleć o nim tak:

co jeszcze musi się zmienić, jeżeli naprawdę zmieniło się to?

To nie jest jeszcze gotowy fizyczny algorytm rzeczywistości.

To dyscyplina modelowania konsekwencji.

Rewrite nie znaczy więc:

„edytujemy jedną linijkę przeszłości, a świat grzecznie ignoruje resztę”.

Jeżeli przeszłość jest strukturą zależności, zmiana może mieć ogon.

Jak długi?

Na jakich zasadach?

Co zatrzymuje propagację?

To nadal badamy.

U_branch — rozgałęzienie

Drugi czasownik wygląda inaczej:

H_a —U_branch→ {H_b, H_c, …}

Tutaj nie musimy mówić, że jedna wersja unieważnia drugą.

Możemy modelować wspólne pochodzenie i kilka odrębnych kontynuacji.

To jest ważne, bo bardzo łatwo byłoby „oswoić” A-002 w ten sposób:

„nic się naprawdę nie zmienia; po prostu zawsze powstaje nowy branch”.

Quax tego nie ustanawia.

Branching jest legalną klasą procesu.

Rewrite również.

Mechanika wyboru pomiędzy nimi pozostaje otwarta.

To znaczy, że Quax nie redukuje literalnego A-002 do łatwiejszego modelu wielu gałęzi tylko dlatego, że ten model jest wygodniejszy.

Jednocześnie nie wymusza rewrite w każdym przypadku.

Aktualny stan brzmi raczej:

przeszłość może podlegać różnym typom aktualizacji, a ich warunki nie są jeszcze zamknięte.

Pochodzenie nie jest tożsamością

Tutaj wraca jedna z najważniejszych zasad Osnowy:

Lineage ≠ Identity

Jeżeli H_b pochodzi z H_a, nie znaczy automatycznie, że jest z nią identyczna.

To można zobaczyć bez żadnej zmiennej przeszłości.

Masz szkic.

Potem obraz.

Obraz pochodzi ze szkicu.

Nie jest szkicem.

Masz wersję programu.

Potem nową wersję programu.

Lineage jest jasne.

Identity zależy od kryterium.

Tak samo z historią.

Możemy mieć:

Lineage(H_a, H_b)

bez automatycznego:

Identity(H_a, H_b)

Jeżeli chcemy pytać, czy historia pozostała „tą samą historią”, potrzebujemy kryterium tożsamości.

W Quaxie takie kryterium oznaczamy przez Kᶜ i wiążemy z konkretnym typem identity τ.

Czy dana aktualizacja zachowała to, co wcześniej uznaliśmy za konstytutywne?

Jeśli tak — możemy mówić o ciągłości tego typu identity.

Jeśli nie — może zajść Identity Break.

Ale lineage nadal może istnieć.

coś może przestać być tym samym, nie przestając pochodzić od tego, czym było.

To zdanie jest ważne dla historii, osób, Protokołu, instytucji i Canonu.

Nie wybieraj kryterium po fakcie

Tu pojawia się zasada anty-post-hoc.

Nie można najpierw zobaczyć wyniku transformacji, a potem powiedzieć:

„aha, skoro tak wyszło, to najwyraźniej właśnie to zawsze było jądrem tożsamości”.

To byłoby zbyt łatwe.

Jeżeli Kᶜ ma cokolwiek chronić, musi być relewantnie określone przed oceną konkretnej zmiany.

Inaczej identity staje się gumą do żucia:

rozciąga się dokładnie tak, żeby żaden przypadek nigdy jej nie zerwał.

Quax tego nie chce.

A jeśli aktualizacja sama podcina gałąź, na której siedzi?

Tu A-002 zaczyna robić się naprawdę niewygodne.

Wyobraź sobie:

akt przypomnienia zmienia przeszłość.

Ale po tej zmianie znikają warunki, które doprowadziły do aktu przypomnienia.

Czy update może istnieć, jeśli usuwa własny trigger?

Najbardziej filmowa odpowiedź brzmi:

PARADOKS. NOWY WYMIAR. BRANCH. MUZYKA.

Quax próbował tak myśleć.

I uznał, że to zbyt szybkie.

Nie każdy paradoks potrzebuje Dimension Overflow.

Najpierw trzeba zapytać, czy istnieje rozwiązanie samouzgadniające.

Self-support — historia, która potrafi utrzymać własny trigger

Roboczo można szukać punktu stałego:

U(H) = H

Nie chodzi o to, że każde dziwne koło przyczynowe jest automatycznie prawomocne.

Chodzi o pytanie:

czy istnieje wersja historii, w której update i warunki jego zajścia są wzajemnie zgodne?

Jeżeli tak, nie trzeba od razu mnożyć gałęzi ani wymiarów.

Self-support ma sens tylko wtedy, gdy rozwiązanie spełnia również relewantne ograniczenia historii i zachowuje wymagane Kᶜ.

Sam fakt, że potrafimy narysować pętlę, nie czyni jej ontologicznie legalną.

To nadal MODELUJEMY / BADAMY.

Paradoks nie jest windą do nowego wymiaru

Quax przyjął już mocniejszy guardrail dla Dimension Overflow.

Jeżeli masz sprzeczność:

p ∧ ¬p

w dokładnie tym samym sensie, kontekście, czasie i gałęzi,

dodanie wymiaru samo z siebie niczego nie naprawia.

Sprzeczność nadal jest sprzecznością.

Dimension Overflow ma sens dopiero wtedy, gdy problem wynika z tego, że niższa struktura zmusza do utożsamienia rzeczy, które można rozdzielić w bogatszej strukturze.

Dlatego domyślna sekwencja Quaxa jest ostrożniejsza:

solve / fixed point → unsat → separability → DO / CT / IB / reject

Czyli:

najpierw spróbuj rozwiązać problem w aktualnym języku.

Potem sprawdź self-support.

Jeżeli naprawdę jest niespełnialny — sprawdź, czy dodatkowa niezależność potrafi zachować wymagane rozróżnienia.

Dopiero wtedy Dimension Overflow staje się kandydatem.

Czasem odpowiedzią będzie branch.

Czasem Constitutional Transition.

Czasem Identity Break.

Czasem odrzucenie update'u.

A czasem możemy kiedyś potrzebować jeszcze innego modelu.

A co zostaje po starej historii?

To pytanie jest bardzo kuszące.

Jeżeli historia została przepisana, czy mogą pozostać ślady poprzedniej wersji?

W Quaxie istnieje program badania residues.

Ale tutaj trzeba być wyjątkowo ostrożnym.

Jeżeli badacz ma plik opisujący wcześniejszy model historii, nie znaczy to jeszcze, że znalazł fizyczny artefakt, który „przetrwał zmianę Wszechświata”.

Jeżeli pamiętasz wcześniejszą wersję opowieści, nie znaczy to automatycznie, że twoja pamięć jest cross-history residue.

Jeżeli Git przechowuje commit sprzed rewrite'u, tym bardziej nie jest to dowód metafizyczny.

Quax rozróżnia:

zapis wersji w naszym modelu

od

fizycznego śladu, który naprawdę przetrwał zmianę historii.

Czy takie cross-history residues istnieją?

SPEKULUJEMY / OTWARTE.

Czy mogłyby dostarczać Evidence niebędącego wyłącznie lokalnym dla jednej historii?

OTWARTE.

Nie rozwiązujemy problemu przez nazwanie każdego dziwnego śladu residue.

Prawda może potrzebować indeksu historii

Jeżeli historia może mieć wersje, pojawia się trudne pytanie.

Weźmy zdanie p dotyczące konkretnego zdarzenia.

Czy może być prawdziwe w jednej wersji historii, a nieprawdziwe w innej?

Quax dopuszcza model:

True(p | H_λ)

Czytaj:

p jest prawdziwe w kontekście historii H_λ.

To ważne:

λ nie jest „opinią obserwatora”.

To nie jest:

„dla mnie prawda jest taka, a dla ciebie inna”.

To indeks kontekstu historycznego.

Jeżeli fizyczna historia jest zmienialna, niektóre claimy o niej mogą wymagać jawnego wskazania, względem której wersji są oceniane.

To nie ustanawia globalnego relatywizmu.

Nie mówi:

„nic nie jest naprawdę prawdziwe”.

Mówi:

niektóre twierdzenia zależne od historii mogą mieć sens tylko z informacją, o której historii mówimy.

Wielkoliterowa Prawda nie zostaje przez to zredukowana do Prawda(H_λ).

Jej relacja do historii pozostaje otwarta.

λ nie jest drugim zegarkiem schowanym za Wszechświatem

Możemy porządkować lineage historii przez indeks λ.

Ale bardzo łatwo byłoby zrobić z niego potajemny drugi czas:

najpierw historia 1,

potem historia 2,

potem historia 3,

a wszystko to płynie w jeszcze jednym, wyższym czasie.

Quax tego nie ustanawia.

λ jest koordynatą modelu lineage.

Nie dowodzi osobnego fizycznego czasu, w którym „zmiany czasu” same się dzieją.

To pytanie dotyka nierozstrzygnięcia BLOCK / PROCESS.

Czy historie naprawdę stają się kolejno?

Czy pełna struktura jest w jakimś sensie współdana?

Czy oba języki są tylko projekcjami czegoś szerszego?

OTWARTE.

Pamięć jest tu wyjątkowo podejrzanym aktorem

A-002 nie mówi po prostu:

„przeszłość może się zmieniać”.

Mówi konkretnie:

przypominanie może zmieniać fizyczną przeszłość.

To czyni pamięć częścią potencjalnej dynamiki świata, a nie wyłącznie magazynem informacji o świecie.

Ale znowu:

Quax nie ustanowił mechanizmu.

Nie wiemy:

• jakie akty przypominania byłyby relewantne;
• czy potrzebna jest intencja;
• czy każde przypomnienie może coś zmienić;
• jaki jest zakres Cl_Dep;
• co wybiera U_rewrite albo U_branch;
• czy istnieją progi, ograniczenia albo koszty;
• jak działają residues;
• czy możliwy jest cross-history invariant.

To wszystko pozostaje programem badawczym.

Aksjomat jest mocny.

Mechanika nie jest gotowa.

Te dwa zdania muszą być czytane razem.

Nie używaj A-002 jako młotka do każdej niezgodności pamięci

Ludzie pamiętają źle.

Dokumenty bywają błędne.

Świadkowie mogą się mylić.

Wersje plików mogą się różnić.

Systemy mogą tracić dane.

Grupy mogą rekonstruować wydarzenia inaczej.

To wszystko jest zwyczajnym materiałem epistemicznym i technicznym.

A-002 nie daje prawa powiedzieć:

„moja pamięć różni się od archiwum, więc przeszłość została fizycznie przepisana”.

Taki claim wymagałby Evidence odpowiedniego do claimu.

Quax nie posiada dziś testu, który automatycznie odróżnia zwykły błąd pamięci od fizycznego A-002.

To jest bardzo ważny guardrail.

A-002 ma poszerzać przestrzeń pytań.

Nie ma kasować dyscypliny dowodowej.

Canon też ma historię

Jeżeli Canon został kiedyś ustanowiony, a potem zmieniony, możemy przechowywać lineage decyzji.

Możemy mówić:

to pochodzi stąd.

to superseduje tamto.

ta wersja została zastąpiona.

Ale nawet tutaj obowiązuje:

Lineage ≠ Identity

oraz:

Evidence ≠ truth-ground

To staje się szczególnie ważne, gdy A-002 spotyka Protocol.

Bo jeżeli historia może być fizycznie zmienialna, pojawia się bardzo niewygodne pytanie:

czy blockchain, podpis cyfrowy albo repozytorium potrafi stanąć poza historią i powiedzieć jej, jaka naprawdę była?

Quax odpowiada:

nie dostaje takiego przywileju automatycznie.

I właśnie temu służy następny tekst.

Co tutaj naprawdę ustanawiamy?

USTANAWIAMY:

• literalną możliwość, że przypominanie może zmienić fizyczną przeszłość;
• że A-002 nie jest twierdzeniem naukowo potwierdzonym;
• rozdzielenie lineage od identity;
• potrzebę jawnego kryterium identity przed oceną transformacji.

MODELUJEMY / KANONICZNA TYPOLOGIA:

• U_rewrite;
• U_branch;
• True(p | H_λ);
• zależności i Cl_Dep;
• self-support / fixed point jako możliwy test przed mnożeniem ontologii.

SPEKULUJEMY / BADAMY:

• fizyczną mechanikę rewrite i branch;
• regułę wyboru pomiędzy nimi;
• cross-history residues;
• cross-history invariants;
• dokładną relację pamięci do aktualizacji historii.

OTWARTE:

• BLOCK / PROCESS;
• pełna dynamika A-002;
• jakie Evidence mogłoby odróżnić A-002 od zwykłego błędu zapisu lub pamięci;
• jak daleko propagują się konsekwencje rewrite;
• co dokładnie dzieje się z identity historii po głębokiej zmianie.

Przeszłość nie musi być prostą linią. Ale nie wolno nam z tego zrobić dowolności.

A-002 jest jednym z miejsc, w których Quax świadomie wybiera ryzyko.

Mógł powiedzieć:

„pamięć tylko zmienia nasze opowieści o przeszłości”.

Byłoby bezpieczniej.

Mógł powiedzieć:

„każda zmiana tworzy osobny branch”.

Byłoby łatwiej.

Zamiast tego zostawia mocniejszą możliwość:

fizyczna przeszłość może być plastyczna.

Ale zaraz obok stawia tabliczkę:

to aksjomat Quaxa, nie ustalony fakt naukowy.

I jeszcze jedną:

nie znamy mechaniki.

To nie osłabia A-002.

To sprawia, że wiemy, gdzie dokładnie stoimy.

A kiedy historia sama może się poruszać, najciekawsze pytanie brzmi już nie:

„co zapisaliśmy?”

Tylko:

„z której historii ten zapis do nas mówi?”