一种用于自然语言、类型化意图、证明门控合成和受治理工具使用的确定性合成转译器——无需神经运行时。
NOUSIA-23 是 Project 33 的独立继任者。它承担了先前在 Polar Pyro TaskIntent 流水线中分配给 Qwen3-0.6B 的角色：将用户的请求转换为可供 DEMIURGE 和专家引擎使用的稳定、机器可校验的含义。其决定性区别在于架构。它不采样 token，也不加载模型权重。它解析、约束、枚举、折叠、验证并发出规范收据。
成就并不在于每个英语句子都变得形式上可判定。而在于生产软件意图通道可以用可检查的编译器取代神经提议器，逐字节产生相同的输入，在歧义时故障关闭，并通过 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 receiptNOUSIA-23 确定已准入请求可能意味着什么。Euclid-Ω 确定形式候选者可以推出什么。MCP 提供受治理的观察和效果。DEMIURGE 组合工件。独立预言机确定输出是否满足契约。
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"] == 0python -m pip install -e .
echo '{"operation":"capabilities","payload":{}}' | nousia23退出码为 0 表示 PASS，3 表示 NO_RESULT，2 表示 FAIL。标准输出恰好包含一条规范 JSON 收据。
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 镜像以非特权用户运行。
{
"mcpServers": {
"nousia-23": {
"command": "nousia23-mcp",
"args": []
}
}
}无依赖的 stdio 服务器实现 MCP 2025-06-18 初始化、工具发现、工具调用和 ping。其四个工具是只读编译器函数：interpret、开放域接地、TaskIntent 编译和独立 TaskIntent 验证。
操作 | 输入 | 输出 | 边界 |
| 受控英语 + 上下文 | 已检查的打包语义 IR | 未知构造故障关闭 |
| 不受限制的 Unicode + 封闭目录 | 已接地的能力、跨度、残差、问题 | 开放输入不是普遍理解 |
| 软件请求 + 项目身份 | Polar Pyro TaskIntentIR | 已准入语法和本体论 |
| 源请求 + 候选 IR | 独立重放收据 | 候选者不能自我认证 |
机器可读契约位于 schemas/。规范性人类规范位于 docs/specification/。
NOUSIA-23 没有 transformer 上下文窗口。它可以通过 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 artworkNOUSIA-23 在确定性、可审计性、延迟、可复现性、形式契约和故障关闭行为是主导指标的情况下，可以优于神经模型。它目前不声称具有普遍对话等价性、无约束的世界知识，或对每个英语话语的正确性证明。互联网研究仅在宿主注册了有范围的搜索/获取工具及其证据预言机时才可能；编译器本身不进行隐蔽的网络访问。
从产品章程、架构和接口契约开始。声明账本将已证明的事实与目标分开。
MIT。参见LICENSE。
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.
