Engineering Compiler

The Compiler Semantic Engine converts syntactically valid BDL structures into formally resolved engineering meaning.

Its responsibilities shall include:

declaration interpretation;

identity resolution;

namespace resolution;

reference binding;

type checking;

unit interpretation;

quantity validation;

coordinate-context assignment;

relationship construction;

inheritance and composition processing;

semantic constraint enforcement;

incomplete and unknown value classification;

generation of the Abstract Semantic Model.

The Semantic Engine shall determine what each source statement means within its declared language version, schema, module, namespace, profile context, and compilation boundary.

It shall distinguish objects that appear similar in source form but have different semantic roles, including:

type definitions and physical instances;

requirements and offered capabilities;

design intent and observed condition;

generic components and certified products;

proposed states and active states;

references and ownership relationships;

values and permitted ranges;

unknown values and intentionally optional values.

References shall be resolved to stable identities. Textual similarity, graphical proximity, or matching display names shall not be sufficient for safety-significant reference resolution.

The Semantic Engine shall detect unresolved symbols, ambiguous references, type conflicts, invalid compositions, unit incompatibility, illegal overrides, undefined coordinate contexts, and inconsistent declarations.

Semantic normalization shall preserve provenance. The engine shall record which declarations, defaults, profiles, transformations, or inference procedures contributed to every resolved property.

The Semantic Engine establishes coherent formal meaning but does not by itself establish that the resulting building configuration is structurally safe, manufacturable, constructible, certifiable, or legally compliant. Those evaluations belong to the Engineering Engine and authorized review processes.