converge_optimization/gate/mod.rs
1//! Solver Gate Architecture
2//!
3//! This module provides types for treating optimization as a governed,
4//! deterministic gate in enterprise workflows.
5//!
6//! ## Core Concepts
7//!
8//! - **ProblemSpec**: Immutable input with tenant scope, budgets, and provenance
9//! - **ProposedPlan**: Output plan with confidence scoring and trace links
10//! - **SolverReport**: Detailed solver execution report for audit
11//! - **PromotionGate**: Decision framework for plan approval
12//!
13//! ## Flow
14//!
15//! ```text
16//! ProblemSpec → ProposedPlan → SolverReport → PromotionGate
17//! ```
18//!
19//! ## Example
20//!
21//! ```rust,ignore
22//! use converge_optimization::gate::*;
23//!
24//! let spec = ProblemSpec::builder("prob-001", "tenant-abc")
25//! .objective(ObjectiveSpec::minimize("cost"))
26//! .budgets(SolveBudgets::with_time_limit(30))
27//! .build()?;
28//! ```
29
30pub mod budgets;
31pub mod constraints;
32pub mod decision;
33pub mod determinism;
34pub mod provenance;
35pub mod report;
36pub mod types;
37
38pub use budgets::*;
39pub use constraints::*;
40pub use decision::*;
41pub use determinism::*;
42pub use provenance::*;
43pub use report::*;
44pub use types::*;