Перейти к основному содержимому

Операции Noesis. Noesis Protocol (NP)

Обзор​

Все действия пользователей и агентов — через NP (Noesis Protocol), JSON-RPC-протокол, расширяющий MCP (Model Context Protocol).

46 конечных точек в 7 группах.

1. Навигация (10 конечных точек)​

Операции только на чтение для обзора и поиска.

knowledge/list​

Описание: Список всех объектов знания в рабочем пространстве.

Параметры: { filter?: FilterSpec, domain?: DomainName }

Результат: Array<{ id, title, type, claims_count, last_modified }>

Пример:

{
  "method": "knowledge/list",
  "params": { "domain": "consciousness" }
}

knowledge/claims​

Описание: Все утверждения в заданном объекте знания с фильтрами.

Параметры: { knowledge: string, status?: Status, type?: ClaimType, rigor_level?: L1|L2|L3 }

knowledge/functors​

Описание: Граф функторов — все функторы между объектами знания.

Результат: Граф с тепловой картой препятствий.

claim/get​

Описание: Полное содержимое утверждения по ID.

claim/dependencies​

Описание: Граф зависимостей на N уровней вверх.

Параметры: { claim: string, depth?: number, direction?: "up"|"down"|"both" }

claim/dependents​

Описание: Что зависит от данного утверждения.

claim/translations​

Описание: Все переводы утверждения в другие объекты знания.

claim/history​

Описание: Временная эволюция — аудит-история + предыдущие версии.

query_graph​

Описание: Произвольный структурный запрос на Cypher-подобном языке.

Пример:

MATCH (c:Claim)-[:requires*1..3]->(d:Claim)
WHERE c.status = "T·L1" AND d.status = "Г"
RETURN c, d

graph/search​

Описание: Семантический + структурный поиск (комбинирует LLM-эмбеддинг + структуру графа).

2. Мутации (10 конечных точек)​

Операции изменения состояния.

claim/create​

Описание: Создать утверждение с типом, статусом, зависимостями.

Параметры:

{
  "knowledge": "uhm",
  "type": "theorem",
  "title": "New theorem",
  "content": "...",
  "dependencies": [{ "id": "A-Omega7", "type": "requires" }],
  "status": "Т-набр",
  "rigor_level": "L2"
}

Верификация: SMT-проверка + соответствие Axi + границы AFN-T → принято/отклонено.

claim/set_status​

Описание: Изменить статус. Автоматический предпросмотр распространения.

Параметры: { claim: string, new_status: Status, reason: string }

Сценарий:

  1. Предпросмотр затронутых утверждений (через propagation/preview).
  2. Пользователь подтверждает.
  3. propagation/apply выполняет изменения атомарно.

claim/add_dependency​

Описание: Добавить зависимость. SMT-проверка на ацикличность и согласованность.

claim/remove​

Описание: Удалить утверждение. Блокируется, если есть зависимые (требуется флаг --cascade).

knowledge/create​

Описание: Создать новый объект знания.

Параметры: { id, title, metatheory: R_S, initial_axioms?: Array<Claim> }

knowledge/import​

Описание: Импортировать объект знания из markdown+YAML.

Сценарий:

  1. Разобрать markdown-файлы.
  2. Валидировать схему.
  3. Проверить соответствие аксиомам для каждого утверждения.
  4. Построить граф зависимостей.
  5. SMT-верифицировать структурную согласованность.
  6. Коммит атомарно.

knowledge/export​

Описание: Экспорт в markdown+YAML (или другие форматы).

Поддерживаемые форматы: MD+YAML, LaTeX, Lean4, Coq, Agda, Dedukti.

functor/create​

Описание: Создать функтор между объектами знания.

functor/verify​

Описание: SMT-верификация функториальности (F(id)=id, F(g∘h)=F(g)∘F(h)).

axiom/update​

Описание: Обновить аксиому в объекте знания. Блокируется, если влечёт несогласованность.

3. Верификация (6 конечных точек)​

Аудит и проверка когерентности.

knowledge/audit​

Описание: Полный аудит когерентности отдельного объекта знания.

Что проверяется:

  • Рассогласование статусов ([Т]-утверждение зависит от [Г]).
  • Циклические зависимости.
  • Висячие ссылки.
  • Противоречия (через рёбра contradicts).
  • Функториальное рассогласование.
  • Нарушения аксиом.

coherence/check​

Описание: Кросс-доменная когерентность (условие спуска).

coherence/descent​

Описание: Условие спуска для конкретного покрытия.

Параметры: { covering: Array<Functor>, target: string }

propagation/preview​

Описание: Предпросмотр эффектов смены статуса без применения.

propagation/apply​

Описание: Применить распространение атомарно.

axiom/check​

Описание: Соответствие Axi-0..Axi-9 + T-α + T-2f* на конкретном утверждении.

4. Перевод (6 конечных точек)​

Кросс-доменные операции.

translate/claim​

Описание: Перевод одного утверждения в целевой объект знания.

Параметры: { source_claim: string, target_knowledge: string, functor?: string }

Результат: { translated_claim?: Claim, obstruction: number, confidence: number }

Если препятствие > 0.8 — помечается как непереводимое.

translate/knowledge​

Описание: Перевод целого объекта знания.

