WERR

Zero-Memory Fractal Reflex Decision Engine · Waves & Errors

A deterministic, procedural System-1 reflex engine that derives typed decisions directly from polynomial escape dynamics and procedural boundary geometry—requiring zero neural weights, zero VRAM, and sub-microsecond compute latency.

Quickstart • Architecture • Decision Primitives • Benchmarks • Formal Proofs • Ecosystem • Research Chronology • Türkçe Dokümantasyon

---

🏛️ The Paradigm

Contemporary artificial intelligence architectures rely predominantly on massive, dense parameter tensors. While effective for generative deliberation (System-2), deploying multi-gigabyte models for ultra-high-frequency reflex arbitration, edge gating, or on-chain logic incurs unsustainable computational latency, memory footprints, and non-deterministic hallucination risks.

WERR (Waves & Errors) introduces an orthogonal paradigm: Procedural Reflex Inference. Instead of storing billions of learned weights in memory, WERR treats decision boundaries as geometric invariants across the complex plane. Given an arbitrary natural language prompt, program state, or telemetry frame:

1. Deterministic Projection: The context is projected onto bounded coordinates in the complex plane $\mathbb{C}$.
2. Iterative Orbital Dynamics: The coordinate is evaluated through procedural polynomial escape trajectories ($z_{n+1} = z_n^2 + c$).
3. Harmonic Reflex Extraction: Three immutable typed decision primitives are derived in $\le 0.3,\mu\text{s}$ on commodity CPUs or 32-byte storage slots on the Ethereum Virtual Machine (EVM).

Input Telemetry / Context
           │
           ▼
┌──────────────────────────────────────┐
│  Procedural Coordinate Projection    │  ◄── 24-byte coordinate seed
└──────────────────────────────────────┘
           │  c = x + iy ∈ ℂ
           ▼
┌──────────────────────────────────────┐
│   Orbital Complex Dynamics Engine    │  ◄── z_{n+1} = z_n^2 + c
└──────────────────────────────────────┘
           │  Escape radius & Lyapunov Lyapunov exponent
           ▼
┌─────────────────────────────────────────────────────────────┐
│                   Three Typed Primitives                    │
│   • noul   (Boolean binary gate: ALLOW / DENY)              │
│   • choice (Categorical quadrant: 0, 1, 2, 3)               │
│   • score  (Continuous severity metric: [0.0, 1.0])         │
└─────────────────────────────────────────────────────────────┘

---

⚡ Quickstart in 30 Seconds

WERR is published as a zero-dependency Python package and an open-source Rust/C core.

Installation

pip install werrio

Or install the latest release directly from GitHub:

pip install git+https://github.com/pCwOrM/werr.git

Basic Usage

import werr

# Initialize the engine (loads immutable coordinate seeds in memory)
engine = werr.WerrEngine()

# 1. Binary Reflex Gate (noul): returns True or False
is_safe = engine.noul(
    question="Is this transaction payload safe to sign?",
    context="Transfer 0.05 ETH to verified contract 0x7a25... on Base L2"
)

# 2. Discrete Route Selector (choice): returns categorical integer index [0, 1, 2, 3]
route = engine.choice(
    question="Select the optimal execution lane:",
    options=["FastLane Atlas", "Private Sequencer", "Public Mempool", "Off-chain Solver"]
)

# 3. Continuous Severity Metric (score): returns float in range [0.0, 1.0]
risk_score = engine.score(
    question="Evaluate liquidation cascade vulnerability under 15% collateral drop",
    context="MetaMorpho Steakhouse USDC Vault · Borrow: $4.73B · Health Factor: 1.04"
)

print(f"Safety Gate: {is_safe} | Selected Route: {route} | Risk: {risk_score:.4f}")

---

📐 The Three Typed Primitives

WERR avoids ambiguous natural-language string outputs in automated runtime pipelines. Every evaluation resolves to one of three strictly typed invariants:

Primitive	Mathematical Nature	Output Type	Primary Industry Use-Case
noul	Topological boundary separation	bool	High-throughput safety firewalls, agent action permits, guardrails.
choice	Orthogonal quadrant partition	int $\in {0, 1, 2, 3}$	Multi-lane transaction routing, policy triage, heuristic branch selection.
score	Normalized Lyapunov escape velocity	float $\in [0.0, 1.0]$	Dynamic DeFi fee computation, collateral shock scoring, anomaly ranking.

---

🔬 Mathematical & Formal Architecture

WERR operates across an orthogonal 8-state ($2^3$) parameter matrix (v0.5.1), balancing domain routing, lexical ontology, and harmonic tuning:

