Welcome to the comprehensive documentation for Techstack Enforcer - a formally verified technology stack enforcement system.
- Quick Start Guide - Installation and first steps
- Installation Guide - Detailed installation options
- CLI Reference - Complete command-line reference
- TUI Guide - Terminal user interface guide
- Definition Sets - Pre-configured filter collections
- Configuration - TOML configuration reference
- CI/CD Integration - GitLab CI and GitHub Actions
- Git Hooks - Pre-commit, pre-push, commit-msg hooks
- API & JSON Format - JSON input/output specification
- Architecture - System design and components
- Ada/SPARK Guide - Development with Ada/SPARK
- Contributing - Contribution guidelines
- Building from Source - Build instructions
- Filter Patterns - Glob pattern syntax
- Block Levels - Allow, Warn, Block, Fatal
- Enforcement Modes - Learning, Warn, Enforce, Lockdown
- Philosophy - Design principles and rationale