NOUSIA-23

Детерминированный синтетический транспилятор для естественного языка, типизированных намерений, синтеза, ограниченного доказательствами, и управляемого использования инструментов — без нейронного рантайма.

NOUSIA-23 — самостоятельный преемник Project 33. Он занимает роль, которая ранее была назначена Qwen3-0.6B в конвейере Polar Pyro TaskIntent: преобразование запроса пользователя в стабильное, проверяемое машиной значение для DEMIURGE и специализированных движков. Его решающее отличие — архитектурное. Он не сэмплирует токены и не загружает веса моделей. Он разбирает, ограничивает, перечисляет, схлопывает, проверяет и выдаёт канонические квитанции.

Достижение заключается не в том, что каждое английское предложение стало формально разрешимым. А в том, что производственный конвейер программных намерений может заменить нейронного генератора проверяемым компилятором, выдавать идентичные входные данные байт-в-байт, закрываться с ошибкой при неоднозначности и предоставлять то же детерминированное ядро любому хосту через Python, JSON CLI, HTTP или MCP.

Что он гарантирует

• Идентичный допущенный вход плюс идентичный каталог возможностей дают идентичный канонический выход.

• Каждый ответ сервиса привязывает запрос и результат к материалу SHA-256.

• Неподдерживаемое или недоопределённое значение становится NO_RESULT или остатком уточнения — а не выдуманным намерением.

• Базовая установка не имеет сторонних зависимостей, а производственный пакет не импортирует нейронный рантайм.

• Компилятор не имеет полномочий на исполнение. Эффекты инструментов остаются ответственностью отдельно управляемого хоста.

• Регистрация в MCP не предоставляет произвольных возможностей: манифесты должны определять схему, полномочия, эффекты, доказательства, область действия, таймаут и оракул.

Related MCP server: dingdawg-governance

Архитектура

English / Task request
        │
        ▼
 normalization → parsing → semantic candidates → constraint propagation
        │                                │
        │                      ambiguity/residuals ──► questions
        ▼
 canonical Semantic IR / TaskIntentIR
        │
        ├──► Euclid-Ω: proof, planning, counterexample, refinement
        ├──► DEMIURGE: artifact composition and synthesis
        └──► MCP host: governed observation/effect capabilities
                         │
                         ▼
              independent oracle + canonical receipt

NOUSIA-23 определяет, что может означать допущенный запрос. Euclid-Ω определяет, что следует из формального кандидата. MCP предоставляет управляемые наблюдения и эффекты. DEMIURGE собирает артефакты. Независимые оракулы определяют, удовлетворяет ли выход контракту.

Четыре стабильных интерфейса

Python

from nousia23 import Nousia23

receipt = Nousia23().execute(
    {
        "operation": "compile_task_intent",
        "request_id": "demo-001",
        "payload": {
            "project_id": "polar-pyro",
            "prompt": "Build an accessible inventory dashboard with audit history",
        },
    }
)
assert receipt["neural_calls"] == 0

JSON CLI

python -m pip install -e .
echo '{"operation":"capabilities","payload":{}}' | nousia23

Коды выхода: 0 для PASS, 3 для NO_RESULT и 2 для FAIL. Стандартный вывод содержит ровно одну каноническую JSON-квитанцию.

HTTP

python -m pip install -e ".[http]"
uvicorn nousia23.http:create_app --factory --host 127.0.0.1 --port 8080
curl http://127.0.0.1:8080/v1/capabilities

Сервис предоставляет GET /health, GET /v1/capabilities и POST /v1/execute. Docker-образ запускается от непривилегированного пользователя.

MCP

{
  "mcpServers": {
    "nousia-23": {
      "command": "nousia23-mcp",
      "args": []
    }
  }
}

Сервер stdio без зависимостей реализует инициализацию MCP 2025-06-18, обнаружение инструментов, вызовы инструментов и ping. Его четыре инструмента — это функции компилятора только для чтения: интерпретация, открытая доменная привязка, компиляция TaskIntent и независимая проверка TaskIntent.

Операции

Машиночитаемые контракты находятся в schemas/. Нормативная человекочитаемая спецификация — в docs/specification/.

Память и контекст

У NOUSIA-23 нет окна контекста трансформера. Он может обращаться к практически неограниченному внешнему корпусу через TOAM или другое хранилище с адресацией по содержимому, но вычисления намеренно ограничены. Каждое рабочее пространство доказательств/поиска имеет явные бюджеты, происхождение и правила вытеснения. Точное обещание — неограниченная адресуемая память с ограниченными, аудируемыми рабочими наборами, а не магический бесконечный одновременный контекст.

Квалификация

python -m pip install -e ".[dev,http]"
python -m ruff check .
python -m ruff format --check .
python -m mypy src
python -m pytest --cov=nousia23 --cov-report=term-missing --cov-fail-under=80
python scripts/audit_neural_runtime.py --require-zero
python scripts/qualify_task_intent.py
python scripts/qualify_algorithm_portfolio.py
python -m build

Унаследованная квалификация Project 33 продемонстрировала точный паритет TaskIntent с замороженной эталонной линией Qwen для допущенного корпуса и ноль зарегистрированных нейронных вызовов. Эти результаты — ограниченное утверждение о подстановке, а не доказательство эквивалентности неограниченной frontier-модели. NOUSIA-23 рассматривает более широкое превосходство как эмпирическую программу: замороженные контракты, удержанные корпуса, состязательные перефразировки, поведенческие оракулы артефактов, измерение задержки/ресурсов и обязательный детектор нулевых нейронных вызовов.

Свежий автономный сертификат фиксирует 119/119 тестов, 83,85% покрытия с учётом ветвлений, строгую типизацию в 29 исходных файлах, 37/37 замороженных случаев TaskIntent и ноль находок нейронного рантайма. См. запись о квалификации.

Карта репозитория

src/nousia23/       deterministic compiler, IR, reasoners, service transports
schemas/            versioned JSON interface and capability contracts
benchmarks/         frozen, reviewable qualification corpora
scripts/            qualification and neural-runtime audits
tests/              unit, property, regression, transport, and parity tests
docs/specification/ normative multi-document system specification
assets/             defining project artwork

Утверждения и ограничения

NOUSIA-23 может превосходить нейронную модель там, где определяющими метриками являются детерминизм, аудируемость, задержка, воспроизводимость, формальные контракты и поведение с закрытием при ошибке. В настоящее время он не заявляет об универсальной разговорной эквивалентности, неограниченных знаниях о мире или доказательстве корректности для каждого английского высказывания. Интернет-исследования возможны только тогда, когда хост регистрирует ограниченные инструменты поиска/выборки и их оракулы доказательств; сам компилятор не выполняет скрытого сетевого доступа.

Начните с конституции продукта, архитектуры и контрактов интерфейсов. Реестр утверждений отделяет продемонстрированные факты от целей.

Лицензия

MIT. См. LICENSE.