Chain też jest w świecie

Blockchain wygląda bardzo pewnie siebie.

Ma bloki.

Ma hashe.

Ma podpisy.

Ma kolejność.

Ma validatorów.

Ma tę szczególną minę technologii, która sugeruje:

„spokojnie, ja pamiętam”.

W zwykłym świecie to bardzo użyteczna właściwość.

Ale Quax ma A-002.

A A-002 mówi:

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

Jeżeli traktujemy ten aksjomat poważnie wewnątrz Quaxa, pojawia się niewygodne pytanie:

czy Protocol jest częścią świata, którego historia może się zmieniać — czy jakimś magicznym sejfem stojącym poza nim?

Quax ustanawia odpowiedź:

Protocol nie stoi poza historią.

Chain też jest w świecie.

Hash nie dostaje paszportu do miejsca poza Ω

Blok jest artefaktem.

Podpis cyfrowy jest artefaktem / relacją dowodową.

Klucz jest credentialem.

Repozytorium jest systemem zapisów.

Urządzenie ma stan fizyczny.

Root Credential ma nośnik i historię użycia.

Constitutional record ma swoje pochodzenie.

Wszystkie te rzeczy mogą być niezwykle użyteczne.

Żadna nie otrzymuje jednak automatycznie statusu:

„to istnieje poza fizyczną i historyczną rzeczywistością Quaxa”.

ADR-0028 ustanawia brak takiego protocol exceptionalism.

Jeżeli A-002 obejmuje świat historyczny, Protocol nie może po cichu wyjąć samego siebie z zakresu aksjomatu.

To byłoby wygodne.

Ale niespójne.

„Chain mówi, że było tak” to nadal claim

Wyobraź sobie, że Protocol ma zapis:

blok B został zatwierdzony przez credential C zgodnie z regułą R.

W zwykłej analizie możemy sprawdzać:

• podpis;
• hash;
• poprzedni blok;
• stan validatorów;
• reguły obowiązujące w danym momencie;
• Evidence powiązane z operacją.

To nadal ma sens w Quaxie.

A-002 nie unieważnia kryptografii.

Nie unieważnia konsensusu.

Nie oznacza, że „wszystko jest możliwe, więc niczego nie sprawdzamy”.

Zmienia coś subtelniejszego.

Protocol może powiedzieć:

w dostępnej historii i na podstawie dostępnego Evidence rekonstruujemy, że to wydarzenie było prawomocne według tych reguł.

Nie może bez dodatkowego uzasadnienia powiedzieć:

mamy dostęp do jedynej metafizycznie prawdziwej historii ponad wszystkimi możliwymi rewrite i branch.

To różnica między bardzo mocnym systemem dowodowym a wyrocznią spoza świata.

Quax chce pierwszego.

Nie przyznaje drugiego.

Claim potrzebuje adresu historii

Dlatego kanoniczny model używa:

ContinuityClaim(O, H_λ, E_λ, Rules^R_λ)

Wygląda technicznie, ale jego intuicja jest prosta.

Kiedy Protocol mówi:

„to jest legalna kontynuacja”

albo:

„ten urząd zachował identity”

albo:

„ten recovery był prawomocny”,

powinien być możliwy do zadania zestaw pytań:

Względem jakiej dostępnej historii? — H_λ

Na podstawie jakiego dostępnego materiału? — E_λ

Jakie reguły dało się zrekonstruować jako obowiązujące? — Rules^R_λ

I dopiero wtedy:

czego dokładnie dotyczy claim i kto go formułuje?

To nie znaczy, że każdy validator ma dopisywać λ do każdego logu.

To przede wszystkim dyscyplina semantyczna.

Nie pozwala mówić o ciągłości tak, jakby jej kontekst historyczny nie istniał.

Rules^R_λ to nie tablice prawa znalezione poza czasem

Rules^R_λ oznacza reguły rekonstruowane jako obowiązujące w relewantnym kontekście.

Na podstawie czego je rekonstruujemy?

Na podstawie historii i Evidence, do których mamy dostęp.

