Struct ProblemSpec 

pub struct ProblemSpec {
    pub problem_id: String,
    pub tenant_scope: String,
    pub objective: ObjectiveSpec,
    pub constraints: Vec<ConstraintSpec>,
    pub inputs: Value,
    pub budgets: SolveBudgets,
    pub determinism: DeterminismSpec,
    pub provenance: ProvenanceEnvelope,
}

Complete problem specification for the solver gate

This is the contract surface for optimization problems - pure, serializable, and deterministic input that can be traced, replayed, and audited.

Fields

problem_id: String

Stable identifier for trace joins and audit

tenant_scope: String

Tenant scope for multi-tenant flows

objective: ObjectiveSpec

Objective to optimize (minimize/maximize)

constraints: Vec<ConstraintSpec>

Constraints that must be satisfied

inputs: Value

Typed payload per pack (schema-validated by the pack)

budgets: SolveBudgets

Resource budgets for solving

determinism: DeterminismSpec

Determinism requirements

provenance: ProvenanceEnvelope

Provenance for audit trail

Implementations

impl ProblemSpec

pub fn builder( problem_id: impl Into<String>, tenant_scope: impl Into<String>, ) -> ProblemSpecBuilder

Create a new problem spec builder

pub fn validate(&self) -> Result<()>

Validate the problem spec (schema validation happens in pack)

pub fn seed(&self) -> u64

Get the random seed from determinism spec

pub fn sub_seed(&self, phase: &str) -> u64

Generate a sub-seed for a specific phase

pub fn inputs_as<T: for<'de> Deserialize<'de>>(&self) -> Result<T>

Parse inputs as a specific type

Trait Implementations

impl Clone for ProblemSpec

fn clone(&self) -> ProblemSpec

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProblemSpec

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProblemSpec

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProblemSpec

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.