Module validation 

Semantic validation for Lemma specs

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

Structs

RuleEntryForBindingCheck

Rule data needed to validate spec interfaces (inference snapshot before apply).

Functions

collect_bare_registry_refs

Validate that a registry spec (from_registry == true) does not contain bare (non-@) references. The registry is responsible for rewriting all spec references to use @-prefixed names before serving the bundle.

validate_spec_interfaces

Validate that every spec-ref fact path’s referenced spec has the required rules and that each such rule’s result type satisfies what the referencing rules expect.

validate_type_specifications

Validate that TypeSpecification constraints are internally consistent