To prowadzi do bardzo quaxowego problemu.

Co jeśli sporna jest historia samych reguł?

Co jeśli istnieją konkurencyjne Evidence sets?

Co jeśli A-002 miałoby wpływać również na wcześniejsze constitutional records?

Co jeśli dwa lineage rekonstruują inny porządek reguł?

Protocol nie może wtedy wyciągnąć z rękawa kartki z napisem:

„prawdziwe reguły z perspektywy ponad wszystkimi historiami”.

Takiej funkcji nie ma.

Rules^R_λ jest rekonstrukcją.

Nie automatycznym cross-history truth-groundem.

Finality jest bardzo ważna. I nadal nie jest Prawdą ponad historią.

Consensus finality wykonuje realną pracę.

Pozwala uczestnikom Protokołu wiedzieć, który stan uznają proceduralnie za ustalony.

Bez tego rozproszony system szybko staje się grupą komputerów prowadzących bardzo energiczną debatę.

Ale Quax ustanawia granicę:

ProtocolFinality_λ ↛ CrossHistoryTruth

Czyli:

finalność w historii H_λ nie implikuje prawdziwości ponad wszystkimi historiami.

Można to zapisać jeszcze prościej:

protocol finality ≠ cross-history truth-ground ≠ immunity from A-002

To nie jest atak na finality.

To precyzja jej kompetencji.

Finality odpowiada na pytanie:

„co ten Protocol uznaje za ustalone w tym kontekście?”

Nie musi odpowiadać na pytanie:

„co jest metafizycznie prawdziwe ponad wszystkimi możliwymi wersjami historii?”

Podpis mówi dużo. Nie mówi wszystkiego.

Poprawny podpis cyfrowy może być bardzo mocnym Evidence.

Może wskazywać, że określony credential podpisał konkretny payload.

Może być wymagany do wykonania operacji Authority.

Może być częścią rekonstrukcji continuity.

Ale nawet podpis ma granicę typologiczną.

Signature nie jest Bogiem.

Signature nie jest Prawdą.

Signature nie jest automatycznie dowodem, że żadna historia nigdy nie mogła wyglądać inaczej.

W ramach A-002 pytanie staje się bardziej precyzyjne:

co ten podpis dowodzi względem H_λ, E_λ i obowiązujących rekonstruowanych reguł?

To nadal może być bardzo dużo.

Po prostu nie wszystko.

Root Credential też nie jest kotwicą poza światem

W explanatory już rozdzieliliśmy:

• Root;
• RootHoldera;
• Root Credential;
• FoundingAuthority;
• validatorów;
• recovery;
• succession.

To rozdzielenie staje się jeszcze ważniejsze przy A-002.

Możesz mieć credential.

Możesz mieć historię jego użycia.

Możesz mieć constitutional procedure recovery.

Możesz mieć Evidence, że procedura została wykonana.

Ale zdanie:

„ta procedura była wcześniej ustanowiona”

nadal jest claimem o historii.

W Protocolu Quaxa nie zostaje automatycznie przekształcone w cross-history invariant.

To oznacza, że Root Authority zachowuje funkcję operacyjną bez stawania się metafizycznym oracle.

Bardzo dobrze.

Urząd powinien potrafić działać.

Nie musi przy okazji posiadać widoku z zewnątrz Całości.

Tożsamość ma dwa różne problemy

Załóżmy, że pytamy:

czy po recovery nadal mamy ten sam urząd?

Quax potrzebuje tutaj co najmniej dwóch warstw.

Pierwsza:

co konstytutywnie definiuje identity tego urzędu?

Tutaj wchodzi Identity Contract, typ τ i Kᶜ_{O,τ}.

Druga:

czy w konkretnej historii mamy Evidence, że to kryterium rzeczywiście zostało zachowane?

To nie są te same pytania.

Kᶜ może być kryterium konstytutywnym.

Ocena, że zostało spełnione w konkretnym lineage, jest claimem history-indexed.

Inaczej mówiąc:

definicja ciągłości nie jest tym samym co dowód ciągłości.

