# tests/docs/invariant

Invariant spec files for the `include_md` crate. Each file covers one `docs/invariant/` instance.

## Scope

- Path resolution invariant (`invariant/001`) — IN-1..2
- Compile-time errors invariant (`invariant/002`) — IN-1..3
- Size limit invariant (`invariant/003`) — IN-1..3
- Section extraction rules invariant (`invariant/004`) — IN-1..3

## Overview Table

| Name | Purpose | Status |
|------|---------|--------|
| `001_path_resolution.md` | `invariant` spec for `path_resolution` | ✅ |
| `002_compile_time_errors.md` | `invariant` spec for `compile_time_errors` | ✅ |
| `003_size_limit.md` | `invariant` spec for `size_limit` | ✅ |
| `004_section_extraction_rules.md` | `invariant` spec for `section_extraction_rules` | ✅ |
