Гигиена артикуляций
Назначение
Документ фиксирует протокол операторной факторизации всех «само-X» / «self-X» / «auto-X» конструкций в корпусе УГМ. Протокол — не стилистическое предпочтение, а структурный инвариант, закреплённый теоремой NO-19 (Articulation Hygiene) в Noesis (diakrisis.gst.st/11-noesis/07-theorems). Протокол обязателен для любой артикуляции, проходящей core-pipeline Noesis (SMT → Axi → AFN-T → Hygiene).
Принцип
Любая «само-X» конструкция в артикуляции — недоопределена без явной операторной факторизации. Не сказано:
- какой оператор задаёт рекурсивное/рефлексивное действие,
- какая траектория (ординал ) порождает конструкцию,
- какой терминальный/фиксированный объект замыкает её.
Требование гигиены: для каждой поверхностной «само-X» в артикуляции должна быть определена явная троица . Без неё артикуляция отвергается Hygiene-этапом pipeline.
Философский контекст
Протокол формализует наблюдение Е. Чурилова (anticomplexity.org) в рамках метастемологической программы: конструкции с «само-» синтаксически подозрительны, поскольку смешивают описующую и описываемую позиции в одном знаке. Решение: явно развести эти позиции через оператор + траекторию + терминал.
В рамках Diakrisis / Актика эта дисциплина уже встроена на уровне канонического примитива (эндофункторы и с accessibility, ординальная -стратификация, -множества). NO-19 поднимает её из имплицитного формального свойства в явный инвариант core-pipeline Noesis.
Таблица канонических факторизаций
Для каждой рецидивирующей «само-X» конструкции в УГМ:
| Поверхность (surface) | Оператор | Траектория | Терминал | Теорема-источник |
|---|---|---|---|---|
| самомодель / self-model | на состояниях | T-96 | ||
| самомоделирование / self-modelling | — категорное отображение (функтор) | итерация в Lindblad-динамике | T-96 + T-39a | |
| автопоэзис / autopoiesis | (активация) на AC-стороне | -итерация | 113.T (Diakrisis) | |
| самонаблюдение / self-observation | terminal coalgebra для + reflection-measure | unfolding коалгебры | — terminal coalgebra; | T-126 + T-96 |
| самореференция / self-reference | Lawvere fixed-point | стратифицированный Yanofsky-диагональ | fixed point , ограничено T-2a* | 87.T (Ловер), 105.T |
| самосогласованность / self-consistency | оператор эквивалентности | — (point-level) | equalizer | T-96 |
| самосознание / self-awareness | рефлексивная мера + Φ-интеграция | (P, R, Φ, D)-порог | предикат сознания | T-96 + T-126 + T-129 + T-151 |
| самозамыкание / self-closure | -итерация на артикуляционной стороне | траектория | 04.T1, Axi-7 | |
| самоусиление / self-amplification | положительная обратная связь | -итерация | пороговое значение активации | Diakrisis §kinetic (контекст) |
Что не подлежит замене (стандартные технические термины)
- self-adjoint (эрмитов) — фиксированный математический термин, не рефлексивный оборот.
- self-attention (механизм Transformer-ов) — ML-термин, сохранять.
- self-assembly (в химии / нанотехнологиях) — физический термин, сохранять.
- self-similarity (фрактальная) — математический термин, сохранять.
Критерий: если «само-» выражает свойство отображения/объекта, определённое независимо от рефлексивной интерпретации, — термин сохраняется как есть.
Применение в УГМ
Уровень 1: концептуальные файлы (prose-rewrite)
Файлы, где «само-X» появляется в описательном смысле, полностью подлежат замене по таблице выше. Список высокоприоритетных:
/consciousness/foundations/self-observation.md— канонический doc, рефакторится первым (см. §«Применённая факторизация» ниже)./proofs/categorical/formalization-phi.md— формализация , уже оператор-ориентирован, требует только сверки языка./core/foundations/consequences.md,axiom-septicity.md— базовые следствия, поверхностный слой./consciousness/hierarchy/interiority-hierarchy.md,depth-tower.md— иерархические структуры./proofs/consciousness/interiority-hierarchy.md,conscious-window.md— доказательства./applied/coherence-cybernetics/theorems.md,definitions.md— применения.
Уровень 2: статус-регистр и сводные теоремы
/reference/status-registry.md, /reference/specification.md — описания теорем. «Само-» в заголовках теорем переписывается по протоколу; номера теорем сохраняются.
Уровень 3: формальные proof-файлы
В доказательствах (/proofs/*) формальные определения уже операторные (, , CPTP, T-96). Замена нужна только в промежуточных комментариях и motivation-параграфах.
Применённая факторизация: канонический пример
Демонстрация протокола на ключевом концепте.
До (риторика):
УГМ устанавливает самомоделирование через оператор . Самонаблюдение — это способность системы описывать собственное состояние. Автопоэзис — самовоспроизводство системы через самомоделирование.
После (операторно):
УГМ устанавливает категорное отображение , имеющее неподвижную точку (T-96). Рефлексия системы относительно собственного состояния формализуется как terminal coalgebra-структура на -динамике с характеризующей мерой (T-126). Замкнутость под -траекторией (на дуальной AC-стороне — -фиксточка уровня по 113.T Diakrisis) — воспроизводство траектории без внешнего поддержания.
Операторное содержание — идентично риторическому. Но:
- Каждый элемент явно типизирован ( — оператор, — состояние, — мера, итерация — траектория).
- Описующая и описываемая позиции разведены ( и — разные точки в , хотя и связаны уравнением неподвижной точки).
- Протокол совместим с hygiene-проверкой Noesis (NO-19): факторизация явна.
Отношение к другим документам
- diakrisis.gst.st/11-noesis/07-theorems §NO-19 — структурный источник протокола; теорема NO-19.
- diakrisis.gst.st/12-actic/07-beyond-metastemology — исторический контекст (метастемологическая программа Чурилова).
- diakrisis.gst.st/06-limits/10-maximality-theorems §105.T — универсальная парадокс-иммунность через T-2f*, формальная основа hygiene-инварианта на уровне 5+.
- УГМ
/proofs/categorical/formalization-phi— исходный уровень формализации -оператора.
План рефакторинга
- Фаза А (этот документ +
self-observation.mdрефакторинг) — протокол установлен, канонический пример дан. - Фаза Б — прохождение по Tier-1 файлам (из списка Уровня 1 выше), применение таблицы.
- Фаза В — Tier-2 (статус-реестр и сводные), Tier-3 (proof-файлы).
Каждая фаза — отдельный коммит с аудитом (количество заменённых «само-X», проверка что утверждения теорем не затронуты, build-check).
Примечание
Протокол не отменяет существующие теоремы УГМ — все T-1..T-223+ остаются формально корректными. Рефакторинг — интерфейсный, затрагивает только prose-слой. Формальное ядро (, , T-96, T-190, T-223) уже оперирует в операторном языке; гигиена синхронизирует поверхность с ядром.