Module gate 

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

ProblemSpec → ProposedPlan → SolverReport → PromotionGate

Example

use converge_optimization::gate::*;

let spec = ProblemSpec::builder("prob-001", "tenant-abc")
    .objective(ObjectiveSpec::minimize("cost"))
    .budgets(SolveBudgets::with_time_limit(30))
    .build()?;

Re-exports

pub use budgets::*;

pub use constraints::*;

pub use decision::*;

pub use determinism::*;

pub use provenance::*;

pub use report::*;

pub use types::*;

Modules

budgets

Resource budgets for solver execution

constraints

Constraint and objective specifications

decision

Promotion gate for plan approval

determinism

Determinism specification for reproducible results

provenance

Provenance information for audit trail

report

Solver execution report

types

Core gate types: ProblemSpec and ProposedPlan