• Zero-VRAM State Machine: Operates without neural network weights. Execution memory footprint is $\le 128,\text{KB}$ across runtime stacks.
• Bounded Convergence: Escape bounds are rigorously proved; the engine cannot hang, loop indefinitely, or consume unbounded stack frames.
• Deterministic Replicability: The identical seed and input context yield bit-exact outputs across x86-64 bare metal, ARM64 Apple Silicon, RISC-V edge microcontrollers, and EVM smart contracts.

---

🏆 Empirical Evaluation & Benchmarks

The procedural reflex paradigm has been validated across standardized benchmarks and real-time execution environments:

Benchmark / Environment	Task & Domain	Baseline / Competitor	WERR Result	Performance Multiplier
WindTunnel WebMCP	49 Complex Web Automation Scenarios	LLM-based autonomous agents	49 / 49 Solved (100%)	0 tokens consumed, $\le 1,\text{ms}$ step latency
Snake AI Real-Time	Continuous 60 FPS trajectory reflex	Laya-MLX (Dense PyTorch neural net)	Surpasses MLX at 600 steps	$40\times$ faster decision loop, zero GPU load
Jevenator 2 Vision	Real-time object tracking & triage	Maisa djev neural classifier	Competitive parity	$99.98%$ reduction in memory footprint
Base Morpho SVR	Multi-call liquidation telemetry	Standard mempool searchers	94.38% value recapture	$\le 0.3,\text{ms}$ solver margin compression

📊 Historical Benchmark Archive: Complete ablation studies, JevBench grand matrix versions (v1.1 to v1.4.1), and 40-core Xeon gauntlet logs are recorded in RESEARCH_CHRONOLOGY.md.

---

🛡️ Formal Verification (Lean 4)

The core topological invariants, boundary escape inequalities, and discrete partition theorems of WERR are formally verified in the Lean 4 interactive theorem prover with 0 sorry statements.

• Repository: pCwOrM/gap-lean4-port
• Preprint / Monograph: Zenodo DOI: 10.5281/zenodo.22974544
• Scope: Machine-checked formal verification of Schreier-Sims sifting, cyclic quotient stability, and boundary containment under bounded perturbation.

---

🌐 The WERR Ecosystem

WERR serves as the foundational mathematical engine across a tri-fold architectural stack:

                          ┌─────────────────────────────┐
                          │            WERR             │
                          │   Core Mathematical Engine  │
                          │  Zero-Memory System-1 Reflex │
                          └──────────────┬──────────────┘
                                         │
                 ┌───────────────────────┴───────────────────────┐
                 ▼                                               ▼
  ┌─────────────────────────────┐                 ┌─────────────────────────────┐
  │          Werracle           │                 │           answerr           │
  │   On-Chain Decision Oracle  │                 │  Dual-Cognition Workspace   │
  │  DeFi Risk Radar & DaaS     │                 │ Natural Language Gating API │
  │   https://radar.werracle.com│                 │     https://answerr.me      │
  └─────────────────────────────┘                 └─────────────────────────────┘

• werr: Core algorithm, coordinate seeds, and native Python/Rust runtime libraries.
• werracle: Smart contract implementations, Q16.16 fixed-point Solidity escape math, Uniswap v4 hook templates, and Werracle Risk Radar.
• answerr: Dual-cognition workspace bridging System-2 deliberate natural language policy compilation with WERR System-1 deterministic execution.

---

📄 Academic Citation & Archival References

If you cite or replicate this research in scientific publications, please use the following citation metadata:

