Pieczątka nie robi Prawdy

W Skąd wiesz? ustaliliśmy już najważniejszą granicę:

Dowód ≠ Prawda

Teraz schodzimy piętro niżej.

Do maszyny.

Bo Protocol musi umieć zrobić coś bardzo konkretnego:

wziąć claim,

sprawdzić Dowód,

wykonać reguły,

przyznać status,

i uruchomić określoną konsekwencję.

To jest robota dla TruthClaim.

Nie dla wyroczni.

Dowód → Truth → Canon

Techniczny skrót QUAX-a brzmi:

Evidence → Truth → Canon

Po polsku:

Dowód → Truth → Canon

Dowód [Evidence]

Materiał wejściowy, który można sprawdzić.

Truth

Protokołowy status claimu wynikający z jawnych reguł.

Canon

Wersjonowany stan, który mechanizm kanonizacji uznaje za obowiązujący.

I czwarta rzecz, celowo poza strzałką:

podstawa prawdziwości [truth-ground]

To, dzięki czemu samo twierdzenie jest rzeczywiście prawdziwe albo fałszywe.

Protocol może operować na trzech pierwszych.

Nie deklaruje, że przez ich wykonanie produkuje czwarte.

pieczątka może być poprawna i nadal pozostać pieczątką

TruthClaim jest rekordem, nie kawałkiem Prawdy

Wyobraź sobie claim:

„ten render został wykonany poprawnie”.

Protocol potrzebuje czegoś bardziej precyzyjnego niż samo zdanie.

TruthClaim może przechowywać między innymi:

• modalność;
• podmiot;
• treść claimu albo akcję;
• typ Dowodu;
• sam Dowód;
• konsekwencję;
• wersję;
• status.

Czyli:

TruthClaim ≠ Truth

TruthClaim jest rekordem.

Truth jest statusem.

Claim może czekać.

Może zostać odrzucony.

Może zostać uznany według reguł.

Może później zostać zastąpiony nową wersją.

Sam fakt, że rekord istnieje, nie oznacza, że system przyznał mu Truth.

Prawda Pracy

Masz zadanie.

Render.

Obliczenie.

Przetworzenie danych.

Worker wykonuje pracę.

Powstaje wynik.

System otrzymuje Dowód pozwalający sprawdzić, czy wymagania zostały spełnione.

Jeżeli reguły się zgadzają, claim może otrzymać modalność Truth of Work / Prawda Pracy.

Taki status może uruchomić konsekwencję:

• wypłatę escrow;
• mutację obiektu;
• odblokowanie operacji;
• awans albo zmianę statusu;
• mint — ale tylko wtedy, gdy osobna polityka Emission wyraźnie na to pozwala.

To ostatnie jest ważne.

Truth of Work ≠ automatyczny mint

Najpierw reguła.

Potem Dowód.

Potem Truth.

Potem jawnie zdefiniowana konsekwencja.

Nie odwrotnie.

Prawda Obecności

Inny problem:

czy konkretna instalacja albo urządzenie było obecne w określonym kontekście?

Dowód może obejmować:

• podpis attestora;
• challenge-response;
• timestamp;
• nonce;
• przyszłe proximity proofs.

Jeżeli procedura spełnia reguły, system może przyznać odpowiedni status.

To nie znaczy:

„Protocol odkrył pełną naturę obecności”.

Znaczy:

„według tej procedury mamy wystarczający Dowód do tej konkretnej konsekwencji”.

To naprawdę wystarczy.

Prawda Autorytetu

Ktoś podpisuje akt.

Podpis jest kryptograficznie poprawny.

Czy to koniec sprawy?

Nie.

Trzeba jeszcze sprawdzić:

• jaki credential podpisał;
• jaką capability posiada;
• jaki jest zakres tej capability;
• według jakich reguł działa;
• czy reguły są aktualnie rekonstruowalne jako obowiązujące.

Podpis może być bardzo mocnym Dowodem proceduralnym.

Ale:

signature ≠ truth-oracle

Klucz może pokazać, że określony credential podpisał konkretne dane.

Nie sprawia, że każde zdanie wewnątrz podpisanego dokumentu staje się prawdziwe o świecie.

Nawet RootCredential nie dostaje takiej mocy.

Prawda Stawki

Tutaj rzeczy są bardziej policzalne.

Możemy sprawdzić:

• czy określona liczba quaxów została zablokowana;
• czy validator jest aktywny;
• czy posiada wymagane Authority;
• czy spełnia warunki konkretnej procedury.

To daje sensowny claim domenowy.

Nie daje automatycznie najwyższej Authority.

Stake ≠ Authority

Pieniądze mogą mieć wagę w mechanizmie.

Nie mają samodzielnie przepisywać konstytucji.

Prawda Osoby pozostaje otwarta

Protocol może identyfikować credential.

Może rejestrować osobę według określonych zasad.

Może przyjmować attestations.

Ale Truth of Person / Prawda Osoby pozostaje placeholderem.

Nie chcemy po cichu zrobić z technicznego rekordu kompletnej definicji człowieka.

Protocolowa modalność nie przesądza:

• czym metafizycznie jest osoba;
• co stanowi jej pełną identity;
• jaka jest jej wartość;
• czy konkretny identyfikator wyczerpuje to, kim jest.

