| NLotSizingDataModel | |
| NChecker | |
| NBatch | |
| CLotSizingSolutionBatchVerificationService | Executes independent lot-sizing solution verification over a collection of candidates with bounded parallelism and deterministic result ordering |
| CSolutionVerificationBatchCandidate | Describes one candidate to verify in a batch campaign |
| CSolutionVerificationBatchItemResult | Contains the execution and checker result for one batch candidate |
| CSolutionVerificationBatchOptions | Configures execution of a batch solution-verification campaign |
| CSolutionVerificationBatchProgress | Reports deterministic progress information for a running batch-verification operation |
| CSolutionVerificationBatchResult | Contains the deterministic result of a complete batch-verification run |
| NConfiguration | |
| CSolutionCheckOptions | Configures generic lot-sizing solution checking |
| CSolutionVerificationOptions | Configures the high-level verification facade and the application of checker results back to domain objects |
| NContracts | |
| CILotSizingSolutionChecker | Defines a generic, solver-independent checker for lot-sizing solutions |
| CIMathematicalFeasibilityChecker | Defines mathematical-feasibility validation of a candidate lot-sizing solution against a mathematical model |
| CIMathematicalObjectiveChecker | Defines independent objective-value validation of a candidate lot-sizing solution against a mathematical model |
| CIMathematicalSolutionValueProjector | Defines projection of a normalized lot-sizing solution onto the variables of a solver-independent mathematical model |
| CISolutionCheckReportFormatter | Formats independent solution-check results for human consumption |
| CISolutionCheckResultApplier | Applies a solver-independent checker result to the serializable solution evaluation and, optionally, to a known-result record |
| CISolutionStructuralChecker | Defines structural validation of a lot-sizing solution against a lot-sizing instance |
| CISolutionVariableDomainChecker | Defines numerical-domain validation for lot-sizing solution decisions |
| NDomain | |
| CSolutionVariableDomainChecker | Performs generic numerical-domain validation of all decision values stored in a LotSizingSolution |
| NFacade | |
| CLotSizingSolutionVerificationResult | Contains both the independent checker result and information about the application of that result to domain objects |
| CLotSizingSolutionVerificationService | High-level facade for checking a lot-sizing solution and, when requested, recording the independent evaluation on serializable domain objects |
| NFeasibility | |
| CClosedLoopSolutionFeasibilityChecker | Independent semantic checker for normalized closed-loop solution decisions |
| CMathematicalConstraintCheckDetail | Describes the numerical evaluation of one mathematical constraint |
| CMathematicalFeasibilityChecker | Checks the mathematical feasibility of a normalized LotSizingSolution against a MathematicalModel |
| CMathematicalFeasibilityCheckResult | |
| CMathematicalFeasibilityDiagnostic | |
| CMathematicalModelSolveResultFeasibilityChecker | Independently evaluates a mathematical solver result against the solver-independent model |
| CProductionSetupFamilyDerivedSemantics | |
| NIntegration | |
| CSolutionCheckApplicationResult | Describes which domain objects were changed while applying a checker result |
| CSolutionCheckResultApplier | Applies independent checker results back to the serializable solution evaluation and to an optional known-result record |
| NObjective | |
| CMathematicalObjectiveChecker | Independently evaluates the objective of a normalized LotSizingSolution against a MathematicalModel |
| NOrchestration | |
| CLotSizingSolutionChecker | Orchestrates the complete, solver-independent validation of a LotSizingSolution against a LotSizingInstance |
| NPipeline | |
| NScientific | |
| CIScientificLotSizingSolvePipeline | Executes scientific preflight, technical solve, provenance capture and independent verification as one orchestrated workflow |
| CScientificLotSizingSolvePipeline | End-to-end scientific solve orchestration |
| CScientificLotSizingSolvePipelineFactory | Creates the scientific end-to-end wrapper around an already configured technical solver service and its formulation registry |
| CScientificSolvePipelineDiagnostic | Stable structured diagnostic emitted by the end-to-end scientific solve pipeline |
| CScientificSolvePipelineRequest | Request for the end-to-end scientific solve pipeline |
| CScientificSolvePipelineResult | Keeps every evidence channel of one end-to-end scientific solve separate |
| CScientificSolverRequestFactory | Creates the delegated technical solver request while preserving the caller's original request object |
| NProjection | |
| CMathematicalSolutionProjectionIssue | Describes one issue encountered while projecting a business solution onto mathematical-model variables |
| CMathematicalSolutionProjectionResult | Contains mathematical-variable values projected from one normalized lot-sizing solution |
| CMathematicalSolutionValueProjector | Projects a normalized LotSizingSolution onto the variables of a MathematicalModel by using the canonical mathematical domain-key convention |
| NReporting | |
| CSolutionCheckBatchAggregator | Aggregates independent checker results for batch-validation campaigns |
| CSolutionCheckBatchItemSummary | Associates a batch candidate identifier with its compact checker summary |
| CSolutionCheckBatchSummary | Contains aggregated metrics for a collection of checked solutions |
| CSolutionCheckIssueCount | Associates an issue category with its occurrence count |
| CSolutionCheckReportOptions | Configures human-readable checker reports |
| CSolutionCheckSummary | Provides a compact machine-oriented summary of one solution check |
| CSolutionCheckSummaryFactory | Builds compact summaries from complete checker results |
| CSolutionCheckTextReportFormatter | Produces deterministic plain-text reports for checker results |
| NResults | |
| CSolutionCheckIssue | Describes one issue detected by a lot-sizing solution checker |
| CSolutionCheckResult | Contains the complete result of checking one lot-sizing solution |
| NScientific | |
| CSolutionScientificProvenanceChecker | Re-evaluates a solution's recorded scientific provenance against the current instance and current formulation capability catalog |
| CSolutionScientificProvenanceCheckResult | Independent scientific provenance verification result |
| CSolutionScientificProvenanceDiagnostic | Structured scientific solution-provenance diagnostic |
| NStructural | |
| CMacroMicroSchedulingStructuralValidator | |
| CSolutionStructuralChecker | Performs solver-independent structural validation of a LotSizingSolution against a LotSizingInstance |