Crate ontocore_diff

Expand description

Semantic diff between ontology catalogs and Git refs.

Structs§

apply_unsat_diff: Merge unsatisfiability sets into inference + breaking sections.
catalog_at_git_ref
catalog_at_worktree: Build catalog from ontology files in the working tree: git-indexed paths plus untracked workspace files (respecting path jail and scan limits).
diff_catalogs
diff_directories
diff_git_refs
diff_git_refs_with_catalogs: Like diff_git_refs, but also returns the left and right catalogs used for the diff.
discover_repo_root
format_diff_json
format_diff_markdown
format_diff_pr_summary
format_diff_text
is_indexed_catalog_ref: Indexed in-memory catalog (LSP last index). Legacy alias: WORKSPACE.
is_worktree_ref: Filesystem / git worktree catalog (uncommitted or working tree snapshot).
parse_git_range: Parse main..feature, main...feature (merge-base), or single ref vs WORKTREE.