Module structure 

Structural conformance: references, slots, cardinality, uniqueness.

Internals

• reference: dangling and wrong-kind references
• required: required/derived slot presence and record arity
• cardinality: scalar-vs-aggregate shape
• unique: duplicate GlobalIds

Functions

aggregate_shape

Reports scalar/aggregate shape mismatches against the schema.

check

Every structural check, in a fixed order.

dangling_references

Reports every reference whose target the model does not contain.

duplicate_global_ids

Reports every GlobalId held by more than one entity.

required_attributes

Reports required attributes stated as $, and slot-count mismatches.

wrong_kind_references

Reports references whose target is not of the declared entity type.