Exactor Accelerator
Exactor Accelerator is a high-speed boolean logic layer that accelerates TypeSafe AI (Jev) decisions by combining EXACTOR's boolean minimization with Jev's semantic intelligence.
Accelerates Jev decisions by 4,770-24,000x with 95-100% accuracy, zero production cost, and regulatory explainability.
Features
- ⚡ Extreme Speed: 0.05-0.1ms latency (4,770-24,000x faster than Jev pure)
- 💰 Zero Cost: $0.00 per decision (100% savings vs AI APIs)
- 🎯 Accuracy: 95-100% on structured tasks
- 🔍 Explainability: Auditable boolean formulas (GDPR, HIPAA, SOX compliant)
- 🔄 Adaptability: Automatic regime detection and concept drift handling
- 🌐 Multi-Domain: Fraud, medical, forex, manufacturing, security
Niches of Excellence
Exactor Accelerator is unbeatable in:
- Fraud Detection: 95-100% accuracy, 0.05-0.1ms
- Medical Triage: 95-100% accuracy, 0.05-0.1ms
- Quality Monitoring: 95-100% accuracy, 50,000+ TPS
- Security Logs: 95-100% accuracy, 0.05-0.1ms
- Forex Technical: 80-100% accuracy, 0.05-0.1ms
Installation
pip install exactor-accelerator
Configuration
Exactor Accelerator connects to the EXACTOR Core engine for cloud-accelerated boolean minimization. Set your token using any of these methods:
Option 1: Environment Variable (recommended for production)
export EXACTOR_CORE_TOKEN="your-token-here"
export JEV_API_KEY="your-jev-key" # Optional: TypeSafe Jev API
export DEEPSEEK_API_KEY="your-key" # Optional: LLM explainer
Option 2: .env File
cp .env.example .env
# Edit .env with your tokens
Option 3: Programmatic Configuration
import exactor_accelerator
exactor_accelerator.configure(
exactor_core_token="your-token-here",
jev_api_key="your-jev-key", # Optional
deepseek_api_key="your-key", # Optional
)
Option 4: Per-Instance Token
from exactor_accelerator import ExactorAccelerator
engine = ExactorAccelerator(
exactor_token="your-token-here",
use_cloud_exactor=True,
)
Note: Without an EXACTOR Core token, the library falls back to the built-in Hypercube Gray-code Reducer engine, which provides the same deterministic boolean minimization locally.
Quick Start
from exactor_accelerator import ExactorAcceleratorClassifier
from exactor_accelerator.feature_engine import get_feature_engine
from exactor_accelerator.regime_detector import get_regime_detector
import pandas as pd
# Load data
df = pd.read_csv("your_data.csv")
# Enrich with domain-specific features
feature_engine = get_feature_engine(domain="fraud")
df_enriched = feature_engine.extract_all(df)
# Train model
clf = ExactorAcceleratorClassifier(domain="fraud", fast_path=True)
clf.fit(df_enriched.drop("target", axis=1), df_enriched["target"])
# Predict
prediction = clf.predict(new_data)
Examples by Domain
Documentation
Roadmap
See ROADMAP_V2.md for details.
Contributing
See CONTRIBUTING.md for details.
License
MIT License - see LICENSE for details.
Architecture & System Design
This architecture integrates the EXACTOR boolean minimization engine (SMLE) with the Jev typed decision model (TypeSafe AI). The system operates under a Live & Incremental Memory paradigm: it starts with optional cold-start historical ingestion and evolves organically with every new query in real time, completely eliminating heavy offline retraining cycles.
[ PHASE A: INITIAL INGESTION ]
Historical Files (CSV / JSON / Logs)
│
▼
[ Adaptive Binarization in B^k ]
│
▼
[ EXACTOR Core Engine (Rust/Cloud) ] ──▶ Pure Rules (AND, OR, XOR, NOT)
│
▼
[ Dynamic Exactor ➔ Jev Adapter ] ──▶ Typed Schema (Noul, Choice, Score)
│
▼
[ PHASE B: REAL-TIME OPERATION ]
Production Query ──▶ [ Fast-Path Boolean / Jev (0.05-500ms) ]
│
┌────────────────────┴────────────────────┐
▼ ▼
[ Confidence >= Threshold ] [ SQLite WAL Ledger ]
│ (Collective Memory)
▼ │
[ AUTONOMOUS EXECUTION ] ▼
[ Sliding Window ]
│
▼
[ DIFFERENTIAL UPDATE ]
(Hot Evolution)
Operational Workflow
Phase A: Cold-Start & Ingestion
- Historical Data Load: Users or administrators supply initial records (CSV, JSON, logs, transactions, or tabular features) via the web interface or REST API.
- Adaptive Binarization: The preprocessing engine transforms continuous and categorical variables into discrete propositions ($0$ and $1$) projected onto the boolean hypercube $\mathbb{B}^k$ ($k \le 64$).
- Logical Discovery (Exactor Core): The Rust/Cloud engine processes the binarized matrix, distilling an initial set of exact, immutable logical rules (AND, OR, XOR, NOT) with 100% auditability and zero black-box opacity.
- Jev Schema Calibration: The discovered rules automatically translate into typed question schemas (
Choice,Score,Noul) consumed by the Jev API.
Phase B: Continuous Operation & Live Memory (Zero Retraining)
- Real-World Capture: Each new production query, log event, or interaction enters the runtime in raw or semi-structured form.
- Ultra-Low Latency Evaluation: Fast-path evaluates the boolean formula in 0.05–0.1 ms ($4,770\times$ speedup); complex or borderline states route to Jev calibrated probability distributions (RLCD - Reinforcement Learning for Calibrated Decisions).
- Memory Ledger Tracking: Every interaction is automatically logged into a high-concurrency lightweight database (SQLite in WAL mode), building cumulative system memory.
- Differential Updates: Periodically or on-demand, the engine processes recent sliding windows to update logic rules in-place (hot evolution), allowing organic learning from real-world drift without downtime.
Component Architecture
Component 1: Ingestion & Binarization Subsystem (exactor_accelerator.ingestion)
- Function: Converts continuous and categorical features into clean boolean proposition matrices.
- Inputs: CSV/JSON datasets (at cold-start) or streaming event payloads (in production).
- Outputs: Discretized miniterm matrix with hypercube dimension mapping and target column.
- Key Modules:
binarizer.py,loader.py,text_extractor.py.
Component 2: Logic Minimization Engine (exactor_accelerator.core)
- Function: Executes boolean logic minimization using Gray codes and stack-based hypercube reduction.
- Key Characteristics: Native boolean hypercube ($\mathbb{B}^k$) operation without floating-point drift, producing auditable rules.
- Native XOR Support: Detects parity and non-linear algebraic symmetry.
- Key Modules:
hypercube.py,exactor_bridge.py.
Component 3: Dynamic Adapter (exactor_accelerator.adapter)
- Function: Translates Exactor boolean formulas into typed question schemas for TypeSafe Jev (
typesafe-sdk). - Payload Structure:
{
"model": "jev-latest",
"state": { "event": "Real-time production query data" },
"questions": {
"logic_criterion": {
"type": "noul",
"instructions": "Is the boolean condition derived from historical analysis satisfied?"
},
"recommended_action": {
"type": "choice",
"instructions": "Which business action should be executed?",
"criteria": {
"AUTONOMOUS_EXECUTION": "High confidence",
"HUMAN_REVIEW": "Uncertainty / edge case",
"DISCARD": "Condition not met"
}
},
"criticality_calibration": {
"type": "score",
"instructions": "Impact level on a continuous ordinal scale."
}
}
}
- Key Modules:
jev_schema.py,translator.py.
Component 4: Decision & Live Memory Layer (exactor_accelerator.ledger & exactor_accelerator.engine)
- Function: Delivers calibrated probabilistic responses to clients and records interactions for incremental learning.
- Autonomous Execution: Automatically triggers downstream workflows when confidence exceeds the configured threshold.
- Concurrent Ledger: SQLite optimized with
PRAGMA journal_mode = WAL;andPRAGMA synchronous = NORMAL;for non-blocking concurrent writes. - Key Modules:
sqlite_wal.py,jev_client.py,runtime.py.
Project Structure
exactor-accelerator/
├── exactor_accelerator/
│ ├── ingestion/ # Component 1: Ingestion & Binarization
│ │ ├── binarizer.py # Adaptive hypercube discretizer
│ │ ├── loader.py # CSV/JSON parsers & synthetic loaders
│ │ └── text_extractor.py # Unstructured text feature extraction
│ ├── core/ # Component 2: Exactor Logic Engine
│ │ ├── hypercube.py # Hypercube, Gray code & stack reduction
│ │ └── exactor_bridge.py # Dispatcher to exactor.tech Cloud / local
│ ├── adapter/ # Component 3: Exactor -> Jev Adapter
│ │ ├── jev_schema.py # Noul, Choice, and Score primitives
│ │ └── translator.py # TypeSafe payload generator
│ ├── ledger/ # Component 4A: Live Memory (SQLite WAL)
│ │ └── sqlite_wal.py # Write-Ahead Logging persistence
│ ├── engine/ # Component 4B: Runtime & Jev Client
│ │ ├── jev_client.py # TypeSafe API client & RLCD simulator
│ │ └── runtime.py # HybridRuntime master orchestrator
│ ├── api/ # FastAPI REST Service
│ │ └── server.py # OpenAPI endpoints & static UI hosting
│ ├── web/ # Control Dashboard (Glassmorphic)
│ │ ├── index.html # Live telemetry & 4-phase dashboard
│ │ ├── styles.css # Cyber-logic aesthetic
│ │ └── app.js # Client logic & WAL stream feed
│ └── data/ # Embedded sample datasets
├── tests/ # Automated test suite
│ ├── test_binarizer.py
│ ├── test_exactor_hypercube.py
│ ├── test_jev_adapter.py
│ └── test_live_memory.py
├── run_demo.py # End-to-end interactive CLI demonstration
├── run_server.py # Web dashboard & REST API server launcher
└── pyproject.toml # Standard PEP 621 package specification
Usage Instructions
1. Run Automated Test Suite
python -m pytest tests/ -v
2. Run Interactive CLI Demonstration
Demonstrates the complete end-to-end lifecycle in one command:
python run_demo.py
3. Launch Web Server & Control Dashboard
python run_server.py
- Web Control Panel: http://localhost:8000
- Interactive Swagger Docs: http://localhost:8000/docs
REST API Endpoints
| Method | Endpoint | Description |
|---|---|---|
GET |
/api/system/status |
Engine status, active rule version, and ledger record count |
POST |
/api/ingest/file |
Phase A: Upload CSV/JSON dataset and trigger logical discovery |
POST |
/api/ingest/sample |
Phase A: Instantly load sample datasets (fraud / sre / triage) |
GET |
/api/exactor/rules |
Canonical boolean formulas distilled by Exactor |
GET |
/api/jev/schema |
Calibrated typed question schema (Noul, Choice, Score) |
POST |
/api/query |
Phase B: Real-time query evaluation with fast-path and WAL logging |
GET |
/api/ledger |
Stream audited interaction records from SQLite WAL |
POST |
/api/ledger/feedback |
Inject human feedback / ground truth for a past query |
POST |
/api/differential/update |
Trigger differential rule update over a sliding window |
Metadata
Release files for exactor-accelerator 2.0.5
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| exactor_accelerator-2.0.5.tar.gz | 227.6 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| exactor_accelerator-2.0.5-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 404.1 kB
Release files / exactor_accelerator-2.0.5.tar.gz
| Download URL | exactor_accelerator-2.0.5.tar.gz |
|---|---|
| Size | 227.6 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
79b8030402da6a1cc13374b68e1ddfac04a7a34bf4e29254e3c903d91b821246
|
|
BLAKE2b-256 checksum How to use checksums |
7402138bf0f6655308d3af2ba4d979bb335f27dad61eb1b139f3cbcfaa7f8d2f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.0
|
Release files / exactor_accelerator-2.0.5-py3-none-any.whl
| Download URL | exactor_accelerator-2.0.5-py3-none-any.whl |
|---|---|
| Size | 176.6 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
3ba4573e4a24a1eb4dc4792ed753e9cf86ea25de4a55745bd08085cfdf2ca8ca
|
|
BLAKE2b-256 checksum How to use checksums |
542a68b1e24111bcbc406864696514769e89e363fa46c9dc334b0aeb11b3c8de
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.2.0 CPython/3.14.0
|