Expand description
Semantic diff between ontology catalogs and Git refs.
Structs§
- Annotation
Change - Axiom
Change - Breaking
Change - Diff
Result - Diff
Summary Counts - Entity
Change - GitDiff
Spec - Import
Change - Inference
Change
Enums§
Functions§
- apply_
unsat_ diff - Merge unsatisfiability sets into inference + breaking sections.
- catalog_
at_ git_ ref - catalog_
at_ worktree - Build catalog from git-tracked ontology files in the working tree (aligned with git-side diffs).
- 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_ text - parse_
git_ range - Parse
main..feature,main...feature(merge-base), or single ref vs WORKTREE.