{"block_close_oss.c33fd1fe9c":"Społeczność i ekosystem","core-extras.96d330537a":"Baza IR","core-extras.bee831a169":"Podłoże","core-extras.61a0822826":"Aplikacje na Core","core-extras.15438cc098":"nieobsługiwane","core-extras.ad565d9d01":"Funkcja","core-extras.0155bf03e5":"Legenda segmentów","core-extras.8b7110078e":"Grupy algorytmów według typu danych","core-extras.25ab4276a6":"Przewijana macierz możliwości","open-source-aion.81f3904118":"Zarządzanie wiedzą oparte na pochodzeniu danych w stylu AION.","open-source-aion.4a86080d67":"Spindle","open-source-aion.fe0a091fdb":"Produkty","open-source-aion.de5ec3713e":"Parser z możliwością poświadczania Merkle, używany przez AION do obsługi danych wejściowych.","open-source-aion.188fb5d6cf":"Reed","open-source-aion.45f836850a":"Zweryfikowane środowisko wykonawcze, które łączy certyfikaty AION z transkryptami wykonania.","open-source-aion.de6848949f":"Selvedge","open-source-aion.a174288eda":"Pochodzenie zdarzeń dla systemów: rekordy połączone łańcuchem skrótów opisujące, co się wydarzyło, a nie kroki rozumowania wewnątrz decyzji.","open-source-aion.1aa2f31ee7":"Ledger","open-source-aion.d5d6e83bf2":"Kontynuuj eksplorację","open-source-aion.75e393a1ac":"Poznaj powiązane projekty","open-source-aion.f9743247fa":"Przeczytaj dokumentację","open-source-aion.ef0fd4ccef":"Sprawdź ścieżkę dowodu","open-source-aion.77453cde44":"Uruchom przykładowy certyfikat i zweryfikuj go za pomocą aion check, cvc5 lub dowolnego weryfikatora zgodnego z LRAT, gdy tylko repozytorium zostanie opublikowane. Publikacja planowana jest na 1 września 2026 r., a instrukcje instalacji pojawią się wraz z nią.","open-source-aion.dd58b70279":"Dowód jest dostarczany wraz z odpowiedzią","open-source-aion.90e40d5043":"Rozpocznij","open-source-aion.df84637182":"AION","open-source-aion.650fabe787":"Open Source","open-source-aion.close.accent":"aby każdy mógł to sprawdzić bez Ciebie","open-source-aion.close.panel.title":"Co niesie certyfikat","open-source-aion.close.panel.tag":"ENVELOPE","open-source-aion.close.panel.row.0.label":"Envelope","open-source-aion.close.panel.row.0.value":"Jeden kształt, osiem pól","open-source-aion.close.panel.row.1.label":"Rodziny","open-source-aion.close.panel.row.1.value":"Dziewięć zarejestrowanych i możliwość rozszerzenia","open-source-aion.close.panel.row.2.label":"Sprawdzanie","open-source-aion.close.panel.row.2.value":"Ograniczone, bez licencji, bez powtarzania","open-source-aion.close.panel.row.3.label":"Gdzie działa","open-source-aion.close.panel.row.3.value":"Na Twojej stronie, nic nie wychodzi na zewnątrz","open-source-aion.close.panel.foot":"Certyfikat pozostaje mały i można go ponownie zweryfikować po latach.","open-source-aion.ea722c81af":"Europejski","open-source-aion.26803e587f":"W momencie audytu","open-source-aion.15edfb4da4":"Wykonano w","open-source-aion.75f527181b":"Offline","open-source-aion.f8c94a3b4b":"Co to jest","open-source-aion.6b5eb5323e":"Offline, czas liniowy","open-source-aion.a49b62e167":"Dokładne liczby wymierne","open-source-aion.45f053dc73":"Arytmetyka","open-source-aion.4329e5da7b":"11 domen logicznych","open-source-aion.9a948dc88c":"DERIVATION","open-source-aion.e6c67de15e":"Formaty dowodów","open-source-aion.87415af880":"Certyfikaty dowodowe","open-source-aion.9c8c22f54d":"Dowody, nie zapewnienia","open-source-aion.44ab85a252":"Pochodzenie","open-source-aion.3271776def":"Offline, bez usługi","open-source-aion.03128bed90":"Weryfikacja","open-source-aion.4f1428fca3":"Sprzęt, który kontrolujesz","open-source-aion.5703321d0e":"Działa na","open-source-aion.978e9ec250":"Standardowy, przenośny","open-source-aion.3229609e15":"Weryfikacja","open-source-aion.cba0624eb5":"Rekord weryfikacji","open-source-aion.26ef011865":"Zobacz, gdzie działa","open-source-aion.6f696724c6":"Zobacz ścieżkę weryfikacji","open-source-aion.a3f1131acb":"AION to infrastruktura dowodowa dla decyzji AI, publiczna od 1 września 2026 r. Emituje zwięzły dowód obok wyniku AI, a osobny weryfikator sprawdza ten dowód względem pierwotnych przesłanek i akceptuje go lub odrzuca bez modelu, sesji solvera ani sieci.","open-source-aion.a2831cb958":"dla niezależnie sprawdzanych decyzji AI","open-source-aion.78db6d1920":"Infrastruktura dowodowa","open-source-aion.2ff69b9a05":"AION","open-source-aion.2672a489dd":"Nigdy nie ufaj mu ślepo","open-source-aion.4c1c703b94":"Sedno","open-source-aion.2518be9b9c":"Nie jest potrzebne","open-source-aion.4ab2910209":"Twoje konto","open-source-aion.3477f4d91d":"Ta sama odpowiedź","open-source-aion.d7e70b6e08":"To samo pytanie","open-source-aion.930888ee28":"Brak internetu","open-source-aion.d072f5db48":"Sprawdzanie potrzeb","open-source-aion.576347ec82":"Europa","open-source-aion.eeffc514bd":"Nie, inni używają go za Ciebie","open-source-aion.cef1deea41":"Budujesz to","open-source-aion.64ae43e8fe":"Weryfikacja dowodu","open-source-aion.fdd1e56642":"Paragon na odpowiedzi","open-source-aion.704869f20f":"Prostymi słowami","open-source-aion.658a8547d7":"Czy to bezpieczne?","open-source-aion.06c805023d":"Powód, który możesz ze sobą zabrać","open-source-aion.e92ed103c2":"AION dodaje sprawdzalny paragon do odpowiedzi AI. Twój asystent może Ci powiedzieć, czy rozumowanie się trzyma, bez wymagania, abyś rozumiał mechanikę, a paragon można sprawdzić ponownie bez połączenia z internetem. AION jest publiczny od 1 września 2026 roku, w dniu, w którym ukazuje się również jego dokumentacja.","open-source-aion.336366183a":"dla decyzji AI","open-source-aion.41cbc965ef":"Sprawdzalny paragon","open-source-aion.4eabc3bc63":"CDCL z pluginami teorii","open-source-aion.68836c550e":"Rdzeń","open-source-aion.0cdb7c9a36":"Czas liniowy, offline","open-source-aion.dfa8ff7110":"LRAT, DRAT, Alethe, Unified","open-source-aion.aeacbd6e45":"Teorie","open-source-aion.e2ae20d9ae":"Rust","open-source-aion.89b86ab0e6":"Język","open-source-aion.942587e61e":"Karta projektu","open-source-aion.d4a74b503a":"Przeczytaj dokumentację","open-source-aion.b683cc6ce4":"AION otwiera program 1 września 2026 roku: infrastruktura dowodowa dla decyzji AI, z repozytorium i jego dokumentacją opublikowanymi razem. Wyjaśnienia post hoc jedynie proszą Cię o zaufanie kolejnej relacji z tego samego systemu. AION zamiast tego emituje certyfikat dowodu, który każdy weryfikator może sprawdzić offline, w czasie liniowym, bez solvera.","open-source-aion.8f2ee5be83":"Wyniki AI","open-source-aion.376868cca2":"dla niezależnie sprawdzonych","open-source-aion.hero.source":"Zapytaj o wydanie","open-source-aion.45471af790":"Pochodzenie zdarzeń","open-source-aion.ac9835d4bd":"Transkrypty wykonania","open-source-aion.24f43d4446":"Drzewa składniowe","open-source-aion.f6b229e148":"Twoje pliki, Twój sprzęt, Twoje liczby i sprawdzarka, która czyta dowód od obcej osoby","open-source-aion.144fbc96c6":"POLICZONE","open-source-aion.719075bb86":"PARSUJ I ROZWIĄŻ","open-source-aion.8f84ba12df":"TWOJE WŁASNE PLIKI","open-source-aion.8f088dbc07":"To jest dwutygodniowa ewaluacja z pisemnym wynikiem, a nie demonstracja. Korpus jest Twój, sprzęt jest Twój, liczby są Twoje do wewnętrznej publikacji i nic w tym ćwiczeniu nie wymaga rozmowy z nami. Harness jest dostarczany z repozytorium, więc uruchomienie może rozpocząć się w dniu uzyskania dostępu.","open-source-aion.36ef075645":"Poprawność to nie opinia AION o sobie. Każdy plik w standardowym korpusie ma status, o którym wiadomo, że ma, a harness porównuje odpowiedź AION z tą adnotacją instancja po instancji, więc liczba na końcu to wynik względem podanej prawdy podstawowej. Przestrzeń adresowa na uruchomienie może być ograniczona, co zapobiega przejęciu maszyny przez jeden patologiczny plik.","open-source-aion.e5bce47d50":"Co daje pilotaż","open-source-aion.680f97998b":"AION dostarcza harness benchmarkowy, więc liczby, które cytujesz w uzasadnieniu biznesowym, to te, które Twoje własne pliki wygenerowały na Twoim własnym sprzęcie. Wskaż mu korpus, a on rejestruje czas parsowania, czas rozwiązania i szczytową pamięć rezydentną dla każdej instancji, a następnie wypisuje liczbę poprawnych odpowiedzi. Uruchomienie powtarza się na tym samym korpusie, więc drugą ewaluację można zestawić z pierwszą linia po linii.","open-source-aion.2d5f8acea9":"i odczytaj liczby","open-source-aion.5586707b63":"Najpierw uruchom własne pliki","open-source-aion.67ec8d614c":"Zanim się zobowiążesz","open-source-aion.55744ee096":"Nawet z tym wszystkim ktoś zakwestionuje wynik. To wymaga ścieżki, nie spotkania","open-source-aion.80935eb972":"DATED","open-source-aion.43acc44dc6":"OBSERWOWANE NA ŻYWO","open-source-aion.24538c3986":"MARGINES, NIE ALARM","open-source-aion.368f25d10d":"Gdzieś przed tym ostatnim był dzień, kiedy praca była jeszcze na jedno popołudnie, i to jest dzień, który menedżer chce oznaczyć, ponieważ każda opcja po nim kosztuje więcej. Codzienne czytanie marginesu to sposób na znalezienie tego dnia.","open-source-aion.c5701049a8":"Raport ma właściciela, a nie kolejkę, a każda linia na nim oznacza inną pracę z innym priorytetem. Jedna jest ukończona i nie wymaga działania nikogo. Jedna ma cztery dni do końca, co czyni ją planem na ten tydzień, a nie na dziś. Jedna ma jeden dzień do końca, co czyni ją pracą na dziś rano. Jedna minęła termin dwa tygodnie temu, co wymaga przypisania jej nazwiska i zdania wyjaśniającego lukę.","open-source-aion.26435b9406":"Wszystko z terminem można obserwować podczas działania, a AION raportuje pozostałą przestrzeń jako liczbę ze znakiem, a nie jako zaliczenie. Okno odpowiedzi z czterema pozostałymi dniami. Okres retencji dwa tygodnie po terminie, w którym powinien się zamknąć. To jest operacyjny odczyt, na którym ktoś może działać dziś rano. Liczba zmienia się codziennie, więc raport jest czytany jako margines, a nie jako alarm.","open-source-aion.f49579b8d6":"zanim stanie się naruszeniem","open-source-aion.0e185152c8":"Czytasz margines codziennie","open-source-aion.bc09e774e9":"Bieżące zobowiązania","open-source-aion.cff8079f65":"Rekordy odpowiadają na pytania po fakcie. Niektóre zobowiązania wymagają obserwacji podczas działania","open-source-aion.127edee78d":"PODPISANE","open-source-aion.b1c1ba1af8":"LISTA","open-source-aion.8d27ef68f5":"SIEDEM MOŻE SIĘ ZMIENIĆ","open-source-aion.c84f34cb7c":"Atrybucja to drugi mechanizm, a nie kolejna kolumna tego samego rekordu. Podpis jest nakładany na kolejność wyprowadzenia, więc kto wyprodukował wynik, przetrwa zmianę wykonawcy, a dwie identyczne odpowiedzi od dwóch dostawców pozostają rozróżnialne. To działa nawet wtedy, gdy obie zostały wyprodukowane z tych samych zadeklarowanych danych wejściowych.","open-source-aion.a76201631f":"Każdy wpis na tej liście wskazuje komponent, który się zmienił, a przechowywany certyfikat za nim jest kompletny, więc ponowne sprawdzenie to uruchomienie, a nie rekonstrukcja. Alternatywa, którą ma większość organizacji, to wybór między ponownym zbadaniem wszystkiego a niezbadaniem niczego, a w praktyce ten wybór zawsze jest dokonywany w ten sam sposób.","open-source-aion.5c82441a97":"Rekord","open-source-aion.10d9103c24":"Wynik zaakceptowany w zeszłym roku został zaakceptowany na podstawie zeszłorocznej umowy. Siedem różnych rzeczy może się pod nim zmienić: reguła sprawdzarki, schemat certyfikatu, polityka, reguła kompilatora, kontrakt środowiska uruchomieniowego, wersja modelu lub kontrakt symulacji. Gdy jedna z nich się zmieni, pytanie, które przeszłe wnioski opierały się na zmienionej części, ma odpowiedź, a odpowiedzią jest lista.","open-source-aion.1829734913":"dostajesz listę do przerobienia","open-source-aion.6d49555943":"Gdy reguła zmieni się później","open-source-aion.7f325552d8":"Twój dziennik audytu z wersjonowaniem","open-source-aion.d272027f73":"Prowadzenie lokalnego rejestru jest łatwe. Trudniej jest zachować jego sens, gdy zmieniają się zasady","open-source-aion.05a898ec87":"BEZ HOSTINGU MODELU","open-source-aion.c530254e40":"TWOJA STRONA","open-source-aion.66b3dbbe8f":"BEZ POŁĄCZEŃ WYCHODZĄCYCH","open-source-aion.8ae7a1670e":"Dla inspektora ochrony danych, który odpowiada na krótką listę pytań dotyczących tej ścieżki, i tylko tej ścieżki: żadnego procesora do dodania do rejestru, żadnego transferu do uzasadnienia, żadnego dostawcy modelu w łańcuchu i niczego z naszej strony, co mogłoby być niedostępne podczas Twojego incydentu lub zmieniać się pod Tobą zgodnie z cudzym harmonogramem wydań. Wersja, którą masz, to wersja, która będzie działać w przyszłym roku. Ta odpowiedź brzmi tak samo, czy strona jest podłączona do sieci, czy odcięta od niej.","open-source-aion.60ad7ae15b":"Dwie ścieżki mogą przekraczać granicę i obie możesz skonfigurować. Klaster działa na adresach, które sam ustawisz. Zewnętrzny dowódca, jeśli chcesz go mieć w pętli, to program, który instalujesz i który działa jako lokalny proces na Twojej własnej maszynie.","open-source-aion.2f6a307ba7":"Dla operatorów","open-source-aion.dbc08c41b9":"Domyślna wersja AION nie zawiera klienta wychodzącego. Sprawdzanie dowodu, tłumaczenie wymagania, monitorowanie sygnału i uruchamianie wyszukiwania odbywają się na maszynie, na której je uruchomiłeś, wewnątrz Twojej własnej granicy, na sprzęcie, który kontrolujesz. W łańcuchu nie ma hostowanego modelu ani drogi do niego. Ta sama wersja działa w pomieszczeniu odciętym od sieci, jak i w podłączonym, ponieważ nic na domyślnej ścieżce nie potrzebuje sieci, aby ukończyć działanie.","open-source-aion.90c790a231":"i nic nie wykonuje połączeń wychodzących","open-source-aion.4b9230d5db":"Wszystko działa na miejscu","open-source-aion.fe7f7fc61a":"Gdzie odbywa się praca","open-source-aion.ed461cacdf":"Dowód dotyczący zasad to jedno. Gdzie praca się wykonuje, to kolejne pytanie, które ludzie zadają","open-source-aion.640d41197b":"JEDEN PRZEPROWADZONY","open-source-aion.29ff0fb82f":"SIEDEM STWIERDZEŃ","open-source-aion.431d64456a":"To jest stwierdzenie o zbiorze zasad, a nie próbka przeszłych przypadków. Przetestowanie tysiąca aplikacji pokazuje tysiąc aplikacji; sprawdzenie braku interferencji obejmuje każdą parę, na którą zasady pozwalają, używając samokompozycji, osiągalności sterowanej właściwościami i k-indukcji, z zawężeniem abstrakcji wszędzie tam, gdzie para pokazała, że była zbyt luźna. Gdy nie zachodzi, to, co wraca, nie jest statystyką. To dwie aplikacje identyczne we wszystkich publicznych polach, różniące się tylko tym, o które pytasz, z dwoma różnymi wynikami wydrukowanymi obok siebie. To jest ustalenie, na którym inspektor ds. zgodności może działać tego samego ranka.","open-source-aion.e5e1cd5506":"Weź to, o co regulatorzy i skarżący pytają najczęściej, różnymi słowami: czy to pole zmieniło wynik? Odpowiedź jest udzielana jako właściwość dwóch przebiegów. Połącz wszystkie publiczne dane wejściowe, pozostaw pole, o które chodzi, wolne po każdej stronie, i wymagaj, aby widoczny wynik się zgadzał. Jeśli zawsze się zgadza, wynik nie zależał od tego pola.","open-source-aion.227872d789":"Jedno z nich, przepracowane","open-source-aion.5f92fd5ed1":"Certyfikat jest interesujący tylko ze względu na zdanie, które pozwala ci wypowiedzieć. Ten plik binarny odpowiada temu grafowi źródłowemu. To obciążenie działało w ramach tych możliwości. Ta akcja miała wymaganą zgodę. To optimum spełnia tę granicę. Ta trajektoria respektowała te niezmienniki. Ten wniosek wynika z tych ograniczeń. Ten wynik pochodzi z tego dokładnego modelu i zestawu parametrów.","open-source-aion.418a3bc2fc":"przedstawione przed regulatorem","open-source-aion.7a7af31402":"Siedem stwierdzeń, które możesz","open-source-aion.a13c1cf72d":"Co możesz faktycznie udowodnić","open-source-aion.20467ce964":"Sprawa dotyczy jednej aplikacji. Niektóre pytania dotyczą dwóch naraz","open-source-aion.dde18d1e41":"KTO TO POSIADA","open-source-aion.f3b603a5b2":"W WARTOŚCIACH","open-source-aion.53d2799375":"PRZYPADEK","open-source-aion.f18bb15530":"Oba są ustaleniami i oba mają właściciela. Żadne z nich nie jest dostępne z wyniku pozytywnego lub negatywnego. Kontrprzykład mówi ci, który z nich trzymasz.","open-source-aion.d83e9c1af9":"Kontrprzykład kończy również argumenty, które w przeciwnym razie trwałyby tygodniami, ponieważ nie jest to niczyja opinia na temat tego, czy zasada jest zbyt surowa. To jest przypadek, narysowany w rzeczywistych wartościach, na których działa zasada. Albo ten przypadek jest możliwy gdzieś w Twojej firmie, w którym to przypadku zasada jest słuszna, a system jest błędny, albo przypadek nie może wystąpić, w którym to przypadku specyfikacja brakuje ograniczenia, które wszyscy zakładali, a nikt nie zapisał.","open-source-aion.7455444aea":"Gdy zasada nie zachodzi, AION zwraca konkretną sytuację, która ją łamie, zapisaną jako proza: które wartości, jakiego rodzaju i jakie warunki naruszają. Inżynier może to odtworzyć, a menedżer może to wycenić, i po raz pierwszy oboje spierają się o ten sam przypadek.","open-source-aion.7d4873637b":"jako przypadek, który ją złamał","open-source-aion.aeb268fac7":"Złamana zasada wraca","open-source-aion.b5951203ea":"Co daje ci porażka","open-source-aion.8a9a27b8f7":"Co pozostawia zdania, które mogą znaczyć dwie rzeczy, i o nie pytają","open-source-aion.e1814a04c0":"MOŻLIWE DO PRZEGLĄDU","open-source-aion.20e7dea6cd":"ZWYKŁE CZYTANIE","open-source-aion.295ea7bb80":"ZACHOWANY ANGIELSKI","open-source-aion.a4abbaea33":"Tłumaczenie jest biblioteką wzorców, a nie modelem, więc to samo zdanie zawsze daje to samo odczytanie, a przegląd nie musi być powtarzany, ponieważ narzędzie zmieniło zdanie między kwartałami. Drugi recenzent czytający to samo zdanie dochodzi do tego samego warunku, co czyni przegląd przenośnym.","open-source-aion.f3689055f1":"Każdy warunek jest dostarczany z jednym zdaniem prostego angielskiego wyjaśniającym, co koduje, oraz z wielkościami, na których działa, każda nazwana rodzajem wartości, którą przechowuje, i własną linią opisu. Dzięki temu przegląd może być wykonany przez osobę, która jest właścicielem wymagania, a nie tylko przez osobę, która jest właścicielem notacji.","open-source-aion.cac3da045e":"Jak to działa","open-source-aion.c6b765e4cc":"Wymagania piszą ludzie, którzy rozumieją biznes, a na warunki zamieniają je osoby znające notację, po czym obie wersje przez lata się rozjeżdżają. AION trzyma je razem: wymaganie zapisujesz jako angielskie zdanie, a warunek z niego powstały niesie to zdanie ze sobą. Osoba weryfikująca czyta oba naraz, więc rozjazd widać na stronie, a nie w incydencie.","open-source-aion.589a38f560":"do osoby, która zapytała","open-source-aion.5d212c3d75":"Reguła pozostaje czytelna","open-source-aion.5373332e20":"Kto może przeczytać, co sprawdzono","open-source-aion.5f882ec681":"Odniesienie jest przydatne tylko wtedy, gdy regułę, na którą wskazuje, mogą przeczytać twoi ludzie","open-source-aion.bca8d6442c":"KONKRETNE DZIAŁANIE","open-source-aion.705bc98c49":"WSKAZUJE REGUŁĘ","open-source-aion.ab9f5d57e4":"WSKAZUJE KROK","open-source-aion.b4ba975800":"Rozdzielenie tych rzeczy pozwala w ogóle wysłać odmowę dostawcy, bo oskarżenie to jedyna rzecz, której nie da się po cichu wycofać z relacji z dostawcą.","open-source-aion.7a47f854de":"Taki kształt pozwala audytorowi lub menedżerowi ds. dostawców działać, bo zamienia spór w odniesienie. AION rozdziela też dwie porażki, które przychodzą pod jednym słowem. Albo kroku nie da się odtworzyć, co jest wadą dowodu i zastrzeżeniem wobec tego, kto go wyprodukował, albo krok używa reguły, której ten sprawdzacz nie ma, co jest kwestią zakresu dla ciebie, a nie zastrzeżeniem wobec nikogo.","open-source-aion.d9469b7dda":"Porażka, która brzmi „weryfikacja nie powiodła się”, nie da się przypisać, zakwestionować ani naprawić, i przychodzi jako spór, a nie zastrzeżenie. AION zwraca lokalizację i powód: który krok, w którym pliku, którą regułę rzekomo stosował i czego brakowało, gdy krok był ponownie odtwarzany. Odmowa może wrócić do zespołu produkującego z adresem nadającym się do odtworzenia. Jeśli dowodu nie da się zrekonstruować, odpowiedzialność leży po stronie producenta; jeśli sprawdzaczowi brakuje wskazanej reguły, to decyzja o zakresie. To różne kolejki i różne naprawy.","open-source-aion.ccc6a09991":"z krokiem i powodem","open-source-aion.3619f211ef":"Nieudane sprawdzenie wraca","open-source-aion.29801085dc":"Wynik, który musi być użyteczny","open-source-aion.57c6ba11fc":"Siedmiu producentów trzyma własne wyniki. AION standaryzuje kopertę i routing dla swojej ewidencji.","open-source-aion.f37804f36b":"JEDNA KOPERTA","open-source-aion.8a3b4bf313":"SIEDMIU PRODUCENTÓW","open-source-aion.479f1de8ea":"Wspólna koperta daje organizacji jeden rejestr, jeden model zgodności i jeden zestaw dotkniętych elementów, gdy zmienia się reguła. Każda rodzina certyfikatów zachowuje własny weryfikator i zasady odmowy. Nowa rodzina dołącza, rejestrując te zasady i swój weryfikator; AION nie staje się producentem. Rejestr to część, która rośnie.","open-source-aion.5b958e86c7":"Solver może emitować certyfikaty logiczne, optymalizacyjne lub czasowe. Twin i FMI dają różne wyniki, ale dzielą rodzinę symulacji i FMI. Producent mówi, co powstało; rodzina certyfikatów mówi, jak sprawdzane jest jej roszczenie. Te dwie rzeczy są zapisywane osobno, więc żadnej nie można odczytać z drugiej.","open-source-aion.57e1cc2701":"Co zmienia jedna koperta","open-source-aion.8bd8b74c55":"Solver, Loom, Nexus, Kera, Selvedge, Twin i FMI to siedmiu producentów różnych wyników, a nie siedem rodzin certyfikatów. AION daje ich ewidencji jedną kopertę i kieruje każdy certyfikat do weryfikatora właściwego dla rodziny. Koperta niesie producenta, rodzinę, schemat i zadeklarowane wejścia, a weryfikator rodziny zachowuje znaczenie techniczne. Dostawca może zmienić swoją implementację bez zmiany granicy ewidencji organizacji; tylko zmiana rodziny lub schematu poszerza przegląd zgodności.","open-source-aion.65a41e884e":"jedna koperta dla ewidencji","open-source-aion.837663a52a":"Siedmiu producentów i","open-source-aion.647e0f46ec":"Siedmiu producentów","open-source-aion.af6010147d":"Jeden dostawca to jedna relacja. Ciekawe pytanie brzmi, jak daleko to sięga","open-source-aion.35ecafecfb":"TWOJA MASZYNA","open-source-aion.0676f9f8de":"TRZY RZECZY","open-source-aion.dfc87eabb4":"To przenosi rozmowę z poziomu, na którym dostawcy czują się swobodnie. Nie prosisz ich już, żeby cię przekonali, i nie płacisz za odtwarzanie ich środowiska. Gdy masz te trzy rzeczy, sprawdzenie należy do ciebie i możesz je powtarzać, kiedy chcesz, na dowolnym sprzęcie, także w tydzień po zakończeniu umowy.","open-source-aion.7677ed77e3":"Warto być precyzyjnym co do artefaktu, bo nie zawsze jest to plik. W zależności od rodziny może to być plik, archiwum, strumień, podpisany pakiet, para śladów, świadek, potwierdzenie wykonania lub strukturalne wyprowadzenie. Zawsze jednak, niezależnie od kształtu, jest to coś, co weryfikator może odczytać bez obecności producenta.","open-source-aion.a29def781f":"Czym właściwie jest certyfikat","open-source-aion.fdca1fef67":"Certyfikat to nie log i nie streszczenie. To ewidencja, którą pozostawiła praca, a to, co dostawca przekazuje, to trzy rzeczy: roszczenie, zadeklarowane wejścia i umowa, na podstawie której powstało, oraz certyfikat wyprodukowany przez system. Nie ich licencja, nie ich wersja, nie ich maszyna. Te trzy rzeczy podróżują razem, a do ich sprawdzenia nie potrzeba niczego więcej od dostawcy.","open-source-aion.b054d236cd":"a nie ich oprogramowania","open-source-aion.53e1575f60":"Sprawdzasz certyfikat","open-source-aion.5e40f4ba8a":"Zmiana pozycji","open-source-aion.b9e2767b28":"Istnieje droga, która nie jest ani wiarą w nich, ani ponownym uruchamianiem ich oprogramowania","open-source-aion.7d87348ad6":"TWOJE NAZWISKO NA TYM","open-source-aion.48a5aca907":"ICH SYSTEM","open-source-aion.32c3cafa08":"To jest pozycja, na którą patrzy audytor, gdy pyta, jak się upewniłeś, także w ramach zasad dotyczących dowodów, takich jak te z unijnego aktu o sztucznej inteligencji. AION to zmienia, dając każdemu z tych wyników certyfikat, który możesz sprawdzić, bez odtwarzania dostawcy i bez dostępu do niczego, co uważają za swoje. Sprawdzenie odbywa się na twojej własnej maszynie, wyłącznie na podstawie certyfikatu.","open-source-aion.ac90e72b2c":"Zwykłe drogi wyjścia kończą się w tym samym miejscu. Możesz poprosić o ich dowody, czyli dokument, który napisali o własnym oprogramowaniu. Albo możesz poprosić o odtworzenie ich systemu samodzielnie, co wymaga ich licencji, ich wersji i ich środowiska, a i tak pozostawia cię zależnym od tego, co wyprodukowało odpowiedź.","open-source-aion.fc63c534d2":"Rozwiązywacz mówi, że harmonogram jest wykonalny. System AI osiąga regulowany wniosek. System agentowy wykonuje operację w twoim imieniu. Kompilator produkuje artefakt krytyczny dla bezpieczeństwa. Środowisko uruchomieniowe wykonuje kontrolowane obciążenie. Symulacja potwierdza decyzję projektową. Cyfrowy bliźniak raportuje, że stan operacyjny jest bezpieczny. W każdym z tych przypadków praca wydarzyła się gdzie indziej, a konsekwencje spadają na ciebie.","open-source-aion.c9672e2ac8":"twoje imię jest na odpowiedzi","open-source-aion.925d7b4a2d":"Ich system to wyprodukował","open-source-aion.47b025f850":"Gdzie leży odpowiedzialność","open-source-aion.905aee629b":"Działanie, powód, który możesz przeczytać, i ta sama zasada dla wszystkich, których dotyczy","open-source-aion.4d0ee37058":"DATA","open-source-aion.6ccb4a6f6a":"TEN SAM POWÓD","open-source-aion.84adcc762b":"TA SAMA KONTROLA","open-source-aion.56c6f422d8":"To jest list, który ktoś może napisać. Zamiast mówić, że system zdecydował, możesz zacytować zasadę, podać datę, podać wersję i zapytać osobę, która ją napisała, czy o to jej chodziło.","open-source-aion.073cdea47b":"To ma wartość tylko wtedy, gdy możesz to zobaczyć, więc zostajesz z trzema rzeczami, których możesz użyć. Zasada, zwykłymi słowami, które możesz przeczytać na głos. Powód, dla którego dotyczyła ciebie, cytujący tę zasadę z twoją własną sytuacją. I data, kiedy działanie zostało sprawdzone. Ten zapis podaje, co je sprawdziło i przeciw której wersji zasad zostało sprawdzone.","open-source-aion.a50f912efb":"Co możesz z tym zrobić","open-source-aion.1d94c73b03":"Podaj to samo działanie AION dwa razy, a kontrola wyjdzie tak samo, w poniedziałek i w piątek, dla ciebie i dla osoby za tobą w kolejce. Nie chodzi o to, że wszyscy dostają tę samą odpowiedź, bo ludzie przynoszą różne sytuacje. Chodzi o to, że sama kontrola nie błądzi i nikt nie interpretuje twojej sprawy na miejscu. Rok później to samo działanie jest sprawdzane przez te same pisemne zasady, więc odpowiedź, którą otrzymałeś, nadal może być wyjaśniona.","open-source-aion.fba7a52bf4":"w poniedziałek i w piątek","open-source-aion.77a3327a99":"Sprawdzone w ten sam sposób","open-source-aion.cebde51ae2":"Co ci zostaje","open-source-aion.a566f0cb1b":"Czas jest jednym rodzajem zasady. Większość z nich to zwykły rodzaj, stosowany do wszystkich","open-source-aion.29231cd04d":"W DOBRYM CZASIE","open-source-aion.d89f7642e7":"OBSERWOWANE","open-source-aion.5d491ce50f":"POZOSTAŁE DNI","open-source-aion.c50722f442":"Ta sama interpretacja działa po dacie, tak samo jak przed nią. Czternaście dni temu to fakt, o który można kogoś zapytać, z datą, a nie czerwony znak, który pojawił się bez ostrzeżenia.","open-source-aion.0b1cbd5f8a":"Zaliczenie nic ci nie mówi, dopóki nie przestanie być zaliczeniem, a wtedy tanie opcje już zniknęły. Liczba mówi ci, gdzie jesteś: dwadzieścia dwa dni to notatka w kalendarzu, cztery dni to ten tydzień, jeden dzień to dziś rano.","open-source-aion.af41b675b0":"Co ci to daje","open-source-aion.2ff91b62ec":"Zasady z zegarem w środku to te, które łapią ludzi. Odpowiedź należna w ciągu trzydziestu dni, okno zwrotu, okres po którym coś musi zostać usunięte. AION obserwuje je, gdy działają, i raportuje, ile miejsca zostało dzisiaj, jako liczbę dni.","open-source-aion.94dc6c2b80":"na długo przed ostatnim","open-source-aion.6bdbc0422a":"Możesz zobaczyć pozostałe dni","open-source-aion.37f768721f":"Terminy, które cię dotyczą","open-source-aion.e3c2d4b24a":"Praca na miejscu oznacza również, że może pilnować zegara za ciebie","open-source-aion.4ace2cc9bc":"BEZ KONTA","open-source-aion.c5c3055a7b":"NIC NIE WYSŁANE","open-source-aion.a5b9137c2b":"ZOSTAJE TUTAJ","open-source-aion.874bab5372":"Jeśli w ogóle jest połączenie, to takie, które ktoś celowo ustawił między własnymi maszynami, i jest wyłączone, dopóki tego nie zrobi. Twoje zdanie jest czytane przez pisemne zasady, w tym samym pokoju co ty, a odpowiedź przychodzi z odłączoną linią. Nic nie opuściło maszyny, aby to wyprodukować, i nic nie zostało wysłane.","open-source-aion.4a03f17947":"Bez konta, bez rejestracji i bez zewnętrznej usługi, która musi działać, być godna zaufania lub nadal istnieć w przyszłym roku, abyś otrzymał odpowiedź.","open-source-aion.f10eb79b5b":"Co to dla ciebie znaczy","open-source-aion.c17d4e01b4":"Wiele narzędzi odpowiada na pytanie o ciebie, wysyłając twoje dane i czekając na odpowiedź. Twoje informacje podróżowały do firmy, której nie wybrałeś, być może do kraju, którego nazwy nigdy nie usłyszysz. AION wykonuje pracę tam, gdzie już jest. Nic nie jest wysyłane, bo nie ma czym wysłać.","open-source-aion.9e50609149":"na maszynie, przy której jesteś","open-source-aion.ca67037369":"Odpowiedź jest obliczana","open-source-aion.7df600af96":"Dokąd trafiają twoje dane","open-source-aion.399483042a":"Bycie zapytanym to połowa. Druga połowa to to, co ci mówią, gdy odpowiedź brzmi nie","open-source-aion.0b5b7048ea":"TY WYBIERASZ","open-source-aion.f12c755afa":"PYTA CIĘ","open-source-aion.300453f44e":"DWA ZNACZENIA","open-source-aion.6debd2c487":"Co brzmi jak drobna uprzejmość. To różnica między zasadą, na którą się zgodziłeś, a zasadą, którą ktoś zgadł w twoim imieniu, w pośpiechu, w dniu, kiedy cię nie było. Zgadywanie to zwykły sposób, w jaki to się robi, i nikt nigdy nie jest informowany, że to się stało. Pytanie kosztuje chwilę i usuwa zgadywanie z zapisu.","open-source-aion.6f02dd9d43":"AION zatrzymuje się i pyta. Cytuje ci słowa, co do których nie jest pewien, przedstawia oba odczytania w prostym języku, stawia pytanie z twoim własnym zwrotem w środku i czeka. Ty wybierasz. Nic nie jest decydowane, dopóki pytanie jest otwarte.","open-source-aion.0ccfcd0de4":"Co się zmienia","open-source-aion.b3124516ab":"„Anuluj, jeśli opóźnienie przekracza jedną godzinę.” Czy opóźnienie siedemdziesięciu pięciu minut to więcej niż jedna godzina, czy godziny są liczone w całości, więc siedemdziesiąt pięć minut to jedna godzina, a jedna godzina nie jest więcej niż jedna? Oba odczytania to zwykły angielski. Różnią się co do dokładnie jednego przypadku, a ten przypadek się pojawi.","open-source-aion.4449c95cf9":"oznaczać dwie rzeczy, pyta","open-source-aion.75ca04ac1b":"Jeśli twoje zdanie mogłoby","open-source-aion.2297deb89a":"Gdy twoje zdanie jest niejasne","open-source-aion.32cf0852b8":"Zdanie może też znaczyć dwie rzeczy naraz, i warto się przy nim zatrzymać","open-source-aion.b5d2541ad8":"BEZ ŻARGONU","open-source-aion.3b7c198e57":"TO WRACA","open-source-aion.c4cc4b9845":"WŁASNE SŁOWA","open-source-aion.5c9a5c3396":"A gdy to samo zdanie przeczyta się ponownie, daje dokładnie tę samą regułę, bo nic w AION nie uczy się, nie dryfuje ani nie wpada na lepszy pomysł w międzyczasie. Reguła, na którą raz się zgodziłeś, pozostaje regułą, na którą się zgodziłeś, a osoba, która ją otrzymuje, czyta Twoje zdanie, a nie czyjeś streszczenie. Nic po drodze nie zamienia go w cudze słowa.","open-source-aion.ba41f25c15":"Z zachowania zdania wynikają dwie rzeczy. Możesz stwierdzić, czy zostało zrozumiane w dniu, w którym je napisałeś, czytając je, zamiast dowiadywać się o tym z incydentu rok później.","open-source-aion.c19473d784":"Napisz regułę zwykłymi słowami, a AION zachowa te słowa. To brzmi jak drobna uprzejmość, aż do dnia, w którym ma to znaczenie: miesiące później, gdy coś zostanie zatrzymane z powodu tej reguły, zdanie, które napisałeś, wraca na górę wyjaśnienia, w słowach, które wybrałeś.","open-source-aion.4c0e51d183":"powiedziałbyś to na głos","open-source-aion.dcf65c0f8a":"Napisz regułę tak, jak","open-source-aion.e1a651b90e":"Mówienie, czego chcesz","open-source-aion.beda6f7681":"Ponowne przeliczenie sumy wymaga zapisanej sumy. Tak samo jest z regułą, a Twoja może być zdaniem","open-source-aion.ef6371cd2e":"TO ZATRZYMUJE","open-source-aion.47ce22a1f7":"KROK PO KROKU","open-source-aion.9195df51f1":"DRUGIE CZYTANIE","open-source-aion.b66352de76":"Zatrzymanie to ważna połowa. Każdy może się z Tobą zgodzić. Coś, co się zatrzyma i wskaże linię, jest warte posiadania, a takich rzeczy jest bardzo mało.","open-source-aion.e04fafc8fc":"AION dodaje kolumnę jeszcze raz. Nie dla rachunków, ale dla trudniejszego rodzaju pracy, którą wykonują maszyny, gdy decydują, że coś jest dozwolone, bezpieczne lub niemożliwe, gdy coś budują, gdy uruchamiają coś w Twoim imieniu lub gdy obliczają, co by się stało, zanim ktokolwiek to wypróbuje. Czyta obliczenia zapisane przez pierwszą maszynę, samodzielnie powtarza każdy krok i zatrzymuje się na pierwszym, którego nie może doprowadzić do końca.","open-source-aion.b55b759c73":"Gdy rachunek wygląda na błędny, nie dyskutujesz o tym, czy suma jest poprawna. Sam dodajesz kolumnę jeszcze raz. Jeśli otrzymasz tę samą liczbę, suma się utrzymuje. Jeśli zatrzymasz się na czwartej linii, bo nie działa, możesz wskazać dokładnie tę linię, a argument kończy się jednym zdaniem.","open-source-aion.59141b0dfa":"zamiast polegać na Twoim słowie","open-source-aion.fa22d5033b":"Ktoś przelicza sumę","open-source-aion.333a6c87f2":"zmiana tworzy zbiór dotkniętych elementów i kolejkę, a nie cichą reinterpretację przeszłości","open-source-aion.0eecb96558":"to pięć faktów","open-source-aion.59e22ed738":"wyprodukowany, podpisany, zweryfikowany, zaakceptowany i nadal zgodny","open-source-aion.d78c662e5b":"sprawdzone, nie założone","open-source-aion.5b44284acd":"nadal zgodny z","open-source-aion.cc4bc74f90":"z wersją kontraktu","open-source-aion.3bb51eeea5":"zaakceptowany na podstawie","open-source-aion.72954f75cf":"z wersją weryfikatora","open-source-aion.3741770a87":"zweryfikowany przez","open-source-aion.7fc7c8aef9":"na podstawie skrótu kolejności wyprowadzania","open-source-aion.d2a7817a72":"podpisany przez","open-source-aion.9d7c5e8097":"z wersją","open-source-aion.8fffa5fcb8":"wyprodukowany przez","open-source-aion.756e62f03a":"Jeden wynik, pięć faktów","open-source-aion.2b8be4ecd3":"Atrybucja działa na własnym mechanizmie: podpis Ed25519 na skrócie BLAKE3 kolejności wyprowadzania, z monotonicznym nonce i znacznikiem czasu, możliwy do sprawdzenia za pomocą klucza publicznego producenta. Akceptacja działa na innym, niosąc tożsamość i wersję weryfikatora oraz wersję kontraktu, którą przyznał. Gdy cokolwiek pod spodem się zmienia, reguła sprawdzania, schemat certyfikatu, polityka, reguła kompilatora, kontrakt wykonawczy lub wersja modelu, certyfikaty, które zadeklarowały zależność od tego, tworzą zbiór dotkniętych elementów i są umieszczane w kolejce do ponownego sprawdzenia, z nazwą zmienionego komponentu.","open-source-aion.6b8169d142":"Werdykt sam w sobie to słowo bez autora. Pięć faktów, które zwykle zlewają się w jeden, jest tutaj rozdzielonych: kto wyprodukował wynik, kto go podpisał, co go zweryfikowało, na podstawie którego kontraktu został zaakceptowany i czy jest nadal zgodny z regułami obowiązującymi dziś. To pięć różnych pytań, a cztery z nich przetrwają zmianę dostawcy.","open-source-aion.2cd4b335f4":"Sprawdzacz to weryfikuje.","open-source-aion.d15fbc9566":"Nic nie jest weryfikowane.","open-source-aion.481d0fc02c":"Cały argument","open-source-aion.ca75c84634":"Każdy certyfikat tutaj kończy się jako jeden rekord, a rekord trzyma swoje fakty osobno","open-source-aion.3ecc9abb23":"ROZSZERZALNY","open-source-aion.8112bd91bc":"ODIZOLOWANY POWIETRZNIE","open-source-aion.9be34046ca":"LOCAL","open-source-aion.ae61af8b9c":"Gdy pojedyncza weryfikacja jest naprawdę zbyt duża dla jednej maszyny, praca dzieli się na kostki na różnych maszynach ze współdzieleniem klauzul między nimi, a złożony wynik jest akceptowany tylko po sprawdzeniu pokrycia: żadne dwie kostki nie mogą naprawiać tego samego zbioru literałów, a to, co obejmują, musi sumować się do całej przestrzeni, a nie do prawie całej. Połączenie krótsze o jeden to odmowa, co jest tą samą dyscypliną co wszędzie indziej w produkcie. Poza tym rejestr weryfikatorów i API rozszerzeń to sposób, w jaki rodzina certyfikatów, której nikt tutaj nie napisał, jest tutaj sprawdzana.","open-source-aion.04cd68c7fb":"Tylko dwie rzeczy mogą przekroczyć granicę i obie są skonfigurowane przez Ciebie. Klaster działa na adresach, które ustawisz. Zewnętrzny producent to program, który instalujesz i uruchamiasz jako proces lokalny. W całym łańcuchu nie ma hostowanego modelu ani żadnej naszej usługi, która mogłaby być niedostępna podczas Twojego incydentu lub zmieniać się pod Tobą według cudzego harmonogramu wydań. Odizolowany powietrznie majątek weryfikuje dokładnie tak samo jak podłączony, ponieważ weryfikacja nigdy nie potrzebowała producenta.","open-source-aion.ac1913e46c":"Dwie ścieżki wyjścia, obie Twoje","open-source-aion.c2193fefe2":"Weryfikacja to obliczenie jak każde inne, a to, gdzie działa, jest Twoją decyzją. AION publikuje 1 września 2026: gdy repozytorium będzie publiczne, podłącz bibliotekę, uruchom polecenie lub postaw usługę we własnej granicy. Domyślna kompilacja nie zawiera klienta wychodzącego, więc sprawdzenie certyfikatu nie wymaga konta, dostawcy ani trasy poza maszynę, na której się rozpoczęło.","open-source-aion.72d09c5994":"usługa lub enklawa","open-source-aion.f8ac38e647":"Biblioteka, polecenie","open-source-aion.604918db00":"Gdzie przebiega weryfikacja","open-source-aion.c07ebfbab5":"Archiwum pozostaje w bezruchu. Ostatnie pytanie brzmi: gdzie to wszystko faktycznie działa","open-source-aion.d34941b7ce":"INDEKSOWANE","open-source-aion.79ae623ce9":"ADRESOWANE TREŚCIĄ","open-source-aion.0f7d1ea9ca":"Częścią, którą trzeba zbudować, a nie założyć, jest indeks. Gdy zmienia się reguła kontrolera, schemat certyfikatu, polityka, reguła kompilatora, kontrakt środowiska wykonawczego lub wersja modelu, certyfikaty, których ważność zależała od zmienionego komponentu, znajduje się przez wyszukiwanie, a nie przez skanowanie wszystkiego i liczenie na szczęście. Zależności są deklarowane w kopercie, więc zbiór dotkniętych certyfikatów to zapytanie, a kolejka ponownej weryfikacji to jego wynik, przy czym przy każdej pozycji podano nazwę zmienionego komponentu. Alternatywa, którą faktycznie ma większość organizacji, to wybór między ponownym sprawdzeniem wszystkiego a niesprawdzeniem niczego.","open-source-aion.144711734a":"Pamięć masowa jest użyteczna tylko wtedy, gdy czytelnik, który przeszedł dalej, nadal może ją otworzyć, dlatego każdy rekord niesie podpis producenta, tożsamość i wersję weryfikatora, który go zaakceptował, wersję kontraktu, na podstawie której został zaakceptowany, oraz zależności, na których się opiera. Test zgodności jest uruchamiany przy ponownym odczycie.","open-source-aion.22f96be502":"Zbiór dotkniętych certyfikatów to prawdziwy indeks","open-source-aion.a1b04ec691":"Certyfikaty, które warto przechowywać, to te, o które zostaniesz zapytany lata później. AION przechowuje zaakceptowany certyfikat zwięźle i pod adresem treści: identyfikatory przechowywane jako różnice, powtarzające się wzorce kodowane długością serii, identyczne poddowody hashowane i przechowywane raz, a całość adresowana treścią, a nie miejscem, w którym ktoś ją umieścił. Adres treści pozwala czytelnikowi, który przeszedł dalej, znaleźć ten sam certyfikat ponownie i sprawdzić go drugi raz, lata po uruchomieniu, które go wyprodukowało.","open-source-aion.c017c017d7":"i pozostaje możliwy do ponownego sprawdzenia","open-source-aion.2e10b84b57":"Certyfikat pozostaje mały","open-source-aion.9263a81467":"Przechowywanie tego, co zostało sprawdzone","open-source-aion.1f029bacad":"Sześć rodzin, a każda z nich trafia do tego samego rekordu","open-source-aion.1deb4d4a29":"TRAJEKTORIA","open-source-aion.f8d5b44c34":"NIEWZRUSZALNIKI","open-source-aion.52dd7acef9":"ZGODNOŚĆ","open-source-aion.24d7374cb9":"Oddzielenie tych rzeczy od siebie sprawia, że pierwsze dwie są cokolwiek warte. Zapewnienie, które po cichu sugeruje trzecią, to to, które zawodzi przed regulatorem, a certyfikat, który nazywa własną granicę, to ten, który przetrwa spotkanie.","open-source-aion.0e4ffe42fa":"Symulacji zadaje się trzy różne pytania, a uczciwe przyznanie, na które dwa można tu odpowiedzieć, stanowi całą zawodową treść tej sekcji. Zgodność wykonania pyta, czy zadeklarowany model, parametry i konfiguracja faktycznie wyprodukowały tę trajektorię, i to można sprawdzić. Sprawdzanie właściwości matematycznych pyta, czy podane niezmienniki zachowują się w trakcie przebiegu, i to również można sprawdzić, a w przypadku niepowodzenia zwracany jest ślad, a nie werdykt. Fizyczna ważność pyta, czy model reprezentuje świat rzeczywisty, i żaden certyfikat tego nie ustala. To należy do właściciela modelu i należy do niego na stałe.","open-source-aion.bb70d13ca4":"Granica, o którą ta sekcja dba","open-source-aion.ac558913f9":"Wynik symulacji jest używany do podejmowania decyzji długo po zakończeniu przebiegu. Certyfikat niesie tożsamość modelu i FMU, zestaw parametrów, stan początkowy, konfigurację solvera, sekwencję kroków czasowych lub zdarzeń, przejścia stanów, wykonane sprawdzenia niezmienników, status zbieżności lub zakończenia, hash wynikowej trajektorii oraz ślad kontrprzykładu, gdy właściwość zawodzi.","open-source-aion.1c9f5f0f21":"odpowiada dokładnie na dwa z nich","open-source-aion.242c47d00a":"Trzy pytania i to","open-source-aion.a635f9edf3":"Twin i FMI, certyfikowane","open-source-aion.43f8bc442f":"Wykonanie to jeden przebieg jednej rzeczy. Symulacja robi ich miliony naraz","open-source-aion.d3a968f797":"IDENTYFIKATOR WYJŚCIA","open-source-aion.d79014995c":"POŚWIADCZONE","open-source-aion.2fbbf64505":"MOŻLIWOŚCI","open-source-aion.51fd9d7843":"Determinizm sprawia, że resztę można sprawdzić. Ponieważ przejścia są deterministyczne przy danych module, danych wejściowych i uprawnieniach, weryfikator może za nimi podążać bez ponownego wykonywania obciążenia w jego oryginalnym środowisku, a dwa przebiegi, które twierdzą, że mają tę samą tożsamość wyjścia z tych samych danych wejściowych, albo się zgadzają, albo wskazują przejście, w którym przestały się zgadzać. To w praktyce poświadczenie środowiska wykonawczego: co działało, pod jakim autorytetem, możliwe do sprawdzenia bez ponownego uruchamiania.","open-source-aion.0d0fd79859":"Większość pytań zadawanych o obciążenie po fakcie to tak naprawdę pytania o jego autorytet. Do czego ta rzecz mogła dotrzeć podczas działania i czy dotarła do czegoś innego. Certyfikat, który niesie nadane możliwości wraz z przejściami, odpowiada na to bez czytania logów przez kogokolwiek i odpowiada komuś, kto nie obsługuje środowiska wykonawczego.","open-source-aion.890c61e134":"Dlaczego zestaw możliwości jest interesującym polem","open-source-aion.1331fa2052":"Status wyjścia mówi, że obciążenie się zakończyło. Certyfikat wykonania mówi, co się zakończyło: tożsamość obciążenia i modułu, wersja środowiska wykonawczego, posiadane nadane możliwości, otrzymane dane wejściowe, deterministyczne przejścia stanów, przez które przeszło, limity zasobów, w których działało, tożsamość wyprodukowanego wyjścia oraz to, czy zakończyło się normalnie, czy zatrzymało. Każde z tych pól to pole, na podstawie którego można odpowiedzieć na późniejsze pytanie, bez wracania do maszyny, która to uruchomiła.","open-source-aion.65576ef482":"pod jakimi możliwościami","open-source-aion.74a9894f4f":"Co działało, na czym i","open-source-aion.eabc461dcf":"Selvedge, certyfikowane","open-source-aion.b4792818f1":"Skompilowany artefakt nadal musi gdzieś działać, a to działanie również jest twierdzeniem","open-source-aion.414cbcc9ec":"POCHODZENIE","open-source-aion.24466ece94":"OD ŹRÓDŁA DO ARTEFAKTU","open-source-aion.c81d361198":"Ta precyzja sprawia, że artefakt jest użyteczny w dalszych etapach. W regulowanym procesie budowania rzadko chodzi o to, czy kompilator jest dobry. Chodzi o to, czy ten plik binarny odpowiada temu grafowi źródłowemu przy tej konfiguracji optymalizacji, co jest pytaniem, na które istnieje odpowiedź, a odpowiedź ta podąża za artefaktem, a nie żyje w systemie budowania, który go wyprodukował. To właśnie oznacza pochodzenie budowania w praktyce: twierdzenie o tym artefakcie, które można zweryfikować bez systemu budowania, który go stworzył.","open-source-aion.6c1fd4df2b":"Deklaracja jest dyscypliną. Certyfikat nie twierdzi, że każda optymalizacja była poprawna jako jedno niezróżnicowane twierdzenie, ponieważ takie twierdzenie nie jest ani sprawdzalne, ani prawdziwe w przypadku żadnego prawdziwego kompilatora. Wskazuje dokładnie, które właściwości zachowania lub równoważności ustanawia i w odniesieniu do których transformacji, a weryfikator sprawdza właśnie te i nie raportuje niczego innego.","open-source-aion.fd5ed4a1d8":"Konkretne twierdzenia, nie jedno ogólne","open-source-aion.82a76c947a":"Kompilator dostarcza artefakt i status wyjścia. Certyfikat kompilacji niesie to, czym ten artefakt ma być: tożsamość źródła lub grafu, z którego pochodzi, wersję kompilatora i optymalizacji, zastosowaną sekwencję transformacji, zachowanie typów i kształtu w trakcie tych transformacji, wybrane jądra, tożsamość wyprodukowanego artefaktu oraz kontrole równoważności lub niezmienników, które certyfikat deklaruje.","open-source-aion.06efebf0f5":"o źródle, z którego pochodzi","open-source-aion.3f208ecc5e":"Plik binarny też jest twierdzeniem","open-source-aion.716710e273":"Kera, certyfikowany","open-source-aion.89572e64cc":"Organizacja może być certyfikowana. Podobnie kompilator, który zbudował to, na czym działa","open-source-aion.502114d554":"POTWIERDZENIA","open-source-aion.fab60cdf92":"GATES","open-source-aion.490fb49f60":"AUTORYTET","open-source-aion.965738574a":"Wartość ujawnia się, gdy operacja jest kwestionowana. Ślad przepływu pracy to relacja organizacji o samej sobie. Certyfikat zaakceptowany przez niezależnego weryfikatora, w ramach nazwanej wersji kontraktu, to inna klasa dowodów, a różnica jest dokładnie tą, którą AION ma tworzyć.","open-source-aion.f4652935ed":"To certyfikat o zarządzanej operacji, nie o tym, co myślał agent. Rozstrzyga pytania, które ktoś faktycznie zada: czy autorytet istniał w momencie uruchomienia działania, czy brama, która powinna była utrzymać, utrzymała, czy zatwierdzenie dotyczyło działania, a nie wiadomości w jego pobliżu, oraz czy zmiany stanu, które deklaruje rekord, są tymi, które dopuszcza kontrakt. Wszystkie te kwestie są sprawdzalne maszynowo i żadna z nich nie wymaga dostępu do modelu.","open-source-aion.be15814346":"Co ustanawia, a czego nie","open-source-aion.38d3c11f27":"Ukończony przepływ pracy to twierdzenie jak każde inne. Certyfikat organizacyjny ustanawia zarządzaną operację, która faktycznie miała miejsce: cel i wersję polityki, w ramach której działała, utworzoną organizację, rozstrzygnięte role i autorytety, wykonane zadania i ich przejścia, pokonane bramy polityki, powiązane zatwierdzenia, wykonane działania i zarejestrowane potwierdzenia.","open-source-aion.65a8805f19":"że przestrzegał swojego kontraktu","open-source-aion.f827cfbcbf":"Operacja może zostać udowodniona","open-source-aion.07fba05892":"Nexus, certyfikowany","open-source-aion.c6fd961235":"Rozumowanie to jeden producent. Organizacja agentów to trudniejsza rzecz do certyfikowania","open-source-aion.2764d46fd5":"BEZ WYWOŁANIA MODELU","open-source-aion.58376ce0c1":"CORES","open-source-aion.3c3d2a37fc":"Angielski front end wymagań również należy tutaj, ponieważ certyfikat rozumowania jest tak samo przeglądowalny, jak ograniczenie na jego szczycie. Deterministyczna biblioteka wzorców zwraca warunki formalne uszeregowane według liczby dopasowanych fraz wyzwalających, każda z prostym odczytaniem i ilościami, na których działa, a gdy zdanie naprawdę niesie więcej niż jedno odczytanie, podnosi niejednoznaczność z nazwanym pytaniem, zamiast rozstrzygać ją po cichu.","open-source-aion.c4d7d27503":"Pod spodem znajdują się producenci obu rodzajów i są akceptowani przez tę samą granicę. AION rozstrzyga strukturę Boole'a, arytmetykę logiki różnicowej, słowa bitwektorowe i równość z nieinterpretowanymi funkcjami na własną rękę, w ramach kompletnego przeszukiwania sterowanego konfliktami z dwoma obserwowanymi literałami, heurystyką aktywności opartą na stercie, geometrycznymi restartami i usuwaniem klauzul opartym na aktywności. Przy odpowiedzi niespełnialnej zwraca rdzeń, który wskazuje, które z twoich własnych ograniczeń walczyły, zamiast opisywać przeszukiwanie, które je znalazło. Zewnętrzny solver działa jako własny proces i zwraca dowód, a nic poza tym plikiem nie przechodzi między nimi. Każde narzędzie, które emituje dowód w formacie, dla którego AION ma weryfikator, kwalifikuje się, w tym cvc5, a granicą jest format, a nie dostawca.","open-source-aion.5264c1875d":"Producenci, natywni i zewnętrzni","open-source-aion.09b6611fc2":"Loom rozumuje. To, co sprawdza AION, to artefakt, który pozostawia rozumowanie: aktywne ograniczenia, zastosowane reguły, podproblemy przekazane solverowi, certyfikaty zwrócone przez te solvery, znalezione sprzeczności, granice, które zamknęły decyzję, i ostatecznie stwierdzone twierdzenie. Jawne artefakty obliczeniowe i zadeklarowane wyprowadzenia, sprawdzane jako takie.","open-source-aion.2224f4889f":"wyprowadzenie, na którym się opiera","open-source-aion.1aceefa727":"Wniosek przychodzi z","open-source-aion.40e8df9cbd":"Loom i solvery pod nim","open-source-aion.cbac360b09":"Kroki Boole'a i arytmetyczne to jedna rodzina. Rozumowanie to miejsce, gdzie zaczyna się stos","open-source-aion.9786d05f5a":"FUZZOWANE","open-source-aion.a9bb80378b":"WYPROWADZONE PONOWNIE","open-source-aion.0204e8b30c":"REGUŁA PO REGULE","open-source-aion.a43c278b96":"Na poziomie klauzul każde dodanie jest wyprowadzane od nowa z pierwszych zasad: załóż, że nowa klauzula jest fałszywa, propaguj klauzule, na które powołują się jej wskazówki, i wymagaj sprzeczności, którą te wskazówki obiecywały. Tam, gdzie sama propagacja tego nie wymusza, dodanie przechodzi do trudniejszego warunku na nazwany literał obrotowy względem każdej klauzuli, z którą ten obrót mógłby się rozwiązać, więc krok nie może zostać przepuszczony przez nazwanie obrotu, którego klauzula nie zawiera. Formuła i dowód są czytane wiersz po wierszu, więc dowód większy niż pamięć maszyny jest nadal sprawdzany od początku do końca. Własny zestaw AION jest wrogi wobec AION: wskazówka powołująca się na krok, który ma uzasadnić, dwa kroki opierające się na sobie nawzajem, obrót zadeklarowany, ale nieobecny, dwie klauzule pod jednym identyfikatorem, znacznik końcowy użyty jako identyfikator, usunięcie klauzuli, która nigdy nie została dodana, oraz ta sama klauzula usunięta dwukrotnie. Każdy czytnik, który dotyka pliku napisanego przez kogoś innego, jest testowany fuzzowo na zasianym korpusie.","open-source-aion.13a29c20f0":"Trzy warunki wyprzedzają sprawdzenie reguł na każdym kroku, w ustalonej kolejności: czy krok powołuje się na siebie, czy każda liczba, na którą się powołuje, jest obecna, oraz czy którakolwiek z nich ma numer wyższy niż krok, który się na nią powołuje. Przed wszystkimi czterema plik jest skanowany raz pod kątem powtórzonego numeru kroku. Tylko dowód, którego każdy krok przechodzi wszystko to, dociera do ostatniego warunku, którym jest to, czy plik kończy się sprzecznością. Wyprowadzenie, które kończy się z wciąż stojącymi literałami, przeszło wszystko inne i nadal jest odrzucane.","open-source-aion.f626b7a7da":"Pod powierzchnią","open-source-aion.1a95f2e67d":"Dowody klauzulowe w rodzinie LRAT, która jest SAT, i dowody regułowe w formacie Alethe, który jest SMT, to rodzina z najdłuższą historią prób jej pokonania, co czyni ją właściwą do pokazania. AION wysyła każdy krok do procedury implementującej jego regułę, a nazwa reguły bez niczego za nią kończy czytanie, zamiast przechodzić cicho, z wydrukowanym numerem kroku i regułą.","open-source-aion.8294eed416":"a nieznana reguła go zatrzymuje","open-source-aion.9959b32cda":"Każdy krok spełnia cztery testy","open-source-aion.3821e115bc":"Rodzina z przeciwnikami","open-source-aion.c415bc49f1":"Najstarsza rodzina ma najwięcej przeciwników, więc to na nią należy spojrzeć najpierw","open-source-aion.06d55361b1":"WERSJONOWANE","open-source-aion.bca8de5f5a":"DZIEWIĘĆ RODZIN","open-source-aion.187b58774c":"Rodziny są wersjonowane osobno z tego samego powodu. Zestaw reguł może się zaostrzyć w rodzinie logiki bez zakłócania rodziny symulacji, a zestaw dotkniętych certyfikatów dla tej zmiany to dokładnie rekordy, które zadeklarowały zmienianą wersję. Dzisiejsze dziewięć to logika i spełnialność, optymalizacja, temporalność i hiperwłaściwości, rozumowanie, organizacyjna, kompilacja, wykonanie w czasie rzeczywistym, symulacja i FMI oraz integralność przechowywania.","open-source-aion.ca4a7a3c63":"Rejestracja rodziny to sposób, w jaki system, który nie istniał, gdy pisano AION, staje się przez niego sprawdzalny. Koperta jest już taka sama, warstwa przechowywania i kolejka ponownej weryfikacji już działają, a to, co nowa rodzina musi dostarczyć, to weryfikator i zadeklarowany zestaw reguł. Oprogramowanie innych firm implementujące kontrakt certyfikatu wchodzi przez te same drzwi co nasze.","open-source-aion.6581749da9":"Dlaczego to rejestr, a nie lista","open-source-aion.c453f0b87d":"Rodzina certyfikatów to nazwany, wersjonowany kontrakt, a nie format pliku. Każda z nich deklaruje swoją tożsamość i wersję, typ roszczenia, które ustanawia, wymagane dane wejściowe, sposób reprezentacji dowodu lub świadka, algorytm weryfikacji, zestaw reguł akceptowanych przez weryfikatora, metadane zależności i kompatybilności, czytelną dla człowieka reprezentację, jeśli ją ma, oraz własną taksonomię odmów.","open-source-aion.29a8090d97":"a zestaw jest rozszerzalny","open-source-aion.7dd9783a82":"Dziewięć rodzin, jeden rejestr","open-source-aion.f4c0c73854":"Rejestr","open-source-aion.2b6d7305db":"Niezależne sprawdzenie musi wiedzieć, jaki rodzaj certyfikatu trzyma","open-source-aion.b4dee9d399":"BEZ POWTÓRKI","open-source-aion.1ae37e9b3a":"BEZ LICENCJI","open-source-aion.082414b331":"OGRANICZONE SPRAWDZANIE","open-source-aion.85bcd01276":"W żadnym z tych przypadków weryfikator nie potrzebuje poszukiwań producenta, heurystyk, ukrytego stanu, wywołań modelu ani środowiska wykonawczego. To czyni niezależną weryfikację przystępną, a nie aspirującą.","open-source-aion.73dc1e45ec":"Asymetria ma ten sam kształt w każdej dziedzinie i warto ją zobaczyć czterokrotnie. Wyszukiwanie napędzane konfliktem może działać godzinami w przestrzeni, której nikt nie może wyliczyć; emitowany dowód klauzulowy jest śledzony wiersz po wierszu. Kompilator może wykonać setki przebiegów optymalizacji z heurystykami, których nikt poza zespołem nie rozumie; certyfikat rejestruje roszczenia o zachowaniu, które muszą obowiązywać w ich trakcie. Symulacja może działać przez miliony kroków; certyfikat dostarcza punkty kontrolne, przejścia, niezmienniki i ślad, które czynią wynik sprawdzalnym. Operacja Nexus może koordynować wiele agentów; certyfikat ustanawia autorytet, przejścia stanów, zatwierdzenia i pokwitowania działań.","open-source-aion.3bcb80f6d9":"Co każdy producent zachowuje dla siebie","open-source-aion.ceb0061493":"System, który wyprodukował wynik, nie ma ostatniego słowa w kwestii tego, czy jego certyfikat się utrzymuje. AION sprawdza ograniczony artefakt, zamiast powtarzać kosztowne obliczenia, dlatego weryfikacja może działać na laptopie wobec pracy, która zajęła klastrowi weekend, i dlatego nie potrzebuje ani licencji producenta, ani jego maszyny. Certyfikat dostarcza punkty kontrolne, którymi kroczy sprawdzający, więc koszt sprawdzania podąża za rozmiarem artefaktu, a nie za rozmiarem poszukiwań za nim.","open-source-aion.69524cecfe":"i to jest cały trik","open-source-aion.ee21bac231":"Sprawdzanie to nie powtarzanie","open-source-aion.396e9b624d":"Podział architektoniczny","open-source-aion.504a1b0a8d":"Koperta mówi, co dotarło. Następne pytanie brzmi, kto może ją otworzyć","open-source-aion.a9ea7a518b":"JEDNA KOPERTA","open-source-aion.d7e877b15b":"OSIEM PÓL","open-source-aion.34c043fc06":"Pole zależności jest tym, które ludzie lekceważą. Certyfikat oparty na innym certyfikacie wskazuje go, więc odmowa lub zmiana schematu rozprzestrzenia się na cały zestaw, który na nim polegał, zamiast zatrzymać się na pierwszym rekordzie, na który ktoś akurat spojrzy. To właśnie zamienia stos zaakceptowanych wyników w coś, o co można zadać pytanie.","open-source-aion.7dc6226fd7":"Umieszczenie informacji o routingu w ładunku sprawia, że każda nowa rodzina certyfikatów staje się nową integracją dla wszystkich poniżej. Trzymanie jej na zewnątrz sprawia, że warstwa przechowywania, tracker zgodności, kolejka ponownej weryfikacji i rekord audytu są pisane raz i działają dla rodzin, które nie istniały, gdy je tworzono.","open-source-aion.48eb1ab2b4":"Dlaczego podział się opłaca","open-source-aion.419ad6edc1":"Certyfikat kompilacji i dowód klauzuli nie mają ze sobą nic wspólnego w środku, a przychodzą w tej samej kopercie. Osiem pól: twierdzenie, dane wejściowe, na których je oparto, producent, wersja kontraktu, typ certyfikatu, ładunek certyfikatu, zależności i podpis. Wszystko, co specyficzne dla rodziny, znajduje się w ładunku, a wszystko, czego weryfikator potrzebuje do routingu, wersjonowania i rejestrowania, znajduje się na zewnątrz.","open-source-aion.03a195fded":"i osiem pól w środku","open-source-aion.9895a4db76":"Każda rodzina, jedna koperta","open-source-aion.33164fb254":"Wspólna koperta","open-source-aion.315fae6edd":"Osiem rodzajów systemów, osiem rodzajów twierdzeń i jedna koperta, w której wszystkie podróżują","open-source-aion.661f13bc63":"SPRAWDZONE","open-source-aion.ea0dae37f4":"CERTYFIKAT","open-source-aion.f07b84d4d2":"TWIERDZENIE","open-source-aion.1edfca7587":"AION to ten drugi program. Bierze certyfikat wyprodukowany przez obcą osobę, rekonstruuje to, co twierdzi, a gdy twierdzenie nie da się zrekonstruować, wskazuje element, wskazuje regułę i na tym kończy. Odmowa wskazująca linię 40 to coś, czym pojedyncze słowo nigdy nie może być.","open-source-aion.4428102723":"Metody formalne ustaliły ten układ dziesiątki lat temu z jednego powodu. Producent zapisuje swoją pracę, a drugi, znacznie mniejszy program czyta tę pracę z powrotem. Ten drugi program jest wart starannego zbudowania, ponieważ jest na tyle mały, że można go zrozumieć od początku do końca. To, co robi AION, to przeniesienie tego układu ze świata solverów i uczynienie go kontraktem dla wszystkiego innego: rozumowania, operacji agentów, kompilacji, wykonywania, symulacji.","open-source-aion.51edeceac1":"unsat. skompilowano. ukończono. bezpiecznie. optymalnie. polityka przeszła. symulacja zbieżna. zatwierdzono przepływ pracy. Osiem systemów, osiem słów i żadne z nich nie niesie powodu, dla którego jest prawdziwe. Obliczenia z dowodem to alternatywa: producent zachowuje kosztowną pracę i emituje certyfikat wraz z wynikiem, a ktoś, kto nie ma interesu w odpowiedzi, sprawdza ten certyfikat.","open-source-aion.d3571e9e01":"dopóki ktoś tego nie powtórzy","open-source-aion.03d9c22d95":"Wynik to tylko twierdzenie","open-source-aion.dfc28595b4":"Dlaczego istnieje drugie czytanie","open-source-aion.3c6178c9cd":"Do kogo należy raport","open-source-aion.42c21bbe27":"Co rozstrzyga sprawa","open-source-aion.4d05bcfcbf":"Co pozwala ci zrobić odmowa","open-source-aion.4c0a0d8ef3":"Dwie zwykłe drogi wyjścia","open-source-aion.e097afe170":"Co wynika z jego utrzymania","open-source-aion.c9681d6875":"Co faktycznie robi","open-source-aion.1ee58a7b8d":"Skąd pochodzi ten układ","open-source-aion.eec3b038bd":"atrybucja","open-source-aion.65279e1ecf":"weryfikacja","oss-aion-adoption-paths.733a87e5fb":"Przetestuj jedną ścieżkę decyzyjną","oss-aion-adoption-paths.34dfd13db9":"Uruchom przykładowy certyfikat przed integracją AION z działającą ścieżką decyzyjną.","oss-aion-adoption-paths.3f1d1c0d24":"Przejrzyj dołączony przykładowy certyfikat.","oss-aion-adoption-paths.a5339faf54":"Uruchom dołączone przykładowe dowody jako sprawdzenie.","oss-aion-adoption-paths.b38db2875a":"Sprawdź ten sam certyfikat za pomocą aion check oraz niezależnego zgodnego weryfikatora.","oss-aion-adoption-paths.0e42c62826":"Twój zespół oceniający","oss-aion-adoption-paths.ca15f8db66":"Zbuduj go w system","oss-aion-adoption-paths.e8219f1ea8":"Twój istniejący zespół programistów podłącza bibliotekę, aby systemy, które już obsługujesz, mogły przekazywać certyfikat z każdą decyzją.","oss-aion-adoption-paths.91e2e7e34b":"Twoi inżynierowie dodają AION do systemu, który już obsługujesz.","oss-aion-adoption-paths.96e8012ed9":"Każda decyzja niesie wtedy sprawdzalny certyfikat.","oss-aion-adoption-paths.6e56d00bc7":"Żaden nowy dostawca nie znajduje się na ścieżce tej decyzji.","oss-aion-adoption-paths.b0e0c85d36":"Twój zespół inżynierów","oss-aion-adoption-paths.4637a51566":"Użyj go podczas audytu","oss-aion-adoption-paths.03b3d20015":"Certyfikat wygenerowany wcześniej można w dowolnym momencie ponownie sprawdzić narzędziem wiersza poleceń, na własnym sprzęcie, offline.","oss-aion-adoption-paths.8b6e7ae424":"Zachowaj certyfikat wygenerowany przy podjęciu decyzji.","oss-aion-adoption-paths.ab48bfd890":"Sprawdź go ponownie później narzędziem wiersza poleceń, offline.","oss-aion-adoption-paths.6fe516ffcf":"Przekaż ten sam zapis regulatorowi lub audytorowi.","oss-aion-adoption-paths.4e64c95d9e":"Twój zespół ds. zgodności","oss-aion-adoption-paths.6b5eb5323e":"Zacznij od jednej ścieżki decyzyjnej","oss-aion-adoption-paths.1635f113ec":"Trzy sposoby wdrożenia","oss-aion-adoption-paths.5eef32f959":"Kto to obsługuje","oss-aion-adoption-paths.29a9e7fa74":"Certyfikat jest identyczny niezależnie od wybranej ścieżki.","oss-aion-adoption-paths.3e4f1a5e1b":"Jedna biblioteka, jedno narzędzie wiersza poleceń","oss-aion-adoption-paths.tag.d59fec26d9":"Przed integracją","oss-aion-adoption-paths.tag.391b31405f":"Dla Twoich inżynierów","oss-aion-adoption-paths.tag.6fd7b4f249":"Dla zgodności","oss-aion-archive-parts.cea57012da":"nie skompresowane poza odczytem","oss-aion-archive-parts.10f2f8d11a":"skompresowane na półkę","oss-aion-archive-parts.0468a5b797":"ARCHIWUM","oss-aion-archive-parts.bce5035461":"i jedno pole, które je przeżywa","oss-aion-archive-parts.bd678f55fe":"Cztery ruchy na jednym certyfikacie","oss-aion-archive-parts.44e396b17f":"Który weryfikator go zaakceptował i w której wersji umowy.","oss-aion-archive-parts.5348eece0f":"Weryfikator i umowa zachowane","oss-aion-archive-parts.53229277ab":"Identyczne poddowody przechowywane raz i później przywoływane przez skrót.","oss-aion-archive-parts.0f6513214f":"Poddowody zahaszowane","oss-aion-archive-parts.76a7786a63":"Powtarzający się wzorzec przechowywany raz, z długością, na jaką się powtarza.","oss-aion-archive-parts.9e1a0f7aac":"Biegi skompresowane","oss-aion-archive-parts.d6f5880b44":"Każdy identyfikator przechowywany jako odległość od poprzedniego.","oss-aion-archive-parts.6b78716e70":"Identyfikatory jako luki","oss-aion-archived-proof.5808299e06":"sprawdzono, nie przeszukano","oss-aion-archived-proof.39241dfc0d":"Reszta pozostała zamknięta, ponieważ indeks już wiedział, że ich nie dotyczy.","oss-aion-archived-proof.d84b2eb85d":"Zadeklarowano dziewięć zależności, wyciągnięto dwie karty, wymieniono pięć certyfikatów.","oss-aion-archived-proof.c9269e3e61":"siedem kart pozostało zamkniętych","oss-aion-archived-proof.6f13975269":"nadal zgodny","oss-aion-archived-proof.8ec798a819":"reguła r7","oss-aion-archived-proof.4b50837e2e":"w kolejce do ponownego odczytu","oss-aion-archived-proof.2a858a12ec":"reguła r7 zastąpiona w weryfikatorze 2.5.0","oss-aion-archived-proof.0b58a007b4":"powiadomienie o zmianie","oss-aion-archived-proof.5886396d49":"aion-verify 2.4.0","oss-aion-archived-proof.3b89bc81cb":"ten sam certyfikat","oss-aion-archived-proof.4b37dd07e6":"zgodnie z archiwum","oss-aion-archived-proof.39c9f8bf3a":"dwa poddowody, jeden kształt","oss-aion-archived-proof.8c28e2d0a9":"jeden blok, zachowany raz","oss-aion-archived-proof.e75bd8054c":"identyfikatory jako luki","oss-aion-archived-proof.9bfe0da4af":"jeden długi plik","oss-aion-archived-proof.46dc2748fa":"zgodnie z wygenerowanym","oss-aion-archived-proof.b6a0714797":"przykładowe identyfikatory","oss-aion-archived-proof.16bb6017da":"dwie z pięciu w kolejce","oss-aion-archived-proof.884fa4a4de":"Jeden certyfikat, dwukrotnie","oss-aion-archived-proof.11ed0e1dd4":"polityka p9","oss-aion-archived-proof.1f776189b1":"schemat 2","oss-aion-archived-proof.ec690c70cd":"certyfikat d20c9b","oss-aion-archived-proof.a96a7e2f89":"certyfikat 1a55f0","oss-aion-archived-proof.b504f66e53":"model m1","oss-aion-archived-proof.fd6c33ce54":"kontrakt wykonawczy 3.1","oss-aion-archived-proof.ff651ff51f":"reguła kompilatora c1","oss-aion-archived-proof.d00ec63b0b":"certyfikat b4e187","oss-aion-archived-proof.e20acd4672":"certyfikat 3c90de","oss-aion-archived-proof.6d50cc6c2e":"certyfikat 7f21ab","oss-aion-archived-proof.5dd9b11122":"polityka p2","oss-aion-archived-proof.70d70366cf":"schemat 4","oss-aion-archived-proof.d61ceadbdb":"kontrakt","oss-aion-archived-proof.e15436a2bb":"weryfikator","oss-aion-archived-proof.15da3daa68":"x3","oss-aion-asked-questions.question.refused":"Dlaczego moja prośba została odrzucona przez maszynę?","oss-aion-asked-questions.answer.refused":"AION pokazuje dokładny punkt, w którym kontrola się zatrzymała, i dlaczego, zamiast jednego niewyjaśnionego słowa.","oss-aion-asked-questions.question.check":"Czy mogę sam sprawdzić automatyczną decyzję?","oss-aion-asked-questions.answer.check":"Tak. AION ponownie wykonuje każdy krok na maszynie, przy której jesteś, bez konta i bez wysyłania czegokolwiek.","oss-aion-asked-questions.question.sent":"Czy moje informacje są gdziekolwiek wysyłane?","oss-aion-asked-questions.answer.sent":"Nie. Domyślna wersja nie ma czym ich wysłać. Praca odbywa się tam, gdzie już jesteś.","oss-aion-asked-questions.chrome.path":"Pytania, które faktycznie rodzi odmowa","oss-aion-asked-questions.chrome.status":"odpowiedziane jawnie","oss-aion-asked-questions.readout":"To trzy pytania, na które ta strona ma odpowiedzieć, jawnie, bez konta i bez wysyłania czegokolwiek.","oss-aion-asked-questions.band":"Zapytane raz, odpowiedziane jawnie","oss-aion-asked-you.ef80b73d6b":"zamiast niespodzianki później","oss-aion-asked-you.7e066a9db0":"pytanie teraz","oss-aion-asked-you.fb041ecc2d":"Czeka","oss-aion-asked-you.c276980864":"ASKED","oss-aion-asked-you.93a5f8f470":"i co dzieje się dalej","oss-aion-asked-you.fb5efec5ec":"O co pyta","oss-aion-asked-you.ed223cb507":"Z Twoim własnym sformułowaniem w środku, a nie formularzem do wypełnienia.","oss-aion-asked-you.47ba586268":"Zadaje pytanie","oss-aion-asked-you.16bb2c320d":"Prostymi słowami, nie jako wybór między symbolami.","oss-aion-asked-you.590f0368a8":"Przedstawia oba odczytania","oss-aion-asked-you.c0fedb51ee":"Część Twojego zdania, co do której nie ma pewności, Twoimi słowami.","oss-aion-asked-you.945cd96360":"Cytuje słowa z powrotem","oss-aion-asymmetry.109e612009":"dowody podróżują","oss-aion-asymmetry.54086b1730":"praca pozostaje przy producencie","oss-aion-asymmetry.77e82797f7":"ASYMMETRIA","oss-aion-asymmetry.7f5d144dcb":"na producenta","oss-aion-asymmetry.d1abed327f":"Co nie jest odtwarzane","oss-aion-asymmetry.816e835f60":"Autoryzacje, przejścia, zatwierdzenia, pokwitowania.","oss-aion-asymmetry.4f83e60cbc":"Wiele agentów, koordynujących.","oss-aion-asymmetry.d946c1fc52":"System agentów","oss-aion-asymmetry.d978ba491a":"Punkty kontrolne, przejścia i niezmienniki.","oss-aion-asymmetry.b081bda78f":"Miliony kroków integracji.","oss-aion-asymmetry.8e34943c35":"Symulacja","oss-aion-asymmetry.db98a95880":"Twierdzenia o zachowaniu między nimi.","oss-aion-asymmetry.ce4dee4e4f":"Setki przebiegów i ich heurystyki.","oss-aion-asymmetry.341a20e237":"Kompilator","oss-aion-asymmetry.d50aca2923":"Wyprowadzenie śledzone linia po linii.","oss-aion-asymmetry.c0644e2b00":"Przeszukiwanie przestrzeni, której nikt nie wylicza.","oss-aion-asymmetry.2212b12df6":"Rozwiązywacz","oss-aion-audit-flow.0d368d5958":"Podejmowana jest decyzja","oss-aion-audit-flow.723d4b8215":"AI osiąga odpowiedź w Twoim systemie.","oss-aion-audit-flow.60616f24a0":"Certyfikat jest przechowywany","oss-aion-audit-flow.319012d052":"Rozumowanie jest zapisywane jako przenośny zapis.","oss-aion-audit-flow.b6e0507002":"Jest ponownie sprawdzane","oss-aion-audit-flow.060bdf8393":"Każdy może ponownie uruchomić sprawdzenie offline, na własnym sprzęcie.","oss-aion-audit-flow.549ee9a7f2":"Audytor go akceptuje","oss-aion-audit-flow.45d8142b03":"Dowody, które weryfikują, a nie obietnica, którą muszą przyjąć.","oss-aion-audit-flow.29a5795456":"Przekazujesz logi i masz nadzieję, że zostaną zaakceptowane.","oss-aion-audit-flow.691576c10d":"Przekazujesz certyfikat, który audytor sprawdza sam.","oss-aion-audit-flow.4f25ce109b":"Wyjaśnienie jest przypisane do jednego dostawcy.","oss-aion-audit-flow.17092b76ad":"Standardowe formaty dowodów sprawiają, że certyfikat można sprawdzić poza pierwotnym dostawcą i środowiskiem uruchomieniowym.","oss-aion-audit-flow.4cb1b63499":"Zapis jest ponownie sprawdzany na infrastrukturze, której nie kontrolujesz.","oss-aion-audit-flow.c0baf00a21":"Zapis jest ponownie sprawdzany offline, na sprzęcie, który kontrolujesz.","oss-aion-audit-flow.1574ac4dc4":"Od decyzji do zaakceptowanych dowodów","oss-aion-audit-flow.0fc25779d4":"Bez możliwego do sprawdzenia dowodu","oss-aion-audit-flow.4b32d8f574":"Z AION","oss-aion-audit-flow.effbb773a5":"Podczas audytu przedstawiasz dowody, a nie zapewnienia.","oss-aion-audit-flow.630840198f":"Niezależna weryfikacja","oss-aion-broken-case.b2d44d537d":"dwa fragmenty pracy","oss-aion-broken-case.21a5e37384":"Rzeczywiście oznacza to, że ktoś musi teraz wybrać jeden z nich.","oss-aion-broken-case.446dd52366":"Sprawa nie precyzuje, w której z tych dwóch sytuacji się znajdujesz.","oss-aion-broken-case.1592f95dfc":"kto posiada specyfikację","oss-aion-broken-case.5350b811e8":"Wszyscy o tym wiedzieli, ale nikt tego nie zapisał, dlatego sprawa w ogóle mogła zostać znaleziona. Praca polega więc na zapisaniu brakującego ograniczenia.","oss-aion-broken-case.7e1ad0c117":"ponowna próba nie może nastąpić przy zerowym saldzie tutaj","oss-aion-broken-case.e2acc6be4b":"czy to może się zdarzyć tutaj?","oss-aion-broken-case.70cf0e9d6e":"zespół, który to obsługuje","oss-aion-broken-case.f4418abec4":"Zasada jest więc poprawna, a system błędny. Praca polega na zmianie systemu.","oss-aion-broken-case.7ebf5ee2c1":"ponowne próby przy trzech i zerowym saldzie to zwykły poniedziałek","oss-aion-broken-case.818db6fde5":"tryb wsadowy dopuszcza maksymalnie dwie ponowne próby","oss-aion-broken-case.9ad82bcd1a":"brak ponownej próby, dopóki saldo wynosi zero","oss-aion-broken-case.db09c40b94":"warunki, które narusza","oss-aion-broken-case.1a01155586":"Specyfikacja nie jest spełniona. Oto sytuacja, w której nie jest, opisana szczegółowo.","oss-aion-broken-case.bb5f480b82":"sprawa, gdy wraca","oss-aion-broken-case.8ba48b3c8c":"przykładowa sprawa","oss-aion-broken-case.2a0ea29615":"jedna sprawa, dwóch właścicieli","oss-aion-broken-case.0efd66fc70":"Sprawa, która ją złamała","oss-aion-broken-case.fd12863535":"nie","oss-aion-broken-case.fb360f9c09":"tak","oss-aion-broken-case.e7aef2e893":"tryb to wsadowy (typ: tekst)","oss-aion-broken-case.dcfad8c5bf":"saldo wynosi 0 (typ: liczba całkowita)","oss-aion-broken-case.bbf98b54e9":"ponowne próby to 3 (typ: liczba całkowita)","oss-aion-business-glyph.9c8c22f54d":"Audytowalny z założenia","oss-aion-business-glyph.afd7103781":"Twoja infrastruktura","oss-aion-business-glyph.ea722c81af":"Europejski","oss-aion-business-glyph.870c4d024a":"Przenośne formaty","oss-aion-business-glyph.81c093497b":"Zamknięty certyfikatem","oss-aion-business-glyph.862ee3b17a":"Ekspozycja","oss-aion-business-glyph.6b5eb5323e":"Dowód w załączeniu","oss-aion-business-glyph.b7a3f27883":"Ryzyko usunięte","oss-aion-business-glyph.7ba75e0ac6":"Sprawdzanie certyfikatu po latach","oss-aion-business-glyph.9f89ecaff5":"Oryginalna sesja zniknęła","oss-aion-business-glyph.33620369b5":"Archiwum","oss-aion-business-glyph.7a71b6b89e":"Na sprzęcie, który kontrolujesz","oss-aion-business-glyph.e94a6d4bba":"Wyjaśnione na cudzym sprzęcie","oss-aion-business-glyph.3eaad00bc0":"Dane","oss-aion-business-glyph.e20fee7c23":"Osobny weryfikator","oss-aion-business-glyph.9e3ee5bddf":"Oryginalny model nadal wymagany","oss-aion-business-glyph.5cb182685f":"Weryfikator","oss-aion-business-glyph.c5d37b3ae0":"Certyfikat sprawdzany przez audytora","oss-aion-business-glyph.6c4186cc8c":"Logi, które masz nadzieję, że zostaną zaakceptowane","oss-aion-business-glyph.d51b35c242":"Audyt","oss-aion-cadence-banners.independent.eyebrow":"AION / niezależna weryfikacja","oss-aion-cadence-banners.independent.lead":"Zaufaj kopercie","oss-aion-cadence-banners.independent.accent":"po zaakceptowaniu jej przez inny program sprawdzający","oss-aion-cadence-banners.independent.body.one":"Certyfikat jest przydatny, ponieważ weryfikator nie potrzebuje środowiska wykonawczego producenta. Otrzymuje zadeklarowaną regułę, dane wejściowe, wynik i dowód jako jedną zamkniętą kopertę.","oss-aion-cadence-banners.independent.body.two":"Druga implementacja sprawdza ten dowód względem tego samego kontraktu. Zgodność jest wtedy dowodem na temat wyniku, a nie ponownym uruchomieniem tej samej ścieżki kodu.","oss-aion-cadence-banners.independent.panel":"Niezależny zapis akceptacji","oss-aion-cadence-banners.independent.tag":"SPRAWDZONE OSOBNO","oss-aion-cadence-banners.independent.item.rule.label":"Zadeklarowana reguła","oss-aion-cadence-banners.independent.item.rule.detail":"Wymaganie i rodzina certyfikatów są nazwane.","oss-aion-cadence-banners.independent.item.rule.status":"OBECNA","oss-aion-cadence-banners.independent.item.input.label":"Powiązane dane wejściowe","oss-aion-cadence-banners.independent.item.input.detail":"Wartości użyte w decyzji są z nią dołączone.","oss-aion-cadence-banners.independent.item.input.status":"BOUND","oss-aion-cadence-banners.independent.item.result.label":"Zgłoszony wynik","oss-aion-cadence-banners.independent.item.result.detail":"Wynik jest podany przed rozpoczęciem weryfikacji.","oss-aion-cadence-banners.independent.item.result.status":"ZGŁOSZONY","oss-aion-cadence-banners.independent.item.verifier.label":"Osobny weryfikator","oss-aion-cadence-banners.independent.item.verifier.detail":"Inna implementacja sprawdza tę samą kopertę.","oss-aion-cadence-banners.independent.item.verifier.status":"ZAAKCEPTOWANO","oss-aion-cadence-banners.independent.verdict":"dowód przetrwa poza systemem, który go wyprodukował","oss-aion-cadence-banners.independent.footer":"weryfikacja przekracza granicę implementacji bez utraty kontraktu","oss-aion-cadence-banners.refusal.eyebrow":"AION / kontrakt awarii","oss-aion-cadence-banners.refusal.lead":"Nieudany dowód","oss-aion-cadence-banners.refusal.accent":"musi wskazać regułę, której nie spełnił","oss-aion-cadence-banners.refusal.body.one":"Dokładne sprawdzanie nie jest niejasną otoczką typu zaliczone lub nie. Weryfikator wykonuje zadeklarowaną konwersję, operacje arytmetyczne i bramki logiczne w kolejności, a następnie zatrzymuje się na pierwszym nieprawidłowym warunku.","oss-aion-cadence-banners.refusal.body.two":"Ta odmowa należy do dowodu. Mówi wywołującemu, które założenie, skala, termin lub zabezpieczenie zawiodło, zanim jakikolwiek późniejszy krok mógł ukryć przyczynę.","oss-aion-cadence-banners.refusal.panel":"Pierwsza nieudana bramka","oss-aion-cadence-banners.refusal.tag":"ODMOWA","oss-aion-cadence-banners.refusal.item.read.label":"Odczytaj zadeklarowane wartości","oss-aion-cadence-banners.refusal.item.read.detail":"Dane wejściowe i tożsamość reguły są ustalone przed sprawdzeniem.","oss-aion-cadence-banners.refusal.item.read.status":"01","oss-aion-cadence-banners.refusal.item.scale.label":"Zastosuj zadeklarowaną konwersję","oss-aion-cadence-banners.refusal.item.scale.detail":"Żadne ciche zastępstwo nie zmienia kontraktu arytmetycznego.","oss-aion-cadence-banners.refusal.item.scale.status":"02","oss-aion-cadence-banners.refusal.item.check.label":"Oceń każdą bramkę w kolejności","oss-aion-cadence-banners.refusal.item.check.detail":"Pierwszy nieprawidłowy warunek pozostaje możliwy do przypisania.","oss-aion-cadence-banners.refusal.item.check.status":"03","oss-aion-cadence-banners.refusal.item.refuse.label":"Zwróć nazwaną odmowę","oss-aion-cadence-banners.refusal.item.refuse.detail":"Wywołujący otrzymuje nieudaną regułę i jej dowód.","oss-aion-cadence-banners.refusal.item.refuse.status":"STOP","oss-aion-cadence-banners.refusal.verdict":"odmowa jest możliwym do przejrzenia dowodem, a nie pustym błędem","oss-aion-cadence-banners.refusal.footer":"pierwszy nieudany warunek pozostaje widoczny dla następnego recenzenta","oss-aion-cadence-banners.certificates.eyebrow":"AION / łańcuch certyfikatów","oss-aion-cadence-banners.certificates.lead":"Jedna decyzja","oss-aion-cadence-banners.certificates.accent":"może nieść kilka rodzajów dowodu","oss-aion-cadence-banners.certificates.body.one":"Rozumowanie, autorytet organizacyjny, kompilacja i wykonanie odpowiadają na różne pytania. Traktowanie ich jako jednego ogólnego zapewnienia ukryłoby, gdzie twierdzenie jest mocne, a gdzie potrzebna jest jeszcze inna kontrola.","oss-aion-cadence-banners.certificates.body.two":"AION utrzymuje certyfikaty odrębne i łączy je z tym samym zapisem decyzji. Recenzent może podążać za łańcuchem, nie myląc autorytetu z arytmetyką ani udanego uruchomienia z zatwierdzoną regułą.","oss-aion-cadence-banners.certificates.panel":"Trasa dowodu decyzji","oss-aion-cadence-banners.certificates.tag":"POŁĄCZONE","oss-aion-cadence-banners.certificates.item.reasoning.label":"Certyfikat rozumowania","oss-aion-cadence-banners.certificates.item.reasoning.detail":"Pokazuje, dlaczego podany wniosek wynika z przesłanek.","oss-aion-cadence-banners.certificates.item.reasoning.status":"LOGIC","oss-aion-cadence-banners.certificates.item.organisation.label":"Certyfikat autorytetu","oss-aion-cadence-banners.certificates.item.organisation.detail":"Wskazuje, kto może zatwierdzić lub wykonać działanie.","oss-aion-cadence-banners.certificates.item.organisation.status":"AUTORYTET","oss-aion-cadence-banners.certificates.item.compile.label":"Certyfikat kompilacji","oss-aion-cadence-banners.certificates.item.compile.detail":"Wiąże źródło, transformację i wytworzony artefakt.","oss-aion-cadence-banners.certificates.item.compile.status":"BUILD","oss-aion-cadence-banners.certificates.item.execution.label":"Certyfikat wykonania","oss-aion-cadence-banners.certificates.item.execution.detail":"Rejestruje, co zostało uruchomione, gdzie i na jakich danych wejściowych.","oss-aion-cadence-banners.certificates.item.execution.status":"RUN","oss-aion-cadence-banners.certificates.verdict":"każde twierdzenie zachowuje rodzinę certyfikatów, która może je faktycznie potwierdzić","oss-aion-cadence-banners.certificates.footer":"powiązane dowody pozostają wystarczająco konkretne, aby można było je zakwestionować","oss-aion-cadence-banners.recheck.eyebrow":"AION / wynik, do którego możesz wrócić","oss-aion-cadence-banners.recheck.lead":"Ta sama reguła","oss-aion-cadence-banners.recheck.accent":"może zostać sprawdzona ponownie później","oss-aion-cadence-banners.recheck.body.one":"Zdanie, wybrane znaczenie i limit czasu pozostają dołączone do wyniku. Możesz zobaczyć, co zostało zdecydowane i jak długo decyzja pozostaje ważna, bez wysyłania materiału.","oss-aion-cadence-banners.recheck.body.two":"Gdy reguła lub data się zmieni, zapis wskazuje, co wymaga ponownego sprawdzenia. Wcześniejsza odpowiedź pozostaje widoczna zamiast zostać po cichu zastąpiona.","oss-aion-cadence-banners.recheck.panel":"Co obejmuje ponowna weryfikacja","oss-aion-cadence-banners.recheck.tag":"POWTARZALNE","oss-aion-cadence-banners.recheck.item.sentence.label":"Twoje oryginalne zdanie","oss-aion-cadence-banners.recheck.item.sentence.detail":"Sformułowanie pozostaje obok interpretacji.","oss-aion-cadence-banners.recheck.item.sentence.status":"KEPT","oss-aion-cadence-banners.recheck.item.rule.label":"Wybrane znaczenie","oss-aion-cadence-banners.recheck.item.rule.detail":"Zastosowana reguła jest zapisana wprost.","oss-aion-cadence-banners.recheck.item.rule.status":"NAMED","oss-aion-cadence-banners.recheck.item.deadline.label":"Data ważności","oss-aion-cadence-banners.recheck.item.deadline.detail":"Pozostały czas jest widoczny przed wygaśnięciem wyniku.","oss-aion-cadence-banners.recheck.item.deadline.status":"WIDOCZNE","oss-aion-cadence-banners.recheck.item.result.label":"Świeża kontrola","oss-aion-cadence-banners.recheck.item.result.detail":"Te same dowody można ocenić ponownie.","oss-aion-cadence-banners.recheck.item.result.status":"READY","oss-aion-cadence-banners.recheck.verdict":"możesz wrócić do odpowiedzi bez utraty powodu jej udzielenia","oss-aion-cadence-banners.recheck.footer":"zapis przechowuje słowa, regułę i datę razem","oss-aion-cadence-banners.supplier.eyebrow":"AION / dowody od dostawcy","oss-aion-cadence-banners.supplier.lead":"Odpowiedź dostawcy","oss-aion-cadence-banners.supplier.accent":"powinna zawierać coś, co możesz sprawdzić","oss-aion-cadence-banners.supplier.body.one":"Certyfikat oddziela wynik od narzędzia dostawcy. Określa, co było sprawdzane, która rodzina dowodów ma zastosowanie oraz które dane wejściowe i artefakty należą do roszczenia.","oss-aion-cadence-banners.supplier.body.two":"Twój zespół może zachować te dowody i użyć innego weryfikatora. Przegląd nie zależy już od dostępu do oryginalnej usługi ani od proszenia dostawcy o ponowne uruchomienie.","oss-aion-cadence-banners.supplier.panel":"Dowody otrzymane wraz z wynikiem","oss-aion-cadence-banners.supplier.tag":"PRZENOŚNE","oss-aion-cadence-banners.supplier.item.claim.label":"Roszczenie dostawcy","oss-aion-cadence-banners.supplier.item.claim.detail":"Wynik i jego zakres są określone wprost.","oss-aion-cadence-banners.supplier.item.claim.status":"OTRZYMANE","oss-aion-cadence-banners.supplier.item.certificate.label":"Koperta certyfikatu","oss-aion-cadence-banners.supplier.item.certificate.detail":"Dowody i identyfikatory podróżują z roszczeniem.","oss-aion-cadence-banners.supplier.item.certificate.status":"DOŁĄCZONE","oss-aion-cadence-banners.supplier.item.coverage.label":"Oświadczenie o zakresie","oss-aion-cadence-banners.supplier.item.coverage.detail":"Rodzina certyfikatów określa, co może ustalić.","oss-aion-cadence-banners.supplier.item.coverage.status":"OKREŚLONE","oss-aion-cadence-banners.supplier.item.checker.label":"Niezależny weryfikator","oss-aion-cadence-banners.supplier.item.checker.detail":"Twoja strona weryfikuje dowody bez udziału producenta.","oss-aion-cadence-banners.supplier.item.checker.status":"DOSTĘPNE","oss-aion-cadence-banners.supplier.verdict":"dowody pozostają użyteczne po zakończeniu działania dostawcy","oss-aion-cadence-banners.supplier.footer":"weryfikowalny wynik jest łatwiejszy do zachowania, porównania i zakwestionowania","oss-aion-cadence-banners.boundary.eyebrow":"AION / kontrolowany przegląd","oss-aion-cadence-banners.boundary.lead":"Przegląd pozostaje wewnątrz","oss-aion-cadence-banners.boundary.accent":"granicy wyznaczonej przez Twoją organizację","oss-aion-cadence-banners.boundary.body.one":"Sprawa, reguła i certyfikat mogą być sprawdzone tam, gdzie już się znajdują. Lokalna weryfikacja zapobiega przekształceniu przeglądu w kolejną drogę ujawniania materiału poddanego analizie.","oss-aion-cadence-banners.boundary.body.two":"Zapis nadal określa ustaloną właściwość i użyte dowody. Pozostawienie danych na miejscu nie oznacza rezygnacji z możliwej do przypisania ścieżki audytu.","oss-aion-cadence-banners.boundary.panel":"Ścieżka przeglądu na miejscu","oss-aion-cadence-banners.boundary.tag":"LOCAL","oss-aion-cadence-banners.boundary.item.case.label":"Otwórz zachowaną sprawę","oss-aion-cadence-banners.boundary.item.case.detail":"Materiał źródłowy pozostaje w swoim dotychczasowym środowisku.","oss-aion-cadence-banners.boundary.item.case.status":"NA MIEJSCU","oss-aion-cadence-banners.boundary.item.property.label":"Wybierz roszczenie do sprawdzenia","oss-aion-cadence-banners.boundary.item.property.detail":"Zakres certyfikatu pozostaje jednoznaczny.","oss-aion-cadence-banners.boundary.item.property.status":"OKREŚLONE","oss-aion-cadence-banners.boundary.item.perimeter.label":"Uruchom w obrębie strefy","oss-aion-cadence-banners.boundary.item.perimeter.detail":"Do weryfikacji nie jest wymagana żadna usługa wychodząca.","oss-aion-cadence-banners.boundary.item.perimeter.status":"OGRANICZONE","oss-aion-cadence-banners.boundary.item.record.label":"Zachowaj zapis przeglądu","oss-aion-cadence-banners.boundary.item.record.detail":"Dane wejściowe, weryfikator i wynik pozostają możliwe do przypisania.","oss-aion-cadence-banners.boundary.item.record.status":"ZAREJESTROWANE","oss-aion-cadence-banners.boundary.verdict":"dowody można sprawdzić bez tworzenia nowego transferu danych","oss-aion-cadence-banners.boundary.footer":"lokalne wykonanie i możliwe do sprawdzenia dowody należą do tej samej kontroli","oss-aion-case-fields.ce69e76708":"sprawa rozpoczyna decyzję","oss-aion-case-fields.9a83c048c3":"werdykt kończy kontrolę","oss-aion-case-fields.afc58d4c40":"pierwsza, która zawiedzie, po nazwie","oss-aion-case-fields.3bc6a69e80":"saldo musi przekroczyć zero przed ponowieniem próby","oss-aion-case-fields.4e0285b28b":"warunek naruszony","oss-aion-case-fields.4e0af55321":"KONTRPRZYKŁAD","oss-aion-case-fields.344daefb37":"Jedna sprawa, w całości","oss-aion-case-fields.62e0ec394a":"wartości i ich typy","oss-aion-case-fields.7f01fe787c":"partia","oss-aion-checked-not-rerun.dd5b6cbe2b":"jedno scalenie, jedna nieobecność","oss-aion-checked-not-rerun.846a719bdc":"Ostatnia linia nie ma odpowiednika w żadnej cenie.","oss-aion-checked-not-rerun.6c26a05ac4":"Pięć z siedmiu odchodzi, a dwa się scalają.","oss-aion-checked-not-rerun.4f01efffc8":"przeczytane przez kogoś, kto nigdy nie trzymał ich oprogramowania","oss-aion-checked-not-rerun.a70205a694":"porównane z następnym kwartałem","oss-aion-checked-not-rerun.0d85e26645":"zarchiwizowane z decyzją, którą wspierało","oss-aion-checked-not-rerun.ffc7dbc2ad":"to, co trzymasz później","oss-aion-checked-not-rerun.d6124c1aee":"nic po lewej tego nie tworzy","oss-aion-checked-not-rerun.9b9252883d":"sam certyfikat","oss-aion-checked-not-rerun.0bfa7a3bd8":"zadeklarowane dane wejściowe i kontrakt","oss-aion-checked-not-rerun.d7f7f555ad":"twierdzenie","oss-aion-checked-not-rerun.527c7f544a":"trzy rzeczy","oss-aion-checked-not-rerun.f8a34d2942":"aby sprawdzić ich certyfikat","oss-aion-checked-not-rerun.2a20acacc2":"siedem rzeczy","oss-aion-checked-not-rerun.a94f90b8e9":"aby odtworzyć ich system","oss-aion-checked-not-rerun.d2eae1af1f":"ta sama gwarancja, dwie trasy","oss-aion-checked-not-rerun.87f754c087":"pięć skreślonych, jedna nieobecna","oss-aion-checked-not-rerun.2a62bb8028":"czego wymaga każda trasa","oss-aion-checked-not-rerun.35d7d25591":"czy nadal obowiązuje po zmianie","oss-aion-checked-not-rerun.6cd8ba818d":"na czyich danych","oss-aion-checked-not-rerun.96f39a5e7d":"wobec której wersji zestawu reguł","oss-aion-checked-not-rerun.c8d59ae061":"które warunki zostały sprawdzone","oss-aion-checked-not-rerun.b028b89ea7":"ich pomoc","oss-aion-checked-not-rerun.c03c2fce6e":"maszyna o odpowiedniej wielkości","oss-aion-checked-not-rerun.867d12b7ad":"dane wejściowe","oss-aion-checked-not-rerun.717e42eb01":"ich plik konfiguracyjny","oss-aion-checked-not-rerun.935b145c44":"pasujący system operacyjny","oss-aion-checked-not-rerun.fa15ad3da2":"dokładna wersja, której użyli","oss-aion-checked-not-rerun.5990a1ec89":"licencja na ich oprogramowanie","oss-aion-compile-cert.b1991b0d44":"więc odmowa wskazuje na jedną rzecz","oss-aion-compile-cert.85edd85611":"roszczenia są wymieniane indywidualnie","oss-aion-compile-cert.6e8814b9a0":"Co wyszło, według adresu treści, powiązane ze wszystkim powyższym.","oss-aion-compile-cert.a41732e051":"Tożsamość artefaktu","oss-aion-compile-cert.6d4151d7a5":"Co weszło, według adresu treści, a nie nazwy pliku.","oss-aion-compile-cert.7204133281":"Tożsamość źródła lub grafu","oss-aion-compile-cert.efe0c41bcb":"KERA","oss-aion-compile-cert.77e13b8d86":"i co twierdzi na temat każdego z nich","oss-aion-compile-cert.0bcab6c465":"Co certyfikat wymienia","oss-aion-compile-cert.027f7ee7d1":"Które właściwości ten certyfikat ustala dla nich wszystkich.","oss-aion-compile-cert.8906f98ae0":"Zadeklarowana ochrona","oss-aion-compile-cert.d186ea41e2":"Zastosowane przebiegi, w kolejności ich zastosowania.","oss-aion-compile-cert.66ad6a206e":"Sekwencja transformacji","oss-aion-compile-cert.ebb0c953d1":"Która kompilacja, przy jakiej konfiguracji optymalizacji.","oss-aion-compile-cert.691f87f640":"Kompilator i optymalizacja","oss-aion-console.5d71265e50":"Sprawdź certyfikat dowodu. Bez solvera, bez sieci.","oss-aion-console.bfaafd85c5":"aion check proof.alethe","oss-aion-console.cf2b6bfeba":"Sprawdzanie dowodu: proof.alethe","oss-aion-console.1016f1bcf3":"Format: Alethe","oss-aion-console.70142f344c":"Parsowanie: OK","oss-aion-console.8455c5ceeb":"Dowód ma N kroków","oss-aion-console.fc539fcf62":"Weryfikacja dowodu: ZALICZONO","oss-aion-console.88f6db402f":"Czas weryfikacji: Nms","oss-aion-console.4f437cea65":"Twój checker to potwierdził. Kod wyjścia 0. Nic nie wysłano.","oss-aion-console.46d61005d2":"echo $?","oss-aion-console.2d737f1e63":"Przeczytaj certyfikat","oss-aion-console.0cef7497bf":"Checker otwiera plik dowodu, który otrzymałeś. Nie potrzebuje niczego więcej: żadnych wag modelu, logowania do dostawcy ani internetu.","oss-aion-console.830903eaf6":"Przejdź każdy krok","oss-aion-console.6ce1fb843f":"Każde wnioskowanie jest odtwarzane na podstawie przesłanek, na które się powołuje. LRAT zawiera wskazówki propagacji jednostkowej, więc przejście jest liniowe względem długości dowodu.","oss-aion-console.1044fbcb06":"Zaakceptuj lub odrzuć","oss-aion-console.cb4e501f7a":"Jeśli każdy krok się zgadza, checker wypisuje ZALICZONO i kończy z kodem 0. Jeśli którykolwiek krok się nie zgadza, podaje przyczynę błędu i kończy z kodem różnym od zera. Nie ma stanu pośredniego.","oss-aion-console.b568d47f2e":"Wejście","oss-aion-console.df73f614f5":"Plik dowodu","oss-aion-console.0562f32dc5":"Zależności","oss-aion-console.7334b0e2cf":"Brak w momencie sprawdzania","oss-aion-console.64ae43e8fe":"Koszt","oss-aion-console.660020f41a":"Liniowy względem długości dowodu","oss-aion-console.5faa59d4bc":"Wynik","oss-aion-console.de76d16078":"ZALICZONO lub podana przyczyna błędu","oss-aion-console.76d6562c0a":"Sprawdzenie","oss-aion-console.edabf74eb3":"Jedno polecenie odczytuje dowód i","oss-aion-console.d161c0634a":"akceptuje go lub odrzuca","oss-aion-console.a997e63df7":"Weryfikator jest niezależny od solvera. Przekaż mu certyfikat, a Twój własny checker\n          potwierdzi go lub odrzuci offline, bez dostępu do silnika, który go wygenerował.","oss-aion-console.05b6c9b8c4":"aion check","oss-aion-console.e898272c62":"checker offline","oss-aion-console.6b5eb5323e":"Niezależny checker","oss-aion-console.165cb4a2fd":"N kroków i Nms to symbole zastępcze: rzeczywiste wartości pochodzą z dowodu, który sprawdzasz, a nie\n              od nas. Interfejs poleceń jest prawdziwy, aion check parsuje, przechodzi i raportuje ZALICZONO.","oss-aion-console.b8fae1a1a1":"AION / sprawdzanie dowodu","oss-aion-consumer-glyph.dccc2b6aff":"Bez internetu","oss-aion-consumer-glyph.22c2234e11":"Wyprodukowano w Europie","oss-aion-consumer-glyph.75f527181b":"Można sprawdzić później","oss-aion-consumer-glyph.94651c6eb5":"Drugi asystent to sprawdza","oss-aion-consumer-glyph.b9fefb3f5b":"Wygląda dobrze","oss-aion-consumer-glyph.fb447dd18d":"Twój paragon","oss-aion-consumer-glyph.49a8e53c77":"Maszyna odpowiada","oss-aion-consumer-glyph.f5ad0f0059":"Tak, i oto dlaczego","oss-aion-consumer-glyph.7011b1a621":"Odpowiedź","oss-aion-consumer-glyph.07d0cfac8b":"Krok po kroku, zapisane","oss-aion-consumer-glyph.5bcd26af49":"Jak do tego doszło","oss-aion-consumer-glyph.8afc953f7f":"Czy to dla mnie odpowiednie?","oss-aion-consumer-glyph.d79cce547d":"Pytanie","oss-aion-coverage-join.fa5284c04d":"krótki jest krótki","oss-aion-coverage-join.d04fa188df":"Czternaście to nie wszystko, więc połączenie jest odrzucane, a nie zaokrąglane.","oss-aion-coverage-join.0b67159da5":"Szesnaście komórek uwzględnionych, a złożony wynik jest akceptowany.","oss-aion-coverage-join.7142d70e45":"kompozycja odrzucona, pokrycie niewystarczające","oss-aion-coverage-join.245fbeffee":"to nie błąd zaokrąglenia. Region, którego nikt nie sprawdził.","oss-aion-coverage-join.1df8f3c0e7":"14 z 16","oss-aion-coverage-join.1c1d6ac8f1":"dwie komórki, których nikt nie sprawdził","oss-aion-coverage-join.f0833f7fc6":"to samo połączenie, brak jednego sześcianu","oss-aion-coverage-join.db8d5bf534":"kompozycja zaakceptowana","oss-aion-coverage-join.558480e414":"16 z 16","oss-aion-coverage-join.26f1b36edc":"każda komórka uwzględniona","oss-aion-coverage-join.39cd7fa9c4":"cztery sześciany","oss-aion-coverage-join.bb2dba7602":"sześciany poglądowe","oss-aion-coverage-join.a4d76ddfc7":"pokrycie krótsze o dwie komórki","oss-aion-coverage-join.e4445ac125":"Jedna weryfikacja podziału","oss-aion-coverage-join.186c8cd284":"Twój build nie zmienia się pod Tobą.","oss-aion-coverage-join.9daf9699cc":"build","oss-aion-coverage-join.66506ab77b":"Żaden model nie jest wywoływany.","oss-aion-coverage-join.f2250926d2":"Nic nie opuszcza granicy.","oss-aion-coverage-join.3110d06249":"co opuszcza","oss-aion-coverage-join.0bd87fb406":"Żaden procesor na tej ścieżce.","oss-aion-coverage-join.1fa5b0500c":"nie a, nie b, nie c","oss-aion-coverage-join.898fae3bdc":"nie a, nie b, c","oss-aion-coverage-join.a8f663af2d":"nie a, b","oss-aion-coverage-join.bee9689def":"cztery maszyny, jedna odpowiedź","oss-aion-coverage-join.3ea0cf3ca7":"adresy, które ustawisz","oss-aion-coverage-join.7b9e33922c":"usługa","oss-aion-coverage-join.17819009bd":"jedno wywołanie","oss-aion-coverage-join.2c4d8b9dd8":"polecenie","oss-aion-coverage-join.5a78e04d95":"połączone","oss-aion-coverage-join.985e108737":"biblioteka","oss-aion-coverage-join.1d06a0d76f":"model","oss-aion-coverage-join.8eab5a6dbb":"procesor","oss-aion-coverage-table.356f85e809":"jeden kontrakt AION na kopertę i routing","oss-aion-coverage-table.4f52f572dd":"siedem wyjść producenta","oss-aion-coverage-table.2a268cd632":"SIEDEM PRODUCENTÓW","oss-aion-coverage-table.8351372237":"wyjście najpierw, weryfikator wybrany według rodziny certyfikatów","oss-aion-coverage-table.b7d5fe11a0":"Co pozostawiają po sobie siedmiu producentów","oss-aion-coverage-table.f31a7c9011":"Rozwiązujący","oss-aion-coverage-table.a194f815cb":"Możliwe, niemożliwe lub optymalne","oss-aion-coverage-table.7ec93e2d31":"Dowód, model, rdzeń, świadek lub ograniczenie","oss-aion-coverage-table.651e0f73b2":"Weryfikator rozwiązującego dla rodziny","oss-aion-coverage-table.1e7d2f4a91":"Loom","oss-aion-coverage-table.b528b7907e":"Wniosek z zadeklarowanych ograniczeń","oss-aion-coverage-table.9ac60dc1a8":"Wyprowadzenie ograniczeń i zwrócone dowody rozwiązującego","oss-aion-coverage-table.d5ef792d46":"Weryfikator rozumowania Loom","oss-aion-coverage-table.60c29da3e7":"Nexus","oss-aion-coverage-table.27d2bc17a2":"Zakończona operacja zarządzana","oss-aion-coverage-table.70d43be1ea":"Uprawnienia, polityka, zatwierdzenia, przejścia i pokwitowania","oss-aion-coverage-table.5372a8e90f":"Weryfikator organizacyjny Nexus","oss-aion-coverage-table.3b09f7e12a":"Kera","oss-aion-coverage-table.9b7a6dc145":"Skompilowany artefakt","oss-aion-coverage-table.1f3e5d7c89":"Graf źródłowy, transformacje, niezmienniki i tożsamość artefaktu","oss-aion-coverage-table.86ca1bd031":"Weryfikator kompilacji Kera","oss-aion-coverage-table.58a1d0c2ef":"Selvedge","oss-aion-coverage-table.7fd4190ab5":"Wykonane zadanie","oss-aion-coverage-table.24f1ac9e33":"Moduł, dane wejściowe, przyznane uprawnienia, przejścia, limity i dane wyjściowe","oss-aion-coverage-table.0f9ea21c74":"Weryfikator wykonania Selvedge","oss-aion-coverage-table.4c8de09a52":"Twin","oss-aion-coverage-table.2a79c1ef50":"Symulowana trajektoria","oss-aion-coverage-table.ef85239d10":"Tożsamość modelu, parametry, stan, punkty kontrolne, niezmienniki i skrót trajektorii","oss-aion-coverage-table.c5b7fe3198":"Weryfikator symulacji i FMI","oss-aion-coverage-table.4f371e00f3":"FMI","oss-aion-coverage-table.08d4a83332":"Zakończone uruchomienie FMU","oss-aion-coverage-table.8f5753fba0":"Tożsamość FMU, konfiguracja, kroki, zdarzenia, zbieżność i ślad","oss-aion-coverage-table.4d64b5bbaf":"Weryfikator symulacji i FMI","oss-aion-coverage-table.7d1ab3c6e0":"Dowód:","oss-aion-coverage-table.4e5bc7d129":"Weryfikator:","oss-aion-days-left.545fa01eea":"i tak jest napisane przed ostatnim dniem","oss-aion-days-left.eaa861cef8":"ta sama zasada, przeczytana cztery razy","oss-aion-days-left.2017bddab0":"Zapytaj w dowolnym dniu, a ta sama zasada wykona obliczenia. Nic w czwartym odczycie\n          nie jest głośniejsze niż w pierwszym, tylko mniejsze.","oss-aion-days-left.81b20537a7":"pozostało miejsca, w dniach","oss-aion-days-left.0526dbf682":"ZEGAR","oss-aion-days-left.2f29339cb6":"ten sam zegar, cztery dni później","oss-aion-days-left.47a76d1261":"Jedno zapytanie, cztery odczyty","oss-aion-days-left.9dd1fe0fd2":"26 z 30","oss-aion-days-left.f4c6daac2a":"dzień 26","oss-aion-days-left.62f21454ca":"22 z 30","oss-aion-days-left.4ad399ed8a":"dzień 22","oss-aion-days-left.ae5a29afae":"16 z 30","oss-aion-days-left.195b05cbbd":"dzień 16","oss-aion-days-left.d31b7d0f91":"8 z 30","oss-aion-days-left.185b76515a":"dzień 8","oss-aion-days-left.2dd2bed725":"dzisiaj","oss-aion-dispute-parts.65edc28a9d":"panel i decyzja należą do Twojego własnego procesu, a artefakt się nie przemieszcza","oss-aion-dispute-parts.e56cf65ada":"i to nie jest trybunał","oss-aion-dispute-parts.37f322f735":"dostarcza dowodów,","oss-aion-dispute-parts.7b7570d892":"decyzja","oss-aion-dispute-parts.52e3685580":"okno","oss-aion-dispute-parts.7de929b394":"panel","oss-aion-dispute-parts.2eba0fb6ad":"to, co należy do Twojego procesu","oss-aion-dispute-parts.ea4031d789":"który weryfikator, która wersja","oss-aion-dispute-parts.93be71a61d":"umowa","oss-aion-dispute-parts.48b63234e3":"nazwany, a nie podsumowany","oss-aion-dispute-parts.cced6746e2":"punkt awarii","oss-aion-dispute-parts.2c9e8d06dd":"możliwy do odtworzenia przez każdego","oss-aion-dispute-parts.2e02032e1d":"weryfikacja","oss-aion-dispute-parts.804e9af218":"producent i podpis nienaruszone","oss-aion-dispute-parts.69506051d5":"zachowane w formie zaakceptowanej","oss-aion-dispute-parts.6b578cc32e":"certyfikat","oss-aion-dispute-parts.21df0b2530":"Co wnosi AION","oss-aion-dispute-parts.4029dc5f44":"Zachowuje certyfikat w formie, w jakiej został zaakceptowany. Zachowuje przypisanie, więc to, kto wyprodukował wynik, przetrwa zmianę wykonawcy. Odtwarza weryfikację na żądanie, przez każdego, bez udziału producenta. Identyfikuje dokładny punkt awarii, zamiast zwracać werdykt. I pokazuje, który weryfikator zaakceptował wynik i w ramach której wersji umowy. Panel, okno i decyzja należą do procesu, który Twoja organizacja już prowadzi. AION dostarcza artefakt, o który ten proces się spiera.","oss-aion-dispute-parts.434ae4f1d6":"Rola AION w tej sytuacji jest wąska i to jest użyteczna część.","oss-aion-dispute-parts.3eb5567b60":"Praca wytworzona przez jedną stronę i wykorzystywana przez drugą w końcu prowadzi do sporu o to, czy była dobra. O tym, co ją rozstrzyga, prawie nigdy nie decyduje siła argumentacji. Decyduje to, czy istnieje artefakt, który obie strony mogą zbadać i którego żadna strona nie może zmienić, a w większości sporów dokumenty, które mogłyby rozstrzygnąć kwestię, znajdują się w posiadaniu jednej z dwóch stron.","oss-aion-dispute-parts.2ccc6715e9":"Nie lepszy argument.","oss-aion-dispute-parts.aa0d5ae0e6":"Spór wymaga dowodów.","oss-aion-dispute-parts.b4b6237893":"Kiedy ktoś się nie zgadza","oss-aion-dispute-parts.eec3b038bd":"przypisanie","oss-aion-dispute-parts.100ec4462d":"dowody","oss-aion-envelope-fields.cfc233d284":"koperta nigdy nie jest","oss-aion-envelope-fields.1c80a87a33":"ładunek jest specyficzny dla rodziny","oss-aion-envelope-fields.d85cb39036":"rodzina, która decyduje o weryfikatorze","oss-aion-envelope-fields.a975c5af10":"Typ certyfikatu","oss-aion-envelope-fields.4282e3d696":"nazwany, nigdy nie sugerowany","oss-aion-envelope-fields.0562f32dc5":"Zależności","oss-aion-envelope-fields.ca2dc8737d":"który system, która wersja","oss-aion-envelope-fields.7b7194967f":"Producent","oss-aion-envelope-fields.f33f785291":"przeciw czemu został utworzony i która wersja","oss-aion-envelope-fields.404e7d3e00":"Dane wejściowe i kontrakt","oss-aion-envelope-fields.93a29173f5":"identyfikator oraz ładunek lub jego skrót","oss-aion-envelope-fields.dc4e08a408":"Roszczenie","oss-aion-envelope-fields.78e789d605":"KONTRAKT","oss-aion-envelope-fields.d12a9ca770":"poza ładunkiem, każda rodzina","oss-aion-envelope-fields.f18dee6041":"Koperta","oss-aion-envelope-fields.f07e5a8156":"ładunek","oss-aion-evidence.cbf668da60":"Pliki dziennika","oss-aion-evidence.28e06c789a":"Dziennik pokazuje, że system działał. Nie pokazuje, dlaczego uzyskano odpowiedź, a dziennik można po cichu edytować.","oss-aion-evidence.c637aebe3a":"Nieprzezroczysty","oss-aion-evidence.5c3fc92e3f":"Wynik pewności","oss-aion-evidence.fd3c76543b":"Jedna liczba podsumowująca stan wewnętrzny. Dwa systemy mogą pokazać ten sam wynik i dojść do przeciwnych wniosków na tym samym wejściu.","oss-aion-evidence.16f3dacf52":"Brak wyprowadzenia","oss-aion-evidence.7f34e37f1b":"Samogenerowane wyjaśnienie","oss-aion-evidence.361b70a63e":"Napisane przez ten sam model, który podjął decyzję. Ocenia własną pracę, więc nie może stanowić niezależnego dowodu.","oss-aion-evidence.782acc59ce":"Cykliczny","oss-aion-evidence.477416bf24":"Ufaj dostawcy","oss-aion-evidence.1e84c62138":"Gdy regulator, pacjent lub sąd pyta „pokaż swoją pracę”, obietnica na poziomie usługi nie jest odpowiedzią, którą mogą sprawdzić.","oss-aion-evidence.76afe0e09f":"Nieweryfikowalny","oss-aion-evidence.06f2d5f1a8":"Certyfikat, nie twierdzenie","oss-aion-evidence.cdcc6f712c":"AION emituje certyfikat dowodu wraz z odpowiedzią. Certyfikat wymienia każdy krok rozumowania w kolejności, w jakiej został wykonany.","oss-aion-evidence.6d1c5f470b":"Sprawdzone przez kogoś innego","oss-aion-evidence.cc65178dc5":"Osobny kontroler przechodzi przez kroki i albo je akceptuje, albo odrzuca. Strona zadająca pytanie uruchamia go samodzielnie.","oss-aion-evidence.412a3b1e5e":"Możliwy do ponownego uruchomienia później","oss-aion-evidence.9082c552d2":"Ten sam certyfikat sprawdza się w ten sam sposób w przyszłym miesiącu, na innym komputerze, bez dostępu do oryginalnego systemu.","oss-aion-evidence.1206578b48":"pokaż swoją pracę","oss-aion-evidence.494beafd71":"pytanie audytowe","oss-aion-evidence.bba8b0753d":"dowód a twierdzenie","oss-aion-evidence.00e2ca4c85":"Gdy decyzja AI trafia do regulatora, pacjenta lub przypadku bezpieczeństwa, ktoś pyta","oss-aion-evidence.1defdb9d85":"jak doszło do tej odpowiedzi.","oss-aion-evidence.290a698043":"Większość organizacji nie może udzielić odpowiedzi,\n          którą pytająca osoba może sprawdzić samodzielnie.","oss-aion-evidence.56f6624482":"Nie dowód","oss-aion-evidence.a295517f40":"Co jest oferowane dziś","oss-aion-evidence.7ea014de7b":"Dowód","oss-aion-evidence.4cb1cd3e53":"Co przekazuje AION","oss-aion-evidence.2a36a263da":"Dowód nie jest twierdzony. Dowód jest sprawdzany.","oss-aion-evidence.e0a4c0a385":"Niezależna weryfikacja to jedyna odpowiedź, którą audytor może zaakceptować.","oss-aion-exact-sum.21aaad8129":"ujemny mnożnik jest odrzucany przed wzięciem sumy, przy pierwszym sprawdzeniu","oss-aion-exact-sum.3b267c2a81":"brak wewnętrznej arytmetyki zmiennoprzecinkowej w tym łańcuchu","oss-aion-exact-sum.1a43ebe28c":"więc system jest obalony","oss-aion-exact-sum.452308dbcd":"stała pozostaje","oss-aion-exact-sum.35add33a7a":"co zostaje","oss-aion-exact-sum.df326a819b":"składniki y się znoszą","oss-aion-exact-sum.dae482d4b2":"składniki x się znoszą","oss-aion-exact-sum.c36d183406":"dodaj przeskalowane nierówności do siebie","oss-aion-exact-sum.79e4c9d3fa":"przeskaluj ją","oss-aion-exact-sum.c3c4b24b20":"dwie nierówności, wszystko po jednej stronie","oss-aion-exact-sum.b6b4c73115":"Suma, w całości","oss-aion-exact-sum.c1c66bf52c":"Warunki są sprawdzane po kolei i każdy z nich jest samodzielną odmową. Ujemny\n            mnożnik jest odrzucany przed wzięciem jakiejkolwiek sumy, ponieważ skalowanie przez\n            liczbę ujemną odwraca nierówność. Suma, w której przetrwa składnik zmienny, jest\n            odrzucana z podaniem nazwy przetrwałego składnika. Suma, której pozostała stała nie\n            jest dodatnia, jest odrzucana, ponieważ niczego nie dowodzi. Współczynnik powyżej\n            progu wielkości powoduje przepełnienie zamiast zawinięcia. Nic w tym łańcuchu nie\n            jest tolerancją.","oss-aion-exact-sum.6efbacfc5b":"Odrzucenie arytmetyczne to zbiór mnożników. Zapisz każdą nierówność ze\n            wszystkim po jednej stronie znaku, przeskaluj ją, dodaj przeskalowane nierówności\n            do siebie, a jeśli każdy składnik zmienny się znosi i to, co zostaje, to liczba\n            dodatnia, o której mówi się, że jest co najwyżej zerem, to nie może to zachodzić,\n            więc nie może zachodzić również system, z którego pochodzi. AION przyjmuje te\n            mnożniki na granicy i przekształca je do zadeklarowanej adaptacyjnej reprezentacji\n            całkowitoliczbowej/stałoprzecinkowej przed sprawdzeniem. Przechowuje, akumuluje i\n            oblicza wewnętrznie bez wartości zmiennoprzecinkowych i nie ma zapasowego trybu\n            zmiennoprzecinkowego. Ułamek pozostaje tutaj wydrukowany, ponieważ czyni\n            sprzeczność czytelną; sprawdzenie jest regulowane przez jego zadeklarowaną\n            konwersję i skalę.","oss-aion-exact-sum.31934abfaa":"Jego konwersja deklaruje skalę.","oss-aion-exact-sum.a3caf489e5":"Jedna trzecia to nie 0,333.","oss-aion-exact-sum.15e6a906dd":"Zadeklarowana adaptacyjna arytmetyka stałoprzecinkowa","oss-aion-exact-sum.108a35964a":"suma mówi 11/6 <= 0, co jest fałszem,","oss-aion-exact-sum.6045546490":"y - x + 1/3 <= 0","oss-aion-exact-sum.a9171dcc84":"x - y + 3/2 <= 0","oss-aion-exact-sum.0df9336e46":"3y - 3x + 1 <= 0","oss-aion-exact-sum.022fb6347f":"2x - 2y + 3 <= 0","oss-aion-exact-sum.fb360f9c09":"tak","oss-aion-exact-sum.c4c6c57253":"dodatnia","oss-aion-exact-sum.b55e22fe78":"dokładnie","oss-aion-exec-cert.6a230011ab":"sprawdza to coś innego","oss-aion-exec-cert.2c14724b1b":"wygenerowało to środowisko wykonawcze","oss-aion-exec-cert.b07722ef0c":"limit","oss-aion-exec-cert.470b88b11e":"SELVEDGE","oss-aion-exec-cert.f40ef629a9":"moduł do wyjścia","oss-aion-exec-cert.a7b63abc02":"Co niesie certyfikat","oss-aion-exec-cert.e1bbfaa783":"Tożsamość wyniku i to, czy został przechwycony.","oss-aion-exec-cert.59871c9494":"Wyjście i status","oss-aion-exec-cert.ffb779a5c3":"Limity, w których działał, jako granice, a nie obserwacje.","oss-aion-exec-cert.ffbc724f07":"Zasoby","oss-aion-exec-cert.273c1da325":"Deterministyczny, biorąc pod uwagę moduł, dane wejściowe i uprawnienia.","oss-aion-exec-cert.acee491c99":"Przejścia stanów","oss-aion-exec-cert.eab885bbb2":"Do czego mógł dotrzeć, zadeklarowane przed uruchomieniem.","oss-aion-exec-cert.dc009dc166":"Nadane uprawnienia","oss-aion-exec-cert.6f3eb29822":"Który moduł, według adresu treści, w której wersji środowiska wykonawczego.","oss-aion-exec-cert.c201b4ae89":"Tożsamość modułu","oss-aion-executed-under.6b6dab207c":"Co zezwolenie dopuszcza","oss-aion-executed-under.1fcfedc78a":"do czego mogłoby dotrzeć","oss-aion-executed-under.0338c5441d":"Pytanie po fakcie dotyczy uprawnień, a zezwolenie je niesie.","oss-aion-executed-under.bc70ed4db9":"Cztery przyznane uprawnienia, trzy wstrzymane.","oss-aion-executed-under.6f9d76b8c0":"Przejścia są deterministyczne przy danym module, danych wejściowych i uprawnieniach, więc cały\n            ten proces został prześledzony bez uruchamiania obciążenia.","oss-aion-executed-under.e044b5f419":"Tożsamość deklarowana przez zezwolenie nie jest tożsamością, którą wytwarzają przejścia, więc\n            uruchomienie jest odrzucane na wyjściu. Wszystko przed tym zostało odtworzone dokładnie.","oss-aion-executed-under.7f0cc64ae8":"przejścia deterministyczne","oss-aion-executed-under.5fa4050afc":"zestaw uprawnień, zadeklarowany przed uruchomieniem","oss-aion-executed-under.844e9ed357":"zegar, obserwacja nieustawiona","oss-aion-executed-under.b3ccbb4041":"limit pamięci 512 MiB","oss-aion-executed-under.1fe892a96f":"jeden gniazdo, 10.0.4.12:7443","oss-aion-executed-under.5028d1b23d":"odczyt /var/lib/claims","oss-aion-executed-under.7a02a68db0":"nieprzyznane","oss-aion-executed-under.685706abcf":"tożsamość wyjściowa różni się","oss-aion-executed-under.6287ff317a":"wytworzona","oss-aion-executed-under.0baff051a0":"zadeklarowana","oss-aion-executed-under.1029d67644":"wyjście","oss-aion-executed-under.fbd34a2b6e":"moduł","oss-aion-executed-under.910e029098":"ilustracyjny","oss-aion-executed-under.df6fe4f714":"zdolność do przetrwania poza uruchomieniem","oss-aion-executed-under.b51590997b":"każdy inny adres","oss-aion-executed-under.e4e545e3b7":"wszystko inne w systemie plików","oss-aion-fact-strip.0dc9622797":"Każda liczba ma swoje źródło w repozytorium AION.","oss-aion-fact-strip.b7feece146":"AION w liczbach","oss-aion-fact-strip.fedec331ff":"Biblioteka, CLI i benchmark w jednym miejscu pracy","oss-aion-fact-strip.13a24daf03":"Implementacja","oss-aion-fact-strip.6b5eb5323e":"Rust","oss-aion-fact-strip.a19c9efbb4":"Binarny, całkowitoliczbowy i adaptacyjny stałoprzecinkowy; bez wewnętrznej arytmetyki zmiennoprzecinkowej","oss-aion-fact-strip.5688a0448c":"Rdzeń arytmetyczny","oss-aion-fact-strip.0cae74747c":"Dokładny","oss-aion-fact-strip.379c055f01":"Liniowy względem długości dowodu, offline, bez solvera","oss-aion-fact-strip.04ce84fb6e":"Koszt weryfikacji","oss-aion-fact-strip.ebc75cd71f":"O(n)","oss-aion-fact-strip.6286c1b8ae":"LRAT, DRAT, Alethe i ujednolicona forma pośrednia","oss-aion-fact-strip.e6c67de15e":"Formaty dowodów","oss-aion-fact-strip.3afae345cd":"PROP, LIA, NLA, BV, ARR, STR, FP, QF, TEMP, PROB, CONCUR","oss-aion-fact-strip.ebd82f704f":"Teorie logiczne","oss-aion-failure-notice.d8164c5dd8":"ustalenie, nie spór","oss-aion-failure-notice.159098bbba":"Ten drugi zaczyna kłótnię, której nikt nie może zakończyć.","oss-aion-failure-notice.814fc5cd4f":"Jedno z nich można wysłać dostawcy we wtorek po południu.","oss-aion-failure-notice.2e6ea3eaa5":"nie można przypisać, nie można wycenić, nie można precyzyjnie zakwestionować","oss-aion-failure-notice.e896d6344f":"weryfikacja nie powiodła się","oss-aion-failure-notice.587270a2e4":"gdzie trafia każde pole","oss-aion-failure-notice.ba0f0eb3fe":"przesłanka nieobecna","oss-aion-failure-notice.0c2a7f4aef":"krok 415","oss-aion-failure-notice.55daa4a2ea":"ostatnie cztery kroki czytają","oss-aion-failure-notice.ca548ed152":"17 marca 2026","oss-aion-failure-notice.3c05b129e2":"nie wydano werdyktu","oss-aion-failure-notice.aa943932a5":"zawiadomienie o odmowie","oss-aion-failure-notice.28fb3d519e":"zrekonstruowany","oss-aion-failure-notice.bd370d1b6f":"krok","oss-aion-failure-notice.910e029098":"poglądowy","oss-aion-failure-notice.e6b658331e":"i nikt nie jest oskarżony","oss-aion-failure-notice.94002635cd":"ty, jeśli to pytanie zakresowe","oss-aion-failure-notice.7ab178c9a0":"rodzaj","oss-aion-failure-notice.0d967ff8f3":"dostarcza brakującą przesłankę","oss-aion-failure-notice.b54c9b7359":"kto wyprodukował krok","oss-aion-failure-notice.94a94ba774":"powód","oss-aion-failure-notice.ba3167e426":"potwierdza, co ten krok powinien zrobić","oss-aion-failure-notice.32ec97b69b":"właściciel Twojego zestawu reguł","oss-aion-failure-notice.b543dc38fd":"reguła","oss-aion-failure-notice.ad866c4aef":"otwiera plik na kroku 415","oss-aion-failure-notice.06fddd86f6":"zespół ds. dowodów dostawcy","oss-aion-failure-notice.aecf66bfac":"lokalizacja","oss-aion-failure-notice.1d7794c5e2":"nie wydano werdyktu dla tego dowodu","oss-aion-failure-notice.f4475dac73":"konsekwencja","oss-aion-failure-notice.566c7d73a0":"krok powołuje się na przesłankę, której nie ma w pliku","oss-aion-failure-notice.7947e92e3c":"powód","oss-aion-failure-notice.5dfa011717":"reguła, rozstrzygnięcie","oss-aion-failure-notice.64463af8a3":"414 zaakceptowane","oss-aion-failure-notice.c21ce4fb88":"kroki czytają","oss-aion-failure-notice.2bf60a2164":"analiza konfliktu dostawcy dla marcowego zestawu reguł","oss-aion-failure-notice.335ce16b3f":"temat","oss-aion-family-board.ca8f6715c8":"wersjonowane osobno","oss-aion-family-board.e794ff76c1":"szkic oczekujący na weryfikatora","oss-aion-family-board.0f2e82af82":"Dziewięć rodzin dzieli jedną kopertę i nic więcej. Dziesiąta to","oss-aion-family-board.ca6c6dda8e":"weryfikator i zadeklarowany zestaw reguł","oss-aion-family-board.c53186083e":"dziesiąta","oss-aion-family-board.0020359543":"nieprawidłowe przejście, przekroczenie limitu, niezgodność wyjścia,\n              niekompletny ślad","oss-aion-family-board.187225126d":"taksonomia odmów","oss-aion-family-board.fac6c7230f":"odtwórz przejścia względem zadeklarowanych\n              limitów i zestawu reguł","oss-aion-family-board.155e6164fc":"algorytm weryfikacji","oss-aion-family-board.924f583920":"deterministyczna sekwencja przejść z tożsamościami wejścia i\n              wyjścia","oss-aion-family-board.c0e6022509":"reprezentacja dowodu","oss-aion-family-board.927f6ddf1e":"to zadanie działało w ramach tych limitów i osiągnęło to wyjście","oss-aion-family-board.79bf5b0ee6":"typ roszczenia","oss-aion-family-board.131097a25c":"Wykonanie w czasie rzeczywistym, v2","oss-aion-family-board.50b24e4d4c":"jedna płyta, otwarta","oss-aion-family-board.803aa98470":"że zapisany rekord jest tym zaakceptowanym","oss-aion-family-board.3e71ceb1ca":"Integralność przechowywania","oss-aion-family-board.f8603f4710":"że zadeklarowany model wygenerował to uruchomienie","oss-aion-family-board.ccc3c9b41d":"Symulacja i FMI","oss-aion-family-board.d0c6b470a4":"że działało w ramach przyznanych limitów","oss-aion-family-board.dc37599f99":"Wykonanie w czasie rzeczywistym","oss-aion-family-board.4f059da0be":"że artefakt zachowuje źródło","oss-aion-family-board.aad755de42":"Kompilacja","oss-aion-family-board.69ce9b9c4f":"że zarządzana operacja miała miejsce","oss-aion-family-board.ed87ca5ca0":"Organizacyjne","oss-aion-family-board.0dbf90d179":"że zadeklarowana derywacja odtwarza","oss-aion-family-board.e272c597fd":"Rozumowanie","oss-aion-family-board.e79949ba43":"że właściwość zachodzi w wielu uruchomieniach, nie jednym","oss-aion-family-board.bdb5a28846":"Czasowe i hiperwłaściwości","oss-aion-family-board.b83c805a0a":"że nic lepszego nie istnieje w granicach","oss-aion-family-board.c794704381":"Optymalizacja","oss-aion-family-board.ede1ae7e54":"że żadne przypisanie nie spełnia zbioru","oss-aion-family-board.a04ce90d06":"Logika i spełnialność","oss-aion-family-board.b98b54298f":"dziewięć zarejestrowanych, jeden szkic","oss-aion-family-board.6253e9d668":"Tablica rodzin","oss-aion-family-board.910e029098":"ilustracyjny","oss-aion-family-registry.6e32650bab":"i wersja na wszystkich z nich","oss-aion-family-registry.dcd1f1fdc9":"cztery deklaracje na rodzinę","oss-aion-family-registry.3bc3fe987d":"Błędy, które może zwrócić ta rodzina, każdy z lokalizacją.","oss-aion-family-registry.d129426d71":"Taksonomia odmów","oss-aion-family-registry.d4504f5b41":"Co uruchamia weryfikator i zbiór reguł, który akceptuje.","oss-aion-family-registry.52ab770040":"Algorytm weryfikacji","oss-aion-family-registry.4c9dd89c88":"Jak przenoszony jest świadek, wyprowadzenie lub ślad.","oss-aion-family-registry.016fecd943":"Reprezentacja dowodu","oss-aion-family-registry.ab1e33179a":"Co ta rodzina ustala, a czego celowo nie.","oss-aion-family-registry.8a547220fc":"Typ twierdzenia","oss-aion-family-registry.37094b3cc5":"zanim można go sprawdzić","oss-aion-family-registry.b14e18379b":"REJESTR","oss-aion-family-registry.b3e4281358":"Co deklaruje rodzina","oss-aion-family-registry.7efea8ff96":"niekompletny","oss-aion-family-registry.995fee1f1a":"nieobsługiwany","oss-aion-family-registry.81f344a768":"nieprawidłowy","oss-aion-foreign-proof.4c43cb0de1":"brak licencji, brak środowiska","oss-aion-foreign-proof.9406c96fa7":"cztery cienkie linie między nimi","oss-aion-foreign-proof.9fefe2d67f":"Cztery rodzaje pracy po jednej stronie, cztery czytelne obiekty po drugiej oraz","oss-aion-foreign-proof.57802c0b4e":"Weryfikator nigdy nie uruchomił lewej strony i nie musi tego robić.","oss-aion-foreign-proof.1dfc94b110":"jeden paragon","oss-aion-foreign-proof.cff5f15fed":"dwie tranzycje","oss-aion-foreign-proof.d58f13fb52":"kontrola uprawnień","oss-aion-foreign-proof.24ef006723":"uprawnienia i paragony","oss-aion-foreign-proof.933912faec":"agenci, koordynacja","oss-aion-foreign-proof.2ae1de46da":"stan pozostaje w zadeklarowanej otoczce","oss-aion-foreign-proof.ed96565674":"punkty kontrolne i niezmiennik","oss-aion-foreign-proof.0ae689c7bd":"kroki integracji","oss-aion-foreign-proof.f9020659b6":"wybór jądra","oss-aion-foreign-proof.3e77a07952":"twierdzenia o zachowaniu","oss-aion-foreign-proof.2bb64b9b5b":"przebiegi optymalizacji","oss-aion-foreign-proof.c8b39aa910":"wyprowadzanie klauzul","oss-aion-foreign-proof.4da89bbc52":"przeszukiwanie solvera","oss-aion-foreign-proof.51339ff0ea":"dowód na Twojej maszynie","oss-aion-foreign-proof.4f45bf808d":"praca po stronie producenta","oss-aion-foreign-proof.c369931988":"cztery linie, nic więcej","oss-aion-foreign-proof.ec0b7e2c43":"Co przekracza granicę","oss-aion-foreign-proof.44d74dd33f":"kształty","oss-aion-foreign-proof.e7b1fff700":"typy","oss-aion-foreign-proof.910e029098":"ilustracyjny","oss-aion-formats.59748d73a4":"SourceFormat + TargetFormat","oss-aion-formats.318793af64":"LRAT i Alethe weryfikują w czasie liniowym offline. DRAT jest sprawdzany, a następnie przycinany do LRAT.\n            Unified konwertuje między nimi bezstratnie.","oss-aion-formats.14a628e6d3":"Sprawdzane przez","oss-aion-formats.dda6ac27b9":"Weryfikuj","oss-aion-formats.34556fa12c":"Karta formatu","oss-aion-formats.e6c67de15e":"Formaty dowodów","oss-aion-formats.8a5e29e5bb":"konwersja bezstratna","oss-aion-formats.ddb7c01560":"jeden źródłowy, cztery kształty","oss-aion-formats.f2098896de":"aion-proofs / format.rs","oss-aion-formats.fdd3787f6c":"[ \"lrat\", \"drat\" ]","oss-aion-formats.29c720a7b8":"# ujednolicony dowód pośredni","oss-aion-formats.0d3311a5dc":"konwerter aion-proofs","oss-aion-formats.1f5124d90b":"Konwertowane przy eksporcie","oss-aion-formats.8c21b7e1f1":"Wewnętrzna reprezentacja, która konwertuje bezstratnie między pozostałymi.","oss-aion-formats.ebb8e8cf49":"Forma pośrednia","oss-aion-formats.287fda8114":"Ujednolicony","oss-aion-formats.6d56822b09":"(h1 h2))","oss-aion-formats.87d27a2d97":"t3 (cl Q) ","oss-aion-formats.6d3a4ab6e5":"(=> P Q))","oss-aion-formats.ec18650019":"cvc5, Carcara","oss-aion-formats.0cdb7c9a36":"Czas liniowy, offline","oss-aion-formats.f6f7b642b0":"Społecznościowy format SMT-LIB z linii cvc5 i veriT.","oss-aion-formats.4aa5db37af":"Dowód SMT","oss-aion-formats.72e8e24f69":"Alethe","oss-aion-formats.dc085eadad":" drat dodaje i usuwa linie","oss-aion-formats.f3ba7f38e9":"drat-trim do LRAT","oss-aion-formats.36f33c83a6":"Sprawdzane, następnie przycinane","oss-aion-formats.4745aebc97":"Klauzulowe dodawanie i usuwanie. Kontrolery formatu przycinają do LRAT.","oss-aion-formats.154df3dc2f":"Certyfikat SAT","oss-aion-formats.6b1e5a7eb4":"DRAT","oss-aion-formats.7dc15f2303":" wyprowadzona klauzula pusta","oss-aion-formats.6fd630d612":" lrat z podpowiedziami unit-propagation","oss-aion-formats.852b2d30af":"drat-trim, lrat-check, gratchk","oss-aion-formats.0cd67e795b":"Standardowe dowody rezolucyjne dla rdzenia propozycjonalnego.","oss-aion-formats.479769609f":"LRAT","oss-aion-four-gates.2a14561491":"plik, który nigdy się nie zamyka","oss-aion-four-gates.0ff8f0eb5a":"i jeszcze jeden na końcu","oss-aion-four-gates.a1ebd8379f":"przed krokiem 1","oss-aion-four-gates.b161dbb47d":"Plik jest najpierw skanowany w poszukiwaniu powtórzonego numeru kroku.","oss-aion-four-gates.21e412d2d0":"Dwa kroki, jeden numer","oss-aion-four-gates.5a34347cc0":"ALETHE","oss-aion-four-gates.8ace427112":"i jeden przed wszystkimi","oss-aion-four-gates.e74bdcd46a":"Cztery testy, w tej kolejności","oss-aion-four-gates.fef891bb33":"krok 15","oss-aion-four-gates.cc90eb3e73":"Brak procedury dla nazwy. Czytanie zatrzymuje się, a nie pomija.","oss-aion-four-gates.787e8a8577":"Nieznana reguła","oss-aion-four-gates.e70c55582f":"krok 52","oss-aion-four-gates.59446cbcf9":"Przesłanka, która jest obecna, ale ponumerowana powyżej kroku, który się na nią powołuje.","oss-aion-four-gates.f1604fe1aa":"Przywołane poza kolejnością","oss-aion-four-gates.a42f56e597":"krok 44","oss-aion-four-gates.371b9613cc":"Przywołany numer, którego nie ma w pliku.","oss-aion-four-gates.1d1369a316":"Brak przesłanki","oss-aion-four-gates.e1391a7c80":"krok 31","oss-aion-four-gates.9a7512e955":"Krok oparty na własnym wniosku. Pytane najpierw, o każdy krok.","oss-aion-four-gates.7f30dfcc04":"Powołuje się na siebie","oss-aion-governed-operation.b0582e8559":"Jedna operacja, sprawdzona","oss-aion-governed-operation.8af7f1d469":"zarządzana, następnie sprawdzona","oss-aion-governed-operation.ada470c3d7":"Łańcuch i jego weryfikacja to dwie różne władze.","oss-aion-governed-operation.90fba649e4":"Odtworzono cztery elementy, a piąty zatrzymuje odczyt.","oss-aion-governed-operation.ea8356461f":"nie w tym certyfikacie: co myślał jakikolwiek agent","oss-aion-governed-operation.2f68c232b4":"Wersja polityki deklarowana przez certyfikat nie zawiera warunku, który ta bramka\n                twierdzi, że zastosowała. Operacja jest odrzucona na tym elemencie i nie wydano\n                werdyktu dla całości.","oss-aion-governed-operation.be51277bfd":"nieosiągnięty","oss-aion-governed-operation.57b160e317":"przejście weryfikatora, na własną władzę","oss-aion-governed-operation.26f017e3e6":"zaakceptowano, ref 4471-b","oss-aion-governed-operation.34c3c00446":"potwierdzenie odbioru","oss-aion-governed-operation.159338740e":"instrukcja płatności, system księgowy","oss-aion-governed-operation.80f6148b56":"wykonana akcja","oss-aion-governed-operation.458c8c203d":"do akcji, nie do wiadomości w jej pobliżu","oss-aion-governed-operation.1b4dcda6ba":"dołączona aprobata","oss-aion-governed-operation.303418bf06":"powyżej 50 000 wymaga drugiego zatwierdzającego","oss-aion-governed-operation.faf1f5eb4b":"bramka polityki","oss-aion-governed-operation.557df801be":"przejścia zadań","oss-aion-governed-operation.b1c842256e":"urzędnik ds. roszczeń","oss-aion-governed-operation.59bef6c3e5":"rozstrzygnięta władza","oss-aion-governed-operation.0639a9efd0":"czterech agentów, nierówny zakres","oss-aion-governed-operation.8e44be8724":"utworzona organizacja","oss-aion-governed-operation.139146ad26":"polityka v4.2","oss-aion-governed-operation.8524f08438":"rozlicz roszczenia dostawców za kwartał","oss-aion-governed-operation.cab7375bdf":"operacja, tak jak ją wykonał Nexus","oss-aion-governed-operation.82c8154dca":"odrzucona przy bramce","oss-aion-governed-operation.a503bc1da2":"odrzucona","oss-aion-governed-operation.28fb3d519e":"odtworzona","oss-aion-governed-operation.45807bf2ec":"rozliczona","oss-aion-governed-operation.fb92f3f834":"oceniona","oss-aion-governed-operation.590abaace4":"otwarta","oss-aion-governed-operation.d2dc873868":"cel","oss-aion-governed-operation.910e029098":"poglądowy","oss-aion-harness-fields.d5ad303466":"i liczba, którą możesz zacytować","oss-aion-harness-fields.5a31ca3c0f":"Twój korpus, Twój sprzęt","oss-aion-harness-fields.58664673b0":"Wydrukowane na całym korpusie na końcu przebiegu.","oss-aion-harness-fields.6197b910db":"Poprawna liczba","oss-aion-harness-fields.175226a475":"W porównaniu ze statusem zapisanym w samym pliku.","oss-aion-harness-fields.d787e678da":"Odpowiedź względem statusu","oss-aion-harness-fields.b5ec587356":"Samo wyszukiwanie, na instancję, nie uśrednione.","oss-aion-harness-fields.1bd5a36ade":"5,62 s","oss-aion-harness-fields.440f019938":"Czas rozwiązania","oss-aion-harness-fields.bec737ff93":"Jak długo trwało czytanie pliku, oddzielone od rozwiązywania.","oss-aion-harness-fields.f2fedd3be1":"0,84 s","oss-aion-harness-fields.9ae1441e59":"Czas parsowania","oss-aion-harness-fields.20e5752f58":"Górny poziom, więc plan pojemności ma w sobie liczbę.","oss-aion-harness-fields.0f93e8ac09":"1,9 GB","oss-aion-harness-fields.2ecefe98c3":"Szczytowa pamięć rezydentna","oss-aion-harness-fields.b660370132":"jeden plik z Twojego korpusu","oss-aion-harness-fields.ec845d015d":"na instancję, potem zsumowane","oss-aion-harness-fields.a94252fbc5":"HARNESS","oss-aion-harness-fields.1af45602c5":"Co rejestruje jeden przebieg","oss-aion-harness-fields.b3cbdd75cb":"obalone","oss-aion-harness-fields.48a3661d84":"status","oss-aion-harness-fields.25dc282b5a":"odpowiedź","oss-aion-harness-fields.a0299ff49d":"case-0417","oss-aion-hero-glyph.brandLabel":"AION","oss-aion-hero-glyph.9476d3834d":"Rozwiązywanie...","oss-aion-hero-glyph.3d08723a54":"Wynik: SAT","oss-aion-hero-glyph.9e1279af1f":"Model:","oss-aion-hero-glyph.45dcf6e46f":"  x = 1","oss-aion-hero-glyph.81ef4e711c":"  y = 3","oss-aion-hero-glyph.70f4daaa7f":"Czas: 4ms","oss-aion-hero-glyph.138243f0f4":"Wynik: UNSAT","oss-aion-hero-glyph.a61b6226ca":"Dowód: 128 kroków","oss-aion-hero-glyph.41294a8dc8":"Dowód zapisano do: proof.alethe","oss-aion-hero-glyph.c73f3eba85":"aion-cli check proof.alethe","oss-aion-hero-glyph.cf2b6bfeba":"Sprawdzanie dowodu: proof.alethe","oss-aion-hero-glyph.72e8e24f69":"Alethe","oss-aion-hero-glyph.70142f344c":"Parsowanie: OK","oss-aion-hero-glyph.27d28e3ca9":"Dowód ma 128 kroków","oss-aion-hero-glyph.1ba94dea63":"Statystyki dowodu:","oss-aion-hero-glyph.e1b3c4d7c5":"  Łączna liczba kroków: 128","oss-aion-hero-glyph.e30b86fef9":"  Kroki rezolucji: 71","oss-aion-hero-glyph.8215376faf":"  Kroki arytmetyczne: 24","oss-aion-hero-glyph.552f29f0b5":"Maksymalny rozmiar klauzuli: 6","oss-aion-hero-glyph.fc539fcf62":"Weryfikacja dowodu: ZALICZONA","oss-aion-hero-glyph.1e4bdfb80c":"Czas weryfikacji: 2ms","oss-aion-hero-glyph.adf0423d63":"aion-cli v0.1.0","oss-aion-hero-glyph.e01fa717ba":"Offline","oss-aion-hero-glyph.9ce3bd4224":"OK","oss-aion-hero-glyph.46d61005d2":"echo $?","oss-aion-hero-glyph.bb7a461c7e":"CDCL + teoria","oss-aion-hero-glyph.6ba46a924e":"adaptacyjny punkt stały","oss-aion-hero-glyph.a9f24b1b66":"sprawdzanie w czasie liniowym","oss-aion-hero-glyph.6b5eb5323e":"Certyfikat dołączony","oss-aion-how-to-check.c799cc998b":"Wynik: to jest poprawne.","oss-aion-how-to-check.6bb380a084":"url(#aionCheckArrow)","oss-aion-how-to-check.2a8505d7ae":"Pierwsza maszyna przekazuje swój paragon osobnemu pomocnikowi, który go sprawdza","oss-aion-how-to-check.d026bcfccb":"Wynik jest jednoznaczny: paragon się zgadza albo nie. Nie ma żadnego „może”.","oss-aion-how-to-check.d0c84a5a37":"Sprawdzenie odbywa się dokładnie tam, gdzie jesteś. Nic nie jest wysyłane i żadna strona internetowa nie jest potrzebna.","oss-aion-how-to-check.623151a710":"Pomocnik, który sprawdza, to nie ta maszyna, która odpowiadała. Nie może po prostu zgodzić się sam ze sobą.","oss-aion-how-to-check.87e974a415":"czyta go i sprawdza","oss-aion-how-to-check.3c487e646c":"Drugi pomocnik","oss-aion-how-to-check.78829f8a37":"kroki, zapisane","oss-aion-how-to-check.9b7b265fbb":"Paragon","oss-aion-how-to-check.f58fd2cb80":"udziela odpowiedzi i paragonu","oss-aion-how-to-check.50e90303d4":"Pierwsza maszyna","oss-aion-integration.b1873dbd42":"Jeden silnik, bez zewnętrznej usługi. Podłącz crate, przypnij wersję i zweryfikuj certyfikaty w tym samym środowisku.","oss-aion-integration.5f2e7d7c25":"Ten sam certyfikat dowodu z każdego interfejsu. Zapytanie w środku, sprawdzalny certyfikat na wyjściu.","oss-aion-integration.a4db3ae8b6":"Jak to wywołać","oss-aion-integration.4ec6d609ab":"Zacznij od jednej ścieżki decyzji","oss-aion-integration.559461e293":"biblioteka, CLI, benchmark","oss-aion-integration.0228a4c724":"Każdy może sprawdzić certyfikat za pomocą aion check lub niezależnego sprawdzacza LRAT lub Alethe na własnym komputerze.","oss-aion-integration.dda6ac27b9":"Weryfikuj","oss-aion-integration.4d2c6036eb":"Umieść aion-cli za własną usługą. Certyfikat dowodu jest kontraktem, który usługa zwraca.","oss-aion-integration.c3447e7954":"Opakuj","oss-aion-integration.f9109d0f04":"Dodaj crate do istniejącej aplikacji w Rust i emituj certyfikaty wbudowane w odpowiedzi, które już generuje.","oss-aion-integration.ad02e14e28":"Osadź","oss-aion-integration.e9aa1595fb":"cargo run --bin aion-bench","oss-aion-integration.5c37a2d6a3":"Dedykowany binarny benchmark jest dostarczany w workspace. Zmierz solve i check na własnym sprzęcie, zamiast ufać danym producenta.","oss-aion-integration.bfaafd85c5":"aion check proof.alethe","oss-aion-integration.5cdc74edf9":"Steruj AION z powłoki lub zadania CI. solve uruchamia zapytanie, check weryfikuje certyfikat dowodu offline, a prove go emituje. Ten sam wynik dowodu co w bibliotece.","oss-aion-integration.561e084d49":"use aion::Solver;","oss-aion-integration.f0fef01894":"Podłącz AION jako crate i wywołuj solver oraz emiter dowodów bezpośrednio. Jądro, teorie i formaty dowodów są w procesie, bez potrzeby uruchamiania usługi.","oss-aion-integration.8319d9b3b9":"Biblioteka Rusta","oss-aion-live-margins.df15dfd304":"jedno z nich to działanie","oss-aion-live-margins.96576608a5":"trzy z nich to odczyty","oss-aion-live-margins.5711ac01c1":"ŚLEDZONE","oss-aion-live-margins.f719aa9511":"upłynęło względem dozwolonego","oss-aion-live-margins.a344938438":"Cztery obowiązki","oss-aion-live-margins.19e5ecc09e":"tego samego dnia, na wydarzeniu","oss-aion-live-margins.828697f103":"Rekord transferu","oss-aion-live-margins.222af170d9":"44 dni z 30, nadal otwarte","oss-aion-live-margins.a441e09d1a":"Okno retencji","oss-aion-live-margins.30e04c8f23":"2 dni z 3","oss-aion-live-margins.20d6944505":"Powiadomienie o naruszeniu","oss-aion-live-margins.9b9419d2e2":"26 dni z 30","oss-aion-live-margins.6e7d6c760b":"Odpowiedź podmiotu","oss-aion-nothing-outbound.45b9d8acdc":"brak klienta wychodzącego","oss-aion-nothing-outbound.5b16b5db9a":"Każda ścieżka zaczyna się i kończy w linii, którą narysowałeś.","oss-aion-nothing-outbound.59a0768496":"Nic na tym arkuszu nie wykracza poza obrys.","oss-aion-nothing-outbound.71c31d8219":"lokalny proces na tym komputerze","oss-aion-nothing-outbound.605f85e28f":"zewnętrzny dowódca","oss-aion-nothing-outbound.150bc2359d":"jedna podsieć, ustawiona przez Ciebie","oss-aion-nothing-outbound.5193678a39":"adresy klastra","oss-aion-nothing-outbound.49c4e670b3":"Twoja sieć","oss-aion-nothing-outbound.273ca4c134":"to, co skonfigurujesz","oss-aion-nothing-outbound.7f8d7aeedb":"pięć wierszy","oss-aion-nothing-outbound.bcec1ac359":"co ta ścieżka dodaje do Twojego rejestru","oss-aion-nothing-outbound.4553aa0c94":"lokalny magazyn","oss-aion-nothing-outbound.93d65d8ef8":"archiwum","oss-aion-nothing-outbound.760cfc52ce":"kontroler","oss-aion-nothing-outbound.6621d172f5":"zestaw reguł, który jest odczytywany","oss-aion-nothing-outbound.565f3cfc6a":"certyfikat, który jest sprawdzany","oss-aion-nothing-outbound.284f61c8db":"Twoja witryna, Twój sprzęt","oss-aion-nothing-outbound.f368a04bb8":"jedna granica i należy do Ciebie","oss-aion-nothing-outbound.5c795b7e7d":"żadna ścieżka nie wychodzi","oss-aion-nothing-outbound.4f98b1412d":"Nic nie opuszcza obwodu","oss-aion-nothing-outbound.4539d6d0b5":"cvc5","oss-aion-nothing-outbound.186c8cd284":"Kompilacja, którą trzymasz, nie zmienia się pod Tobą.","oss-aion-nothing-outbound.07b9a651d1":"Harmonogram wydań dostawcy do śledzenia","oss-aion-nothing-outbound.8fa0bea3f8":"Żadna nasza usługa nie znajduje się na ścieżce.","oss-aion-nothing-outbound.11449c8bd3":"Zależność dostępności do odnotowania","oss-aion-nothing-outbound.66506ab77b":"Żaden model nie jest wywoływany.","oss-aion-nothing-outbound.af474ee96b":"Dostawca modelu do oceny","oss-aion-nothing-outbound.f2250926d2":"Nic nie opuszcza granicy.","oss-aion-nothing-outbound.e80e5b3403":"Transfer transgraniczny do uzasadnienia","oss-aion-nothing-outbound.0bd87fb406":"Żaden procesor na tej ścieżce.","oss-aion-nothing-outbound.9494490634":"Procesor do dodania","oss-aion-obligation-calendar.366609b500":"margines, nie alarm","oss-aion-obligation-calendar.3c8532b3c7":"Zasada w środku to miejsce, w którym tanie rozwiązanie przestało być dostępne.","oss-aion-obligation-calendar.949b1361f5":"Obie liczby to odczyty, które każdy może zrobić dziś rano.","oss-aion-obligation-calendar.7758d9c282":"wymagane działanie","oss-aion-obligation-calendar.4ebebe0b7c":"-14 dni","oss-aion-obligation-calendar.6937bf485d":"rozpoczęto przed tym miesiącem","oss-aion-obligation-calendar.37ed878825":"okno retencji","oss-aion-obligation-calendar.3974c3ac47":"+4 dni","oss-aion-obligation-calendar.aa69fdaab6":"otwarto, dozwolone 30 dni","oss-aion-obligation-calendar.c6727ea40c":"odpowiedź tematu","oss-aion-obligation-calendar.51269d14af":"ostatni dzień, kiedy to wciąż była praca na popołudnie","oss-aion-obligation-calendar.96a8ebf797":"przykładowe daty","oss-aion-obligation-calendar.fdcce3f37e":"jedna jest po terminie","oss-aion-obligation-calendar.11ddafb2cc":"Miesiąc zobowiązań","oss-aion-obligation-calendar.a2620cbc10":"dzień","oss-aion-one-contract-six.d3926ca64d":"jeden rejestr, jeden zestaw obiektów","oss-aion-one-contract-six.c4d72c2328":"Ich dowody są zgodne z jedną kopertą AION.","oss-aion-one-contract-six.a7e545052a":"Wyjścia producentów pozostają odrębne.","oss-aion-one-contract-six.5cbf78425a":"jedna zmiana reguły, ponowne sprawdzenie obiektów","oss-aion-one-contract-six.f5c6772ad7":"jedna kolejka ponownej weryfikacji","oss-aion-one-contract-six.d3516bd6ea":"jeden rejestr i rekord przechowywania","oss-aion-one-contract-six.2ec012da6f":"jedna koperta AION","oss-aion-one-contract-six.2c653cc8fa":"tych samych siedmiu producentów, przez jedną kopertę AION","oss-aion-one-contract-six.725c682066":"różne wyjścia, weryfikatory specyficzne dla rodziny","oss-aion-one-contract-six.cddf74f2cf":"siedem wyjść producentów","oss-aion-one-contract-six.f063fe5bcd":"siedem wyjść powyżej, jedna koperta poniżej","oss-aion-one-contract-six.c34e6d1a39":"siedmiu producentów, jedna koperta dowodów","oss-aion-one-contract-six.910e029098":"poglądowy","oss-aion-one-contract-six.67bb73569c":"certyfikat symulacji","oss-aion-one-contract-six.7966a9fa49":"certyfikat kompilacji","oss-aion-one-contract-six.1111f590cc":"certyfikat organizacyjny","oss-aion-one-contract-six.293194c28e":"certyfikat rozumowania","oss-aion-one-contract-six.8aa194122c":"rekord dowodu logicznego","oss-aion-one-contract-six.30870de828":"tożsamość modelu, parametry, stan, punkty kontrolne, niezmienniki i skrót trajektorii","oss-aion-one-contract-six.efa8fe1aa5":"Twin","oss-aion-one-contract-six.4f214be74c":"moduł, dane wejściowe, przyznane uprawnienia, przejścia, limity i wyjście","oss-aion-one-contract-six.de6848949f":"Selvedge","oss-aion-one-contract-six.493f0c1cce":"graf źródłowy, transformacje, niezmienniki i tożsamość artefaktu","oss-aion-one-contract-six.d5f412e831":"Kera","oss-aion-one-contract-six.42f9cb62ab":"władza, polityka, zatwierdzenia, przejścia i pokwitowania","oss-aion-one-contract-six.485a04fef4":"Nexus","oss-aion-one-contract-six.00f76943a3":"wyprowadzenie ograniczeń i zwrócone dowody solvera","oss-aion-one-contract-six.0fed3b96cc":"Loom","oss-aion-one-contract-six.64d41988f3":"dowód, model, rdzeń, świadek lub ograniczenie","oss-aion-one-contract-six.fde68155d3":"Solver","oss-aion-one-contract-six.71c9a5c1a1":"Możliwe, niemożliwe lub optymalne","oss-aion-one-contract-six.8f7924f6f5":"Weryfikator solvera specyficzny dla rodziny","oss-aion-one-contract-six.2e9d2d4990":"Wniosek z zadeklarowanych ograniczeń","oss-aion-one-contract-six.0e7a123b77":"Weryfikator rozumowania Loom","oss-aion-one-contract-six.3c1a0d119e":"Zakończona operacja zarządzana","oss-aion-one-contract-six.6c2ed5435d":"Weryfikator organizacyjny Nexus","oss-aion-one-contract-six.07b127b70d":"Skompilowany artefakt","oss-aion-one-contract-six.4f9018da9e":"Weryfikator kompilacji Kera","oss-aion-one-contract-six.1f42a0b0ce":"Wykonane zadanie","oss-aion-one-contract-six.5a3c8f1f84":"Weryfikator wykonania Selvedge","oss-aion-one-contract-six.8879cc2e8a":"Symulowana trajektoria","oss-aion-one-contract-six.0d72478caf":"Weryfikator symulacji i FMI","oss-aion-one-contract-six.4f371e00f3":"FMI","oss-aion-one-contract-six.08d4a83332":"Zakończone uruchomienie FMU","oss-aion-one-contract-six.8f5753fba0":"Tożsamość FMU, konfiguracja, kroki, zdarzenia, zbieżność i ślad","oss-aion-one-contract-six.4d64b5bbaf":"Weryfikator symulacji i FMI","oss-aion-one-contract-six.6f99b37c1c":"Roszczenie","oss-aion-one-contract-six.4cb3ee8fa2":"Dowód","oss-aion-one-contract-six.0f3253d8d8":"Weryfikator","oss-aion-one-envelope.3b24a9a880":"osiem pól, wersjonowane","oss-aion-one-envelope.a348113c09":"który\n          weryfikator to odczytuje.","oss-aion-one-envelope.08ace6c26e":"jedno pole decyduje","oss-aion-one-envelope.396e2145f9":"Cztery rodzaje dowodów, jedno otwarcie i","oss-aion-one-envelope.dc1a7be459":"oparte na drugim","oss-aion-one-envelope.ddc01a5859":"twierdzenie o trajektorii","oss-aion-one-envelope.7f211a50e2":"zestaw parametrów","oss-aion-one-envelope.8f2aa45103":"tożsamość modelu","oss-aion-one-envelope.23e75e07fb":"wybrane przez pole typu certyfikatu, nie przez nadawcę","oss-aion-one-envelope.4e4dc30b71":"który weryfikator to odczytuje","oss-aion-one-envelope.c8c687f0ff":"to samo otwarcie, za każdym razem","oss-aion-one-envelope.b5a871e570":"stos paragonów","oss-aion-one-envelope.f90f47de4d":"ciąg przejść","oss-aion-one-envelope.3116f117c0":"tabela przejść","oss-aion-one-envelope.134483f4a2":"dowód klauzuli","oss-aion-one-envelope.93a8ee0c5f":"co wchodzi","oss-aion-one-envelope.582a139a7d":"kierowane według typu","oss-aion-one-envelope.6b9805fe87":"Jedna koperta, cztery ładunki","oss-aion-one-envelope.3dde401523":"wykonanie w czasie rzeczywistym","oss-aion-one-envelope.708563c595":"ed25519, zweryfikowane","oss-aion-one-envelope.f2e0576c5b":"dwa, wymienione poniżej","oss-aion-one-envelope.f7b7603261":"zapieczętowane, 41 kB","oss-aion-one-envelope.15aae6195c":"ładunek certyfikatu","oss-aion-one-envelope.6732222b05":"typ certyfikatu","oss-aion-one-envelope.555863b513":"selvedge 2.8.1","oss-aion-one-envelope.c4aad28a8b":"wersja kontraktu","oss-aion-one-envelope.b578b9727d":"brak podwójnego obciążenia w okresie 2026-06","oss-aion-one-envelope.a503bc1da2":"odrzucono","oss-aion-one-envelope.51c817ab85":"zaakceptowano","oss-aion-one-envelope.495117c360":"zależności","oss-aion-one-envelope.910e029098":"przykładowy","oss-aion-one-field-apart.e704601d64":"oś, a nie próbka","oss-aion-one-field-apart.5c256bca81":"Wynik przesunął się wraz z nią, co jest ustaleniem, a nie statystyką.","oss-aion-one-field-apart.7a1e726c2f":"Dwie aplikacje identyczne we wszystkich polach publicznych, różniące się jedną liczbą.","oss-aion-one-field-apart.084f6c9ebe":"każda para dozwolona przez zasady","oss-aion-one-field-apart.ddaee9368d":"tysiąc przetestowanych przypadków","oss-aion-one-field-apart.4c4ccacd1b":"para, którą można umieścić w pliku","oss-aion-one-field-apart.6fddc6a6d1":"pasmo B,","oss-aion-one-field-apart.dbf68713b1":"ta sama linia, schodkowa","oss-aion-one-field-apart.8c6c701170":"przypadek, który zawodzi","oss-aion-one-field-apart.0f9dcd24f1":"wynik nie zależał od tego pola","oss-aion-one-field-apart.154b3f8e44":"pasmo B, 3 oferty","oss-aion-one-field-apart.4392f1d89c":"jedna linia, bez schodka","oss-aion-one-field-apart.02de2da27e":"przypadek, który się utrzymuje","oss-aion-one-field-apart.b7de103af7":"wynagrodzenie brutto, pozostawione swobodne po obu stronach","oss-aion-one-field-apart.c86b5b3346":"remis po obu stronach","oss-aion-one-field-apart.54bb687f85":"przykładowe aplikacje","oss-aion-one-field-apart.b69108366c":"wynik zmienia się przy parze","oss-aion-one-field-apart.e79b0df746":"różnica jednego pola","oss-aion-one-field-apart.e1fef06921":"oferty","oss-aion-one-field-apart.8699f2b04f":"stałe","oss-aion-one-field-apart.06e3125012":"zatrudnienie","oss-aion-one-field-apart.305fa62f02":"30 do 39","oss-aion-one-field-apart.c6a0c81b25":"przedział wiekowy","oss-aion-one-field-apart.61a7508ed1":"podstawowy","oss-aion-one-field-apart.38a007151a":"produkt","oss-aion-one-field-apart.a59ba24d63":"NL","oss-aion-one-field-apart.a94a58406e":"region","oss-aion-one-word.95fa084cc9":"jeden z nich sprawdza AION","oss-aion-one-word.ce157273ec":"trzy z nich, w które wierzysz","oss-aion-one-word.a04376ab99":"i co możesz z tym zrobić","oss-aion-one-word.1a5b0d2471":"LUKA","oss-aion-one-word.69dc71b6f9":"Z czym przychodzi wynik","oss-aion-one-word.8d40d2bfcc":"Wpisane twierdzenia, każde nazywające regułę, przejście lub przesłankę.","oss-aion-one-word.2f8acfe792":"Certyfikat","oss-aion-one-word.b04dce1dd0":"Ile czasu zajęło upewnienie się. Pewność nie jest pytaniem.","oss-aion-one-word.7eb987f893":"Czas trwania","oss-aion-one-word.8388e9c8ba":"Co zrobił system. Nie dlaczego wniosek wynika.","oss-aion-one-word.40d0f0d4b5":"Log","oss-aion-one-word.e7597ba59a":"unsat, skompilowany, bezpieczny, zatwierdzony. Nie ma w tym nic do zakwestionowania.","oss-aion-one-word.ae976ad8e9":"Jedno słowo","oss-aion-org-cert.dd25bad09c":"i każdy z nich jest sprawdzany","oss-aion-org-cert.e8add8f2b8":"organizacja, role, zadania i zatwierdzenia wypełniają luki","oss-aion-org-cert.abf754be72":"NEXUS","oss-aion-org-cert.5a334593f4":"od celu do potwierdzenia","oss-aion-org-cert.0a629276bf":"Osiem elementów w łańcuchu","oss-aion-org-cert.51e6694762":"Co faktycznie zrobiono na zewnątrz i co wróciło.","oss-aion-org-cert.4f0a23ec14":"Działania i potwierdzenia","oss-aion-org-cert.b249df120c":"Każda granica, którą przekroczyła praca, i to, co ją przepuściło.","oss-aion-org-cert.5eaad4eb5f":"Przepuszczone bramki","oss-aion-org-cert.aba30ac5b8":"Która rola miała co, w momencie próby wykonania działania.","oss-aion-org-cert.145ae750ce":"Rozstrzygnięte uprawnienia","oss-aion-org-cert.f8a4dc9c6b":"Co było próbowane i w której wersji polityki.","oss-aion-org-cert.63fbd2b7ee":"Cel i polityka","oss-aion-pipeline.b07bbe8800":"Rdzeń propozycjonalny","oss-aion-pipeline.81f811c968":"Przeszukiwanie oparte na klauzulach z uczeniem się, napędzane konfliktami, po szkielecie Boole’a. Podejmuje decyzje, propaguje, napotyka konflikt, uczy się klauzuli i cofa. W procedurze decyzyjnej leżą wartości binarne, całkowite i adaptacyjne stałoprzecinkowe; w rdzeniu arytmetycznym nie są przechowywane, akumulowane ani używane jako rezerwa żadne wartości zmiennoprzecinkowe.","oss-aion-pipeline.dc0dd5bc07":"decyzje i wyuczone klauzule","oss-aion-pipeline.0c5ad3c30f":"Wtyczki teorii","oss-aion-pipeline.f3a7990ab0":"Rdzeń przekazuje częściowe przypisanie do warstwy teorii. Arytmetyka, wektory bitowe, tablice i ciągi rozumują w swoich dziedzinach i zwracają propagacje oraz konflikty. Zewnętrzne dane zmiennoprzecinkowe są dekodowane na granicy do pól binarnych lub zadeklarowanej skali stałoprzecinkowej, zanim dołączą do sprawdzenia. Jądro hostuje te rozumowania; teorie temporalne i programowe znajdują się w towarzyszących skrzynkach.","oss-aion-pipeline.9d1b00d225":"lematy teorii i konflikty","oss-aion-pipeline.fa6a461dcc":"Emiter dowodów","oss-aion-pipeline.b3ca95c05c":"Każdy krok silnika, każda rezolucja i każdy lemat teorii są rejestrowane przez emiter dowodów na bieżąco. Wynikiem jest uporządkowane wyprowadzenie, które osobny weryfikator może odtworzyć na podstawie jego przesłanek.","oss-aion-pipeline.17ac98f8af":"uporządkowane wyprowadzenie","oss-aion-pipeline.26d98dc390":"Eksport formatu","oss-aion-pipeline.a79251f54d":"Wyprowadzenie jest zapisywane jako LRAT, DRAT lub Alethe albo pozostaje w ujednoliconej formie pośredniej. LRAT niesie wskazówki propagacji jednostkowej, co sprawia, że sprawdzanie offline jest liniowe względem długości dowodu.","oss-aion-pipeline.8c3cee1cd3":"przenośny certyfikat","oss-aion-pipeline.77ec79ed26":"od decyzji do certyfikatu","oss-aion-pipeline.c320454a47":"CDCL + teoria + emiter","oss-aion-pipeline.a618b4be8d":"Zapytanie","oss-aion-pipeline.10de46b3b3":"Certyfikat","oss-aion-pipeline.62923220ae":"Liczby całkowite / stałoprzecinkowe.","oss-aion-pipeline.4961117925":"Brak wartości zmiennoprzecinkowych w rdzeniu.","oss-aion-pipeline.591118af56":"Łańcuch rezolucji.","oss-aion-pipeline.39dfacd414":"Każdy krok przywołuje przesłanki, od których zależy, w kolejności.","oss-aion-pipeline.7fc7b98317":"Weryfikator niezależny.","oss-aion-pipeline.f0bef425b5":"Certyfikat odtwarza się bez solvera.","oss-aion-pipeline.a73bc5ed23":"Architektura, rdzeń CDCL, wtyczki teorii, emiter dowodów","oss-aion-plain-card.7e190a46ae":"Maszyna udziela odpowiedzi","oss-aion-plain-card.b8941c136d":"Komputer coś dla Ciebie oblicza. Sam z siebie, musisz po prostu przyjąć jego słowo.","oss-aion-plain-card.1232ecf314":"Wypisuje też paragon","oss-aion-plain-card.af7230bfb9":"AION sprawia, że maszyna wypisuje mały paragon obok odpowiedzi. Paragon pokazuje każdy krok, który doprowadził do wyniku.","oss-aion-plain-card.262d1681dd":"Każdy może sprawdzić paragon","oss-aion-plain-card.7d35d2e097":"Twój własny asystent czyta paragon i mówi: tak, to się zgadza, albo nie, to jest błędne. Nie musi w ogóle ufać pierwszej maszynie.","oss-aion-plain-card.e8146bafb5":"AION, prostymi słowami","oss-aion-plain-card.0b081a8ef4":"Paragon w cenie","oss-aion-plain-card.a32564404b":"Pomyśl o paragonie za zakupy. Kiedy coś kupujesz, dostajesz kartkę, która potwierdza,\n          że sklep pobrał właściwą kwotę. Możesz pokazać ten paragon każdemu, a oni mogą sami\n          to sobie przeliczyć.","oss-aion-plain-card.d5d9b99b9c":"AION robi to samo dla komputera.","oss-aion-plain-card.2cc68d964c":"Kiedy maszyna udziela\n          odpowiedzi, AION wręcza Ci paragon, który pokazuje, że odpowiedź jest poprawna, i każdy może go sprawdzić.","oss-aion-plain-card.374c644917":"Nigdy nie musisz po prostu ufać maszynie. Paragon dokonuje dowodu.","oss-aion-plain-refusal.7d7fc8edd4":"ta sama wyjaśnienie dotyczy ciebie i każdego, kto to przegląda, ponieważ jest to jedno\n            wyjaśnienie","oss-aion-plain-refusal.40c2416b25":"sprawa, którą możesz przeczytać, a nie krzyż, którego nie możesz","oss-aion-plain-refusal.f795b42ea6":"Limit na tej karcie wraca do pełnej kwoty 1 sierpnia, za dwa dni.","oss-aion-plain-refusal.3ae2a82129":"kiedy to się dzieje","oss-aion-plain-refusal.a6012020ae":"Albo 150 euro więcej limitu na karcie, albo płatność 90 euro lub mniej.","oss-aion-plain-refusal.74b2c9301b":"co by to zmieniło","oss-aion-plain-refusal.e88b1876e6":"90 euro nie pokrywa 240 euro, więc płatność i pozostały limit nie mogą oba obowiązywać.","oss-aion-plain-refusal.d649363397":"która część to psuje","oss-aion-plain-refusal.ec7a8f0a8d":"Płatność wynosiła 240 euro. Limit na karcie dzisiaj wynosił 90 euro.","oss-aion-plain-refusal.fcd45ae097":"twoja sytuacja","oss-aion-plain-refusal.e51b51ac5a":"Płatność przechodzi tylko wtedy, gdy limit na karcie dzisiaj ją pokrywa.","oss-aion-plain-refusal.93823841cb":"co mówi zasada","oss-aion-plain-refusal.9bc7984374":"Dlaczego nie przeszła","oss-aion-plain-refusal.549840f998":"Gdy zasada jest złamana, AION zapisuje sytuację, która ją złamała, w zwykłych\n            zdaniach z liczbami. Płatność była na tyle, limit na karcie dzisiaj był mniejszy, i razem te dwa fakty łamią zasadę. Możesz to przeczytać, zakwestionować to precyzyjnie, lub zmienić jedną rzecz, która musi się zmienić.\n            Krzyżyk w polu nie daje ci nic z tego, i nie jest krótszy, tylko bardziej pusty.","oss-aion-plain-refusal.3b50831d8a":"Automatyczna decyzja, która cię odrzuca, jest gorsza niż ta podjęta przez człowieka, ponieważ zwykle nie ma o co pytać. Odrzucenie przychodzi gotowe. Dostajesz wynik i, jeśli masz szczęście, numer referencyjny, a droga do prawdziwego wyjaśnienia to skarga, która trwa tygodnie i trafia do kogoś, kto też nie był zaangażowany.","oss-aion-plain-refusal.ada63e5c2f":"Przepracowany przypadek jest.","oss-aion-plain-refusal.462f7e9213":"\"Nie dozwolone\" to nie powód.","oss-aion-plain-refusal.5abdfa9cd6":"Różnica","oss-aion-plain-refusal.68c46e84d7":"zwykły","oss-aion-reasoning-cert.0f1fb3d007":"i każdy element jest sprawdzany","oss-aion-reasoning-cert.98ec75a261":"granice oraz ostateczne twierdzenie dopełniają siedem","oss-aion-reasoning-cert.433b925481":"Co zostało wykluczone, oraz przesłanki, które to wykluczyły.","oss-aion-reasoning-cert.13382efd7c":"Sprzeczności","oss-aion-reasoning-cert.e856a27527":"Podproblem, który odpadł, oraz dowód, który wrócił.","oss-aion-reasoning-cert.92324f5363":"Certyfikaty solvera","oss-aion-reasoning-cert.fe451714e4":"Każdy z nich nazwany, w kolejności zastosowania.","oss-aion-reasoning-cert.e0d40a5309":"Zastosowania reguł","oss-aion-reasoning-cert.e0753c6513":"Co obowiązywało, w której wersji, gdy praca była wykonywana.","oss-aion-reasoning-cert.b9366c0dbf":"Aktywne ograniczenia","oss-aion-reasoning-cert.a04ed61a81":"solver","oss-aion-reasoning-cert.0fed3b96cc":"Loom","oss-aion-reasoning-cert.e1111021ff":"LOOM","oss-aion-reasoning-cert.1dd751bba5":"siedem elementów","oss-aion-reasoning-cert.eb64d71581":"Co niesie certyfikat rozumowania","oss-aion-reasoning-chain.126806353c":"zadeklarowane, następnie sprawdzone","oss-aion-reasoning-chain.751e90e830":"Każdy z nich to artefakt pozostawiony przez rozumowanie i każdy jest odczytywany.","oss-aion-reasoning-chain.bc96941170":"Cztery ograniczenia, dwa zastosowania reguł, jedna wizyta solvera i jedna sprzeczność.","oss-aion-reasoning-chain.57fa7b904f":"To, co jest tutaj sprawdzane, to wyprowadzenie, które system zadeklarował, krok po kroku.","oss-aion-reasoning-chain.e0aa3695ac":"rdzeń 01 02 04, a 03 nie jest w nim","oss-aion-reasoning-chain.e3338dab26":"podwójne obciążenie wykluczone","oss-aion-reasoning-chain.a43e177c4c":"04 zwrot odwraca","oss-aion-reasoning-chain.becc703d80":"połączone obciążenie","oss-aion-reasoning-chain.398df239b3":"z 01 i 02","oss-aion-reasoning-chain.373c5eb4cc":"odczytywane krok po kroku, zamyka się","oss-aion-reasoning-chain.45f358826b":"zwrócone przez provera, w formacie Alethe","oss-aion-reasoning-chain.9bc46d8fd1":"bitvector i równość, nic innego nie przechodzi","oss-aion-reasoning-chain.34fcd5c8c7":"podproblem, zapieczętowany","oss-aion-reasoning-chain.8c7f764922":"przy liczbie ponowień, z 02 i 03","oss-aion-reasoning-chain.7c960fefa4":"trzy podniesione do rdzenia, jedno pozostawione tam, gdzie było","oss-aion-reasoning-chain.eeacd6e80f":"aktywne ograniczenia, słowami osoby odpowiedzialnej","oss-aion-reasoning-chain.0ee0bb12eb":"Ta konfiguracja nie może wygenerować podwójnego obciążenia w jednym okresie rozliczeniowym.","oss-aion-reasoning-chain.c0644670d0":"twierdzenie, które głosi Loom","oss-aion-reasoning-chain.9616861141":"przykładowe twierdzenie i wersje","oss-aion-reasoning-chain.e4f7c8c782":"rdzeń wymienia trzy, wyjaśnia jedno","oss-aion-reasoning-chain.43c7dffedb":"Jeden wniosek, otwarty","oss-aion-reasoning-chain.46d6eccd4e":"merge-charges","oss-aion-reasoning-chain.398d7639b5":"case-split","oss-aion-reasoning-chain.04174383d5":"z 8 i 9","oss-aion-reasoning-chain.3d26486c4c":"z 8","oss-aion-reasoning-chain.5a6d9bdd37":"z 3 i 6","oss-aion-reasoning-chain.ce8e0b1a7d":"Zwrot odwraca obciążenie, które wymienia.","oss-aion-reasoning-chain.4c449f834c":"Okres rozliczeniowy zamyka się o północy ostatniego dnia.","oss-aion-reasoning-chain.a663638447":"Ponowienie nigdy nie generuje drugiego obciążenia.","oss-aion-reasoning-chain.0d43228516":"Obciążenie jest generowane raz na każde ukończone dostarczenie.","oss-aion-reassure.38a3bd59d5":"Sedno jest proste: nigdy nie wierz maszynie na słowo. Zachowaj dowód, który drugi sprawdzający może zweryfikować.","oss-aion-reassure.0ccc7397a4":"Nie. Dowód można sprawdzić na miejscu, bez wysyłania czegokolwiek przez internet.","oss-aion-reassure.5bea629f3e":"Czy moja odpowiedź jest gdzieś wysyłana?","oss-aion-reassure.af397dc934":"Jest zbudowany w Europie. Osobny sprawdzający, nie maszyna, która wygenerowała odpowiedź, weryfikuje każdy dowód.","oss-aion-reassure.7de6360d68":"Skąd to pochodzi?","oss-aion-reassure.a93d9edbec":"Nie. Nie musisz niczego sam budować. Sklep, szpital lub biuro używa tego za Ciebie. Ty po prostu otrzymujesz jaśniejszą odpowiedź.","oss-aion-reassure.39af3a44b7":"Czy muszę być biegły w obsłudze komputera?","oss-aion-reassure.bdbcd6057e":"Tak. Dowód można sprawdzić ponownie bez oryginalnego modelu, sesji, konta ani połączenia z internetem.","oss-aion-reassure.aa1b0d7005":"Czy można to sprawdzić później?","oss-aion-receipt.36889df54f":"Nigdy nie robisz tego sam. Gdy sklep lub biuro używa tego za Ciebie, to jest wydruk,\n          który mogą Ci przekazać.","oss-aion-receipt.46fbbfb5be":"Każdy może to przeczytać i sprawdzić, czy się zgadza.","oss-aion-receipt.9c258dd430":"i musisz w to uwierzyć. Z AION\n            maszyna również podaje Ci mały wydruk po lewej stronie. Pokazuje pytanie, kroki i\n            odpowiedź.","oss-aion-receipt.013700f8eb":"Zwykła maszyna po prostu mówi","oss-aion-receipt.12df5bb228":"Zostaje u Ciebie","oss-aion-receipt.7b8544fad0":"Zgadza się","oss-aion-receipt.def2581739":"Potwierdzenie odpowiedzi","oss-aion-receipt.6e17da21e4":"Przykładowe potwierdzenie odpowiedzi","oss-aion-receipt.f2688d32ea":"Zapytaj ponownie, a otrzymasz tę samą odpowiedź i ten sam wydruk, na każdym komputerze.","oss-aion-receipt.2379231efe":"Za każdym razem to samo","oss-aion-receipt.a4b884c0e4":"Twój własny asystent sprawdza wydruk na miejscu, bez wysyłania czegokolwiek.","oss-aion-receipt.930888ee28":"Bez internetu","oss-aion-receipt.7a019cc1d2":"Powód jest na wydruku, nie ukryty w maszynie. Możesz go zachować lub pokazać.","oss-aion-receipt.47b716baec":"Na piśmie","oss-aion-receipt.92ed516e5b":"Tak, i oto dlaczego.","oss-aion-receipt.7011b1a621":"Odpowiedź","oss-aion-receipt.8ab9465666":"Twoja sprawa została do niego dopasowana.","oss-aion-receipt.16bb8dfc44":"Krok drugi","oss-aion-receipt.d3ca88b9f3":"Reguła została przeczytana w całości.","oss-aion-receipt.e97cc54395":"Krok pierwszy","oss-aion-receipt.afd2793ce0":"Czy należy mi się ten zwrot?","oss-aion-receipt.d79cce547d":"Pytanie","oss-aion-recheck-list.09d5defeae":"dwa wiersze, dwie nazwy","oss-aion-recheck-list.fd3e1afd0e":"albo, znacznie częściej, o niczym.","oss-aion-recheck-list.459f160ffa":"Bez wersji przy każdym wierszu ten sam komunikat wymaga ponownego przejrzenia\n          wszystkiego,","oss-aion-recheck-list.cade8a80df":"listy i tego, kto ją posiada","oss-aion-recheck-list.6f13975269":"nadal zgodny","oss-aion-recheck-list.48f8969999":"wymagane ponowne odczytanie","oss-aion-recheck-list.af0f44d357":", zmieniono w","oss-aion-recheck-list.4202e0844e":"Regułę granicy optymalności interpretuje się ściślej. Granica podana dokładnie na limicie\n              nie jest już akceptowana jako poniżej niego.","oss-aion-recheck-list.1c26bb5963":"wydano 22-07-2025","oss-aion-recheck-list.1944dee3ee":"Checker v7.0","oss-aion-recheck-list.9ffcf8f72b":"przykładowe wpisy","oss-aion-recheck-list.dc490c03ae":"dwa z pięciu oznaczone","oss-aion-recheck-list.7316018edf":"Dotyczy rekordów","oss-aion-recheck-list.2237af7cd3":"reguła granicy optymalności","oss-aion-recheck-list.ee5f960eae":"Vendrell BV","oss-aion-recheck-list.48dec27123":"Trasa optymalna, magazyn północny","oss-aion-recheck-list.cb51b0a86b":"Aldenhoff Systems","oss-aion-recheck-list.826d7f7ccf":"Wersja oprogramowania, brama 3","oss-aion-recheck-list.8b3f669031":"Kramer Data","oss-aion-recheck-list.4c13d60e33":"Ocena zgody, kampania 44","oss-aion-recheck-list.3c54a1df45":"wewnętrznie","oss-aion-recheck-list.b8d251e8cd":"Zbiorowe przeliczenie cen","oss-aion-recheck-list.dce56394a1":"Plan grafików, tydzień 12","oss-aion-recheck-list.48a3661d84":"status","oss-aion-recheck-list.29e5b9a8e6":"kontroler","oss-aion-recheck-list.51c817ab85":"zaakceptowano","oss-aion-recheck-list.e2979e7595":"dostawca","oss-aion-recheck-list.335ce16b3f":"temat","oss-aion-recheck-list.796a88413e":"J. Okonkwo, operacje","oss-aion-recheck-list.90916dd844":"Sprawdź ponownie, a następnie potwierdź podaną granicę z dostawcą.","oss-aion-recheck-list.00e67572db":"M. de Vries, ochrona danych","oss-aion-recheck-list.e4faeae968":"Sprawdź ponownie zapisany certyfikat względem v7.0.","oss-aion-record-fields.8580937ae7":"każdy z nich tworzy własny zestaw dotkniętych elementów","oss-aion-record-fields.632f62dd8b":"schemat certyfikatu uzupełnia siódemkę","oss-aion-record-fields.7039b2f0bd":"gdzie jest teraz","oss-aion-record-fields.74b489c3d1":"gdzie był","oss-aion-record-fields.5d5dc3b7c3":"TRWAŁY","oss-aion-record-fields.c2a1a83804":"i to nie tylko reguły dowodzenia","oss-aion-record-fields.12b83ffb63":"Co może się zmienić pod spodem","oss-aion-record-fields.91b3cb991a":"nowsza wersja modelu","oss-aion-record-fields.e1ab670f61":"Kontrakt modelu lub symulacji","oss-aion-record-fields.da15b4cbb5":"samo roszczenie się przesunęło","oss-aion-record-fields.26e4976c38":"Kontrakt kompilatora lub środowiska uruchomieniowego","oss-aion-record-fields.cb2c2e30b7":"rozliczone w innym","oss-aion-record-fields.43e275dea3":"Polityka","oss-aion-record-fields.521a7a8570":"odczytywane teraz inaczej","oss-aion-record-fields.58fd9f572c":"Reguła sprawdzania","oss-aion-refusal-fields.432aa8565f":"odniesienie, za którym ktoś może podążyć","oss-aion-refusal-fields.36a85f9074":"nie czerwony krzyż","oss-aion-refusal-fields.fe71871083":"UWAGA","oss-aion-refusal-fields.4f84be92c8":"aby ktoś mógł na to zareagować","oss-aion-refusal-fields.fa31a3ca39":"Co zawiera odmowa","oss-aion-refusal-fields.5647a1c020":"zdecyduj, czyje to ustalenie","oss-aion-refusal-fields.11c0add347":"Wada dowodu lub zasada, której nie stosujemy. To nie to samo.","oss-aion-refusal-fields.a74aa40f65":"Rodzaj","oss-aion-refusal-fields.d3144a7994":"zobacz, czego nie było","oss-aion-refusal-fields.060958d8fd":"Co było nieobecne lub błędne, gdy to ponownie opracowano.","oss-aion-refusal-fields.a7dc07c061":"Powód","oss-aion-refusal-fields.3b21710b2e":"sprawdź, co powinno było zrobić","oss-aion-refusal-fields.f80b017fdb":"Co krok twierdził, że robi.","oss-aion-refusal-fields.0056e788fc":"Zasada","oss-aion-refusal-fields.89abf35df5":"otwórz go w tej linii","oss-aion-refusal-fields.3dac51b71a":"Który krok, według numeru, w którym pliku.","oss-aion-refusal-fields.2fb8438f32":"Lokalizacja","oss-aion-reviewable.e0cb1b89aa":"nie tylko autor","oss-aion-reviewable.f29c4ff9dd":"właściciel to recenzuje","oss-aion-reviewable.c6465865b0":"twoje zdanie","oss-aion-reviewable.ed6912ad70":"RECENZJA","oss-aion-reviewable.5867cc6bd5":"bez nauki notacji","oss-aion-reviewable.8f8dec6da0":"Co widzi recenzent","oss-aion-reviewable.da8643122f":"Nazwa, data i wersja zdania potwierdzone.","oss-aion-reviewable.7c92afb7f9":"Potwierdzenie podpisane","oss-aion-reviewable.340e6b4675":"Powtórna recenzja czyta to samo, bo nic nie próbkowało modelu.","oss-aion-reviewable.b08be2b959":"Za każdym razem to samo","oss-aion-reviewable.d3a2628a1c":"Każda wielkość nazwana, z rodzajem wartości, którą przechowuje.","oss-aion-reviewable.2587914ff8":"Na czym pracuje","oss-aion-reviewable.f0a2aa51a4":"Jedno zdanie mówiące, co koduje cały warunek.","oss-aion-reviewable.5a47a1dcaf":"Zwykłe czytanie","oss-aion-reviewable.aee2d461c7":"Bez zmian, na górze, tak jak napisali.","oss-aion-reviewable.7488358db7":"Ich własne zdanie","oss-aion-risk-ledger.1a0f2538e1":"Pięć operacyjnych ekspozycji zastąpionych jednym certyfikatem, który inny weryfikator może sprawdzić.","oss-aion-risk-ledger.4b32d8f574":"Z AION","oss-aion-risk-ledger.2e34d48ba3":"Zwykły sposób","oss-aion-risk-ledger.d1d7499182":"PORÓWNANIE OBOK SIEBIE","oss-aion-risk-ledger.02c7234156":"Odtwórz rozumowanie offline i przekonaj się sam.","oss-aion-risk-ledger.b5058e1c76":"Uwierz dostawcy na słowo, że odpowiedź była poprawna.","oss-aion-risk-ledger.d2e183faa1":"Jak bardzo temu ufać","oss-aion-risk-ledger.96f0603563":"Certyfikat sprawdza się bez żadnego z nich.","oss-aion-risk-ledger.04312971f3":"Oryginalny model, sesja solvera i usługa muszą być nadal dostępne.","oss-aion-risk-ledger.2df1215b19":"Od czego zależy weryfikacja","oss-aion-risk-ledger.8ddd34c358":"Działa na Twoim własnym sprzęcie, w jurysdykcji, którą zatwierdzisz.","oss-aion-risk-ledger.c3fe4a906f":"Decyzje są wyjaśniane na serwerach, których nie kontrolujesz.","oss-aion-risk-ledger.242ebe0c39":"Gdzie znajdują się dane","oss-aion-risk-ledger.75eb05728b":"Standardowe formaty dowodów pozostają niezależnie sprawdzalne.","oss-aion-risk-ledger.46d3f9eccd":"Wyjaśnienie znika wraz z oryginalną usługą.","oss-aion-risk-ledger.8ea6189e84":"Gdy zmienia się środowisko wykonawcze","oss-aion-risk-ledger.21ff58d6a7":"Przekazujesz certyfikat, który audytor może sam sprawdzić.","oss-aion-risk-ledger.934929b924":"Przekazujesz pliki dziennika i masz nadzieję, że zostaną uznane za dowód.","oss-aion-risk-ledger.8632e0b3b5":"Gdy audytor pyta","oss-aion-rule-refusal.c354dff2de":"brak werdyktu po 15","oss-aion-rule-refusal.0fc2b67ff7":"na pierwszym z nich krok zawodzi","oss-aion-rule-refusal.d7cb461a4b":"Cztery testy w ustalonej kolejności, a czytanie się zatrzymuje","oss-aion-rule-refusal.ad9deadf27":"jeden identyfikator klauzuli użyty dla dwóch klauzul","oss-aion-rule-refusal.ffc05ba511":"oś obrotu zadeklarowana na literale, którego klauzula nie zawiera","oss-aion-rule-refusal.5af32fb7c4":"podpowiedź powołująca się na krok, który ma uzasadniać","oss-aion-rule-refusal.fbf5522f0e":"przypięty z wrogiego zestawu","oss-aion-rule-refusal.d3b27b8f89":"nie zamknięto","oss-aion-rule-refusal.0f04e9ee60":"literały nadal stojące na ostatniej klauzuli","oss-aion-rule-refusal.90f9cbf1cb":"koniec pliku","oss-aion-rule-refusal.196a925493":"indeks przesłanki, od 1 do 87","oss-aion-rule-refusal.72ce0bc93a":"alethe, reguła po regule","oss-aion-rule-refusal.b14e7fc954":"zatrzymano na 15","oss-aion-rule-refusal.ce0ed8058b":"Jeden dowód, czytany od góry","oss-aion-rule-refusal.af0cbd46a2":"przywołany poza kolejnością","oss-aion-rule-refusal.165a394589":"z 61 i 20","oss-aion-rule-refusal.dd39474e4f":"brak przesłanki","oss-aion-rule-refusal.6edfd31763":"z 88","oss-aion-rule-refusal.d18b697772":"powołuje się na siebie","oss-aion-rule-refusal.5c7bf112ac":"z 31 i 18","oss-aion-rule-refusal.64b0295aa0":"nieobsługiwana reguła","oss-aion-rule-refusal.5e2428fc82":"z 14","oss-aion-rule-refusal.a7e8697338":"z 12 i 13","oss-aion-rule-refusal.ba08b53848":"z 4","oss-aion-rule-refusal.2a1be725ca":"rezolucja 12","oss-aion-rule-refusal.54a0121f57":"z 4 i 9","oss-aion-rule-refusal.8ffe1b4177":"znana reguła","oss-aion-rule-refusal.ebed34abd2":"poniżej własnej","oss-aion-rule-refusal.d182b65e15":"przesłanka obecna","oss-aion-rule-refusal.a503bc1da2":"odmówiono","oss-aion-rule-refusal.3a21295d81":"przechowuj","oss-aion-same-except-one.279e6c9e96":"jeden jest opracowany poniżej","oss-aion-same-except-one.87ca0e7356":"granice, wyprowadzenia i pochodzenie modelu dopełniają siedem","oss-aion-same-except-one.72b459f8cc":"WŁAŚCIWOŚCI","oss-aion-same-except-one.25119f6e70":"oraz rodzina, która niesie każdą z nich","oss-aion-same-except-one.ed6552be04":"Stwierdzenia, które możesz sformułować","oss-aion-same-except-one.633255fe41":"Ta trajektoria respektowała te niezmienniki.","oss-aion-same-except-one.6b403d2a35":"Ta czynność miała wymaganą zgodę.","oss-aion-same-except-one.ac5d8ada02":"To obciążenie działało w ramach tych możliwości.","oss-aion-same-except-one.5e8efc64f2":"Ten plik binarny odpowiada temu grafowi źródłowemu.","oss-aion-same-except-one.81c0e8e986":"symulacja","oss-aion-same-except-one.92fe1455a7":"organizacyjny","oss-aion-same-except-one.1e21474598":"wykonanie","oss-aion-same-except-one.023646ce84":"kompilacja","oss-aion-same-rule-parts.3326352b94":"te trzy przetrwają to","oss-aion-same-rule-parts.b33174d833":"odpowiedź to jedna linia","oss-aion-same-rule-parts.490fbefa4b":"przekazanie tej samej pracy dwukrotnie daje ten sam wynik sprawdzenia","oss-aion-same-rule-parts.ce173fc797":"Wstrzymane do drugiego sprawdzenia.","oss-aion-same-rule-parts.60c6fa6f09":"odpowiedź","oss-aion-same-rule-parts.25b8673c57":"YOURS","oss-aion-same-rule-parts.3b592f481b":"po nadejściu odpowiedzi","oss-aion-same-rule-parts.3fea5c7183":"Trzy rzeczy, które zachowujesz","oss-aion-same-rule-parts.f460809c86":"Kiedy sprawdzono pracę i co ją sprawdziło.","oss-aion-same-rule-parts.1f26226511":"zapis","oss-aion-same-rule-parts.f3488c72aa":"Data","oss-aion-same-rule-parts.7e9a6ac9d7":"Zacytowana reguła z Twoją sytuacją w środku.","oss-aion-same-rule-parts.fa1f96a2cc":"wydrukowane z odpowiedzią","oss-aion-same-rule-parts.a7dc07c061":"Powód","oss-aion-same-rule-parts.51240e4e03":"Zwykłe słowa, zachowane, abyś mógł je przeczytać każdemu.","oss-aion-same-rule-parts.f901c543a0":"jak ktoś to napisał","oss-aion-same-rule-parts.0056e788fc":"Reguła","oss-aion-same-rule-thrice.8716c9d2d1":"możliwy do zacytowania przez wszystkie trzy osoby","oss-aion-same-rule-thrice.56daaad027":"Nikt nie interpretował niczyjej sprawy na miejscu.","oss-aion-same-rule-thrice.fe8d9a24bc":"Trzy nazwiska, trzy daty, jeden powód słowo w słowo.","oss-aion-same-rule-thrice.2d4e5d243a":"te same słowa we wszystkich trzech listach","oss-aion-same-rule-thrice.36c5f05f0e":"Moja prośba została wstrzymana, ponieważ każda prośba z konta, które kiedykolwiek było na debecie,\n              jest wstrzymywana do drugiej kontroli. Czy o to ci chodziło?","oss-aion-same-rule-thrice.47b69ccfd4":"co każde z tych trzech osób może napisać","oss-aion-same-rule-thrice.5441126254":"powód, z twoimi liczbami","oss-aion-same-rule-thrice.e026ce35f8":"zasada, słownie","oss-aion-same-rule-thrice.c6b6fdf0c8":"Twoja prośba jest wstrzymana","oss-aion-same-rule-thrice.4af8028f5b":"To dotyka każdego, kto kiedyś był na minusie przez tydzień.","oss-aion-same-rule-thrice.43d7f6edd9":"Każda prośba z konta, które kiedykolwiek było na debecie, jest wstrzymywana do drugiej kontroli.","oss-aion-same-rule-thrice.d5dff79fd0":"zasada, tak jak napisała ją osoba odpowiedzialna","oss-aion-same-rule-thrice.660cf69152":"ten sam powód, trzy razy","oss-aion-same-rule-thrice.2aa5baf4fa":"jedna zasada, trzy osoby","oss-aion-same-rule-thrice.2969c22def":"na debecie przez jeden dzień w sierpniu 2024","oss-aion-same-rule-thrice.db55a373e5":"2 lipca","oss-aion-same-rule-thrice.7f557aff7f":"M. Haas","oss-aion-same-rule-thrice.8a1c6f7c01":"na debecie przez dwa dni w listopadzie 2021","oss-aion-same-rule-thrice.8a343dea89":"19 czerwca","oss-aion-same-rule-thrice.6faee1ef44":"J. Okoro","oss-aion-same-rule-thrice.6eff9026e2":"na debecie przez sześć dni w marcu 2023","oss-aion-same-rule-thrice.e46936527e":"4 czerwca","oss-aion-same-rule-thrice.ecdfc6f435":"A. Vermeer","oss-aion-same-rule-thrice.c818558b96":"Twoje konto było kiedyś na debecie, więc ta prośba jest wstrzymywana do drugiej kontroli.","oss-aion-same-rule-thrice.69449f994d":"ref","oss-aion-same-rule-thrice.910e029098":"ilustracyjny","oss-aion-second-reader.e2a4a212d5":"wskazywanie na linię to ta przydatna część","oss-aion-second-reader.b31aece7ea":"zgoda jest łatwa","oss-aion-second-reader.41e9c4b883":"PLAIN","oss-aion-second-reader.a16f194bdb":"co daje drugie czytanie","oss-aion-second-reader.d160172930":"Dodając to ponownie","oss-aion-second-reader.0bd3d42b28":"Inny program, bez powodu, by preferować odpowiedź.","oss-aion-second-reader.2c814bb70c":"Nie jest pierwszą maszyną","oss-aion-second-reader.b792afd627":"I mówi, który krok, więc jest na co wskazywać.","oss-aion-second-reader.4a195096b0":"Zatrzymuje się przy pierwszym błędzie","oss-aion-second-reader.58f56fa2c3":"Oblicza to ponownie, zamiast ufać, że zostało zrobione.","oss-aion-second-reader.5abf0b9df4":"Wykonuje każdy krok","oss-aion-second-reader.de8f44bd3b":"Nie odpowiedź. Kroki, które miały do niej prowadzić.","oss-aion-second-reader.0a461499ae":"Czyta obliczenia","oss-aion-second-sum.2517e33359":"miejsce, nie wyrok","oss-aion-second-sum.1f31706279":"Potrzebowałeś tej linii, i oto ona.","oss-aion-second-sum.1b06fb1625":"Obie kolumny osiągają sumę, a jedna z nich jest błędna.","oss-aion-second-sum.715f45331b":"Odczyt zatrzymuje się na pięciu, zamiast ciągnąć do sześciu, ponieważ kontrola, która pomija\n          krok, którego nie może doprowadzić do końca, nie jest kontrolą.","oss-aion-second-sum.be51277bfd":"nieosiągnięte","oss-aion-second-sum.a90d766915":"ten krok nie wychodzi","oss-aion-second-sum.b214ae4ce2":"ten sam ruch, przy działającej maszynie zapisany","oss-aion-second-sum.e4cddfd229":"Każdy może sam dodać kolumnę i dojść do tej samej linii. To jest\n              cały pomysł, przeniesiony na działanie, którego nikt nie widzi.","oss-aion-second-sum.a72b4463ba":"Obie kolumny zgadzają się przez trzy linie. Pierścień okrąża linię, w której się\n              rozchodzą, a nie sumę, ponieważ suma nigdy nie była użyteczną rzeczą do\n              dyskusji.","oss-aion-second-sum.136fc39d05":"Dziesięć centów, i jest przy jabłkach.","oss-aion-second-sum.1104f28cf8":"do zapłaty","oss-aion-second-sum.51111a2b99":"sklep, wtorek","oss-aion-second-sum.e9594ccf76":"rozchodzą się przy jabłkach","oss-aion-second-sum.bb470fd83f":"ta sama kolumna, dodana dwukrotnie","oss-aion-second-sum.0220a293b9":"roszczenie jest wypłacone","oss-aion-second-sum.f7e5a74a1f":"to, co pozostało do zapłaty, sumuje się","oss-aion-second-sum.597b954c29":"nadwyżka została odjęta","oss-aion-second-sum.edccd745a8":"kwota jest poniżej limitu dla tej naprawy","oss-aion-second-sum.709d0bb348":"naprawa jest na liście pokrytych","oss-aion-second-sum.1396b1459a":"konto było otwarte w dniu zgłoszenia roszczenia","oss-aion-second-sum.d2fc512490":"ołówek","oss-aion-second-sum.1c8f15dab7":"drukowany","oss-aion-second-sum.910e029098":"ilustracyjny","oss-aion-second-sum.f6c1ab8181":"mydło","oss-aion-second-sum.bcef7a0462":"ser","oss-aion-second-sum.76c2436b59":"jabłka","oss-aion-second-sum.44213f9f4d":"kawa","oss-aion-second-sum.6ff291d817":"chleb","oss-aion-second-sum.cf5dbf0ec5":"mleko","oss-aion-sentence-returns.e9a72f31df":"twoje słowa, oba końce","oss-aion-sentence-returns.254545287c":"Osiem miesięcy później czyta je obca osoba, nie streszczenie.","oss-aion-sentence-returns.f0e71316de":"Jedna osoba napisała zdanie i odłożyła je.","oss-aion-sentence-returns.4c51f16cb4":"Nic między tymi dwoma czytaniami niczego się nie nauczyło, nie zmieniło zdania ani nie miało lepszego pomysłu.","oss-aion-sentence-returns.06152533dc":"drugie obciążenie jednego zamówienia w miesiącu rozliczeniowym nie jest dozwolone","oss-aion-sentence-returns.fb3e6817f1":"z czytania rok później","oss-aion-sentence-returns.32af205ca5":"z czytania w marcu","oss-aion-sentence-returns.0b1eb314b5":"to samo zdanie, przeczytane ponownie po roku","oss-aion-sentence-returns.547a49e160":"zamówienie 44-8127 zostało obciążone trzeciego listopada i ponownie dziewiętnastego","oss-aion-sentence-returns.d3141af6d8":"to, co w nie wpadło","oss-aion-sentence-returns.a2d40412ef":"drugie obciążenie jednego zamówienia w miesiącu rozliczeniowym","oss-aion-sentence-returns.0ee2593cc5":"część, która nie została spełniona","oss-aion-sentence-returns.43015fadc4":"Nikt nie powinien być obciążony dwa razy za to samo zamówienie w tym samym miesiącu.","oss-aion-sentence-returns.2ce9eb0823":"zasada, w słowach, w których została napisana","oss-aion-sentence-returns.5c4173fbcf":"9 listopada, wysłane do klienta","oss-aion-sentence-returns.96ec36f99b":"Obciążenie zostało zatrzymane","oss-aion-sentence-returns.14da1cff14":"osiem miesięcy","oss-aion-sentence-returns.b59f623fe2":"czytane jako","oss-aion-sentence-returns.6a250da793":"14 marca, przez osobę odpowiedzialną za rozliczenia","oss-aion-sentence-returns.8766d15f20":"te same słowa na obu końcach","oss-aion-sentence-returns.33e656aa3a":"jedno zdanie, osiem miesięcy różnicy","oss-aion-sentence-returns.6180960e2c":"napisane","oss-aion-sentence-returns.910e029098":"poglądowy","oss-aion-side-by-side-rule.1462946510":"odwrócona hierarchia","oss-aion-side-by-side-rule.dc685ee970":"to ten najmniejszy, na samym dole.","oss-aion-side-by-side-rule.37ba9a07a7":"Jedyna linia tutaj, której nikt nie musi umieć przeczytać","oss-aion-side-by-side-rule.24205c8d5e":"Treść tego arkusza to to, o co proszono.","oss-aion-side-by-side-rule.136ec48046":"zdanie wersja 3","oss-aion-side-by-side-rule.5714c84617":"9 kwietnia 2026","oss-aion-side-by-side-rule.fba84627ef":"Ilse Verhoeven, operacje rozliczeniowe","oss-aion-side-by-side-rule.4c1493cdf2":"warunek w formie, w jakiej jest przechowywany","oss-aion-side-by-side-rule.5050bceb24":"to, na czym działa","oss-aion-side-by-side-rule.70a7ded724":"Druga opłata za referencję już obciążoną w okresie rozliczeniowym jest\n          odrzucana.","oss-aion-side-by-side-rule.decbbbcbea":"Żaden klient nie może być obciążony dwukrotnie za tę samą referencję w jednym okresie rozliczeniowym.","oss-aion-side-by-side-rule.41f5b5d765":"brak wymaganego oznaczenia","oss-aion-side-by-side-rule.fd9d8f9d79":"potwierdzone przez właściciela","oss-aion-side-by-side-rule.dbd8504696":"arkusz przeglądu","oss-aion-side-by-side-rule.b714510ded":"ile razy ta referencja została już obciążona","oss-aion-side-by-side-rule.71aa03cd23":"liczba obciążeń","oss-aion-side-by-side-rule.8f404d9e59":"miesiąc, w którym przypada opłata","oss-aion-side-by-side-rule.28db3c4a10":"okres rozliczeniowy","oss-aion-side-by-side-rule.7bbf8d007a":"identyfikator, na który dokonywana jest opłata","oss-aion-side-by-side-rule.333190a7a5":"referencja","oss-aion-silent-wrong.e516f1474a":"krok 40, reguła nieznana","oss-aion-silent-wrong.52c4b2ffb7":"gdzie się zatrzymał","oss-aion-silent-wrong.bdc9060b3b":"Osiem przebiegów zwróciło osiem słów. Tylko to, które zapisało swoją pracę,\n          może powiedzieć","oss-aion-silent-wrong.dc3fb44cee":"odmowa nazywa linię","oss-aion-silent-wrong.d55eb7e866":"Ten czytnik nie ma reguły o tej nazwie w kroku 40, więc zatrzymał się tam. Pieczęć\n            nigdy nie została przyłożona i nie wydano werdyktu.","oss-aion-silent-wrong.d04a61e19e":"co przyniosło czytanie","oss-aion-silent-wrong.b31f1a6015":"alethe, kroki od 38","oss-aion-silent-wrong.74cb6750e3":"jedno z nich, zapisane","oss-aion-silent-wrong.c9266795e0":"osiem systemów, osiem wyników","oss-aion-silent-wrong.d7d4ae123f":"przykładowo, jeden przebieg z ośmiu","oss-aion-silent-wrong.3c05b129e2":"nie wydano werdyktu","oss-aion-silent-wrong.c6dc61d79f":"Osiem słów, jedno z nich otwarte","oss-aion-silent-wrong.64494819a0":"przesłanka 40, pusta klauzula","oss-aion-silent-wrong.9dae957efd":"przesłanka 39","oss-aion-silent-wrong.52e787751c":"przesłanki 31 i 38","oss-aion-silent-wrong.36901d48ad":"przesłanki 12 i 31","oss-aion-silent-wrong.e00bcd7ac6":"przebieg zatwierdzony","oss-aion-silent-wrong.fd40251b0b":"symulacja zbieżna","oss-aion-silent-wrong.9204d100a8":"polityka przyjęta","oss-aion-silent-wrong.51c817ab85":"zaakceptowano","oss-aion-silent-wrong.4d64c22879":"powtórz","oss-aion-silent-wrong.94ec44c4f4":"uwierz","oss-aion-silent-wrong.4848901b39":"optymalny","oss-aion-silent-wrong.bf31c52c32":"bezpieczny","oss-aion-silent-wrong.231e564db4":"ukończono","oss-aion-silent-wrong.bac2ad9d5d":"skompilowano","oss-aion-silent-wrong.d203c40ac4":"niespełnialny","oss-aion-sim-cert.d836eab67a":"poprawność fizyczna nie jest","oss-aion-sim-cert.8f9800edbe":"zgodność i właściwości są sprawdzane tutaj","oss-aion-sim-cert.d982b6fdda":"to, czy model reprezentuje świat, pozostaje po stronie właściciela modelu","oss-aion-sim-cert.c27ccdf78d":"poprawność fizyczna","oss-aion-sim-cert.99c6aa48cb":"nieodpowiedziane nigdzie","oss-aion-sim-cert.e4125aa830":"zadeklarowane właściwości utrzymują się w trakcie przebiegu lub ślad powraca","oss-aion-sim-cert.24fa71fdd6":"kontrola niezmienników","oss-aion-sim-cert.82ffe3f79b":"zadeklarowany model, parametry i konfiguracja wygenerowały tę trajektorię","oss-aion-sim-cert.8c30aa1c6e":"zgodność wykonania","oss-aion-sim-cert.790f468e4d":"odpowiedziane tutaj","oss-aion-sim-cert.f6bceb137b":"BLIŹNIAK I FMI","oss-aion-sim-cert.cf2b82cb4f":"model do trajektorii","oss-aion-sim-cert.a7b63abc02":"Co niesie certyfikat","oss-aion-sim-cert.07ecfba93e":"trajektoria i status","oss-aion-sim-cert.6874c92610":"sekwencja zdarzeń","oss-aion-sim-cert.e77c056cdc":"parametry i stan początkowy","oss-aion-sim-cert.720a1e14e6":"tożsamość modelu i FMU","oss-aion-source-to-artefact.ce10986f79":"Od źródła do certyfikatu","oss-aion-source-to-artefact.c1ce053887":"konkretnie, nie ogólnie","oss-aion-source-to-artefact.75a0766041":"Ogólne stwierdzenie nie mogłoby zawieść w żadnym miejscu.","oss-aion-source-to-artefact.b5e1e87d48":"Trzy konkretne stwierdzenia, a to, które zawodzi, wskazuje etap, na którym zawodzi.","oss-aion-source-to-artefact.8732c432be":"Że każdy etap sekwencji jest poprawny w ogólności. Żaden certyfikat tutaj nie mówi, że\n                kompilator jest dobry, i żaden nie musi.","oss-aion-source-to-artefact.64d8424b5b":"czego nie stwierdza","oss-aion-source-to-artefact.302df26f74":"graf źródłowy","oss-aion-source-to-artefact.e95689d184":"do implementacji referencyjnej, na zadeklarowanej dziedzinie wejściowej","oss-aion-source-to-artefact.0ca9407ef6":"ekwiwalent jądra","oss-aion-source-to-artefact.5e68638068":"zadeklarowane zachowanie kształtu nie jest spełnione na tym etapie dla podanej\n                    dziedziny wejściowej","oss-aion-source-to-artefact.ab2050f59e":"kształty tensorów zachowane","oss-aion-source-to-artefact.213addbd25":"w całej kanonizacji i fuzji, dla każdego zadeklarowanego typu","oss-aion-source-to-artefact.9deae195e3":"typy zachowane","oss-aion-source-to-artefact.2297843111":"poziom optymalizacji 2, kera 1.9.4","oss-aion-source-to-artefact.64168bcea4":"odmowa stwierdzenia kształtu","oss-aion-source-to-artefact.2fa9505626":"artefakt","oss-aion-source-to-artefact.910e029098":"ilustracyjny","oss-aion-source-to-artefact.9f939ff8a4":"wybór jądra","oss-aion-sovereignty.0fe4587501":"Weryfikacja pozostaje tam, gdzie przechowywane są dowody: obok systemu produkującego, w usłudze przeglądu lub w izolowanym archiwum.","oss-aion-sovereignty.2d7bdcb19f":"Twoje decyzje pozostają pod Twoją kontrolą.","oss-aion-sovereignty.9426b99215":"Suwerenność cyfrowa","oss-aion-sovereignty.be49286f42":"LRAT, DRAT, Alethe i ujednolicony format sprawiają, że certyfikaty można niezależnie zweryfikować poza pierwotnym środowiskiem uruchomieniowym.","oss-aion-sovereignty.25c4717a63":"Przenośne formaty dowodów","oss-aion-sovereignty.d99f32de40":"Sprawdzanie dowodu działa w pełni offline. Nie polegasz na zdalnej usłudze, która mogłaby zmienić warunki lub zniknąć.","oss-aion-sovereignty.34ebf0117d":"Brak zależności zewnętrznych","oss-aion-sovereignty.44a8a39a30":"W Twoim własnym centrum danych lub w wybranym przez Ciebie regionie. Uzasadnienie decyzji nigdy nie musi przekraczać granicy, której nie zatwierdziłeś.","oss-aion-sovereignty.331242fd64":"Działa tam, gdzie wybierzesz","oss-aion-sovereignty.599b928605":"AION jest zbudowany w Europie, a jego weryfikator może pozostać w tej samej europejskiej granicy, co decyzje, które weryfikuje.","oss-aion-sovereignty.45f9bdf22b":"Europejski z pochodzenia","oss-aion-split-parts.cc0d7be136":"a enklawa niczego nie zmienia","oss-aion-split-parts.a2fb24de32":"domyślna kompilacja nie ma klienta wychodzącego","oss-aion-split-parts.ffd75a18c4":"WDROŻENIE","oss-aion-split-parts.91f8c088aa":"i czego każda z nich potrzebuje","oss-aion-split-parts.758bd7cc2a":"Cztery sposoby uruchomienia","oss-aion-split-parts.400bd9a040":"Rozdzielone między maszyny i składane dopiero po sprawdzeniu pokrycia.","oss-aion-split-parts.bb3d98dfee":"Rozproszony","oss-aion-split-parts.74da65bc96":"Wewnątrz Twojej granicy, na adresach, które sam ustawisz.","oss-aion-split-parts.664046e78a":"Usługa","oss-aion-split-parts.ce2ab3edc4":"Wskaż mu certyfikat. Nic innego nie musi działać.","oss-aion-split-parts.a7218c8eca":"Polecenie","oss-aion-split-parts.eefb3bac5d":"Wbudowane w Twój proces. Pytaj i odpowiadaj, bez zapisu pliku.","oss-aion-split-parts.fa66edb7bd":"Biblioteka","oss-aion-stays-here.e3e08ad140":"nic nie opuściło pokoju","oss-aion-stays-here.18ab547f60":"Ta pusta kartka to całe roszczenie.","oss-aion-stays-here.907d22f7f0":"Nic nie jest narysowane między pudełkiem a trzema rzeczami obok niego.","oss-aion-stays-here.001b06036c":"nie na tym obrazku","oss-aion-stays-here.8c84675037":"link do innej maszyny w tej samej organizacji, wyłączony, dopóki ktoś go celowo nie skonfiguruje","oss-aion-stays-here.e3527ba222":"Odpowiedź przychodzi z linią w dół, ponieważ linia nigdy nie była jej częścią.","oss-aion-stays-here.caf3a041c8":"Opóźnienie wynosiło siedemdziesiąt pięć minut, czyli więcej niż godzinę, więc rezerwacja jest anulowana, a opłata wraca na kartę, z której pochodziła.","oss-aion-stays-here.7296ef48e5":"co wróciło","oss-aion-stays-here.395ee2333f":"anulowanie kończy rezerwację i zwraca opłatę","oss-aion-stays-here.46d2008236":"godzina oznacza sześćdziesiąt minut, bez zaokrągleń","oss-aion-stays-here.2fd4fcb567":"opóźnienie liczy się od czasu wydrukowanego na bilecie","oss-aion-stays-here.f5b422b60e":"pisemne zasady, według których jest to czytane","oss-aion-stays-here.ee04bc3b23":"Anuluj moją rezerwację tylko wtedy, gdy opóźnienie przekracza godzinę.","oss-aion-stays-here.af5509db2b":"co wpisałeś","oss-aion-stays-here.3cbd68d678":"maszyna przed tobą","oss-aion-stays-here.531aa138ac":"odpowiedziano bez wychodzenia","oss-aion-stays-here.fb23ddcc1c":"jedno pytanie, jedno miejsce","oss-aion-stays-here.96ccbc62ab":"twoje słowa nie są rzeczą, którą otrzymuje ktoś inny","oss-aion-stays-here.1b215d440d":"maszyna gdzie indziej czytająca twoje zdanie","oss-aion-stays-here.b5a5c63d23":"żadna zewnętrzna rzecz nie musi działać, aby odpowiedź nadeszła","oss-aion-stays-here.b5c483d9d9":"usługa, która musi być dostępna","oss-aion-stays-here.fa287ade3d":"nikt nie pyta, kim jesteś, bo nikt nie musi wiedzieć","oss-aion-stays-here.d5a3ef8b78":"konto, do którego można się zalogować","oss-aion-stays-here.910e029098":"ilustracyjny","oss-aion-stays-here-list.56a6e8f9a7":"i nic do przekazania","oss-aion-stays-here-list.57eef35c96":"bez czekania","oss-aion-stays-here-list.a64eab5744":"na co czeka","oss-aion-stays-here-list.c00e02ca1e":"HERE","oss-aion-stays-here-list.8d985c5d9a":"i na co nigdy nie czeka","oss-aion-stays-here-list.13591491d9":"Na czym działa","oss-aion-stays-here-list.1458464f09":"Nic do rejestracji, więc nie ma czego być klientem.","oss-aion-stays-here-list.257fa99e08":"Bez konta","oss-aion-stays-here-list.b165f2d684":"Twoje zdanie jest sprawdzane według reguł, w tym samym pomieszczeniu co ty.","oss-aion-stays-here-list.37a25e4e99":"Pisane reguły","oss-aion-stays-here-list.7ee33f1c7a":"Praca dzieje się tam, gdzie jesteś, i nikt inny nie musi działać.","oss-aion-stays-here-list.d3612f57d8":"Maszyna, przy której siedzisz","oss-aion-supplier-answer.6d6ddcd4c1":"one statement, four blank lines","oss-aion-supplier-answer.a5d36ba87c":"Not one of the four questions is answered anywhere on the sheet.","oss-aion-supplier-answer.d09481b0a5":"Every word on it is true and somebody has signed it.","oss-aion-supplier-answer.cec9b36162":"14 March 2026","oss-aion-supplier-answer.22715d5cb9":"The configuration submitted on 12 March 2026 has been verified as free of conflicts.","oss-aion-supplier-answer.1e0a1891e8":"ref SC-2026-0417","oss-aion-supplier-answer.3efe106b61":"certificate of conformity","oss-aion-supplier-answer.d0b412c2f7":"Scheduling Systems BV","oss-aion-supplier-answer.ffb191f41e":"four unanswered","oss-aion-supplier-answer.910e029098":"illustrative","oss-aion-supplier-answer.f86e5cfb14":"Would it still hold after Tuesday's change?","oss-aion-supplier-answer.bbe7a72e5a":"On whose data, and how much of it?","oss-aion-supplier-answer.c25776701b":"Against which version of our rule set?","oss-aion-supplier-answer.84d9ed92b5":"Which conditions were actually checked?","oss-aion-theory-matrix.ac8d77d669":"Zdaniowa","oss-aion-theory-matrix.3d52a6d8fe":"Logika","oss-aion-theory-matrix.42f3aff840":"Spełnialność booleanowska z uczeniem klauzul sterowanym konfliktami. Punkt wyjścia dla każdej innej teorii.","oss-aion-theory-matrix.6078532ab2":"Kwantyfikatory","oss-aion-theory-matrix.02f664dd36":"Logika pierwszego rzędu z instancjacją opartą na modelu. Rozumuje o forall i exists w obsługiwanych sortach.","oss-aion-theory-matrix.49167dbc57":"Arytmetyka liniowa","oss-aion-theory-matrix.45f053dc73":"Arytmetyka","oss-aion-theory-matrix.876aafb6c1":"Liniowa arytmetyka całkowitoliczbowa i dane rzeczywiste w deklarowanej skali. Wewnętrznie sprawdzacz używa wartości całkowitoliczbowych lub adaptacyjnych stałoprzecinkowych.","oss-aion-theory-matrix.b618fadea3":"Nieliniowa","oss-aion-theory-matrix.fd99188844":"Nieliniowa arytmetyka całkowitoliczbowa i dane rzeczywiste w deklarowanej skali. Sprawdzacz używa wartości całkowitoliczbowych lub adaptacyjnych stałoprzecinkowych, nigdy zmiennoprzecinkowych.","oss-aion-theory-matrix.d11f66aff2":"Dane zmiennoprzecinkowe","oss-aion-theory-matrix.19080aec82":"Dane IEEE 754 są akceptowane tylko na granicy, a następnie dekodowane do pól binarnych przed sprawdzeniem. Żadne wartości zmiennoprzecinkowe nie są przechowywane, gromadzone ani obliczane wewnętrznie.","oss-aion-theory-matrix.914807cdef":"Wektory bitowe","oss-aion-theory-matrix.e5e429bcc9":"Dane","oss-aion-theory-matrix.23c278d5ca":"Słowa binarne o stałej szerokości z semantyką przepełnienia. Do weryfikacji sprzętu i sprawdzania protokołów binarnych.","oss-aion-theory-matrix.b90cc9bfd2":"Tablice","oss-aion-theory-matrix.eac25fcfc6":"Teoria tablic z aksjomatami select i store. Rozstrzygalne fragmenty są śledzone jawnie.","oss-aion-theory-matrix.3816c4beac":"Łańcuchy","oss-aion-theory-matrix.8e5a47db7d":"Równania słów, ograniczenia długości i przynależność do wyrażeń regularnych dla łańcuchów.","oss-aion-theory-matrix.0efe5fd2a3":"Czasowa","oss-aion-theory-matrix.ab14d0a7db":"Programy","oss-aion-theory-matrix.12dfdaf96a":"towarzysząca skrzynka","oss-aion-theory-matrix.dd600bd946":"Fragmenty logiki czasowej liniowej i rozgałęzionej do rozumowania o zachowaniu w czasie.","oss-aion-theory-matrix.bb8c6ec608":"Probabilistyczna","oss-aion-theory-matrix.042a4dc40b":"Rozumowanie o programach probabilistycznych, w tym wnioskowanie w stylu probabilistycznego Datalogu.","oss-aion-theory-matrix.1e1837d4e8":"Współbieżna","oss-aion-theory-matrix.60e30b1d8e":"Rozumowanie o programach współbieżnych i przeplotach, które mogą tworzyć ich wątki.","oss-aion-theory-matrix.48d316d8e1":"LIA","oss-aion-theory-matrix.76fc1ecaf9":"pokrycie teorii","oss-aion-theory-matrix.4329e5da7b":"11 domen logicznych","oss-aion-theory-matrix.dc1baa8539":"jądro + towarzyszące skrzynki","oss-aion-theory-matrix.5b1e898fc0":"Teoria","oss-aion-theory-matrix.cd89376f98":"Miejsce","oss-aion-theory-matrix.df1e1e1732":"Jedenaście teorii, każdy wnioskujący generuje kroki, które emiter dowodów może zarejestrować, a\n            sprawdzacz może odtworzyć.","oss-aion-theory-matrix.36ce8cbd4c":"PROP do CONCUR","oss-aion-three-questions.381a478392":"Dwie odpowiedzi, jedna granica","oss-aion-three-questions.b695e87b19":"dwie odpowiedziane, jedna posiadana","oss-aion-three-questions.9f5234300d":"Trzecie pytanie nie jest nasze, a powiedzenie tego sprawia, że pierwsze dwa są coś\n          warte.","oss-aion-three-questions.8149763299":"Zgodność zachowana, jeden niezmiennik zawodzi ze swoim śladem.","oss-aion-three-questions.5974dafe20":"drzwi są narysowane tak solidnie jak ściana","oss-aion-three-questions.392d2df212":"Właściciel modelu trzyma to pytanie i trzyma je na stałe. Żaden certyfikat tutaj\n                go nie dotyka i żaden z nich go po cichu nie implikuje.","oss-aion-three-questions.c27ccdf78d":"poprawność fizyczna","oss-aion-three-questions.dbbe530d6c":"czy ten model reprezentuje świat rzeczywisty","oss-aion-three-questions.44b8fe96f9":"krok 1 284, p = 8,14 bar","oss-aion-three-questions.dcf63117f5":"kontrprzykład, podniesiony i powiększony","oss-aion-three-questions.ed4bde3030":"ciśnienie w pętli pozostaje poniżej 8 bar","oss-aion-three-questions.4676659f50":"zawór obejściowy nigdy nie otwiera się dwa razy w jednym kroku","oss-aion-three-questions.045757b8af":"temperatura powrotu pozostaje poniżej 95 C","oss-aion-three-questions.24fa71fdd6":"kontrola niezmienników","oss-aion-three-questions.846ee97ae5":"czy podane niezmienniki zachowują się w całym przebiegu","oss-aion-three-questions.17f80cae31":"Przebieg odtwarza się z tego, co deklaruje certyfikat.","oss-aion-three-questions.ba01008496":"t = 4,20","oss-aion-three-questions.ff4e31b5a8":"x0 = 2,5","oss-aion-three-questions.a74e1bd7e0":"t = 1,75","oss-aion-three-questions.63df9305f6":"tolerancja 1e-6","oss-aion-three-questions.884f613dc6":"t = 0,00","oss-aion-three-questions.0c1ded1963":"krok 0,01 s","oss-aion-three-questions.8c30aa1c6e":"zgodność wykonania","oss-aion-three-questions.b3c58a82bd":"czy zadeklarowany model i konfiguracja wyprodukowały tę trajektorię","oss-aion-three-questions.5d3f336ca9":"hash blake3:d7104c9a","oss-aion-three-questions.010d47a0a4":"chiller-loop 3.1, fmu 2.0.4","oss-aion-three-questions.3d0266b863":"model i FMU","oss-aion-three-questions.b697dd615a":"dwa z trzech","oss-aion-three-questions.f14f15b304":"trajektoria","oss-aion-three-questions.f1f1425b65":"parametry","oss-aion-three-questions.910e029098":"ilustracyjny","oss-aion-three-readings.41d8442e84":"odczyty i ich pewności należą do AION, wybór należy do Ciebie i jest odnotowany","oss-aion-three-readings.42e8a93311":"trzy odczyty, jedna decyzja, która ma autora","oss-aion-three-readings.62b4619c99":"liczba, która nie może spaść poniżej zera","oss-aion-three-readings.48a15f3a18":"liczba całkowita poniżej pięciu","oss-aion-three-readings.ae3925651e":"czy ponowienia to liczba całkowita, liczba, czy dowolna wartość?","oss-aion-three-readings.dffe60eb6a":"pytanie zadane","oss-aion-three-readings.fb76182a92":"zapytane, nie założone","oss-aion-three-readings.8c3f96fa33":"Ponowienia muszą być poniżej pięciu","oss-aion-three-readings.e9be13f9ec":"AION ujawnia niejednoznaczność zamiast ją rozstrzygać. Nazywa rodzaj niejednoznaczności,\n          wymienia odczyty wraz z pewnością, jaką każdy niesie, i warunkiem, jaki każdy by\n          egzekwował, oraz stawia pytanie wskazujące zmienną, której dotyczy problem. Decyzja nadal należy\n          do człowieka. Zmienia się to, że jest podejmowana raz, na zapisie, przez osobę\n          odpowiedzialną za wymaganie, a nie przez kogoś, kto akurat zajmował się\n          konwersją.","oss-aion-three-readings.f26c9b4ff8":"Poniżej pięciu prób, liczone jako całość. Albo poniżej pięciu,\n          gdzie cztery i pół to prawidłowa wartość. Albo liczba, która również nie może spaść poniżej\n          zera. To trzy różne zasady, a różnica prędzej czy później wyjdzie na jaw jako incydent.\n          W zwykłym trybie pracy jedną z nich wybierał ktoś, kto akurat robił\n          tłumaczenie, w czwartek, nikomu nic nie mówiąc.","oss-aion-three-readings.7b5121a8f0":"\"Ponowienia muszą być poniżej pięciu.\"","oss-aion-three-readings.ffe5d68fe6":"Ktoś wybrał jedną.","oss-aion-three-readings.55b8b0b398":"Twoje zdanie miało dwa odczyty.","oss-aion-three-readings.2d1501c7e4":"Cicha decyzja, której nikt nie podjął","oss-aion-three-readings.bec998cdfe":"dowolna liczba, w tym cztery i pół","oss-aion-time-left.88430838dd":"nikomu nic nie zaskoczyło","oss-aion-time-left.227b19b5aa":"Zmniejszyło się tylko przed kimś, kto mógł jeszcze na to zareagować.","oss-aion-time-left.ac61a8b97d":"Liczba była tam ósmego dnia i nigdy nie stała się głośniejsza.","oss-aion-time-left.0703308f0f":"Na tym arkuszu nie ma alarmu i nic nie zmieniło koloru na czerwony. Każde z tych zdań to\n          to samo zdanie czytane w innym dniu.","oss-aion-time-left.6222c927fd":"Trafia do osoby, która zatwierdza spóźnione odpowiedzi, z datą, i ona odpisuje\n            do ciebie.","oss-aion-time-left.4dfda36be9":"14 dni temu","oss-aion-time-left.d5f128da73":"odpowiedź była należna szesnastego","oss-aion-time-left.58cdff89f9":"inne zapytanie, czytane po terminie","oss-aion-time-left.6a7651b700":"trzydzieści dni po twoim zapytaniu","oss-aion-time-left.813d27411f":"odpowiedź jest należna","oss-aion-time-left.d8b0301347":"poprosiłeś o kopię tego, co o tobie przechowują","oss-aion-time-left.4c3d95bf6a":"zapytanie","oss-aion-time-left.795bcac29d":"dziś zostały cztery dni","oss-aion-time-left.56ff55acfb":"jeden termin, czytany cztery razy","oss-aion-time-left.acafbd7541":"zadzwoń do nich dziś","oss-aion-time-left.148b21034f":"4 dni","oss-aion-time-left.f165b88925":"przypomnij w tym tygodniu","oss-aion-time-left.b85bbd50bd":"8 dni","oss-aion-time-left.4a8b5bac9b":"nadal w porządku","oss-aion-time-left.67f9059ac5":"14 dni","oss-aion-time-left.ca372a8fb7":"wpisz to do kalendarza","oss-aion-time-left.16f29c69b8":"22 dni","oss-aion-time-left.910e029098":"poglądowy","oss-aion-two-routes.89c24f999c":"ten drugi bada dowody","oss-aion-two-routes.3a5d844ae5":"jedna ścieżka je odtwarza","oss-aion-two-routes.028a6cf2d7":"ich certyfikat","oss-aion-two-routes.5c837ce426":"ich system","oss-aion-two-routes.27f65e5e47":"to, czego potrzebuje","oss-aion-two-routes.d0765bbac1":"PORÓWNAJ","oss-aion-two-routes.91f8c088aa":"i to, czego potrzebuje każdy z nich","oss-aion-two-routes.8930c1c9b8":"Dwa sposoby, aby mieć pewność","oss-aion-two-routes.d56d985300":"sprawdź","oss-aion-two-routes.e1fc5057de":"odtwórz","oss-aion-two-routes.b028b89ea7":"ich pomoc","oss-aion-two-routes.999464a52f":"nieodtworzone","oss-aion-two-routes.9b9252883d":"sam certyfikat","oss-aion-two-routes.4dc537c80f":"twierdzenie, dane wejściowe i kontrakt","oss-aion-two-routes.ad95c10298":"ich dokładna wersja i maszyna","oss-aion-two-routes.cfd05bd2f2":"ich licencja","oss-aion-value-grid.6cc3364a24":"Dowód w załączniku","oss-aion-value-grid.4910ee0aea":"Dowody przy każdym wyniku","oss-aion-value-grid.411bf64817":"Wynik i jego zwarty certyfikat są ze sobą powiązane, więc dowód powstaje w momencie podjęcia decyzji, a nie jest odtwarzany podczas przeglądu.","oss-aion-value-grid.05f9c0dc34":"Sprawdzone przez inny silnik","oss-aion-value-grid.eea79d1484":"Osobny weryfikator porównuje certyfikat z pierwotnymi przesłankami. Model nie ocenia własnej odpowiedzi.","oss-aion-value-grid.cbd17d59ba":"Przenośne formaty","oss-aion-value-grid.5e6cba1721":"Dowody przetrwają środowisko uruchomieniowe","oss-aion-value-grid.b59cb11a8c":"LRAT, DRAT, Alethe i ujednolicona forma dowodu sprawiają, że certyfikat pozostaje czytelny po zmianie modelu, solvera lub usługi.","oss-aion-value-grid.a60bdd7985":"Weryfikacja offline","oss-aion-value-grid.ebfb47f4ba":"Brak zależności od sieci","oss-aion-value-grid.6144cbfcab":"Sprawdzenie dowodu nie wymaga sieci, konta ani połączenia z nami. To, na czym polegasz podczas audytu, nie ma stałej zależności od dostawcy.","oss-aion-value-grid.26ef011865":"Suwerenność UE","oss-aion-value-grid.23672ea195":"Europejskie i do uruchomienia u Ciebie","oss-aion-value-grid.26e89e1455":"Zbudowane w Europie i możliwe do uruchomienia w całości na sprzęcie, który kontrolujesz. Twoje dowody i decyzje nie muszą opuszczać jurysdykcji, którą zatwierdzasz.","oss-aion-value-grid.66ac329042":"Audyty bez ryzyka","oss-aion-value-grid.9c8c22f54d":"Dowody, które może sprawdzić inna strona","oss-aion-value-grid.6572cc2be6":"Gdy regulator lub audytor zapyta, jak podjęto decyzję, przekazujesz certyfikat, który każdy może sprawdzić, zamiast polegać na obietnicy dostawcy, której nie możesz przetestować.","oss-aion-value-grid.6b5eb5323e":"Dowód decyzji","oss-aion-value-grid.870c4d024a":"Niezależna weryfikacja","oss-aion-value-grid.93e2c4e5c4":"Zacznij od jednej ścieżki decyzyjnej i zachowaj jej certyfikat przez cały przegląd.","oss-aion-value-grid.217fc9a42f":"certyfikat · weryfikator · archiwum","oss-aion-what-you-got.2b69c8154b":"a każde z pytań rodzi","oss-aion-what-you-got.7f629c0e9f":"cztery rzeczy, które otrzymujesz","oss-aion-what-you-got.7a9727c9f8":"możliwe do sprawdzenia przez Ciebie","oss-aion-what-you-got.bc1c663195":"co otrzymujesz","oss-aion-what-you-got.0da9f51943":"ZAOBSERWOWANO","oss-aion-what-you-got.8becd8f7be":"i co to rozstrzyga","oss-aion-what-you-got.7d3574bfa5":"Co przekazuje dostawca","oss-aion-what-you-got.0306f977ae":"Która wersja to powiedziała. Nie co sprawdzała ani jak.","oss-aion-what-you-got.fd12863535":"nie","oss-aion-what-you-got.7b0c210f52":"Numer wersji","oss-aion-what-you-got.f78a920a78":"Ich opis własnego procesu, napisany przez nich.","oss-aion-what-you-got.301941b624":"ich relacja","oss-aion-what-you-got.7591a35462":"Nota metodyczna","oss-aion-what-you-got.5eec058df8":"Ktoś stoi za słowem, nie za rozumowaniem.","oss-aion-what-you-got.28fde2f659":"sama nazwa","oss-aion-what-you-got.7573daa505":"Podpis","oss-aion-what-you-got.94ebda1bd3":"Bezpieczne, wykonalne, spójne. Jedno słowo, bez działania.","oss-aion-what-you-got.c99c8e4a9b":"Wniosek","oss-aion-where-it-runs.1ba0334f9f":"nie ma trzeciego","oss-aion-where-it-runs.03e2311510":"konfigurujesz te dwa","oss-aion-where-it-runs.076d156600":"nic do skonfigurowania w środku","oss-aion-where-it-runs.f16ac53550":"twoje do skonfigurowania","oss-aion-where-it-runs.9be34046ca":"LOCAL","oss-aion-where-it-runs.3ca221bb6c":"i nic więcej nie wychodzi","oss-aion-where-it-runs.6cdd4e486a":"Dwie konfigurowalne granice","oss-aion-where-it-runs.39616fc267":"Program, który instalujesz, działający jako proces lokalny.","oss-aion-where-it-runs.00bfadf39c":"Zewnętrzny prover","oss-aion-where-it-runs.801db3efcd":"Tylko adresy, które ustawisz, i tylko po ich ustawieniu.","oss-aion-where-it-runs.d296df3171":"Klaster","oss-aion-where-it-runs.67204bf5d4":"brak trasy","oss-aion-where-it-runs.91984fcc1b":"Model hostowany","oss-aion-where-it-runs.b8b252650e":"brak klienta w ogóle","oss-aion-where-it-runs.ee39579eba":"Domyślna kompilacja","oss-aion-where-it-runs.d49fe2c403":"nie zainstalowano","oss-aion-where-you-meet-it.2a85ffb07a":"Miejsce się zmienia, obietnica nie: powód, który możesz przeczytać, i kontrola, którą każdy może przeprowadzić.","oss-aion-where-you-meet-it.9a8413cd88":"Nigdy sam nie uruchomisz AION. To są rodzaje miejsc, w których może on działać cicho za\n            Ciebie.","oss-aion-where-you-meet-it.33fb502270":"Trzy codzienne sytuacje","oss-aion-where-you-meet-it.40e32f89eb":"Każdy, komu ufasz, może sprawdzić wydruk i potwierdzić go.","oss-aion-where-you-meet-it.03ef5e1328":"Gdy urząd używa maszyny do sprawdzenia Twojej sprawy, należy Ci się powód, który możesz przeczytać i zakwestionować.","oss-aion-where-you-meet-it.2390278256":"Świadczenie lub formularz jest sprawdzane","oss-aion-where-you-meet-it.2e92ab22dd":"W urzędzie","oss-aion-where-you-meet-it.0bd84e3a14":"Powód jest zapisany, nie zamknięty w systemie.","oss-aion-where-you-meet-it.c4a1d64452":"Decyzje finansowe podejmowane przez maszynę mogą wydawać się zamkniętymi drzwiami. Wydruk je otwiera, prostymi krokami.","oss-aion-where-you-meet-it.e17885868a":"Pożyczka lub zwrot jest obliczany","oss-aion-where-you-meet-it.5e45cf57a0":"W banku","oss-aion-where-you-meet-it.e2c536b2b3":"Możesz poprosić o wydruk i pokazać go swojemu lekarzowi.","oss-aion-where-you-meet-it.0b56f170bf":"Gdy maszyna ma wpływ na Twoje leczenie, powinieneś widzieć powód, nie tylko wynik.","oss-aion-where-you-meet-it.0332b7d1b7":"Komputer pomaga zdecydować o Twojej opiece","oss-aion-where-you-meet-it.4046c6355b":"W szpitalu","oss-aion-which-did-you-mean.1ff884a89e":"zapytane, nie zgadywane","oss-aion-which-did-you-mean.2eb1c230f2":"Wybór należy do tego, kto napisał zdanie.","oss-aion-which-did-you-mean.d94da790d1":"Dwa zwykłe odczytania, jedna sprawa między nimi.","oss-aion-which-did-you-mean.3b4d06d361":"Nie zadano pytania i nikt nie został poinformowany, na które z dwóch trafiło.","oss-aion-which-did-you-mean.93a161cede":"Godziny liczone są w całości. Wybrano w czwartkowe popołudnie przez kogoś, kto musiał\n                wysłać.","oss-aion-which-did-you-mean.4b73aced85":"obowiązuje","oss-aion-which-did-you-mean.17e120a269":"Anuluj, jeśli opóźnienie przekracza jedną godzinę.","oss-aion-which-did-you-mean.ddf20b2d3c":"zwykły sposób, w jaki to się rozstrzyga","oss-aion-which-did-you-mean.3f42a39277":"tak, jak faktycznie przebiega","oss-aion-which-did-you-mean.1e9a34969e":"pełne godziny","oss-aion-which-did-you-mean.9c2a4532bb":"Gdy napisałeś więcej niż jedną godzinę, czy miałeś na myśli pełne godziny, czy opóźnienie tak, jak\n                faktycznie przebiega?","oss-aion-which-did-you-mean.280b34e1e5":"Twój pociąg jest spóźniony siedemdziesiąt pięć minut i rezerwacja przepada, zanim\n                    zdecydujesz, czy nadal chcesz podróżować.","oss-aion-which-did-you-mean.97e4112012":"Opóźnienie trwa tyle, ile faktycznie trwa. Godzina i kwadrans to więcej niż\n                    godzina.","oss-aion-which-did-you-mean.c5d620cfa2":"odczytanie drugie","oss-aion-which-did-you-mean.466780685c":"Twój pociąg jest spóźniony siedemdziesiąt pięć minut i nic nie jest anulowane. Czekasz na\n                    peronie na pociąg, który wciąż nadjeżdża.","oss-aion-which-did-you-mean.6b67a39030":"Godziny liczone są w całości. Opóźnienie godziny i kwadransa liczy się jako jedna godzina,\n                    a jedna godzina to nie więcej niż jedna godzina.","oss-aion-which-did-you-mean.9cf85c69a8":"odczytanie pierwsze","oss-aion-which-did-you-mean.ef52f97a5b":"więcej niż jedna godzina","oss-aion-which-did-you-mean.371c6d7efd":"Anuluj, jeśli opóźnienie","oss-aion-which-did-you-mean.887640fa01":"napisałeś","oss-aion-which-did-you-mean.3650db40be":"czekając na twoją odpowiedź","oss-aion-which-did-you-mean.ff312b91d2":"co miałeś na myśli","oss-aion-which-did-you-mean.6f8f8e9f76":"wtedy","oss-aion-which-did-you-mean.910e029098":"przykładowy","oss-aion-your-corpus.a54df5506a":"dwa tygodnie, z pisemnym wynikiem","oss-aion-your-corpus.ee646eb7cc":"Uruchom ten sam korpus na tym, czego używasz obecnie, i połóż oba raporty obok\n            siebie.","oss-aion-your-corpus.f2d4df122d":"Sześćdziesiąt dwa na sześćdziesiąt cztery, na twojej maszynie, pod twoim limitem.","oss-aion-your-corpus.8ff7db55b1":"ten limit","oss-aion-your-corpus.8ada74cbb4":"ta maszyna","oss-aion-your-corpus.b2ed177f82":"ten korpus","oss-aion-your-corpus.71e1422875":"funkcja od","oss-aion-your-corpus.94ef1b7ae8":"z 64 poprawnych","oss-aion-your-corpus.2ce97993d5":"brak werdyktu","oss-aion-your-corpus.90326d4307":"upłynęło 41 s","oss-aion-your-corpus.69bb8da1c5":"nadal działa","oss-aion-your-corpus.ffec298f79":"tickRunning","oss-aion-your-corpus.7916066855":"tickCapped","oss-aion-your-corpus.693babfc51":"nie zapisano odpowiedzi","oss-aion-your-corpus.72330c3954":"16 GB przestrzeni adresowej","oss-aion-your-corpus.b4f0923eae":"16 GB na przebieg","oss-aion-your-corpus.ff367b6b79":"limit przestrzeni adresowej","oss-aion-your-corpus.d1ea89e714":"32 rdzenie, 128 GB","oss-aion-your-corpus.dbd2aaf9ae":"przykładowy przebieg","oss-aion-your-corpus.e380724f89":"jeden ograniczony, jeden nadal działa","oss-aion-your-corpus.f6f66c95d6":"Twój korpus, na miejscu","oss-aion-your-corpus.8d95729188":"ograniczony","oss-aion-your-corpus.7817c52b25":"maszyna","oss-aion-your-corpus.d95f464bc9":"instancje","oss-aion-your-corpus.9cd29685c2":"intake-2026-q1","oss-aion-your-corpus.62892ff8a1":"korpus","oss-aion-your-sentence-parts.8e7ed848f6":"nadal możesz to przeczytać","oss-aion-your-sentence-parts.78c48f428a":"to ty to napisałeś","oss-aion-your-sentence-parts.c569c19f0b":"Przeczytaj jeszcze raz, podaje tę samą zasadę. Nic się między tym nie zmieniło.","oss-aion-your-sentence-parts.43015fadc4":"Nikt nie powinien być obciążony dwukrotnie za to samo zamówienie w tym samym miesiącu.","oss-aion-your-sentence-parts.a14707f800":"Twoje zdanie, bez zmian","oss-aion-your-sentence-parts.2ccea15065":"rok później","oss-aion-your-sentence-parts.a80d4309ae":"Na górze wiadomości, nad częścią, która nie została spełniona.","oss-aion-your-sentence-parts.f33c43e8f9":"Twoje zdanie, zacytowane","oss-aion-your-sentence-parts.f0f795235c":"dzień, w którym obowiązuje","oss-aion-your-sentence-parts.fe74b20e8f":"Tak, jak to wpisałeś, z jedną prostą linią mówiącą, jak to zostało odczytane.","oss-aion-your-sentence-parts.358b1cbc5d":"Twoje zdanie, zachowane","oss-aion-your-sentence-parts.13211e2743":"dzień, w którym to piszesz","oss-aion-your-sentence-parts.27a0362e59":"TWOJE SŁOWA","oss-aion-your-sentence-parts.d37598cc12":"w trzy różne dni","oss-aion-your-sentence-parts.32a5ee7a1f":"To samo zdanie","page-breadcrumb.c766e66518":"Okruszki","page-toc.7e439c353e":"Na tej stronie","section_st_a1_display-split.7c9a7c0610":"Szczegóły","section_st_f1_cta-dark.90e40d5043":"Zacznij","spindle-extras.127edee78d":"PODPISANO","toc-rail.f5cbdf6bfb":"Spis treści"}