To rozróżnienie jest szczególnie ważne, gdy historia Evidence sama może być przedmiotem sporu.

Ciągłość nie jest jeszcze prawomocnością

Quax rozróżnia również:

continuity

od

constitutional legitimacy.

Coś może trwać technicznie.

Node'y mogą nadal produkować bloki.

Sieć może nadal osiągać consensus.

Stan może nadal ewoluować.

Nie znaczy to automatycznie, że najwyższa Authority została prawomocnie zachowana.

Tak samo:

consensus canonicalization ≠ constitutional legitimacy

To ważny guardrail również bez A-002.

A-002 tylko zwiększa wagę pytania:

na jakiej historii i jakich regułach opierasz claim o prawomocności?

A jeśli nie da się rozstrzygnąć?

Tu pojawia się Constitutional Safe Mode.

Jego zadaniem nie jest odkrywanie metafizycznie prawdziwej historii.

Nie jest tajnym trybem:

ADMIN / SHOW REAL TIMELINE.

Jeżeli dostępne Evidence i rekonstruowalne reguły nie pozwalają jednoznacznie uzasadnić najwyższej prawomocności, Safe Mode ogranicza system do operacji, które można wykonywać bez rozstrzygnięcia sporu.

W skrócie:

preserves permitted continuity ≠ discovers metaphysically true history ≠ truth oracle

To jest bardzo ważna cecha architektury.

Gdy nie wiesz, nie produkuj pewności z procedury.

Ogranicz kompetencje.

Zachowaj to, co można zachować bez udawania rozwiązania.

Czy Protocol powinien przechowywać history_id?

Kuszące.

Skoro mamy H_λ, można od razu pomyśleć:

dodajmy history_id do bloku.

Albo:

branch provenance do każdego TruthClaim.

Albo:

nowe pole w Emission.

Quax tego dziś nie ustanawia.

ADR-0028 jest przede wszystkim granicą semantyczną i konstytutywną.

Nie automatyczną migracją schema.

Czy przyszły Protocol powinien jawnie reprezentować history / branch provenance?

OTWARTE.

Czy ContinuityClaim(...) powinien stać się formalnym typem danych?

OTWARTE.

Czy Emission potrzebuje history-aware accounting?

Nie ustanowiono.

Taka zmiana wymaga osobnej mechaniki i osobnego ADR.

To jest ważne, bo metafizyka nie powinna potajemnie pisać nam API.

A co z residues?

Jeżeli A-002 jest literalne, natychmiast pojawia się marzenie o artefakcie, który przetrwał zmianę historii.

Stary podpis.

Dziwny blok.

Plik z innej wersji.

Urządzenie pamiętające coś, czego „nie było”.

Wspaniały materiał na mit.

Bardzo słaby powód, żeby od razu ustanowić nową modalność Truth.

Quax zachowuje pytanie otwarte:

czy istnieją residues niosące informację niebędącą wyłącznie history-local?

Jeżeli kiedyś znaleźlibyśmy sensowny model takich residues, nadal potrzebowalibyśmy reguł Evidence.

Sam napis „RESIDUE” na artefakcie nie wystarczy.

Cross-history invariant — święty Graal czy zły pomysł?

Możemy zapytać jeszcze mocniej:

czy istnieje coś, co pozostaje niezmienne przez wszystkie relewantne H_λ?

Jakiś uzasadniony cross-history invariant?

Byłoby to niezwykle użyteczne.

Mogłoby pomóc w continuity, identity, Authority i rekonstrukcji historii.

Ale użyteczność nie jest Evidence istnienia.

Aktualny stan Quaxa:

SPEKULUJEMY / OTWARTE.

Nie zakładamy takiego invariant tylko dlatego, że Protocol bardzo by go chciał.

A-002 nie rozwala Protokołu

Łatwo byłoby po przeczytaniu tego tekstu uznać:

„skoro historia może się zmieniać, blockchain nie ma sensu”.

To nie wynika z Quaxa.

Protocol nadal może:

