for
fun forCompleted(config: OptimizationRunConfiguration, result: RunResult.OptimizationCompleted, solverInstance: Solver? = null, runDir: Path? = null): RunSummary(source)
Build a RunSummary from a successful run. solverInstance is the live Solver reference captured before the host cleared its handle — its Solver.configurationProperties are projected into the summary's solverConfiguration field for the [solverConfiguration] TOML block. runDir is the run- output directory path; its leaf name becomes the human- friendly RunSummary.runDirectory identifier.