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
• bounds: aggregate bounds, nesting and element uniqueness
• unique: the release’s UNIQUE clauses

Functions

aggregate_bounds

Reports aggregate values outside their declared bounds, nesting or uniqueness.

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.

required_attributes

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

unique_rules

Reports every instance that repeats another’s values for a UNIQUE clause of the declared release.

wrong_kind_references

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