Logicaffeine Documentation

API documentation for the Logicaffeine workspace — the LOGOS English programming language, its logic pipeline, proof engines, execution tiers, and platform crates.

Crates

• logicaffeine_language — Natural language to first-order logic pipeline
• logicaffeine_compile — LOGOS compilation pipeline - codegen and interpreter
• logicaffeine_proof — Backward-chaining proof engine (certified SAT/CDCL, tactics, Socratic hints) plus the number-theory / cryptanalysis substrate (factoring, isogeny, lattice, order-finding)
• logicaffeine_kernel — Pure Calculus of Constructions type theory - NO LEXICON
• logicaffeine_verify — Z3-based static verification for Logicaffeine (requires Pro+ license)
• logicaffeine_tv — SMT translation validation: prove emitted Rust is observationally equivalent to LOGOS source
• logicaffeine_lexicon — English vocabulary types and compile-time lexicon lookup for logicaffeine
• logicaffeine_base — Tier-0 foundation for logicaffeine: arena, interner, spans, the exact numeric/quantity/money/time/UUID value-type tower, and the shared MD5/SHA-1 hash oracle
• logicaffeine_data — WASM-safe data structures and CRDTs - NO IO
• logicaffeine_system — Platform IO, networking, persistence, and post-quantum crypto kernels (Keccak/SHA-3, ChaCha20-Poly1305, ML-KEM, ML-DSA) for LOGOS
• logicaffeine_runtime — Deterministic concurrency runtime (scheduler, channels, seed/trace) for the Logicaffeine interpreter and VM. Pure, WASM-safe, tokio-free — never linked into AOT-compiled binaries.
• logicaffeine_forge — Copy-and-patch JIT for LOGOS — executable-memory layer and stencil runtime (native only).
• logicaffeine_jit — The LOGOS native tier — wires the copy-and-patch forge JIT into the bytecode VM (native only).
• logicaffeine_lsp — Language Server Protocol implementation for LOGOS (the logicaffeine language)
• logicaffeine_cli — largo — the LOGOS build tool: new/init/build/run/check/verify/publish for logicaffeine projects
• logicaffeine_web — Web-based IDE for logicaffeine — Studio, Learn Logic, Syntax Guide, and Benchmarks (Dioxus/WASM)