# Supported IFC subset

首版识别 `IFCPROJECT`、`IFCSITE`、`IFCBUILDING`、`IFCBUILDINGSTOREY`、`IFCSPACE`、`IFCWALL`、`IFCDOOR`、`IFCWINDOW`、`IFCRELAGGREGATES`、`IFCRELCONTAINEDINSPATIALSTRUCTURE` 和 `IFCRELDEFINESBYPROPERTIES`。未知类型会保留为实体，但当前不会单独产生类型 warning。完整 EXPRESS 类型系统、几何解析、压缩 IFC 和三维渲染不在首版范围内。

`ifc_entities` 将上述类型分为项目、空间、构件和关系四类；其他类型归为 `Unsupported`，仍保留其原始属性和引用。只对已识别类型从第一个字符串属性提取 `GlobalId`，不会把后续的名称误认为标识符。嵌套聚合中的实体引用按首次出现顺序去重。

`relation_map` 为实体编号、类型和双向引用建立索引；`children_of`/`parent_of` 只解释标准六属性形态的 `IFCRELAGGREGATES` 与 `IFCRELCONTAINEDINSPATIALSTRUCTURE`。子实体按关系出现顺序去重；若同一实体被多个关系指定父级，`parent_of` 返回首次出现的父级。悬空引用仍保留在查询结果中，交由后续审计规则报告。

`report_view.spatial_tree` 与 CLI 的 `--spatial-tree` 按这些已索引的关系生成缩进空间树，不从普通属性引用推断层级。每个实际节点最多展开一次；循环边、共享子节点和缺失引用显示标记，无根的循环分量仍会输出。参与层级的未知实体保留，独立未知实体和关系记录不作为树根。该视图保留所有已索引的子边，第二次遇到同一个子节点时显示 `[already shown]`，不把多父关系自动修正为合法 IFC 结构。

## 当前审计规则

`model_rules.audit` 当前按固定顺序运行以下规则：

- `REF001`：对不存在的引用目标生成 `Error`，记录来源实体编号、类型、实体起始行列位置、缺失目标编号、说明和修复建议。未知实体类型也参与引用检查。
- `GID001`：对重复的非空 `GlobalId` 生成 `Error`。首次出现的实体作为原始占用者，后续实体各产生一条结果，`target_id` 指向原始占用者。比较区分大小写；缺失、空字符串及未支持实体的首个字符串属性不参与检查。
- `SPAT001`：对 `IFCWALL`、`IFCDOOR` 和 `IFCWINDOW` 检查已索引的父级链中是否存在空间实体；找不到时生成 `Warning`。悬空父级由 `REF001` 报告，避免重复发现。该规则沿用 `parent_of` 的首次父级策略，不能据此完成所有 IFC 空间语义校验。

同一来源实体对同一目标的重复引用只报告一次；不同来源实体分别报告。结果按实体源文件顺序、引用首次出现顺序排列。合法的前向引用、自引用和循环引用不会触发本规则。统计中的引用数量指去重后的来源实体与目标编号组合数，而非文本中的出现次数。

规则只检查关系图中保留的实体，不合并 STEP 解析错误，也不检查根实体或其他 IFC 语义。结果按 `REF001`、`GID001`、`SPAT001` 的规则顺序排列，每条规则内部按源文件顺序稳定输出。结果位置指来源实体的起始位置，并非具体属性符号的位置。

## 跨文件联合检查

`model_federation.audit` 接受多个带来源名称的实体集合，仅对不同输入文件间重复的非空构件 `GlobalId` 生成 `FED001` warning。当前范围仅包含已识别的 `IFCWALL`、`IFCDOOR` 和 `IFCWINDOW`；项目、空间结构及关系实体不会作为跨文件构件冲突候选。报告保留首次出现与后续出现两侧的文件名、实体编号、实体类型和源位置；相同文件内的重复值仍由单文件 `GID001` 处理。输入文件顺序和实体顺序决定稳定的首次占用者及结果顺序。比较区分大小写；未知类型不会提取 `GlobalId`。该发现提示复核，不自动断定同一 GlobalId 的记录必然是无效重复。

CLI 用法为 `--federation [--text|--json] MODEL1.ifc MODEL2.ifc [...]`。该模式只报告跨文件 GlobalId 冲突，不替代对每个文件运行 `audit`；读取失败或 STEP 解析诊断仍以退出码 `2` 标示。