Crate urge_core 

urge-core

The no_std-compatible kernel of the Universal Reasoning Governance Engine.

Architecture

URGE implements a Unicode semantic dictionary and multi-logic processing architecture for modular reasoning systems. The core concept — the Figure 26 Adaptive Processing Workflow, named for the diagram in the original design document — is a deterministic pipeline:

Input
  │
  ▼
[Tokenizer]  ─── Unicode Semantic Dictionary ───► Operator symbols mapped to paradigms
  │
  ▼
[Paradigm Detector]  ──────────────────────────► Set of active LogicParadigms
  │
  ▼
[AST Builder]  ────────────────────────────────► Typed expression tree
  │
  ▼
[Engine Router / SWITCH]  ─────────────────────► Per-paradigm engine selected
  │
  ▼
[Cross-System Validator]  ─────────────────────► Contradiction detection
  │
  ▼
Verdict { valid, confidence, trace, formal_notation }

Each stage is fully auditable. Every routing and validation decision is captured in the LogicTrace, making the entire reasoning chain inspectable after the fact.

Deployment targets

Feature flags	Target
(none / heapless)	Bare-metal firmware, BIOS-like chip
alloc	RTOS, microkernel with allocator
std	Linux/macOS/Windows process

The alloc feature enables heap-allocated AST nodes. Without it, expression depth is bounded by the fixed-size heapless structures.

Re-exports

pub use ast::AstNode;

pub use ast::Expr;

pub use ast::Literal;

pub use decision::Confidence;

pub use decision::CrossValidation;

pub use decision::LogicTrace;

pub use decision::TraceEntry;

pub use decision::Verdict;

pub use engine::EngineError;

pub use engine::EngineId;

pub use engine::LogicEngine;

pub use engine::Paradigm;

pub use symbol::SemanticClass;

pub use symbol::Symbol;

pub use symbol::UnicodeSemanticDictionary;

Modules

ast

Abstract Syntax Tree for multi-paradigm logical expressions.

decision

Verdict and audit-trail types.

engine

Logic engine trait and paradigm enumeration.

symbol

Unicode Semantic Dictionary