Skip to content

fix(ids): complete conformance and preserve XML constraints - #856

Draft
rihokirss wants to merge 11 commits into
ThatOpen:mainfrom
rihokirss:codex/ids-integration
Draft

rihokirss wants to merge 11 commits into
ThatOpen:mainfrom
rihokirss:codex/ids-integration

Conversation

@rihokirss

Copy link
Copy Markdown
Contributor

Completes the remaining IDS 1.0 conformance cases: IFC2X3 occurrence/type mapping, material inheritance and cardinality, SI conversion for explicit and project units, predefined and material properties, numeric equality tolerance, and combined XSD restrictions. XML import preserves lexical strings; export preserves constraints and descriptions. Specification results expose applicable item identities and keep requirement checks in document order.

This is an integration branch depending on the existing work in #814, #816, #822 and #852, and on #853, #854 and #855. Their commits are included unchanged; the new changes extend them. The upstream implementations are reused rather than reimplemented in a consumer adapter. The dependency commits can be dropped as their respective PRs merge.

Validation:

  • All 307 unchanged public buildingSMART IDS/IFC cases pass, both before and after XML export/reimport.
  • The complete IDS suite passes: 442 tests when running against the full external corpus; 337 tests using the vendored corpus and the sibling facet fixtures.
  • Core TypeScript compilation, ESLint for IDS sources, and the core production build pass.
  • No private project models are included.

The existing property applicability regression now also asserts the type object's own property set. An attribute-only applicability can select a type object as well as its instances, as required by the general IDS facet semantics.

helenkwok and others added 10 commits November 7, 2026 20:50
… export

The cardinality of a specification is set by minOccurs and maxOccurs on its applicability: required is 1 and unbounded, optional is 0 and unbounded, prohibited is 0 and 0. They were ignored on load and always written as 1 and unbounded on export, so an optional or prohibited specification came back required.

Read both on load into IDSSpecification.minOccurs and maxOccurs (default 1 and unbounded) and write them back on export.
…verdict

A required specification fails when too few elements are applicable, a prohibited one fails when any is, and an optional one may pass with none (IDS developer guide, Optionality). The requirements of a prohibited specification are ignored. The existing test() is unchanged.

verify() returns the verdict, the number of applicable elements and the same per-element result as test().
@rihokirss
rihokirss marked this pull request as draft November 7, 2026 19:21

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants