ifc-validate 0.2.0

Schema conformance: WHERE rules, cardinality, GUID and reference integrity.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

# ifc-validate type_check plan

Status: planned under `VAL-TYPE`. Last updated: 2026-08-19.
Follow `AGENTS.md`; claim one task and record blockers/decisions beneath it.

## Work queue

- [ ] `VTYPE-ENTITY` - entity/subtype references
  - Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `VTYPE-SELECT` - select membership
  - Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `VTYPE-DEF` - defined type chains
  - Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `VTYPE-ENUM` - enum/logical forms
  - Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `VTYPE-SCALAR` - integer/real/string/binary forms
  - Proof: unit/property/adversarial tests plus crate clippy.

## Completion log

Append `TASK-ID - proof - material decision`; no long logs.