NOUSIA-23

자연어, 타입화된 의도, 증명 게이트 합성, 통제된 도구 사용을 위한 결정적 합성 트랜스파일러—신경망 런타임 없이.

NOUSIA-23은 Project 33의 독립형 후속작입니다. 이는 이전에 Polar Pyro TaskIntent 파이프라인에서 Qwen3-0.6B에 할당되었던 역할을 수행합니다: 사용자의 요청을 DEMIURGE 및 전문 엔진을 위한 안정적이고 기계적으로 검증 가능한 의미로 변환합니다. 결정적 차이는 아키텍처에 있습니다. 토큰을 샘플링하거나 모델 가중치를 로드하지 않습니다. 파싱, 제약, 열거, 축약, 검증, 그리고 표준 영수증 발행을 수행합니다.

성취는 모든 영어 문장이 형식적으로 결정 가능해졌다는 것이 아닙니다. 생산용 소프트웨어 의도 레인(lane)이 신경망 제안기를 검사 가능한 컴파일러로 대체하고, 동일한 입력을 바이트 단위로 동일하게 생성하며, 모호성에 대해 폐쇄 실패(fail closed)하고, Python, JSON CLI, HTTP 또는 MCP를 통해 동일한 결정적 코어를 모든 호스트에 노출할 수 있다는 것입니다.

보장 사항

• 동일한 허용 입력과 동일한 기능 카탈로그는 동일한 표준 출력을 생성합니다.

• 모든 서비스 응답은 요청과 결과를 SHA-256 자료에 바인딩합니다.

• 지원되지 않거나 과소 결정된 의미는 NO_RESULT 또는 명확화 잔차(residual)가 됩니다—발명된 의도가 아닙니다.

• 핵심 설치에는 제3자 의존성이 없으며, 프로덕션 패키지는 신경망 런타임을 임포트하지 않습니다.

• 컴파일러는 실행 권한이 없습니다. 도구 효과는 별도로 통제되는 호스트의 책임으로 남습니다.

• 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

종료 코드는 PASS의 경우 0, NO_RESULT의 경우 3, FAIL의 경우 2입니다. 표준 출력에는 정확히 하나의 표준 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을 구현합니다. 네 가지 도구는 읽기 전용 컴파일러 함수입니다: interpret, 개방형 도메인 접지(grounding), 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 패리티와 기록된 신경망 호출 0건을 입증했습니다. 이러한 결과는 제한된 대체 주장이지, 제한 없는 프론티어 모델 동등성의 증명이 아닙니다. NOUSIA-23은 더 넓은 우월성을 경험적 프로그램으로 취급합니다: 동결 계약, 보류 코퍼스, 적대적 패러프레이즈, 행동 산출물 오라클, 지연/리소스 측정, 그리고 의무적 제로 신경망 호출 탐지기.

새로운 독립형 인증서는 119/119 테스트, 83.85% 분기 인식 커버리지, 29개 소스 파일에 걸친 엄격한 타입, 37/37 동결 TaskIntent 사례, 신경망 런타임 발견 0건을 기록합니다. 자격 검증 기록을 참조하십시오.

저장소 맵

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를 참조하십시오.