@software{dagli2026werr,
  author       = {Dağlı, Volkan and Dağlı, Zerrin and Dağlı, Dağhan},
  title        = {{werr: Zero-Memory Fractal System-One Decision Engine (Waves & Errors)}},
  month        = oct,
  year         = 2026,
  publisher    = {Zenodo},
  version      = {v0.5.1},
  doi          = {10.5281/zenodo.22774934},
  url          = {https://github.com/pCwOrM/werr}
}

• Archival Preprint: arXiv:2609.25498 [cs.AI / math.DS] (https://arxiv.org/abs/2609.25498)
• Full Research Chronology: RESEARCH_CHRONOLOGY.md

---

---

🏛️ Associated Formal Verification, World Records & Scientific Corpus

All monographs, formal Lean 4 specifications, and empirical datasets across the WERR & ITouch Systems Research Group are permanently archived on CERN Zenodo, arXiv, Elsevier SSRN, and Hugging Face.
(Primary links use CERN Zenodo Concept DOIs / Çatı DOI, which automatically resolve to the latest published version while preserving exact version-pinned reproducibility.)

#	Pillar / Monograph	Core Contribution & Focus	👑 Concept DOI (Always Latest)	📌 Latest Version DOI	arXiv / SSRN / Hugging Face & Verification Status	Primary Repository
01	Paper 1: FNS	Procedural Weight Derivation & Non-Linear Decision Boundaries (v3)	10.5281/zenodo.22774934	10.5281/zenodo.22867037	SSRN: 7659198 (Distributed) • Multi-Seed Pareto & Manifold Parity	pCwOrM/fractal-neural-synthesis
02	Paper 2: OED	Orbital Error Dynamics, Ephemeral Parameter Resonance & CD4+ Gating (v1)	10.5281/zenodo.22900464	10.5281/zenodo.22900465	arXiv:2609.30115 • 🤗 HF Paper (Verified) • TR 2026/016285	pCwOrM/fractal-neural-synthesis
03	Paper 3: WERR Map	Universal Natural Language Decision Map & Real-Time Edge Triage (v2)	10.5281/zenodo.22867425	10.5281/zenodo.22939253	arXiv:2609.25498 • 🤗 HF Paper • 🤗 HF Dataset	pCwOrM/werr • pCwOrM/answerr
04	Paper 4: Werracle	Sub-Cent Intra-Block AI Reflex Oracles & Flash-Loan Circuit Breakers (v1)	10.5281/zenodo.22942598	10.5281/zenodo.22942599	arXiv:2609.30719 • SSRN: 7626279 • 🤗 HF Paper	pCwOrM/werracle • pCwOrM/werralem
05	Paper 5: Formal Lean 4	Zero-Storage Procedural Synthesis: Lean 4 Verification & 40-Core Validation	10.5281/zenodo.22774934	10.5281/zenodo.22867037	arXiv:2609.33066 • 🤗 HF Paper • Lean 4 (10 Theorems, 0 sorry)	pCwOrM/werr • pCwOrM/werracle
06	Paper 6: GAP-Lean4	Machine-Checked Computational Group Theory: Schreier-Sims & BSGS Sifting (v2)	10.5281/zenodo.23092708	10.5281/zenodo.23156544	arXiv:2609.38492 • 🤗 HF Paper • Lean 4 (35 Theorems, 0 sorry)	pCwOrM/gap-lean4-port
07	Paper 7: Black Hole v5	Unitary Black Hole Page Curve via Dynamical Horizon Orbifolds & GKP Stabilizers (v5)	10.5281/zenodo.22961999	10.5281/zenodo.23072120	S(t=1) = 0.00 · Tr(ρ²) = 1.00 · R² = 0.9822 · 573× Stress Quench • Lean 4 (10 Theorems)	pCwOrM/fractal-neural-synthesis • pCwOrM/werr
08	Paper 8: WerrSoma	Bio-Synthetic Neuromorphic Interfacing with 158K-Neuron Drosophila Connectome (v1)	10.5281/zenodo.22996625	10.5281/zenodo.22996626	arXiv:submit/8161759 • Live 3D Portal (werrsoma.answerr.me) • TR 2026/016633	Lexovian/WerrSoma • pCwOrM/WerrSoma
09	Paper 9: WerreduR	Procedural Pedagogy: Resolving the Saturn School Disequilibrium Paradox (v2)	10.5281/zenodo.22999420	10.5281/zenodo.23128224	SSRN: 7641538 (Distributed) • Lean 4 (7 Theorems, 0 sorry) • Live Portal	jesmaat/WerreduR • pCwOrM/WerreduR
10	Paper 10: Schönhage	Bipartite Carrier Compression in Schönhage Trilinear Multiplication Tensors (v2)	10.5281/zenodo.23232541	10.5281/zenodo.23295370	arXiv:2610.14263 • 🤗 HF Paper • CrocSwap #226 (50d76881)	pCwOrM/integer-mult-bounds
11	Paper 11: Güneş Dili	Deterministic Morpho-Semantic Tokenization & Algebraic Morphotactics in Lean 4 (v1)	10.5281/zenodo.23003711	10.5281/zenodo.23003712	arXiv:submit/8248674 • Lean 4 (4 Theorems, 0 sorry) • Live Studio	pCwOrM/gunes-dili
12	Paper 12: Niemeier A₈³	Machine-Certified 24D Niemeier Lattice A₈³, K3 Hodge Duality & Umbral Moonshine (v1)	10.5281/zenodo.23324066	10.5281/zenodo.23324067	Lean 4 (0 sorry, 0 axioms) • χ(X) = 24 · order(G_glue) = 27 · ℓ = 9	pCwOrM/niemeier-a8-umbral-moonshine
13	Paper 13: GDT v3.0	Machine-Certified Lean 4 Formalization of the General Divisor Theorem (v2)	10.5281/zenodo.23316068	10.5281/zenodo.23425590	Lean 4 (81 Theorems, 0 sorry) • Companion v1: 10.5281/zenodo.23426323 (v1: 23426324)	pCwOrM/general-divisor-theorem
14	Paper 14: Elliptic Sieve	Multi-Layer Algebraic Sieve & Vélu Isogeny Engine: 230 Curves on NSF ICARM (v1)	10.5281/zenodo.23436282	10.5281/zenodo.23436283	NSF ICARM Leaderboard (user/114): 30x #1 Gold Records, 80 Top-3, 100% log N	pCwOrM/werr-elliptic-sieve
15	Paper 15: Empirical OEV	Empirical OEV & Liquidation Dynamics: Chainlink SVR on Base & Ethereum L1 (v2)	10.5281/zenodo.23623588	10.5281/zenodo.23642090	🤗 HF Dataset (1.16k+ views, 126 likes) • 94.4% Aggregate / 98.3% Median SVR Recapture	pCwOrM/werracle • pCwOrM/werrealm
HW	Edge Robotics Core	Zero-Memory Embedded C/C++11 System-1 Reflex Kernel (WerrCoreEdge.h v0.5.1)	10.5281/zenodo.22867425	10.5281/zenodo.22939253	ATmega328P / ESP32 / STM32 (0 Bytes Heap, <128B Stack, TR 2026/016633)	pCwOrM/WERRobotics

---

🏆 Global Records, Formal Proofs, Curated Awesome Merges & On-Chain Infrastructure

1. Certified Mathematical Records & Formal Verification (0 sorry)

• 🥇 NSF ICARM Elliptic Curve Rank Leaderboard (elliptic-rank.icarm.cloud/user/114): 230 certified high-rank elliptic curves (#4308–#4537) over $\mathbb{Q}$ with 100% complete prime conductor factorization ($\log N$) up to Rank $\ge 19$ (#4323), achieving 30 First-Place (#1 Gold) Records, 80 Podium (Top-3), and 418 Top-10 placements across 43 categories (building upon the foundational fibration families of Elkies, Dujella, Rubinstein, and Klagsbrun; supported under NSF Grant DMS-2425401).
• 🥇 Schönhage Trilinear Multiplication Tensor Bound (arXiv:2610.14263 • CrocSwap/integer-mult-bounds#226): Constructive 15-round bipartite carrier matching at dimensions $h=23, 25$ eliminating 185 carrier roles and 377,890 physical wires ($W = 177,284,805 \to 176,906,915$), certifying $\kappa = 826,215,307 / 20,000,000,000,000 \approx 4.131076535 \times 10^{-5}$ ($1.377\times$ net gain over PR #49), formally incorporated into CrocSwap/integer-mult-bounds (commit 50d76881) and verified in Lean 4 (0 sorry).
• 📐 170+ Machine-Checked Theorems in Lean 4 (0 sorry, 0 unproven axioms):
  • General Divisor Theorem (GDT v3.0): 81 theorems/lemmas (0 sorry) formalizing Dan Hawkley's residue density framework (10.5281/zenodo.23316068).
  • Computational Group Theory (gap-lean4-port): 35 theorems (0 sorry) formalizing Charles Sims' Schreier-Sims stabilizer chains (GAP-0299), backtrack ordered partitions (GAP-0332), and modular ring inverses (GAP-0331) (arXiv:2609.38492).
  • Procedural Boundary Synthesis & EVM/Cairo Fixed-Point Bounds: 40+10 theorems (WerracleProof.lean, 0 sorry) verifying ZMod 9 ($\mathbb{Z}/9\mathbb{Z}$) principal ideal closure ($\mathcal{I}_3 = {0,3,6}$), Q16.16 overflow safety, and unitary Page curve S-matrix conservation (arXiv:2609.33066).
  • 24D Niemeier Lattice $A_8^3$, WerreduR & Güneş Dili: Complete formal specifications (0 sorry) across lattice unimodularity ($\chi=24, \ell=9$), horizon complementarity ($B(t)+S(t)=1$), and deterministic morphological parsing.

2. Curated Ecosystem Recognitions & Benchmark Evaluations

• Merged Upstream Pull Requests:
  • ✅ wbierbower/awesome-physics#16: Featured in Quantum Physics for unitary Black Hole Page Curve simulation.
  • ✅ 34j/best-of-lean4#292: Indexed in the curated Best of Lean 4 theorem proving directory.
  • ✅ yh-yao/awesome-edge-ai-agents#13 & #16: Featured for both werr / answerr and WerreduR edge reflex engines.
  • ✅ MartinuzziFrancesco/awesome-scientific-machine-learning#9 & #10: Featured under Model Discovery.
  • ✅ meta-introspector/lean-workers-union#2: Registered verified member (gap-lean4-port).
  • ✅ Jev Ecosystem & Agentic Benchmarks: Listed on awesome-jev#69 / madewithjev; 100% (49/49) on WindTunnel WebMCP (3.35 ms, 0 VRAM); 100% Tool Schema Adherence (0.38 ms) on Sierra Tau-Bench; 23.74 on JevBench v1.4.1 (7.32 ms); 38.0× speedup on Jevenator 2.

3. Sovereign On-Chain Deployments (Werrium / $WERR), Multi-Chain Testnets & Grant Pipelines

• 💎 Base L2 Mainnet (Chain ID: 8453) — Live & BaseScan Verified:
  • Werrium ($WERR) Token Contract: 0xFfa2c95b68B76af00FBD84295cBA5e5268a996d2 (Fixed 1,000,000,000 supply, No-Mint, EIP-2612 Gasless Permit, burnForATP metabolic compute quota & burnForReflex on-chain decision sealing • Optimism Superchain Token List PR #1391).
  • Gnosis Safe 2/3 Multisig Treasury: 0x7CC5fd367e210F4678Bcfca054cbe0F87291E355 (949,501,000 WERR locked).
  • WerrTreasuryTimelock (Vesting & Cliff): 0x839A6d7E726D60EA2B587e793aE36342297e8C63 (40,000,000 WERR locked).
  • Aerodrome Finance DEX Liquidity Pools (Base Mainnet): vAMM-WERR/USDC & vAMM-WERR/WETH.
• 🌐 Multi-Chain Testnets & Grant Tracks:
  • Starknet Foundation Seed Grant (In Screening): Cairo 2.x / Sierra WerracleTripodZMod9 (single felt252 seed, ~1,420 Cairo steps, Ekubo v2 LVR extension).
  • Ethereum Sepolia Testnet (Chain ID: 11155111): Werrium ($WERR) at 0xe6ecc9575B4D52642c55FCf64E8E2d3baa6e6EF7 & Werracle live liquidation arbitrage telemetry.
  • NEAR Aurora Testnet (Chain ID: 1313161555) & Bare-Metal EVM Node (Chain ID: 4242): Live Werracle.sol & WerracleFeeHook.sol deployments (radar.werracle.com).
  • Active Research Proposals: Flashbots MEV Research (FRP #205 & PR #206), Morpho DAO (MIP-81 OEV Observatory), Uniswap v4 / Unichain Hook Grants.

---

⚖️ License & Intellectual Property

• Open-Science, Educational & Evaluation Use: The Licensed Work is free to run, inspect, benchmark, test, fork, and replicate for all non-commercial academic research and personal evaluations under the Business Source License 1.1 (BSL 1.1).
• Commercial Operations & Production Licensing: Any commercial production use, hosted SaaS deployment, or proprietary redistribution requires a commercial license from the Licensor:
  • Licensor: ITOUCH BİLİŞİM SİSTEMLERİ MÜHENDİSLİK DANIŞMANLIK SANAYİ VE TİCARET LİMİTED ŞİRKETİ (ITouch Systems · Cukurova University Science Park, Adana, Türkiye).
  • Scientific Co-Authors & Inventors: Volkan Dağlı (Anadolu University), Dr. Zerrin Dağlı (Mersin University — Academic Advisor, Co-Author & Co-Inventor), Dağhan Dağlı (Toros University — Co-Author & Co-Inventor).
  • Chain of Title & Assignment: The scientific co-authors have irrevocably assigned administrative and IP management authority to Volkan Dağlı, who has transferred exclusive global commercial licensing and operational rights to ITouch Systems.
  • Trademarks: WERR™, Werracle™, answerr™, and WerrSoma™ are trademarks owned exclusively by ITouch Systems.
  • Patent Applications: TÜRKPATENT TR 2026/016285 & TR 2026/016633.
  • Inquiries: contact@werracle.com · ask@answerr.me

---

_{Developed by ITouch Systems · Cukurova University Science Park, Adana, Turkey
Copyright © 2026 ITouch Bilişim Sistemleri Ltd. Şti. All rights reserved.}