High-performance neuro-symbolic verification layer for AI validation and logic-based guardrails.
Project description
LNT (Logic Neutrality Tool)
Sovereign Neuro-Symbolic Validation Layer
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
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
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
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
e63004e655b519d049184ba1d6f0e1846f09a0cb64b6b6d33d8b397e52d947f5
|
|
| MD5 |
ebbf797ce7185efc3fd311cb4830670f
|
|
| BLAKE2b-256 |
fe9f41b695a06c6553c76a110451f65059c60172b4324a963dccab4b3fb76629
|
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
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a475e252ba729d6639c620f9fc518b1d1fb0bdfc1bfe2ad8bc913ab45cea259c
|
|
| MD5 |
52d0021e94a095d1ecb3104c97dc7026
|
|
| BLAKE2b-256 |
aea8beae49d8f03c597f2c200d980b7e8d95eb94e5e418adc534db7e3156244c
|