Module validation 

Semantic validation for Lemma documents

Validates document structure and type declarations to catch errors early with clear messages.

Structs

RuleEntryForBindingCheck

Rule data needed to validate document interfaces (avoids validation depending on graph).

Functions

validate_document_interfaces

Validate that every doc-ref fact path’s referenced document has the required rules and that each such rule’s result type satisfies what the referencing rules expect. Type errors are reported at the binding fact’s source when a binding changed the doc ref.

validate_type_specifications

Validate that TypeSpecification constraints are internally consistent