Interface: GenericModelRequest
@kortexya/reasoninglayer / GenericModelRequest
Interface: GenericModelRequest
Section titled “Interface: GenericModelRequest”Defined in: src/types/solver.ts:256
A generic constraint-model request used to begin a feasibility session.
Remarks
Section titled “Remarks”Wire shape (snake_case): { choice_points, constraints, objective }. Owned here
as part of the shared cluster; consumed by the Feasibility domain.
Properties
Section titled “Properties”choicePoints
Section titled “choicePoints”choicePoints:
ChoicePoint[]
Defined in: src/types/solver.ts:258
The decisions to explore, in order. Each must have alternativeCount ≥ 2.
constraints?
Section titled “constraints?”
optionalconstraints?:TypedConstraint[]
Defined in: src/types/solver.ts:260
The typed constraints over the flat decision variables.
objective?
Section titled “objective?”
optionalobjective?:LinTerm[]
Defined in: src/types/solver.ts:269
Optional linear objective to maximize (Σ weight·var over the true
decision variables), as (var, weight) terms. Empty/omitted ⇒ pure-feasibility
mode (the trichotomy over all feasible completions). Non-empty ⇒ optimize mode:
the trichotomy is taken over the maximum-weight completions and the responses
carry totalScore (the optimum). A var absent from the list has weight 0;
duplicate vars sum.