# Requirements: v1.19 Formal-Theory Audit Boundary Extraction And Closure

## Shipped requirements

- **MTN-16**: The shared formal-theory audit lifecycle has left
  `aitp_service.py` for a dedicated support boundary.
- **DOC-19**: Docs, targeted formal-theory regressions, and maintainability
  budgets now lock the extracted formal-theory audit boundary.
