# Invariant Documentation Operations

- **Actor:** Developer
- **Trigger:** A new invariant is identified or an existing constraint changes.
- **Emits:** —

## Add Invariant Documentation

1. Assign the next available ID (check `readme.md` Overview Table for current highest ID, increment by 1)
2. Create `NNN_{snake_case_name}.md` in this directory
3. Register in `readme.md` Overview Table: add row with ID, Name, File link, Status

## Update Invariant Documentation

1. Edit the target `NNN_*.md` file
2. If name or purpose changed: update `readme.md` Overview Table row

## Example

Adding invariant document `006_quota_always_checked`:

1. Check `readme.md` Overview Table — current highest ID is `005`
2. Create `006_quota_always_checked.md` in this directory
3. Add row: `| 006 | Invariant Name | [006_quota_always_checked.md](006_quota_always_checked.md) | Active |`
