correx/docs/index.md

name, description, depth, links

name	description	depth	links
Correx Documentation	Home of the Correx deterministic LLM orchestration runtime	1	./architecture/overview.md ./design/spec-v0.1.md ./decisions/adr-0000-invariants.md ./modules/core-module-spec.md ./epics/epics.md

Correx Documentation

Correx is a local‑first, event‑sourced orchestration kernel for structured LLM workflows.
It wraps probabilistic language models in a deterministic shell: models propose, the harness validates, approves, and records everything as an immutable event log.

Navigate by Section

Architecture

• System Overview
• Event Model
• Replay Model
• Context Layers
• Security Boundaries

Design Sketches

• Spec v0.1
• Design Document v0.1
• Missing Pieces & Language/Stack
• Potential Future Semantic Rules
• Project Structure

Architecture Decision Records

• ADR‑0000: Invariants
• ADR‑0001: Event Sourcing
• ADR‑0002: Kotlin Choice
• ADR‑0003: Compression Strategy
• ADR‑0004: Approval Tier Design
• ADR‑0005: Persistence Choice
• ADR‑0006: Event Store Append‑Only
• ADR‑0007: Projection & Replay Determinism
• ADR‑0008: Contract Testing Enforcement
• ADR‑0009: Replay Engine & Projection Separation

Module Specifications

• Core Module (overview)
• Events (:core:events)
• Sessions (:core:sessions)
• Transitions (:core:transitions)
• Validation (:core:validation)
• Approvals (:core:approvals)
• Artifacts (:core:artifacts)
• Context (:core:context)
• Tools (:core:tools)
• Inference (:core:inference)
• Orchestration (:core:orchestration)
• Module Organisation Guide

Epics (Build Plan & Resolutions)

• Epic Overview & Ordering
• Epic 1: Event System
• Epic 1 Resolution
• Epic 1.5: Store Hardening
• Epic 1.5 Resolution
• Epic 2: Session Lifecycle
• Epic 2 Resolution
• Epic 3: Transition Engine
• Epic 3 Resolution
• Epic 4: Validation Pipeline
• Epic 4 Resolution

---

Every .md file in this documentation carries YAML front‑matter with a name, description, depth, and explicit links for machine‑readable navigation.