Stefan Jaud

Quite a summary! :) A lot to unpack, I'll try my best - I may have missed something. > you get duplication of data This is of course sub-optimal. However,...

We're moving to the new repository: https://github.com/bSI-InfraRoom/IFC-infra-unit-test Please open a new pull request there and close this one.

1. This is (near) impossible to review. For example, the [commit](https://github.com/buildingSMART/IFC4.3.x-development/commit/4999ab3bbab5d8ef9b68ef5a21c2d55984c2ffc4) has *1 changed file with 2,969 additions and 2,948 deletions*, while the commit message implies a very minuscule change...

> I've updated the schema @aothms Thank you for an update. I notice that the compared express serializations of the schema are from 2022/09/13 and 2022/09/30:  while there has...

This would probably also resolve #9. I'm glad to help test the final solution.

Counterproposal: expand the where rule to account for the type-level name.

@janbrouwer +1 from me!

Right, enabling this in IDE recognises the schema:  Now, the type `https://standards.buildingsmart.org/IFC/RELEASE/IFC4/Add2TC1:IfcUnit` is not declared, which is peculiar. Investigating further.

As it stands today, the IFC schema referenced has a problem and is not serializable as well. Investigating further with @SergejMuhic and @apinzenoehler .

My vote goes for > Make IfcSpiral.Position non-optional in the context of IfcCurveSegment I believe your proposal is almost complete, only missing parenthesis (looking at example of `CorrectTypeAssigned`): WHERE PositionOnSpiralExists:...