Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
FerroTeX
Home
Architecture
Overview
Security Model
Specifications
LSP Contract
Math Verification
Formal Backends
Development
Setup
Troubleshooting
Research
ADRs
FAQ
Glossary
ADR 0001: Typed Event IR for TeX Logs
ADR 0002: Uncertainty as a First-Class Output
ADR 0003: Thin VS Code Extension, Thick Rust Server
ADR 0004: Streaming and Incremental Parsing as a Core Requirement
ADR 0005: Universal Build DAG & Content-Addressing
ADR 0006: Tectonic Stepping I/O Provider for DAP
ADR 0007: Multi-Platform VSIX and Binary Bundling
Architecture Deep-Dive: Tectonic I/O Interception
Baselines
Benchmarks and Performance Gates
Build Orchestration (latexmk reruns, biber/bibtex, makeindex)
CLI Specification (ferrotex-cli)
Compatibility Matrix (v1.0.0 Target)
Completion Data Sources
Completion Specification
Configuration Specification
Data Flow
Datasets
Debug Adapter Protocol (DAP) — Exploratory Specification
Diagnostic Codes
Diagnostic Mapping
Engine Adapters (Runner Interface)
Evaluation Plan (Research-Grade)
Export and Build Outputs Specification
Feature Matrix (v1.0.0)
FerroTeX Public API Reference
File Watching and Incremental Invalidation
Formatting Backend Strategy
Formatting Specification
Incremental Analysis Specification
Language Platform Specification
Log Event IR (Specification)
Log Grammar and Parsing Rules
Marketplace Overhaul Proposal (v0.16.0)
Performance SLOs
Project Model Specification
Provenance Model
Release Process
Reproducibility
Reversible Expansion Specification
Safe-TeX Sandbox Specification
Schema Versioning
Semantic Tokens Specification
Source IR (CST/AST + Index Export)
Symbol Index Specification
SyncTeX Workflow (Forward/Inverse Search)
Testing Strategy
TeX Path Resolution (kpathsea / TEXINPUTS)
Threats to Validity
Virtual File System (VFS) Specification
VS Code Extension Overview
Search FerroTeX
GitHub
Releases
Research
Research methodology, datasets, and evaluation for FerroTeX.