Expand description
§satellite-branch
Git-style constraint branching model.
Branches represent semantic constraint splits (e.g., XOR expansions, conditionals) rather than traditional CDCL decision tree branching.
Re-exports§
pub use branch::Branch;pub use branch::BranchId;pub use branch::BranchStatus;pub use lifecycle::BranchManager;