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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
//! Solver Gate Architecture
//!
//! This module provides types for treating optimization as a governed,
//! deterministic gate in enterprise workflows.
//!
//! ## Core Concepts
//!
//! - **ProblemSpec**: Immutable input with tenant scope, budgets, and provenance
//! - **ProposedPlan**: Output plan with confidence scoring and trace links
//! - **SolverReport**: Detailed solver execution report for audit
//! - **PromotionGate**: Decision framework for plan approval
//!
//! ## Flow
//!
//! ```text
//! ProblemSpec → ProposedPlan → SolverReport → PromotionGate
//! ```
//!
//! ## Example
//!
//! ```rust,ignore
//! use converge_optimization::gate::*;
//!
//! let spec = ProblemSpec::builder("prob-001", "tenant-abc")
//! .objective(ObjectiveSpec::minimize("cost"))
//! .budgets(SolveBudgets::with_time_limit(30))
//! .build()?;
//! ```
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;
pub use *;