Методологія

Як формуються висновки — і наскільки їм довіряти

Кожен результат позначено класом доказів. Ця сторінка визначає ці класи й пояснює, модуль за модулем, що саме ми читаємо, обчислюємо та виводимо.

Класи доказів

Довіряйте висновку пропорційно до його класу:

Детерміновані — зчитуються безпосередньо з власного тексту правил ринку, джерела резолюції, метаданих або книги заявок. Точні й відтворювані (наприклад, точний фрагмент правила, найкращі bid/ask).
Похідні — обчислюються з детермінованих вхідних даних (виконувана ціна на певному обсязі, витягнуті дедлайни, зв’язки між ринками, прослизання з видимої книги).
Евристичні / модельні — передбачають тлумачення або класифікацію (оцінка ризику резолюції, мітки аномалій, висновки Smart Flow). Оцінки, а не факти.

Ми ніколи не подаємо евристичний висновок як детермінований. Кожен результат показує свій клас, точні докази, джерело, часову мітку й те, чи він живий, кешований чи історичний.

У продукті ці класи відображаються як п’ять чипів доказів, що зіставляються з трьома класами вище: Спостережений факт і Детермінований висновок — детерміновані; Історична асоціація та Змодельовано — евристичні/модельні; Невідомо означає, що доказів було недостатньо для класифікації, — це трактується як відсутність висновку, а ніколи як низький ризик.

Джерела та пріоритет

Структура ринків, текст правил і метадані надходять із публічних API Polymarket; книги заявок — із публічного CLOB; результати резолюції звіряються з власним заявленим джерелом ринку та, де доречно, з оптимістичним оракулом UMA; ончейн-читання використовують публічний RPC. Коли джерела розходяться, для кожного висновку на рівні правил керує власний опублікований текст правил ринку, а для кожного висновку на рівні ціни — книга заявок; ми ніколи не підміняємо жодне з них вторинним джерелом. Канонічна ідентичність зводить URL, slug, market id і condition id до одного відстежуваного ринку до запуску будь-якого аналізу.

Тлумачення дедлайнів

Дедлайни витягуються з тексту правил дослівно (детермінований висновок). Коли текст називає час без часового поясу або дату, календарний день якої залежить від часового поясу, ми позначаємо це як неоднозначність часового поясу, а не мовчки припускаємо якийсь один — сам прапорець і є висновком.

Resolution Watch

Читає повні опубліковані правила ринку й перевіряє, як текст може анулювати чи поставити під оскарження позицію, навіть коли ви маєте рацію щодо світу:

Розбіжність між назвою та правилами — назва передбачає умову, якої правила ніде не заявляють (детермінований висновок, із точним фрагментом).
Неоднозначна умова резолюції — суб’єктивні чи недовизначені формулювання.
Залежність від авторитетного джерела та підміна джерела — резолюція тримається на названому джерелі або допускає «чи інше авторитетне джерело».
Неоднозначність дедлайну — часовий пояс або межові випадки «календарний рік проти фіскального» у дедлайні.

Кожен прапорець цитує точний фрагмент правила (детерміновано). Композитний відсоток ризику оскарження — це модель, див. нижче.

Модель ризику резолюції

Композитна оцінка ризику оскарження — це логістична модель, підігнана на ознаках правил історично вирішених ринків і оцінена поза вибіркою на відкладеному тестовому спліті. Наразі вона досягає Brier на відкладеній вибірці 0.119 проти 0.149 для константного бейзлайна базової частоти — і випереджає всі наївні бейзлайни, з якими її порівнює рушій (константний, за категорією, за сегментом, лише правила з 0.164) — саме тому вона позначена як MODEL_BEATS_BASELINES (відкалібрована). Це все одно ймовірність щодо невизначеного майбутнього, а не гарантія. Якби майбутній набір даних скасував цей вердикт, ми перепозначили б модель як MODEL_NOT_CALIBRATED і сказали б про це на цій сторінці. Історична статистика патернів показується з розмірами вибірок і довірчими інтервалами; патерни, які люди вважають ризиковими, можуть вимірюватися як нейтральні або захисні (explicit cancellation clause 0.2×, generic "ambiguous language" 0.5×) — ми публікуємо й ці зворотні результати.

Market Truth

Один ринок на одному екрані: канонічна ідентичність, правила та джерело резолюції, жива книга заявок, аномалії, в яких він бере участь, і детермінована оцінка придатності до торгівлі. Ідентичність і правила детерміновані; глибина книги заявок — живе читання на показану часову мітку.

Event Map

Виводить валідовані логічні зв’язки між ринками — належність до груп neg-risk (ціни мають сумуватися до ~1), дублікати, впорядкування дедлайнів і порогів та прямі суперечності. Кожне ребро — детермінований висновок, виведений із власних правил і структури ринків, а не кореляція.

Executable Basket і виконуване ціноутворення

Оцінює видимі арбітражні кошики на реальній глибині: виконувана ціна купівлі/продажу з книги заявок, прослизання, змодельоване проходженням видимих рівнів, ризик часткового виконання та максимальний номінал, що реально проходить. Виконувані ціни та прослизання — похідні висновки з видимої книги; вони не є обіцянкою реального виконання.

Smart Flow

Псевдонімна аналітика когорт гаманців: групує ончейн-учасників у поведінкові архетипи та звітує позавибіркові follow-дослідження. Когорти, ніколи не названі особи; евристичний контекстний сигнал, ніколи не торгова рекомендація. Чого вона не доводить: причинності, того, що будь-яка когорта повториться, чи того, що слідувати за нею прибутково.

Свіжість, кешування та часові мітки

Результати можуть бути живими, кешованими або історичними. Кожен має часову мітку доказів, а ончейн-читання — контекст блока, де застосовно. Див. Покриття щодо поточної свіжості індексу. Ми ніколи не фабрикуємо аналіз, коли вхідні дані недоступні, — ми повертаємо «недостатньо доказів».

Чим це не є

Scanverity Intelligence — це дослідження, а не порада. Він не виконує угод, не зберігає коштів і не передбачає результатів із певністю. Див. Застереження щодо ризиків і методології.