# ifc-model traverse plan
Status: planned under `MODEL-TRV`. Last updated: 2026-08-19.
Follow `AGENTS.md`; claim one task and record blockers/decisions beneath it.
## Work queue
- [ ] `TRV-BUDGET` - common limits/report contract
- Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `TRV-DFS` - deterministic depth-first traversal
- Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `TRV-BFS` - deterministic breadth-first traversal
- Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `TRV-CYCLE` - cycle/path diagnostics
- Proof: unit/property/adversarial tests plus crate clippy.
## Completion log
Append `TASK-ID - proof - material decision`; no long logs.