Data types for normalize rule evaluation.

This crate defines the Relations input facts and Diagnostic output type used by the fact rule engine. Rules run as interpreted .dl files via normalize-facts-rules-interpret; there is no dynamic library loading.

Architecture

normalize-facts (extraction) -> Relations (facts) -> Datalog engine -> Diagnostics

Facts are extracted from code by normalize-facts and passed to the Datalog engine. Each rule evaluates over these relations and produces Diagnostics.