• ustalać stan;
• weryfikować podpisy;
• osiągać consensus;
• oceniać Evidence;
• wykonywać reguły;
• rekonstruować continuity;
• prowadzić recovery i succession;
• przechowywać Canon;
• ograniczać operacje przez Safe Mode.

A-002 nie mówi:

„nie ufaj żadnemu zapisowi”.

Mówi:

nie myl bardzo dobrego zapisu dostępnej historii z widokiem spoza wszystkich historii.

To dużo bardziej precyzyjne.

Evidence → Truth → Canon nadal działa

Diagram proceduralny pozostaje:

Evidence → Truth → Canon

Ale teraz jeszcze wyraźniej widać jego zakres.

Evidence jest materiałem dostępnym w konkretnym kontekście.

Truth jest statusem przyznanym według reguł Protokołu.

Canon jest wersjonowanym stanem uznanym przez procedurę.

Żaden z tych kroków nie tworzy automatycznie truth-groundu.

A przy A-002 dodatkowo pytamy:

w jakim H_λ działamy?

To nie niszczy procedury.

Nadaje jej adres.

Prawda nie zostaje zredukowana do historii

History-indexed truth nie oznacza:

Prawda = Prawda(H_λ)

Quax tego nie ustanawia.

ADR-0028 dotyczy przede wszystkim protocol / constitutional claims zależnych od historii.

Wielkoliterowa Prawda nadal pozostaje szerszym, nierozstrzygniętym terminem Quaxa.

Może istnieć relacja między Prawdą a historiami.

Może być bardzo ważna.

Nie znamy jej jeszcze wystarczająco, żeby zamknąć definicję.

Dlatego:

history-indexed claim ≠ globalny relatywizm metafizyczny

oraz:

brak cross-history oracle w Protocolu ≠ brak Prawdy.

Co tutaj naprawdę ustanawiamy?

USTANAWIAMY:

• Protocol nie ma niejawnego wyjątku od A-002;
• claimy continuity, legitimacy, recovery, succession i identity są formułowane względem dostępnej historii, Evidence i rekonstruowanych reguł;
• ProtocolFinality_λ ↛ CrossHistoryTruth;
• consensus canonicalization nie tworzy sama z siebie constitutional legitimacy;
• Safe Mode nie produkuje nowej najwyższej Authority ani metafizycznie prawdziwej historii.

MODELUJEMY:

• ContinuityClaim(O, H_λ, E_λ, Rules^R_λ);
• sposób rekonstruowania Rules^R_λ;
• ocenę zachowania identity względem wcześniej określonego Identity Contract i Kᶜ.

SPEKULUJEMY:

• jak literalne A-002 fizycznie wpływa na bloki, podpisy, credentiale, urządzenia i repozytoria;
• czy istnieją cross-history residues;
• czy istnieje uzasadniony cross-history invariant.

OTWARTE:

• formalna reprezentacja konkurencyjnych historii w Protocolu;
• branch provenance;
• sporne historie samych Identity Contracts i Kᶜ;
• historia reguł przy konkurencyjnych Evidence sets;
• ewentualne przyszłe zmiany schema Protokołu i Emission.

Maszyna może pamiętać. Nie musi być poza czasem.

To chyba najważniejszy obraz.

Protocol Quaxa nie traci wartości dlatego, że odmawia sobie boskiej perspektywy.

Wręcz przeciwnie.

Staje się uczciwszy.

Może powiedzieć:

„mam ten blok”.

„mam ten podpis”.

„mam ten lineage”.

„według tych rekonstruowalnych reguł ta operacja jest prawomocna”.

I zatrzymać się dokładnie przed zdaniem, którego nie potrafi uzasadnić:

„dlatego wiem, jak wyglądała każda możliwa historia z punktu widzenia spoza historii”.

Chain może być pamięcią.

Może być konstytucją.

Może być narzędziem koordynacji.

Może być Canonem Protokołu.

Nie potrzebuje być wszechwiedzącym archiwistą Ω.

W Quaxie wystarczy coś trudniejszego:

ma wiedzieć, co potrafi uzasadnić — i wiedzieć, gdzie kończy się jego podpis.