Pre-evaluation structural validation. Checks conclusion presence, variable-to-symbol consistency, symbol-to-variable uniqueness, and delegates to per-premise evaluability checks.
Pre-evaluation structural validation. Checks conclusion presence, variable-to-symbol consistency, symbol-to-variable uniqueness, and delegates to per-premise evaluability checks.