# agenticraft_foundation.verification.counterexamples

Structured counterexample generation for refinement and equivalence failures.

Given a raw counterexample trace from refinement or equivalence checking, this module
walks through both LTS step-by-step, identifies the exact divergence point, and
produces human-readable explanations.

::: agenticraft_foundation.verification.counterexamples
    options:
      show_root_heading: false
      members_order: source