Сценарий:

  1. Вычислить расширение Кана (по формуле 85.T).
  2. Перевести каждое утверждение.
  3. Агрегировать препятствия.
  4. SMT-верифицировать функториальную когерентность.

translate/suggest​

Описание: Агент предлагает возможные переводы.

obstruction/compute​

Описание: Вычислить Obs(f) — меру непереводимости.

morita/check​

Описание: Проверить Морита-эквивалентность между двумя объектами знания.

morita/construct​

Описание: Построить Морита-мост (если существует).

5. Мета-рефлексия (5 конечных точек)​

Операции самореференции.

meta/audit​

Описание: Самоаудит Noesis.Core — проверка адекватности модели данных.

meta/boundaries​

Описание: Утверждения, ограниченные Ловиром (статус ≤ [Г]).

meta/suggest_extension​

Описание: Агент предлагает структурное расширение (новый тип зависимости, новый статус).

meta/patterns​

Описание: Обнаружение паттернов в повторяющихся проблемах (L-II Double Loop).

meta/history​

Описание: Лог эволюции самого Noesis.Core.

6. Вычислительные (5 конечных точек)​

Тяжёлые структурные вычисления.

verum/compile​

Описание: Компиляция объекта знания в код Verum (для SMT-верификации).

verum/verify​

Описание: Полная SMT-проверка доказательства на скомпилированном артефакте.

compute/kan​

Описание: Вычислить расширение Кана (левое или правое).

Параметры: { functor: string, type: "left"|"right", target_claim: string }

compute/descent​

Описание: Вычислить препятствие спуска для конкретного покрытия.

compute/obstruction​

Описание: Количественно оценить Obs(f) с отклонением по каждому утверждению.

7. Агент (4 конечные точки)​

Операции, ведомые LLM.

agent/query​

Описание: Запрос на естественном языке → структурные операции.

Пример:

Пользователь: "Покажи все теоремы в UHM, зависящие от T-96, изменённые на прошлой неделе"
→ Агент переводит в:
   claim/dependents uhm:T-96 --transitive | filter modified > 2026-04-16

agent/propose​

Описание: Агент предлагает операцию с уверенностью.

Возвращает: Top-K кандидатов с SMT-сертификатами.

agent/explain​

Описание: Объяснение структурного вывода на естественном языке.

Пример:

Вход: обнаружено нарушение когерентности на утверждениях c1, c2
Выход агента: "C1 помечено как [T·L1], но зависит от c2 со статусом [Г]. 
              Это нарушает правило распространения статусов. 
              Предлагаемое исправление: понизить c1 до [С·L2] или усилить c2."

agent/dialogue​

Описание: Многоходовой диалог с сохранением контекста.

Транспортный слой​

JSON-RPC поверх stdio/TCP/WebSocket​

Пример запроса:

{
  "jsonrpc": "2.0",
  "method": "claim/dependencies",
  "params": { "claim": "uhm:T-96", "depth": 3 },
  "id": 1
}

Пример ответа:

{
  "jsonrpc": "2.0",
  "result": {
    "graph": [
      { "source": "T-96", "target": "A-Omega7", "type": "requires" },
      { "source": "T-96", "target": "A-Bures", "type": "requires" }
    ],
    "meta": { "depth_reached": 3, "nodes": 12, "edges": 18 }
  },
  "id": 1
}

Совместимость с MCP​

NP — надмножество MCP (Model Context Protocol). Каждый MCP-клиент автоматически совместим.

Лимиты запросов​

  • Бесплатный тариф: 100 запросов/мин, 10 тыс. запросов/сутки.
  • Pro: 1000 запросов/мин, без ограничений.
  • Корпоративный: конфигурируется.

Пакетные операции​

Для массовых изменений:

batch/claim/create​

Описание: Создать несколько утверждений атомарно.

batch/propagation/apply​

Описание: Применить несколько изменений статусов атомарно.

batch/import​

Описание: Импортировать целый корпус (например, документацию UHM).

Пример: Импорт корпуса UHM в 400 страниц → ~185 утверждений + зависимости в одной атомарной операции.

Подписки и вебхуки​

subscribe/knowledge_changes​

Описание: Уведомления об изменениях в объекте знания в реальном времени.

webhook/register​

Описание: Зарегистрировать вебхук для внешних систем.

События:

  • Утверждение создано/изменено/удалено.
  • Обнаружено нарушение когерентности.
  • Обнаружен мета-аудит-паттерн.
  • Синхронизация федерации завершена.

Аутентификация и авторизация​

Методы аутентификации​

  • API-ключ (на пользователя).
  • OAuth 2.0 (корпоративный SSO).
  • mTLS (для федерации).

Авторизация​

  • Уровень утверждения (чтение/запись/админ).
  • Уровень объекта знания (контроль доступа).
  • Уровень операции (некоторые операции только для админа).

Сводка по конечным точкам​

ГруппаКонечных точекНазначение
Навигация10Только чтение
Мутации10Изменения состояния
Верификация6Аудит и когерентность
Перевод6Кросс-доменные операции
Мета-рефлексия5Самореференция
Вычислительные5Тяжёлые вычисления
Агент4Ведомые LLM
Итого46Полный API

Плюс пакетные операции + подписки + вебхуки.

Следующий шаг​

Для детального понимания LLM-агента: 05 — Агент.

Для слоя самореференции: 06 — Мета-рефлексия.

Для формальных теорем: 07 — Теоремы NO-*.