Jak powstają ustalenia — i na ile można im ufać
Każdy wynik jest oznaczony klasą dowodową. Ta strona definiuje te klasy i wyjaśnia, moduł po module, co dokładnie odczytujemy, obliczamy i wnioskujemy.
Klasy dowodowe
Ustaleniu należy ufać proporcjonalnie do jego klasy:
- Deterministyczne — odczytane wprost z tekstu reguł danego rynku, źródła rozstrzygnięcia, metadanych lub arkusza zleceń. Dokładne i odtwarzalne (np. dokładny fragment reguły, najlepsza oferta kupna/sprzedaży).
- Pochodne — obliczone z danych deterministycznych (cena wykonywalna przy danym wolumenie, wyodrębnione terminy, relacje między rynkami, poślizg z widocznego arkusza).
- Heurystyczne / modelowane — wymagają interpretacji lub klasyfikacji (ocena ryzyka rozstrzygnięcia, etykiety anomalii, wnioskowanie Smart Flow). To szacunki, nie fakty.
W produkcie klasy te występują jako pięć etykiet dowodowych, które odpowiadają trzem powyższym klasom: Fakt zaobserwowany i Ustalenie deterministyczne są deterministyczne; Zależność historyczna i Modelowane są heurystyczne/modelowane; Nieznane oznacza, że dowody nie wystarczyły do klasyfikacji — traktowane jako brak ustalenia, nigdy jako ustalenie o niskim ryzyku.
Źródła i pierwszeństwo
Struktura rynków, tekst reguł i metadane pochodzą z publicznych API Polymarket; arkusze zleceń z publicznego CLOB; wyniki rozstrzygnięć odwołują się do źródła wskazanego przez sam rynek oraz, gdzie to istotne, do optymistycznej wyroczni UMA; odczyty on-chain korzystają z publicznych RPC. Gdy źródła są rozbieżne, o każdym ustaleniu na poziomie reguł decyduje opublikowany tekst reguł samego rynku, a o każdym ustaleniu na poziomie cen — arkusz zleceń; nigdy nie zastępujemy żadnego z nich źródłem wtórnym. Tożsamość kanoniczna sprowadza URL, slug, identyfikator rynku i condition id do jednego śledzonego rynku, zanim rozpocznie się jakakolwiek analiza.
Interpretacja terminów
Terminy są wyodrębniane z tekstu reguł dosłownie (ustalenie deterministyczne). Gdy tekst podaje godzinę bez strefy czasowej albo datę, której dzień kalendarzowy zależy od strefy czasowej, oznaczamy ją jako niejednoznaczną strefowo, zamiast po cichu przyjmować założenie — samo oznaczenie jest ustaleniem.
Resolution Watch
Czyta pełne opublikowane reguły rynku i sprawdza, w jaki sposób ich tekst może unieważnić lub podważyć pozycję, nawet przy trafnej ocenie rzeczywistości:
- Rozbieżność między tytułem a regułami — tytuł sugeruje warunek, którego reguły nigdzie nie stawiają (ustalenie deterministyczne, z dokładnym fragmentem).
- Niejednoznaczny warunek rozstrzygnięcia — język subiektywny lub niedookreślony.
- Zależność od autorytatywnego źródła i substytucja źródła — rozstrzygnięcie zależy od nazwanego źródła albo dopuszcza „lub inne wiarygodne źródło”.
- Niejednoznaczność terminu — przypadki brzegowe terminu: strefa czasowa albo rok kalendarzowy kontra fiskalny.
Każde oznaczenie cytuje dokładny fragment reguły (deterministycznie). Łączny procent ryzyka sporu pochodzi z modelu — patrz niżej.
Model ryzyka rozstrzygnięcia
Łączna ocena ryzyka sporu to model logistyczny dopasowany na cechach regułowych historycznie rozstrzygniętych rynków i oceniany poza próbą na wydzielonym zbiorze testowym. Obecnie osiąga wynik Briera na wydzielonym zbiorze testowym 0.119 wobec 0.149 dla punktu odniesienia opartego na stałej częstości bazowej — i pokonuje każdy naiwny punkt odniesienia, względem którego ocenia go silnik (stały, kategorii, segmentu, wyłącznie regułowy przy 0.164) — dlatego jest oznaczony jako MODEL_BEATS_BASELINES (skalibrowany). To wciąż prawdopodobieństwo dotyczące niepewnej przyszłości, a nie gwarancja. Gdyby przyszły zbiór danych cofnął ten werdykt, przeetykietowalibyśmy go jako MODEL_NOT_CALIBRATED i napisali o tym na tej stronie. Historyczne statystyki wzorców pokazywane są z liczebnością próby i przedziałami ufności; wzorce powszechnie uznawane za ryzykowne potrafią okazać się neutralne, a nawet ochronne (explicit cancellation clause 0.2×, generic "ambiguous language" 0.5×) — publikujemy również te odwrotne wyniki.
Market Truth
Jeden rynek na jednym ekranie: tożsamość kanoniczna, reguły i źródło rozstrzygnięcia, arkusz zleceń na żywo, anomalie, w których rynek uczestniczy, oraz deterministyczna ocena handlowalności. Tożsamość i reguły są deterministyczne; głębokość arkusza to odczyt na żywo według pokazanego znacznika czasu.
Event Map
Ujawnia zweryfikowane logiczne relacje między rynkami — przynależność do grup neg-risk (ceny powinny sumować się do ~1), duplikaty, uporządkowanie terminów i progów oraz bezpośrednie sprzeczności. Każda krawędź to ustalenie deterministyczne wyprowadzone z reguł i struktury samych rynków, a nie korelacja.
Executable Basket i wycena wykonania
Wycenia pozorne koszyki arbitrażowe przy rzeczywistej głębokości: wykonywalna cena kupna/sprzedaży z arkusza zleceń, poślizg modelowany przez przejście widocznych poziomów, ekspozycja na częściową realizację oraz maksymalny nominał, który faktycznie się rozliczy. Ceny wykonywalne i poślizg to ustalenia pochodne z widocznego arkusza — nie są obietnicą rzeczywistej realizacji.
Smart Flow
Pseudonimowa analiza kohort portfeli: grupuje uczestników on-chain w archetypy behawioralne i raportuje badania podążania prowadzone poza próbą. Kohorty, nigdy imiennie wskazane osoby; heurystyczny sygnał kontekstowy, nigdy rekomendacja transakcji. Czego nie dowodzi: przyczynowości, tego, że jakakolwiek kohorta powtórzy zachowanie, ani tego, że podążanie za nią jest zyskowne.
Aktualność, pamięć podręczna i znaczniki czasu
Wyniki mogą być odczytem na żywo, z pamięci podręcznej lub historycznym. Każdy ma znacznik czasu dowodów, a odczyty on-chain — kontekst bloku tam, gdzie jest używany. Bieżąca aktualność indeksu: Zakres danych. Nigdy nie fabrykujemy analizy, gdy dane źródłowe są niedostępne — zwracamy „niewystarczające dowody”.
Czym to nie jest
Scanverity Intelligence to badania, nie doradztwo. Nie realizuje transakcji, nie przechowuje środków i nie przewiduje wyników z pewnością. Zobacz: Zastrzeżenia dotyczące ryzyka i metodologii.