nousia-23
NOUSIA-23

Ein deterministischer synthetischer Transpiler für natürliche Sprache, typisierte Absicht, beweisgesteuerte Synthese und verwaltete Werkzeugnutzung – ohne neuronale Laufzeit.
NOUSIA-23 ist der eigenständige Nachfolger von Project 33. Es übernimmt eine Rolle, die zuvor Qwen3-0.6B in der Polar Pyro TaskIntent-Pipeline zugewiesen war: die Anfrage eines Benutzers in stabile, maschinell prüfbare Bedeutung für DEMIURGE und Spezial-Engines zu überführen. Der entscheidende Unterschied ist architektonischer Natur. Es sampelt keine Tokens und lädt keine Modellgewichte. Es parst, beschränkt, enumeriert, kollabiert, verifiziert und emittiert kanonische Belege.
Die Leistung besteht nicht darin, dass jeder englische Satz formal entscheidbar geworden ist. Sondern darin, dass eine Produktions-Software-Intent-Pipeline einen neuronalen Proposer durch einen inspizierbaren Compiler ersetzen kann, byte-identische Eingaben erzeugt, bei Mehrdeutigkeit fail-closed reagiert und denselben deterministischen Kern über Python, JSON-CLI, HTTP oder MCP jedem Host zugänglich macht.
Was es garantiert
Identische zugelassene Eingabe plus identischer Fähigkeitskatalog erzeugt identische kanonische Ausgabe.
Jede Dienstantwort bindet Anfrage und Ergebnis an SHA-256-Material.
Nicht unterstützte oder unterbestimmte Bedeutung wird zu
NO_RESULToder einem Klärungsresiduum – nicht zu erfundener Absicht.Die Kerninstallation hat keine Drittanbieter-Abhängigkeiten, und das Produktionspaket importiert keine neuronale Laufzeit.
Der Compiler hat keine Ausführungsbefugnis. Werkzeugeffekte bleiben in der Verantwortung eines separat verwalteten Hosts.
Die MCP-Registrierung gewährt keine beliebigen Fähigkeiten: Manifeste müssen Schema, Autorität, Effekte, Evidenz, Umfang, Timeout und Orakel definieren.
Related MCP server: dingdawg-governance
Architektur
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 receiptNOUSIA-23 bestimmt, was eine zugelassene Anfrage bedeuten kann. Euclid-Ω bestimmt, was aus einem formalen Kandidaten folgt. MCP liefert verwaltete Beobachtungen und Effekte. DEMIURGE komponiert Artefakte. Unabhängige Orakel bestimmen, ob die Ausgabe den Vertrag erfüllt.
Vier stabile Schnittstellen
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"] == 0JSON CLI
python -m pip install -e .
echo '{"operation":"capabilities","payload":{}}' | nousia23Exit-Codes sind 0 für PASS, 3 für NO_RESULT und 2 für FAIL. Die Standardausgabe enthält genau einen kanonischen JSON-Beleg.
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/capabilitiesDer Dienst stellt GET /health, GET /v1/capabilities und POST /v1/execute bereit. Das Docker-Image läuft als unprivilegierter Benutzer.
MCP
{
"mcpServers": {
"nousia-23": {
"command": "nousia23-mcp",
"args": []
}
}
}Der abhängigkeitsfreie stdio-Server implementiert MCP-2025-06-18-Initialisierung, Werkzeugerkennung, Werkzeugaufrufe und Ping. Seine vier Werkzeuge sind schreibgeschützte Compiler-Funktionen: interpret, Open-Domain-Grounding, TaskIntent-Kompilierung und unabhängige TaskIntent-Verifikation.
Operationen
Operation | Eingabe | Ausgabe | Grenze |
| kontrolliertes Englisch + Kontext | geprüfte gepackte Semantic-IR | unbekannte Konstrukte schlagen fehl (fail closed) |
| uneingeschränktes Unicode + geschlossener Katalog | fundierte Fähigkeiten, Spannen, Residuen, Fragen | offene Eingabe ist kein universelles Verständnis |
| Software-Anfrage + Projektidentität | Polar Pyro TaskIntentIR | zugelassene Grammatik und Ontologie |
| Quellanfrage + Kandidaten-IR | unabhängiger Replay-Beleg | Kandidat kann sich nicht selbst zertifizieren |
Maschinenlesbare Verträge liegen in schemas/. Die normative menschliche Spezifikation liegt in docs/specification/.
Speicher und Kontext
NOUSIA-23 hat kein Transformer-Kontextfenster. Es kann über TOAM oder einen anderen inhaltsadressierten Speicher auf einen praktisch unbegrenzten externen Korpus zugreifen, aber die Berechnung ist bewusst begrenzt. Jeder Beweis-/Such-Arbeitsbereich hat explizite Budgets, Herkunftsnachweise und Verdrängungsregeln. Das zutreffende Versprechen ist unbegrenzter adressierbarer Speicher mit begrenzten, prüfbaren Arbeitssätzen, nicht magischer unendlicher gleichzeitiger Kontext.
Qualifikation
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 buildDie übernommene Project-33-Qualifikation zeigte exakte TaskIntent-Parität gegenüber einer eingefrorenen Qwen-Referenz-Pipeline für den zugelassenen Korpus und null aufgezeichnete neuronale Aufrufe. Diese Ergebnisse sind ein begrenzter Substitutionsanspruch, kein Beweis uneingeschränkter Frontier-Modell-Äquivalenz. NOUSIA-23 behandelt breitere Überlegenheit als empirisches Programm: eingefrorene Verträge, zurückgehaltene Korpora, adversariale Paraphrasen, verhaltensbasierte Artefakt-Orakel, Latenz-/Ressourcenmessung und einen obligatorischen Detektor für null neuronale Aufrufe.
Das neue eigenständige Zertifikat verzeichnet 119/119 Tests, 83,85 % branch-aware Abdeckung, strenge Typisierung über 29 Quelldateien, 37/37 eingefrorene TaskIntent-Fälle und null neuronale Laufzeitbefunde. Siehe den Qualifikationsnachweis.
Repository-Übersicht
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 artworkAnsprüche und Grenzen
NOUSIA-23 kann einem neuronalen Modell überlegen sein, wo Determinismus, Prüfbarkeit, Latenz, Reproduzierbarkeit, formale Verträge und Fail-closed-Verhalten die maßgeblichen Metriken sind. Es erhebt derzeit keinen Anspruch auf universelle Konversationsäquivalenz, uneingeschränktes Weltwissen oder Korrektheitsbeweis für jede englische Äußerung. Internetrecherche ist nur möglich, wenn ein Host begrenzte Such-/Abruf-Werkzeuge und deren Evidenz-Orakel registriert; der Compiler selbst führt keinen verdeckten Netzwerkzugriff durch.
Beginnen Sie mit der Produktverfassung, der Architektur und den Schnittstellenverträgen. Das Anspruchsregister trennt nachgewiesene Fakten von Zielen.
Lizenz
MIT. Siehe LICENSE.
This server cannot be deployed
Maintenance
Related MCP Connectors
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
AI-native programming language and toolchain for accountable, verifiable agent-driven development.
Pre-execution governance for AI agents. Deterministic PASS/FAIL/REVIEW verdicts, replayable proof.
Governed AI actions with signed, verifiable receipts: free keyless reads, human-approved writes.
Related MCP Servers
- AlicenseCqualityBmaintenanceAgent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.2292 npm13MIT
- AlicenseAqualityDmaintenanceUniversal governance layer for AI agents — MCP-native, fail-closed, LNN interpretability. Governed receipts, IPFS audit proofs, and rollback for any agent in any framework.378 npmApache 2.0
- AlicenseNot gradedqualityDmaintenanceProvides cryptographic governance receipts for AI agents, enabling pre-execution evaluation and signed verdicts (EXECUTE/BLOCK/REVIEW/SHADOW) with offline-verifiable audit trails.MIT
- FlicenseNot gradedqualityDmaintenanceEnables AI agents to create intent contracts, check boundaries, record completions, and export receipts for structured agent workflows-