# ifc-validate structure plan
Status: planned under `VAL-STRUCT`. Last updated: 2026-08-19.
Follow `AGENTS.md`; claim one task and record blockers/decisions beneath it.
## Work queue
- [ ] `VSTRUCT-REF` - dangling and wrong-kind references
- Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `VSTRUCT-CARD` - aggregate cardinality
- Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `VSTRUCT-REQ` - omitted/derived slot legality
- Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `VSTRUCT-UNIQ` - UNIQUE declarations
- Proof: unit/property/adversarial tests plus crate clippy.
## Completion log
Append `TASK-ID - proof - material decision`; no long logs.