mkdocs.yml

site_name: LiDMaS+
site_description: Logical Injection & Decoding Modeling System
site_url: https://gottesman-software.github.io/lidmas_cpp/
repo_url: https://github.com/Gottesman-Software/lidmas_cpp
repo_name: Gottesman-Software/lidmas_cpp
docs_dir: docs

theme:
  name: readthedocs

markdown_extensions:
  - toc:
      permalink: true
  - admonition
  - tables
  - fenced_code
  - pymdownx.arithmatex:
      generic: true

extra_javascript:
  - https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
  - javascripts/mathjax.js

nav:
  - Home: index.md
  - Technical Dossier:
      - Overview & TOC: technical/index.md
      - System Overview: technical/system-overview.md
      - Software Architecture: technical/software-architecture.md
      - Formal Problem Definition: technical/formal-problem-definition.md
      - Mathematical Foundations: technical/mathematical-foundations.md
      - Exact Methods & Proof Obligations: technical/exact-methods-and-proofs.md
      - Algorithm Specification: technical/algorithm-specification.md
      - Math-to-Code Traceability: technical/math-to-code-traceability.md
      - Script Source Catalog: technical/script-source-catalog.md
      - Validation & Reproducibility: technical/validation-and-reproducibility.md
      - Results, Risks, and Limits: technical/results-risks-limits.md
      - Appendices: technical/appendices.md
  - User Guides:
      - Getting Started: getting-started.md
      - Developer Guide: developer-guide.md
      - CLI Reference: cli-reference.md
      - Examples & Workflows: examples-workflows.md
      - Hardware Integration: hardware-integration.md
      - Architecture (Legacy): architecture.md
  - Math Notes (Detailed): lidmas-math-lecture.md
  - Reproducibility & Citation: reproducibility-citation.md
  - Releases:
      - v1.2.0-rc.2: releases/v1.2.0-rc.2.md
      - v1.2.0-rc.1: releases/v1.2.0-rc.1.md
  - Docs Tooling: readthedocs-setup.md