Crate Documentation

Core LOGOS language implementation including AST, parser, and first-order logic transpiler.

Code generation and compilation from LOGOS to executable formats.

Language Server Protocol implementation for IDE integration with diagnostics, completion, and refactoring.

Runtime kernel for executing LOGOS programs with built-in inference.

Proof assistant and formal verification engine for logical reasoning.

Vocabulary database and lexical analysis for natural language parsing.

Shared base types, traits, and utilities used across all crates.

Data structures and persistent storage for programs and proofs.

System integration layer for platform-specific functionality.

Deterministic concurrency runtime — task scheduler, FIFO channels, Select, and seed/trace replay for the interpreter and VM.

Copy-and-patch JIT for LOGOS — executable-memory layer, stencil runtime, and register-allocating x86-64 backend (EXODIA).

Native execution tier — wires the copy-and-patch forge JIT to VM bytecode for hot functions and loop regions.

Z3-based static verification — BMC, k-induction, IC3, interpolation, equivalence, and SVA.

SMT translation validation — proves the emitted Rust is observationally equivalent to the LOGOS source on every compile.

Command-line interface for the LOGOS toolchain (largo).

Web frontend components built with Dioxus for the learning platform.