# ifc-properties pset plan
Status: planned under `PROP-PSET`. Last updated: 2026-08-19.
Follow `AGENTS.md`; claim one task and record blockers/decisions beneath it.
## Work queue
- [ ] `PSET-SET` - property set and assignment views
- Proof: view/invalid/cycle tests plus crate clippy.
- [ ] `PSET-SCALAR` - single/bounded/enumerated values
- Proof: view/invalid/cycle tests plus crate clippy.
- [ ] `PSET-AGG` - list/table values
- Proof: view/invalid/cycle tests plus crate clippy.
- [ ] `PSET-REF` - reference/object values
- Proof: view/invalid/cycle tests plus crate clippy.
- [ ] `PSET-COMPLEX` - nested properties with cycle budgets
- Proof: view/invalid/cycle tests plus crate clippy.
## Completion log
Append `TASK-ID - proof - material decision`; no long logs.