Module diff 

Semantic diff between ontology catalogs.

Structs

AnnotationChange

AxiomChange

BreakingChange

DiffResult

DiffSummaryCounts

EntityChange

GitDiffSpec

ImportChange

InferenceChange

Enums

BreakingReason

EntityChangeKind

Functions

apply_unsat_diff

Merge unsatisfiability sets into inference + breaking sections.

catalog_at_git_ref

diff_catalogs

diff_directories

diff_git_refs

format_diff_json

format_diff_markdown

format_diff_text

parse_git_range

Parse main..feature, main...feature (merge-base), or single ref vs WORKTREE.