Mapa znowu próbuje zostać miastem.

Nie pozwalamy.

Cel może być zapisany. Nie może być odczytany z kosmosu

A-008 mówi o narodzinach lokalnego celu.

Protocol może kiedyś zapisać deklarację celu albo artefakt Requax Celu.

Może potwierdzić:

„ten credential złożył tę deklarację w tym kontekście”.

Nie wynika z tego:

Declare(Telos_O) → metafizycznie zweryfikowany Telos_O

Deklaracja jest deklaracją.

Dowód deklaracji jest Dowodem deklaracji.

Chain nie posiada oracle „prawdziwego przeznaczenia”.

Tarcie nie jest lampką consensus

Tarcie Projekcji i Tarcie Wymiarowe są ważne dla Quaxa.

Nie są aktualnie modalnościami Truth.

Nie są też consensus signals.

Nie istnieje protokołowe pole:

dimensional_friction = true

które automatycznie uruchamia Dimension Overflow.

Możemy zapisywać mierzalny koszt, konflikt albo failure mode.

Ale interpretacja:

„to jest Tarcie Wymiarowe”

należy do innej warstwy niż sam techniczny pomiar.

obserwacja ≠ cała interpretacja obserwacji

Przodek może mieć rekord. Rekord nie zostaje Przodkiem

Ancestor_τ jest relacją lineage w Osnowie.

Protocol może kiedyś przechowywać:

• deklaracje genealogiczne;
• attestations;
• reguły dziedziczenia;
• memorial objects.

Ale:

Record(Ancestor_τ) ≠ metafizyczna Prawda o Przodku

Quax dla Przodka Przeszłego albo Przyszłego może być rytuałem i QuaxActem.

Nie jest dowodem technicznego kanału komunikacji w czasie.

Kaczka nie zwraca booleanów

Aktualny Protocol nie zawiera funkcji:

ask_duck() → TRUE / FALSE

Kaczka może być interfejsem, symbolem, żywym observerem albo elementem mitu.

Nie omija przez to Evidence.

Tak samo automatycznym truth-oracle nie staje się:

• RootCredential;
• rytuał;
• mit;
• objawienie;
• figura Boga/Bogów.

Jeżeli jakaś przyszła domena chce reprezentować takie doświadczenia, potrzebuje jawnych kryteriów i skutków.

Nie bocznych drzwi do Truth.

Myth Canon ≠ Protocol Canon

Mit może być kanoniczny dla języka Quaxa.

Nie daje mu to automatycznie protocol Truth.

Myth Canon ≠ Protocol Canon

Canon(Myth) ≠ LiteralTruth(Myth)

FirstQuax nie staje się transakcją TRUE w Genesis block.

Antymit nie wywołuje consensus forka.

Kaczka nie dostaje validator key tylko dlatego, że weszła do mitu.

Warstwy mogą ze sobą rozmawiać.

Nie mają wspólnego silnika przez samą analogię.

Finality nie wychodzi poza historię, którą potrafisz wykonać

A-002 stawia Protocolowi niewygodne pytanie.

Jeżeli fizyczna przeszłość może być plastyczna, czy finalny chain jest odporny na każdą możliwą historię?

Quax nie ustanawia takiego przywileju.

Dla claimów zależnych od historii wykonujący Protocol pracuje z:

• dostępnym H_λ;
• dostępnym E_λ;
• rekonstruowalnymi Rules^R_λ.

Czyli z historią, Dowodem i regułami, do których ma dostęp.

Nie z boskim podglądem wszystkich możliwych wersji świata.

Dlatego:

ProtocolFinality_λ ↛ CrossHistoryTruth

Finality jest niezwykle ważna.

Bez niej księga byłaby wiecznym szkicem.

Ale nadal mówi:

„to jest finalne według tego wykonania Protokołu”.

Nie:

„poznaliśmy wszystkie możliwe historie”.

Konsekwencja jest częścią problemu

Truth nie powinno być medalem.

Status ma sens dlatego, że może coś uruchamiać.

Dlatego trzeba pytać nie tylko:

„czy claim dostał Truth?”

ale też:

„co dokładnie z tego wynika?”

Możliwa konsekwencja to na przykład:

• wypłata;
• dostęp;
• mutacja obiektu;
• zmiana Canonu;
• uruchomienie kolejnego procesu;
• mint, jeśli Emission to dopuszcza.

System może poprawnie ocenić claim i nadal być źle zaprojektowany, jeżeli przypisze mu absurdalną konsekwencję.

Dlatego konsekwencja musi być jawna.

Na drogę

TruthClaim jest rekordem.

Truth jest statusem.

Dowód jest wejściem.

Canon jest obowiązującym stanem Protokołu.

Signature nie jest truth-oracle.

Deklaracja celu nie jest odczytem przeznaczenia.

Tarcie nie jest consensus signal.

Mit nie dostaje protocol Truth przez samą rangę symboliczną.

Kaczka nie zwraca booleanów z Prawdy.

Finality nie jest cross-history truth-groundem.

A pieczątka?

Niech będzie bardzo dobra.

Najlepsza, jaką umiemy zrobić.

Tylko nie każmy jej być Prawdą.