Fact-grounded contradiction detection over LLM outputs.
Scan the product manifest — ontology types, functions, actions, policies, and dataset shells.