OptionalincludeWhether per-entity results for PASSING entities are retained in the report (default true). Disable for summary/failure-focused flows on large models — pass/fail counts stay correct either way.
OptionallocaleLocale for human-readable messages
OptionalmodelModel info for spec applicability checks. Mirrors the shape
@ifc-lite/ids's IDSModelInfo expects (modelId, schemaVersion,
entityCount) without importing that type, keeping this namespace
decoupled from @ifc-lite/ids at compile time (see the summary type
above). All fields are optional here — the validator is called with
options.modelInfo ?? {}, so a caller may supply only what it knows.
OptionalonProgress callback
IFC data accessor — maps IFC model data for validation