Module header 

Header well-formedness and the schema a file declares.

What survives to here, and what does not

ifc_model::header::Header is normalized: it holds a description list, an author list, a schema token list. A STEP FILE_NAME entry with too many parameters, or with an integer where a string belongs, is a syntax defect – the codec either recovers from it or fails, and by the time a Model exists the original arity is gone.

So this module deliberately does not attempt to re-derive header arity errors. It checks what the normalized header can still answer:

• is a schema declared at all, and is it one this build can validate?
• is the implementation level the Part 21 value?

A caller that needs header syntax diagnostics wants them from the codec’s own diagnostic channel, which sees the file. Claiming to check them here would report “clean” for a file this crate never actually inspected.

Functions

check

Check the declared schema and implementation level.

declared_version

The schema version a model declares, if this build recognizes it.