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

# ifc-validate where_rule plan

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

## Work queue

- [ ] `WHERE-REG` - stable support-state registry
  - Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `WHERE-ENGINE` - bounded rule invocation
  - Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `WHERE-BUILTIN` - implement high-value generic rules
  - Proof: unit/property/adversarial tests plus crate clippy.
- [ ] `WHERE-REPORT` - unsupported and evaluation-error findings
  - Proof: unit/property/adversarial tests plus crate clippy.

## Completion log

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