Наблюдаемое
Признаки выбираются явно. Если ответ изменился вместе с признаками, это часть результата.
Controlled Quotient Testing
Упростить — и не потерять то,
ради чего сравнивали.
CQT появился из очень практической неприятности: две структуры могут казаться одинаковыми после удобного огрубления, хотя важное различие уже исчезло.
Метод заставляет заранее сказать, что наблюдается, какие преобразования разрешены и когда результат сравнения вообще имеет смысл.
1Исходные объектыЧто именно мы сравниваем?
→
2Контролируемое огрублениеЧто разрешено забыть?
→
3Независимый оракулСохранился ли нужный класс?
→
VALIDилиINVALID
01
Четыре обязательства
Что CQT не позволяет спрятать
Допустимое забывание
Факторизация — не техническая мелочь. Она определяет, какие различия мы согласились потерять.
Независимая проверка
Механизм, создавший метку, не должен быть единственным свидетелем её правильности.
Право на INVALID
Иногда корректный ответ состоит в том, что выбранный канал наблюдения не поддерживает сравнение.
Самый полезный неудобный ответ
INVALID — это не провал вычисления
Если различие исчезло раньше, чем мы его проверили, система не должна притворяться, что получила осмысленное совпадение. INVALID сохраняет границу применимости метода видимой.
Именно здесь CQT становится не только алгоритмом, но и исследовательской этикой: не выдавать потерю информации за открытый закон.
02
Где применяется
От внутренней методики — к самостоятельному инструменту
Структурные песочницыСравнение графов, классов и переходов.
Численные моделиПроверка устойчивости режима при смене представления.
Корпуса переходовВоспроизводимые наборы VALID и INVALID случаев.
Методология проектаОбщий язык для границ наблюдаемости.
Эта страница — вход, а не замена технической документации. Перед публикацией здесь появятся ссылка на релиз, рукопись, версия корпуса и минимальный воспроизводимый пример.