Судебный движок, который не спрашивает что произошло.
Он спрашивает почему — и кому это выгодно.
Временна́я шкала скажет вам, что файл был удалён в 03:14. Она не скажет, была ли это плановая гигиена, паника или подброшенное алиби. VIGÍA рассматривает каждый артефакт как знак — и читает умысел, на который он указывает.
VIGÍA опирается на четыре века работ о том, как знаки несут умысел — и на дисциплины, удерживающие интерпретацию в рамках честности. Каждое правило оценки восходит к опубликованной эпистемологии, а не к интуиции.
Знак никогда не является просто вещью — это отношение между репрезентаменом, его объектом и порождаемым интерпретантом. Умозаключение к наилучшему объяснению (абдукция) — это то, как мы перепрыгиваем от следа к причине.
Текст ограничивает свои прочтения. «Параноидный читатель» находит заговор во всём; Эко настаивает: объект сопротивляется. Усматривать злой умысел там, где есть лишь шум — само по себе ошибка.
Коммуникация предполагает Количество, Качество, Отношение, Способ. Скрытое нарушение максимы Качества — это точная структура лжи; открытое нарушение — ирония. Паттерн нарушений сам является сигналом.
Доказательства должны быть проверяемы, иметь известную частоту ошибок и сообщать о своей силе в виде отношения правдоподобия — а не вердикта, замаскированного под уверенность. Суды отвергают чёрные ящики.
Наведите курсор на вершину. Интуиция Пирса: смысл неустранимо троичен. Удалённый лог (знак) указывает на акт сокрытия (объект) только через дисциплинированную интерпретацию (интерпретант). VIGÍA делает этот третий элемент явным, верифицируемым и фальсифицируемым — чтобы само прочтение можно было поставить под сомнение.
Каждая формула ниже — это реальное правило принятия решений из Протокола P2, работающее прямо в вашем браузере. Двигайте ползунки и наблюдайте, как рассуждает движок. Вот что значит «проверяемый».
Активируйте независимые источники. Noisy-OR никогда не позволяет слабым доказательствам отменить сильные — они накапливаются. Но менее трёх независимых источников вызывают 20% штраф к достоверности: подтверждение не является опциональным.
ABSTAIN — вердикт первого класса. Когда доминируют дрейф, нестабильность или несогласованность, движок отказывается выносить приговор — и именует причину (ABSTAIN_DRIFT, ABSTAIN_INSTABILITY, ABSTAIN_INTENTION, ABSTAIN_ZONE). Пороги ε считываются из запечатанного PolicySpec — никогда не вшиваются в код решений.
Криминалистический инструмент, дающий разные ответы на x86 и ARM — это не доказательство, а мнение. VIGÍA полностью отказывается от блока операций с плавающей точкой. Воспроизводимость — не функция, это весь смысл.
Вся арифметика выполняется в decimal.Decimal с точностью 28 и банковским округлением. Нативный round() делегирует libc и может давать разные результаты на разных платформах — поэтому он запрещён в пути принятия решений.
Состояние, сырой вердикт, достоверность, стабильность, целостность, состязательные флаги и разногласия сворачиваются в единый канонический хэш с отсортированными ключами. Изменение любого входа меняет отпечаток. Защита от фальсификации по конструкции.
Полный канонический набор закреплён одним SHA-256. Агент прогоняет все 22 сквозным проходом на бэкенде чистого Python и NumPy — и они должны совпадать побайтово.
Планировщик принимает сырые артефакты и выдаёт подписанный вердикт, соответствующий STIX 2.1, с маппингами MITRE ATT&CK — без человека в контуре и без единого жёстко прошитого порога.
z-оценки по робастным базисам MAD; предварительно нормализованные сигналы проходят без изменений.
Noisy-OR внутри источников и между ними; применяется штраф за недостаточное подтверждение.
Отношение правдоподобия с дисконтом по корреляции по шкале ENFSI.
Оценка каузального замыкания (CCS) в точных дробях; CCS ≤ ½ вынуждает ABSTAIN.
Функционал риска разрешает ACCEPT / ABSTAIN / REJECT против запечатанного ε.
Вердикт из 8 состояний, скорректированный по эффективной достоверности, запечатан SHA-256 → STIX 2.1.
Самокалибровка между прогонами — λ, γ, ε адаптируются к наблюдаемым частотам ложных срабатываний, ограниченным до диапазонов, защитимых по Daubert. Нигде в цепочке нет непрозрачного машинного обучения.
Детекторы-чёрные ящики дают вам оценку и просят доверия. VIGÍA даёт вам вердикт, теорию, лежащую в его основе, арифметику, которая его произвела, и хэш, доказывающий, что никто не трогал результат на выходе.