High-performance neuro-symbolic verification layer for AI validation and logic-based guardrails.
Project description
LNT: Logic Neutrality Tensor
Deterministic Validation Layer for AI-Generated Intents
⚖️ Overview (Open Source)
LNT is a high-performance neuro-symbolic engine designed to enforce deterministic symbolic constraints on probabilistic AI outputs. It provides sub-millisecond scaling and formal Z3 consistency verification for mission-critical validation in FinTech, HealthTech, and automated infrastructure.
License: MIT. This distribution contains the core engine and public example manifests.
🚀 Key Technical Specifications
- Vectorized Kernel (BELM): SIMD-accelerated logic manifold ($O(n)$ complexity).
- Symbolic CLI: Deterministic verification for MLOps pipelines.
- Tiered Enforcement: Threshold-based logic validation (Advisory vs. Hard Fail).
- Formal Verification: SMT-based (Z3) manifest consistency analysis.
🛠️ Quick Start
Installation
pip install lnt-sovereign
User as a Logic Verification Tool (CLI)
Integrate LNT into your automated pipelines to verify behavioral consistency before deployment. See our CI/CD Workflow Template for a ready-to-use GitHub Action.
# Soft Governance (Advisory Mode)
lnt check --manifest policy.json --input proposal.json --advisory
# Hard Enforcement (Fail if score is low or TOXIC rules violated)
lnt check --manifest policy.json --input proposal.json --fail-under 90 --fail-on-toxic
Use as an SDK
from lnt_sovereign.client import LNTClient
client = LNTClient()
result = client.audit(manifest_id="visa_application", proposal=proposal)
print(f"Validation Certified: Score {result.score}")
📜 Technical Documentation
For detailed architecture, API reference, and MLOps guides, visit the Documentation Portal.
- MLOps Integration Guide: How to set up LNT as a "Logic Gate" in CI/CD.
- Technical Whitepaper: Mathematical foundations and benchmark distributions.
- API Reference: Complete parameter registry and error codes.
Maintained for high-reliability AI system development.
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.3.tar.gz.
File metadata
- Download URL: lnt_sovereign-1.0.3.tar.gz
- Upload date:
- Size: 34.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.11.14
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
ea60bd7cc37566b26697a9f4c69dbea55167ce4d5803861afe02406903015991
|
|
| MD5 |
6f33642208b11cf51673578f370372fb
|
|
| BLAKE2b-256 |
9712e28f8f93f8d47b2a7f2c232d09f4e4cae7a5c7facd502bdeb3402b648b3b
|
File details
Details for the file lnt_sovereign-1.0.3-py3-none-any.whl.
File metadata
- Download URL: lnt_sovereign-1.0.3-py3-none-any.whl
- Upload date:
- Size: 38.4 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 |
f48befcb12af4f44f7370b2e47d5d22c7b14e878c85b818cb6705bb22cf62f97
|
|
| MD5 |
c5a1aff8ca71d24cc9538635f765a519
|
|
| BLAKE2b-256 |
588a91bfcfcbc23991964208c74790122f8a2d5bf2ca59c48fb79c2d0ee1bfc7
|