# ifc-properties quantity plan
Status: planned under `PROP-QTY, PROP-EDIT, PROP-CHECK`. Last updated: 2026-08-19.
Follow `AGENTS.md`; claim one task and record blockers/decisions beneath it.
## Work queue
- [ ] `QTY-SET` - element quantity and assignments
- Proof: view/invalid/cycle tests plus crate clippy.
- [ ] `QTY-SIMPLE` - length/area/volume/count/time/weight
- Proof: view/invalid/cycle tests plus crate clippy.
- [ ] `QTY-COMPLEX` - nested quantities
- Proof: view/invalid/cycle tests plus crate clippy.
- [ ] `QTY-VALID` - unit/dimension/formula diagnostics
- Proof: view/invalid/cycle tests plus crate clippy.
- [ ] `QTY-EDIT` - transactionally populate externally computed values
- Proof: view/invalid/cycle tests plus crate clippy.
- [ ] `QTY-COMPARE` - report authored versus supplied values without geometry dependency
- Proof: view/invalid/cycle tests plus crate clippy.
## Completion log
Append `TASK-ID - proof - material decision`; no long logs.