boyko-triangle-audit

Solid

Проверяет исследовательский артефакт (эксперимент, claim, препринт, отчёт) на полноту цикла Теория ↔ Вычисления ↔ Независимая проверка → Объяснение — какая из 4 вершин реально присутствует с evidence, какая является пустым/шаблонным полем, какая отсутствует вовсе. Дополняет, не дублирует: promotion_gate_guard.py механически проверяет 'поле не пустое' (5 условий Perelman), этот скилл проверяет 'то, что в поле, — реальная теория/объяснение, а не пересказ результата или placeholder-фраза вроде done later'. Требует Read каждого файла — никогда не помечает вершину present без прямой цитаты с указанием файла. Ловит специфичную путаницу: числовое совпадение выданное за объяснение без проверки на degeneracy (сколько других механизмов дают то же число). Триггеры: '/boyko-triangle-audit', 'прошли по треугольнику', 'проверь Theory-Computation-Verification', 'чего не хватает в доказательстве', 'полный ли цикл теория-вычисления-проверка', 'triangle audit', 'verification triangle', 'почему это совпадение а не объяснение'.

AI & Automation 7 stars 0 forks Updated today MIT

Install

View on GitHub

Quality Score: 81/100

Stars 20%
30
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
100
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill Content

# Boyko Triangle Audit — аудит полноты цикла Теория↔Вычисления↔Проверка→Объяснение ## Происхождение Треугольник родился из наблюдения: серьёзная исследовательская работа (математика, физика, биология, ИИ, security) снова и снова проходит через одну и ту же структуру, и большинство работ **останавливаются на полпути**, не замечая этого. ``` ТЕОРИЯ ▲ ↗ ↖ ↗ ↖ ВЫЧИСЛЕНИЯ ───── НЕЗАВИСИМАЯ ПРОВЕРКА \ / \ / \ / ОБЪЯСНЕНИЕ ``` - **Теория** отвечает "ПОЧЕМУ это обязано быть так?" — не число, а механизм. - **Вычисления** отвечают "ЧТО получилось?" — конкретный прогон, не обещание прогона. - **Независимая проверка** отвечает "НЕ ОБМАНУЛИСЬ ЛИ мы?" — другой метод/инструмент/человек. - **Объяснение** отвечает "ПОЧЕМУ СОШЛОСЬ?" — отличает структурную необходимость от везения. Без него у тебя есть совпадение, а не теорема. Большинство работ доходят до "Теория → Вычисления → Совпало" и там останавливаются. Это уже неплохо. Но самые сильные работы идут дальше и объясняют, почему совпало — и именно на этом шаге чаще всего рождается новая математика/механизм. ## Role Ты — **Process Completeness Auditor**. Тебе НЕ нужно судить, верен ли сам claim (это делает skeptic/falsification-ladder) и НЕ нужно классифицировать его эпистемический уровень (это делает `/boyko-knowledge-audit`). Твоя единственная задача — для каждой из...

Details

Author
sergeeey
Repository
sergeeey/Claude-cod-top-2026
Created
4 months ago
Last Updated
today
Language
Python
License
MIT

Integrates with

Similar Skills

Semantically similar based on skill content — not just same category

AI & Automation Solid

boyko-knowledge-audit

Эпистемический аудит научного/технического текста: разложение на атомарные claims с traceable классификацией по 9-уровневой иерархии (Факт → Эмпирический закон → Физ.закон/Мат.теорема [3-P/3-M] → Теория → Модель → Гипотеза → Принцип → Парадигма). Ловит: гипотезы выданные за факты, модели выданные за теории, принципы использованные как доказательство, математические теоремы выданные за физические законы, hallucination risk (evidence implied but not shown), category errors, domain violations. Rigor-score по явной формуле (помечен как heuristic, не откалиброван), обязательный adversarial downgrade check для claims Level 3+, отдельный hardness index, обязательный Level Consistency Pass для текстов >30 claims. Домен-специфичные режимы: Physics/Cosmology, Mathematics, Biology/Medicine, CS/ML, Social Sciences (в references/domain-modes.md). Триггеры: '/boyko-knowledge-audit', 'эпистемический аудит', 'разложи claims', 'проверь научный текст', 'audit scientific claims', 'epistemic decomposition', 'hypothesis vs fact c

7 Updated today
sergeeey
AI & Automation Solid

boyko-why-ladder

Проверяет рекурсивную цепочку объяснений ('нашли X → почему X? → нашли Y → почему Y? → ...') на честность и точку остановки. На каждой ступени классифицирует найденное как DERIVED (уникально вынуждено) / FITTED (подогнано под результат выше) / UNKNOWN, находит САМОЕ СЛАБОЕ звено (не только итог), и в конце обязательно классифицирует всю цепочку по дилемме Агриппы: FOUNDATIONAL_STOP (есть закрывающая теорема/факт, процитирован явно) / CIRCULAR (верхний уровень тайно объясняет нижний) / ONGOING_REGRESS (законной остановки нет, честно помечено [UNKNOWN]). Переиспользует Vertex 4 тест из boyko-triangle-audit на каждой ступени, а не дублирует его. Depth Guard: ≥3 нерешённых ступени без FOUNDATIONAL_STOP → понизить доверие ко всей ветке (тот же порог, что Counterfactual Frame). Триггеры: '/boyko-why-ladder', 'лестница объяснений', 'почему именно так рекурсивно', '5 whys для физики/математики', 'why-ladder', 'дилемма Агриппы', 'где законно остановиться в объяснении', 'проверь цепочку почему-почему-почему'. НЕ для: а

7 Updated today
sergeeey
AI & Automation Solid

boyko-method

Полный цикл сквозного анализа сложных систем с ≥3 взаимодействующими компонентами: Атомизация → Линзы → Связи с evidence-метками → Сборка → Фальсификация. Оркестрирует /multi-lens (линзы), /skeptic + falsification-ladder (проверка), /estimand-ops (научные claims). Использует confidence-labeled dependency map с [VERIFIED]/[INFERRED]/[WEAK]/[РАЗОРВАНА] на каждой связи. Применяй для: архитектурных решений, научных гипотез, production-багов, регуляторных workflows, антифрода, любого объекта где broken links — главная находка. Триггеры: '/boyko', 'метод бойко', 'полный разбор', 'разложи и собери', 'системный анализ от и до', 'построй модель проблемы', 'атомизируй и проверь', 'evidence-labeled analysis'. НЕ для: простого вопроса с одним ответом, быстрого фикса, поиска факта.

7 Updated today
sergeeey