NOUSIA-23

ニューラルランタイムを必要としない、自然言語、型付きインテント、証明ゲート合成、統制されたツール使用のための決定的合成トランスパイラ。

NOUSIA-23はProject 33の後継となるスタンドアロン製品です。これは、Polar Pyro TaskIntentパイプラインにおいて以前Qwen3-0.6Bに割り当てられていた役割を担います。ユーザーのリクエストを、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は成果物を構成します。独立したオラクルは、出力が契約を満たすかどうかを決定します。

4つの安定したインターフェース

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

終了コードは、PASSが0、NO_RESULTが3、FAILが2です。標準出力には、正規JSONレシートが正確に1つ含まれます。

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を実装します。4つのツールは読み取り専用のコンパイラ関数です。interpret、オープンドメイングラウンディング、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の資格認定は、受理済みコーパスに対する凍結されたQwen参照レーンとの正確なTaskIntentパリティと、記録されたニューラル呼び出しゼロを示しました。これらの結果は、制限付き置換の主張であり、無制限のフロンティアモデル同等性の証明ではありません。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を参照してください。