Module components 

Reusable UI components.

This module contains all Dioxus components used throughout the application. Components are organized by function:

Navigation

• app_navbar - Top navigation bar for app pages
• main_nav - Main site navigation with links

Learning Interface

• learn_sidebar - Curriculum browser with era/module tree
• module_tabs - Tab bar for switching exercise modes
• socratic_guide - Hint display with progressive revelation
• vocab_reference - Lexicon term lookup
• symbol_dictionary - Logic symbol quick reference

Gamification

• xp_popup - XP gain notification
• combo_indicator - Combo multiplier display
• streak_display - Daily streak counter
• achievement_toast - Achievement unlock overlay

Studio (Playground)

• mode_toggle - Logic/Code/Math mode switcher
• file_browser - Virtual file system tree
• code_editor - Monaco-style code editing
• formula_editor - LaTeX formula input with preview
• repl_output - REPL history display
• proof_panel - Proof tactic interface

Output & Visualization

• logic_output - FOL expression display with formatting
• ast_tree - Interactive syntax tree visualization
• katex - LaTeX math rendering
• context_view - Proof context display

Form Elements

• input - Styled text input
• editor - Multi-line text editor
• chat - Chat message display

Modules

achievement_toast

Achievement unlock celebration overlay.

app_navbar

Application navigation bar component.

ast_tree

Interactive AST (Abstract Syntax Tree) visualization.

chat

Chat message display component.

code_editor

Syntax-highlighted code editor component.

combo_indicator

Combo streak indicator component.

context_view

Context view panel for Code mode.

debug_drawer

The Studio bottom debug drawer — an IDE-style debugger for imperative (Code-mode) LOGOS, driven by the zero-cost bytecode debugger in logicaffeine_compile::debug. A self-contained, additive panel: it docks below the editor/output and slides away on Stop, leaving the rest of the Studio untouched.

editor

Multi-line text editor component.

file_browser

File browser sidebar with tree navigation.

footer

Site-wide footer component.

formula_editor

LaTeX formula editor with live preview.

guide_code_block

Interactive code block component for the Programmer’s Guide.

guide_sidebar

Sidebar navigation component for the Programmer’s Guide.

icon

Centralized SVG icon component system.

input

Text input component for the REPL interface.

katex

KaTeX LaTeX rendering component.

learn_sidebar

Sidebar navigation component for the Learn/Curriculum page.

lexicon_gate

Gate component for content that draws exercise words from the lexicon.

logic_output

First-Order Logic output display component.

main_nav

Unified navigation component for consistent header across all pages.

mixed_text

Mixed text and LaTeX rendering component.

mode_selector

mode_toggle

Studio mode toggle component.

module_tabs

Module Tab Bar component for the integrated Learn page.

page_layout

Page layout wrapper component.

proof_panel

Proof panel for Logic mode.

repl_output

REPL output panel for Code mode.

socratic_guide

Socratic guide component for hints and feedback.

streak_display

Daily streak display component.

symbol_dictionary

Symbol Dictionary component for displaying FOL symbol meanings.

symbol_palette

Symbol palette for Math mode.

theme_picker

Compact theme selector component.

vocab_reference

Vocabulary Reference component

xp_popup

XP reward popup notification.