Invariant: Semantic Code Analysis & Goal Alignment

Neuro-symbolic reasoning extracts structural facts from code, query for patterns with deterministic Prolog rules to verify that code change goal alignment.