Skip to main content

High-performance neuro-symbolic verification layer for AI validation and logic-based guardrails.

Project description

LNT (Logic Neutrality Tool)

Sovereign Neuro-Symbolic Validation Layer

PyPI version Python 3.10+ License: MIT Code Style: Ruff Security: Bandit Build Status

LNT is a production-grade neuro-symbolic validation framework designed to bridge the gap between probabilistic AI models and deterministic business logic. It provides a mathematically rigorous defense layer for AI agents, ensuring that every decision complies with strict, verifiable constraints before execution.


Technical Concept

LNT operates on the premise that business rules are not just code—they are mathematical manifolds. By mapping natural language intent to vectorized logic constraints, LNT allows for high-performance, verifiable validation using SMT solvers (Z3) and optimized matrix operations (NumPy).

Core Features:

  • Vectorized Logic Kernel: A highly optimized NumPy-based engine for sub-millisecond constraint evaluation.
  • Formal Verification (Z3): Mathematical proof of manifest consistency, ensuring no conflicting rules exist in your policy.
  • Sovereign SDK: A lightweight, typed Python client for seamless integration into MLOps pipelines.
  • Fairness & Bias Auditing: Built-in statistical parity analysis to detect and mitigate bias in decision flows (AIDA/EU-AI Act ready).

Project Status

  • Audits: Internal Logic Verification Suite (Passing). All logic kernels are validated against formal proofs.
  • Production Use: Valid. Deployed in high-throughput pipelines for financial and regulatory compliance validation.
  • Benchmarks: Sub-millisecond latency verified for complex rule sets on standard commodity hardware.

Quick Start

# Production install
pip install lnt-sovereign

Validator Example

from lnt_sovereign import LNTClient

# Initialize the production client
client = LNTClient(base_url="http://localhost:8000")

# Input proposal from an AI Agent
proposal = {
    "amount": 450.0,
    "user_risk_score": 15,
    "region": "US-EAST"
}

# Evaluate against the 'financial_compliance' manifest
result = client.audit("financial_compliance", proposal)

if result.status == "APPROVED":
    print(f"✅ Decision Authorized | Health Score: {result.score}")
else:
    print(f"❌ Blocked by Logic: {result.violations}")

Documentation

LNT: Deterministic Trust for Probabilistic Intelligence.

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

lnt_sovereign-1.0.5.tar.gz (44.0 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

lnt_sovereign-1.0.5-py3-none-any.whl (46.7 kB view details)

Uploaded Python 3

File details

Details for the file lnt_sovereign-1.0.5.tar.gz.

File metadata

  • Download URL: lnt_sovereign-1.0.5.tar.gz
  • Upload date:
  • Size: 44.0 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.11.14

File hashes

Hashes for lnt_sovereign-1.0.5.tar.gz
Algorithm Hash digest
SHA256 e63004e655b519d049184ba1d6f0e1846f09a0cb64b6b6d33d8b397e52d947f5
MD5 ebbf797ce7185efc3fd311cb4830670f
BLAKE2b-256 fe9f41b695a06c6553c76a110451f65059c60172b4324a963dccab4b3fb76629

See more details on using hashes here.

File details

Details for the file lnt_sovereign-1.0.5-py3-none-any.whl.

File metadata

  • Download URL: lnt_sovereign-1.0.5-py3-none-any.whl
  • Upload date:
  • Size: 46.7 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.11.14

File hashes

Hashes for lnt_sovereign-1.0.5-py3-none-any.whl
Algorithm Hash digest
SHA256 a475e252ba729d6639c620f9fc518b1d1fb0bdfc1bfe2ad8bc913ab45cea259c
MD5 52d0021e94a095d1ecb3104c97dc7026
BLAKE2b-256 aea8beae49d8f03c597f2c200d980b7e8d95eb94e5e418adc534db7e3156244c

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page