suture-core 0.10.0

A patch-based version control system with semantic merge and format-aware drivers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

//! Patch Algebra — the mathematical heart of Suture.
//!
//! This module implements the core patch theory:
//! - **Patches** as typed operations with touch sets
//! - **Commutativity** detection based on disjoint touch sets
//! - **Merge** computation via set-union of independent patches
//! - **Conflict** detection and first-class conflict nodes
//!
//! # Formal Foundation
//!
//! See YP-ALGEBRA-PATCH-001 for the mathematical proofs:
//! - THM-COMM-001: Disjoint touch sets imply commutativity
//! - THM-MERGE-001: Merging produces a deterministic, unique result
//! - THM-CONF-001: Conflict nodes preserve all information from both branches

#[doc(hidden)]
pub(crate) mod commute;
#[doc(hidden)]
pub(crate) mod compose;
pub mod conflict;
pub mod merge;
pub mod types;

pub use commute::{CommuteResult, commute};
pub use compose::{ComposeError, ComposeResult, compose, compose_chain};
pub use conflict::{Conflict, ConflictClass, ConflictNode};
pub use merge::{MergeError, MergeResult, merge};
pub use types::{Operation, OperationType, Patch, PatchId, TouchSet};