NOUSIA-23

Un transpilador sintético determinista para lenguaje natural, intención tipada, síntesis con verificación por pruebas y uso gobernado de herramientas, sin runtime neuronal.

NOUSIA-23 es el sucesor independiente del Proyecto 33. Ocupa un rol que anteriormente se asignaba a Qwen3-0.6B en el pipeline de TaskIntent de Polar Pyro: convertir la solicitud de un usuario en un significado estable y comprobable por máquina para DEMIURGE y los motores especialistas. Su diferencia decisiva es arquitectónica. No muestrea tokens ni carga pesos de modelo. Analiza, restringe, enumera, colapsa, verifica y emite recibos canónicos.

El logro no es que toda frase inglesa se haya vuelto formalmente decidible. Es que un carril de intención de software de producción puede sustituir un proponente neuronal por un compilador inspeccionable, producir entradas idénticas byte a byte, fallar de forma cerrada ante la ambigüedad y exponer el mismo núcleo determinista a cualquier anfitrión mediante Python, CLI JSON, HTTP o MCP.

Qué garantiza

• Una entrada admitida idéntica más un catálogo de capacidades idéntico producen una salida canónica idéntica.

• Cada respuesta del servicio vincula la solicitud y el resultado a material SHA-256.

• El significado no admitido o indeterminado se convierte en NO_RESULT o en un residual de aclaración, no en una intención inventada.

• La instalación principal no tiene dependencias de terceros y el paquete de producción no importa ningún runtime neuronal.

• El compilador no tiene autoridad de ejecución. Los efectos de las herramientas siguen siendo responsabilidad de un anfitrión gobernado por separado.

• El registro en MCP no otorga capacidad arbitraria: los manifiestos deben definir esquema, autoridad, efectos, evidencia, alcance, tiempo de espera y oráculo.

Related MCP server: dingdawg-governance

Arquitectura

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 determina qué puede significar una solicitud admitida. Euclid-Ω determina qué se sigue de un candidato formal. MCP proporciona observaciones y efectos gobernados. DEMIURGE compone artefactos. Oráculos independientes determinan si la salida satisface el contrato.

Cuatro interfaces estables

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

CLI JSON

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

Los códigos de salida son 0 para PASS, 3 para NO_RESULT y 2 para FAIL. La salida estándar contiene exactamente un recibo JSON canónico.

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

El servicio expone GET /health, GET /v1/capabilities y POST /v1/execute. La imagen de Docker se ejecuta como un usuario sin privilegios.

MCP

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

El servidor stdio sin dependencias implementa la inicialización MCP 2025-06-18, el descubrimiento de herramientas, las llamadas a herramientas y ping. Sus cuatro herramientas son funciones de compilación de solo lectura: interpretación, fundamentación de dominio abierto, compilación de TaskIntent y verificación independiente de TaskIntent.

Operaciones

Los contratos legibles por máquina se encuentran en schemas/. La especificación humana normativa se encuentra en docs/specification/.

Memoria y contexto

NOUSIA-23 no tiene ventana de contexto de transformer. Puede abordar un corpus externo prácticamente ilimitado mediante TOAM u otro almacén direccionado por contenido, pero el cómputo está deliberadamente acotado. Cada espacio de trabajo de prueba/búsqueda tiene presupuestos explícitos, procedencia y reglas de desalojo. La promesa precisa es memoria direccionable ilimitada con conjuntos de trabajo acotados y auditables, no un contexto simultáneo infinito mágico.

Cualificación

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

La cualificación heredada del Proyecto 33 demostró una paridad exacta de TaskIntent frente a un carril de referencia Qwen congelado para el corpus admitido y cero llamadas neuronales registradas. Esos resultados son una afirmación de sustitución acotada, no una prueba de equivalencia ilimitada con modelos de frontera. NOUSIA-23 trata la superioridad más amplia como un programa empírico: contratos congelados, corpus reservados, paráfrasis adversariales, oráculos de artefactos conductuales, medición de latencia/recursos y un detector obligatorio de cero llamadas neuronales.

El certificado independiente reciente registra 119/119 pruebas, 83,85 % de cobertura consciente de ramas, tipado estricto en 29 archivos fuente, 37/37 casos de TaskIntent congelados y cero hallazgos de runtime neuronal. Consulte el registro de cualificación.

Mapa del repositorio

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

Afirmaciones y límites

NOUSIA-23 puede ser superior a un modelo neuronal cuando el determinismo, la auditabilidad, la latencia, la reproducibilidad, los contratos formales y el comportamiento de fallo cerrado son las métricas rectoras. Actualmente no afirma equivalencia conversacional universal, conocimiento del mundo sin restricciones ni prueba de corrección para cada enunciado en inglés. La investigación en internet solo es posible cuando un anfitrión registra herramientas de búsqueda/recuperación con alcance definido y sus oráculos de evidencia; el compilador en sí no realiza ningún acceso a la red encubierto.

Comience con la constitución del producto, la arquitectura y los contratos de interfaz. El registro de afirmaciones separa los hechos demostrados de los objetivos.

Licencia

MIT. Consulte LICENSE.