Files

488 lines
62 KiB
XML
Raw Permalink Normal View History

<?xml version='1.0' encoding='UTF-8' standalone='no'?>
<doxygen xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="compound.xsd" version="1.13.2" xml:lang="en-US">
<compounddef id="steps_8hpp" kind="file" language="C++">
<compoundname>steps.hpp</compoundname>
<includes local="no">limits</includes>
<includes refid="qualification_8hpp" local="yes">serif/solver/nonlinear/qualification.hpp</includes>
<includedby refid="newton_8hpp" local="yes">src/include/serif/solver/nonlinear/newton.hpp</includedby>
<incdepgraph>
<node id="14">
<label>serif/geometry/deformation/geometry_step.hpp</label>
<link refid="geometry_2deformation_2geometry__step_8hpp"/>
<childnode refid="15" relation="include">
</childnode>
<childnode refid="2" relation="include">
</childnode>
</node>
<node id="34">
<label>serif/meta/enums.hpp</label>
<link refid="enums_8hpp"/>
<childnode refid="35" relation="include">
</childnode>
<childnode refid="30" relation="include">
</childnode>
<childnode refid="36" relation="include">
</childnode>
</node>
<node id="18">
<label>serif/solver/linear/linear.hpp</label>
<link refid="linear_8hpp"/>
<childnode refid="19" relation="include">
</childnode>
</node>
<node id="16">
<label>serif/solver/nonlinear/options.hpp</label>
<link refid="solver_2nonlinear_2options_8hpp"/>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="7" relation="include">
</childnode>
<childnode refid="10" relation="include">
</childnode>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="17" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="18" relation="include">
</childnode>
</node>
<node id="3">
<label>serif/solver/nonlinear/qualification.hpp</label>
<link refid="qualification_8hpp"/>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="6" relation="include">
</childnode>
<childnode refid="7" relation="include">
</childnode>
<childnode refid="8" relation="include">
</childnode>
<childnode refid="20" relation="include">
</childnode>
</node>
<node id="8">
<label>serif/solver/nonlinear/result.hpp</label>
<link refid="solver_2nonlinear_2result_8hpp"/>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
<childnode refid="9" relation="include">
</childnode>
<childnode refid="10" relation="include">
</childnode>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="13" relation="include">
</childnode>
<childnode refid="14" relation="include">
</childnode>
<childnode refid="16" relation="include">
</childnode>
<childnode refid="18" relation="include">
</childnode>
<childnode refid="20" relation="include">
</childnode>
</node>
<node id="1">
<label>src/include/serif/solver/nonlinear/steps.hpp</label>
<link refid="steps_8hpp"/>
<childnode refid="2" relation="include">
</childnode>
<childnode refid="3" relation="include">
</childnode>
</node>
<node id="33">
<label>serif/utils/error/codes.hpp</label>
<link refid="codes_8hpp"/>
<childnode refid="19" relation="include">
</childnode>
<childnode refid="34" relation="include">
</childnode>
</node>
<node id="20">
<label>serif/utils/error/errors.hpp</label>
<link refid="errors_8hpp"/>
<childnode refid="21" relation="include">
</childnode>
<childnode refid="22" relation="include">
</childnode>
<childnode refid="23" relation="include">
</childnode>
<childnode refid="11" relation="include">
</childnode>
<childnode refid="19" relation="include">
</childnode>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="24" relation="include">
</childnode>
<childnode refid="25" relation="include">
</childnode>
<childnode refid="28" relation="include">
</childnode>
<childnode refid="33" relation="include">
</childnode>
<childnode refid="37" relation="include">
</childnode>
</node>
<node id="28">
<label>serif/utils/misc/concepts/exceptions.hpp</label>
<link refid="utils_2misc_2concepts_2exceptions_8hpp"/>
<childnode refid="29" relation="include">
</childnode>
<childnode refid="30" relation="include">
</childnode>
<childnode refid="31" relation="include">
</childnode>
</node>
<node id="31">
<label>serif/utils/misc/concepts/numeric.hpp</label>
<link refid="numeric_8hpp"/>
<childnode refid="32" relation="include">
</childnode>
<childnode refid="30" relation="include">
</childnode>
</node>
<node id="25">
<label>serif/utils/misc/terminal/colors.hpp</label>
<link refid="colors_8hpp"/>
<childnode refid="21" relation="include">
</childnode>
<childnode refid="23" relation="include">
</childnode>
<childnode refid="26" relation="include">
</childnode>
<childnode refid="12" relation="include">
</childnode>
<childnode refid="27" relation="include">
</childnode>
</node>
<node id="37">
<label>serif/utils/types/strings.hpp</label>
<link refid="types_2strings_8hpp"/>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="38" relation="include">
</childnode>
<childnode refid="21" relation="include">
</childnode>
</node>
<node id="4">
<label>algorithm</label>
</node>
<node id="5">
<label>cmath</label>
</node>
<node id="32">
<label>concepts</label>
</node>
<node id="15">
<label>cstddef</label>
</node>
<node id="19">
<label>cstdint</label>
</node>
<node id="23">
<label>cstdio</label>
</node>
<node id="26">
<label>cstdlib</label>
</node>
<node id="29">
<label>exception</label>
</node>
<node id="6">
<label>expected</label>
</node>
<node id="22">
<label>format</label>
</node>
<node id="38">
<label>iostream</label>
</node>
<node id="2">
<label>limits</label>
</node>
<node id="36">
<label>magic_enum/magic_enum_all.hpp</label>
</node>
<node id="9">
<label>memory</label>
</node>
<node id="10">
<label>optional</label>
</node>
<node id="7">
<label>span</label>
</node>
<node id="11">
<label>string</label>
</node>
<node id="21">
<label>string_view</label>
</node>
<node id="17">
<label>tuple</label>
</node>
<node id="30">
<label>type_traits</label>
</node>
<node id="27">
<label>unistd.h</label>
</node>
<node id="35">
<label>unordered_map</label>
</node>
<node id="12">
<label>utility</label>
</node>
<node id="13">
<label>vector</label>
</node>
<node id="24">
<label>version</label>
</node>
</incdepgraph>
<invincdepgraph>
<node id="3">
<label>src/compile_time_checks/serif/backend_independent.cpp</label>
<link refid="backend__independent_8cpp"/>
</node>
<node id="4">
<label>src/compile_time_checks/serif/solver/public_contracts.cpp</label>
<link refid="public__contracts_8cpp"/>
</node>
<node id="6">
<label>src/include/serif/solver/continuation/equilibrium.hpp</label>
<link refid="solver_2continuation_2equilibrium_8hpp"/>
<childnode refid="7" relation="include">
</childnode>
</node>
<node id="5">
<label>src/include/serif/solver/equilibrium.hpp</label>
<link refid="solver_2equilibrium_8hpp"/>
<childnode refid="6" relation="include">
</childnode>
<childnode refid="7" relation="include">
</childnode>
</node>
<node id="2">
<label>src/include/serif/solver/nonlinear/newton.hpp</label>
<link refid="newton_8hpp"/>
<childnode refid="3" relation="include">
</childnode>
<childnode refid="4" relation="include">
</childnode>
<childnode refid="5" relation="include">
</childnode>
</node>
<node id="1">
<label>src/include/serif/solver/nonlinear/steps.hpp</label>
<link refid="steps_8hpp"/>
<childnode refid="2" relation="include">
</childnode>
</node>
<node id="7">
<label>src/include/serif/solver/solver.hpp</label>
<link refid="solver_2solver_8hpp"/>
</node>
</invincdepgraph>
<innerclass refid="structserif_1_1solver_1_1detail_1_1_initial_evaluation" prot="public">serif::solver::detail::InitialEvaluation</innerclass>
<innerclass refid="structserif_1_1solver_1_1detail_1_1_qualified_step" prot="public">serif::solver::detail::QualifiedStep</innerclass>
<innernamespace refid="namespaceserif">serif</innernamespace>
<innernamespace refid="namespaceserif_1_1solver">serif::solver</innernamespace>
<innernamespace refid="namespaceserif_1_1solver_1_1detail">serif::solver::detail</innernamespace>
<briefdescription>
</briefdescription>
<detaileddescription>
</detaileddescription>
<programlisting>
<codeline lineno="1"><highlight class="preprocessor">#pragma<sp/>once</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="2"><highlight class="normal"></highlight></codeline>
<codeline lineno="3"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&lt;limits&gt;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="4"><highlight class="normal"></highlight></codeline>
<codeline lineno="5"><highlight class="normal"></highlight><highlight class="preprocessor">#include<sp/>&quot;<ref refid="qualification_8hpp" kindref="compound">serif/solver/nonlinear/qualification.hpp</ref>&quot;</highlight><highlight class="normal"></highlight></codeline>
<codeline lineno="6"><highlight class="normal"></highlight></codeline>
<codeline lineno="7"><highlight class="normal"></highlight><highlight class="keyword">namespace<sp/></highlight><highlight class="normal"><ref refid="namespaceserif_1_1solver_1_1detail" kindref="compound">serif::solver::detail</ref><sp/>{</highlight></codeline>
<codeline lineno="9"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">void</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1solver_1_1detail_1a07717377a241ffd25e63aa977ff4f554" kindref="member">validate_start</ref>(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>options,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>std::optional&lt;NewtonProgress&gt;&amp;<sp/>restart,<sp/>std::size_t<sp/>size)<sp/>{</highlight></codeline>
<codeline lineno="10"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/>namespace<sp/></highlight><highlight class="normal">utils::errors;</highlight></codeline>
<codeline lineno="11"><highlight class="normal"></highlight></codeline>
<codeline lineno="12"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>options.method.validate();</highlight></codeline>
<codeline lineno="13"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>options.line_search.validate();</highlight></codeline>
<codeline lineno="14"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">constexpr</highlight><highlight class="normal"><sp/>(</highlight><highlight class="keyword">requires</highlight><highlight class="normal"><sp/>{<sp/>options.linear_solver.validate();<sp/>})<sp/>{</highlight></codeline>
<codeline lineno="15"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>options.linear_solver.validate();</highlight></codeline>
<codeline lineno="16"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="17"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!restart)<sp/>{</highlight></codeline>
<codeline lineno="18"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="19"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="20"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>serif_ensure&lt;SERiFErrorCode::INVALID_ARGUMENT&gt;(<ref refid="namespaceserif_1_1solver_1_1detail_1aca34a8e5074029c302fd5d3fc9d35244" kindref="member">checkpointable_options</ref>&lt;std::remove_cvref_t&lt;</highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(options)&gt;&gt;,</highlight></codeline>
<codeline lineno="21"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="stringliteral">&quot;Newton<sp/>restart<sp/>requires<sp/>StandardNewton,<sp/>NormalizedResidualMetric<sp/>and<sp/>FGMRES.<sp/>Custom<sp/>policies<sp/>require<sp/>restoration<sp/>of<sp/>their<sp/>numerical<sp/>history.&quot;</highlight><highlight class="normal">);</highlight></codeline>
<codeline lineno="22"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>error<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1aba8609bba7520feb62263d06def641e5" kindref="member">validate_newton_progress</ref>(*restart,<sp/>size))<sp/>{</highlight></codeline>
<codeline lineno="23"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>serif_ensure&lt;SERiFErrorCode::INVALID_ARGUMENT&gt;(</highlight><highlight class="keyword">false</highlight><highlight class="normal">,<sp/></highlight><highlight class="stringliteral">&quot;Invalid<sp/>Newton<sp/>checkpoint:<sp/>{}&quot;</highlight><highlight class="normal">,<sp/>*error);</highlight></codeline>
<codeline lineno="24"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="25"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>serif_ensure&lt;SERiFErrorCode::INVALID_ARGUMENT&gt;(restart-&gt;next_step<sp/>&lt;=<sp/>options.line_search.initial_step<sp/>&amp;&amp;</highlight></codeline>
<codeline lineno="26"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>*restart-&gt;diagnostics.convergence_threshold<sp/>==<sp/>options.method.convergence_threshold(*restart-&gt;diagnostics.initial_residual_norm),</highlight></codeline>
<codeline lineno="27"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="stringliteral">&quot;The<sp/>restart<sp/>changes<sp/>Newton&apos;s<sp/>original<sp/>tolerance<sp/>or<sp/>trial-step<sp/>bound.<sp/>Restore<sp/>the<sp/>archived<sp/>numerical<sp/>options<sp/>before<sp/>continuing.&quot;</highlight><highlight class="normal">);</highlight></codeline>
<codeline lineno="28"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="29"><highlight class="normal"></highlight></codeline>
<codeline lineno="31"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>System&gt;</highlight></codeline>
<codeline lineno="32" refid="structserif_1_1solver_1_1detail_1_1_initial_evaluation" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1solver_1_1detail_1_1_initial_evaluation" kindref="compound">InitialEvaluation</ref><sp/>{</highlight></codeline>
<codeline lineno="33"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::shared_ptr&lt;const<sp/>System&gt;<sp/><ref refid="structserif_1_1solver_1_1detail_1_1_initial_evaluation_1ad87e3c18668784c13190c49980ab7b13" kindref="member">system</ref>;</highlight></codeline>
<codeline lineno="34"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="structserif_1_1solver_1_1_metric_evaluation" kindref="compound">MetricEvaluation</ref><sp/><ref refid="structserif_1_1solver_1_1detail_1_1_initial_evaluation_1a947d02bd629b65769abf9572433937a6" kindref="member">metric</ref>;</highlight></codeline>
<codeline lineno="35"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="36"><highlight class="normal"></highlight></codeline>
<codeline lineno="38"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Problem&gt;</highlight></codeline>
<codeline lineno="39"><highlight class="normal"><sp/><sp/><sp/><sp/>[[nodiscard]]<sp/>std::expected&lt;InitialEvaluation&lt;typename<sp/>Problem::System&gt;,<sp/><ref refid="structserif_1_1solver_1_1detail_1_1_newton_failure" kindref="compound">NewtonFailure</ref>&gt;<sp/><ref refid="namespaceserif_1_1solver_1_1detail_1a6791c39e3a55c271764d9926c97956e0" kindref="member">evaluate_start</ref>(</highlight></codeline>
<codeline lineno="40"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>Problem&amp;<sp/>problem,<sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>state,<sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>options,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>std::optional&lt;NewtonProgress&gt;&amp;<sp/>restart,<sp/><ref refid="structserif_1_1solver_1_1_solve_diagnostics" kindref="compound">SolveDiagnostics</ref>&amp;<sp/>diagnostics</highlight></codeline>
<codeline lineno="41"><highlight class="normal"><sp/><sp/><sp/><sp/>)<sp/>{</highlight></codeline>
<codeline lineno="42"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/>namespace<sp/></highlight><highlight class="normal"><ref refid="namespaceserif_1_1utils_1_1errors" kindref="compound">utils::errors</ref>;</highlight></codeline>
<codeline lineno="43"><highlight class="normal"></highlight></codeline>
<codeline lineno="44"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>evaluation<sp/>=<sp/>problem.evaluate(state);</highlight></codeline>
<codeline lineno="45"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="structserif_1_1solver_1_1_trial_assessment" kindref="compound">TrialAssessment</ref><sp/>initialized;</highlight></codeline>
<codeline lineno="46"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(evaluation<sp/>&amp;&amp;<sp/>!restart)<sp/>{</highlight></codeline>
<codeline lineno="47"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>initialized<sp/>=<sp/>options.strategies.initialize(problem,<sp/>state,<sp/>evaluation,<sp/>options);</highlight></codeline>
<codeline lineno="48"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="49"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>metric<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1_1detail_1a20193e65f854a97472b6a4f1602798e8" kindref="member">qualify_candidate</ref>(problem,<sp/>state,<sp/>evaluation,<sp/>options.metric,<sp/>options.strategies,<sp/>initialized);</highlight></codeline>
<codeline lineno="50"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!metric)<sp/>{</highlight></codeline>
<codeline lineno="51"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unexpected(metric.error());</highlight></codeline>
<codeline lineno="52"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="53"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(restart)<sp/>{</highlight></codeline>
<codeline lineno="54"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">double</highlight><highlight class="normal"><sp/>allowance<sp/>=<sp/>256.0<sp/>*<sp/>std::numeric_limits&lt;double&gt;::epsilon()<sp/>*<sp/>std::max(1.0,<sp/>restart-&gt;accepted_metric.residual_norm);</highlight></codeline>
<codeline lineno="55"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>serif_ensure&lt;SERiFErrorCode::INVALID_ARGUMENT&gt;(std::abs(metric-&gt;residual_norm<sp/>-<sp/>restart-&gt;accepted_metric.residual_norm)<sp/>&lt;=<sp/>allowance<sp/>&amp;&amp;</highlight></codeline>
<codeline lineno="56"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::abs(metric-&gt;merit<sp/>-<sp/>restart-&gt;accepted_metric.merit)<sp/>&lt;=<sp/>allowance<sp/>*<sp/>std::max(1.0,<sp/>restart-&gt;accepted_metric.residual_norm),</highlight></codeline>
<codeline lineno="57"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="stringliteral">&quot;The<sp/>rebuilt<sp/>star<sp/>does<sp/>not<sp/>reproduce<sp/>the<sp/>checkpoint&apos;s<sp/>accepted<sp/>residual<sp/>metric.<sp/>Restore<sp/>the<sp/>same<sp/>model,<sp/>discretization,<sp/>normalization,<sp/>prescribed<sp/>inputs<sp/>and<sp/>metric.&quot;</highlight><highlight class="normal">);</highlight></codeline>
<codeline lineno="58"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}<sp/></highlight><highlight class="keywordflow">else</highlight><highlight class="normal"><sp/>{</highlight></codeline>
<codeline lineno="59"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>diagnostics.<ref refid="structserif_1_1solver_1_1_solve_diagnostics_1adcc287179655cd76509dff10a46a13c6" kindref="member">initial_residual_norm</ref><sp/>=<sp/>metric-&gt;residual_norm;</highlight></codeline>
<codeline lineno="60"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>diagnostics.<ref refid="structserif_1_1solver_1_1_solve_diagnostics_1afdc11a73dadf6aed3581326eeca980b6" kindref="member">convergence_threshold</ref><sp/>=<sp/>options.method.convergence_threshold(metric-&gt;residual_norm);</highlight></codeline>
<codeline lineno="61"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="62"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>diagnostics.<ref refid="structserif_1_1solver_1_1_solve_diagnostics_1abd33d959132ccbd0c0119e0bbfc3c6a2" kindref="member">final_residual_norm</ref><sp/>=<sp/>metric-&gt;residual_norm;</highlight></codeline>
<codeline lineno="63"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="structserif_1_1solver_1_1detail_1_1_initial_evaluation" kindref="compound">InitialEvaluation&lt;typename Problem::System&gt;</ref>{.system<sp/>=<sp/>std::move(*evaluation),<sp/>.metric<sp/>=<sp/>*metric};</highlight></codeline>
<codeline lineno="64"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="65"><highlight class="normal"></highlight></codeline>
<codeline lineno="67"><highlight class="normal"><sp/><sp/><sp/><sp/>[[nodiscard]]<sp/>std::expected&lt;DirectionAssessment,<sp/>NewtonFailure&gt;<sp/><ref refid="namespaceserif_1_1solver_1_1detail_1a5961bb80a48f170cb4e90a77dcb039ec" kindref="member">compute_direction</ref>(</highlight></codeline>
<codeline lineno="68"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>problem,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/><ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>prepared,<sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>options,<sp/>SolveDiagnostics&amp;<sp/>diagnostics,</highlight></codeline>
<codeline lineno="69"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>rhs,<sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>correction,<sp/>std::span&lt;double&gt;<sp/>physical_direction</highlight></codeline>
<codeline lineno="70"><highlight class="normal"><sp/><sp/><sp/><sp/>)<sp/>{</highlight></codeline>
<codeline lineno="71"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/>size<sp/>=<sp/></highlight><highlight class="keyword">static_cast&lt;</highlight><highlight class="keywordtype">int</highlight><highlight class="keyword">&gt;</highlight><highlight class="normal">(physical_direction.size());</highlight></codeline>
<codeline lineno="72"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="namespaceserif_1_1utils_1_1errors_1a7fefa3a63ca7895a875f2672026df02d" kindref="member">utils::errors::serif_ensure&lt;utils::errors::SERiFErrorCode::INVALID_DOF_COUNT&gt;</ref>(</highlight></codeline>
<codeline lineno="73"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::ranges::size(rhs)<sp/>==<sp/><ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.system()-&gt;residual().size(),</highlight></codeline>
<codeline lineno="74"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="stringliteral">&quot;The<sp/>residual<sp/>changed<sp/>size<sp/>during<sp/>Newton.<sp/>Preserve<sp/>the<sp/>equation<sp/>layout<sp/>throughout<sp/>one<sp/>solve.&quot;</highlight><highlight class="normal">);</highlight></codeline>
<codeline lineno="75"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::ranges::transform(<ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.system()-&gt;residual(),<sp/>rhs.begin(),<sp/>[](</highlight><highlight class="keywordtype">double</highlight><highlight class="normal"><sp/>value)<sp/>{<sp/>return<sp/>-value;<sp/>});</highlight></codeline>
<codeline lineno="76"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/>linear::Report<sp/>report<sp/>=<sp/>options.strategies.solve(problem,<sp/><ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.state(),<sp/>prepared,<sp/>rhs,<sp/>correction,<sp/>options);</highlight></codeline>
<codeline lineno="77"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>diagnostics.last_linear_solve<sp/>=<sp/>report;</highlight></codeline>
<codeline lineno="78"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>diagnostics.total_linear_iterations<sp/>+=<sp/>report.iterations;</highlight></codeline>
<codeline lineno="79"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!<ref refid="namespaceserif_1_1solver_1_1detail_1af66d3dcd2f2fc1b4e4858dcd4e23be8f" kindref="member">finite_correction</ref>(std::span(correction),<sp/>size)<sp/>||<sp/>!report.converged())<sp/>{</highlight></codeline>
<codeline lineno="80"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unexpected(<ref refid="structserif_1_1solver_1_1detail_1_1_newton_failure" kindref="compound">NewtonFailure</ref>{.status<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1a0c5b4c0a272429c1c5807ebb757aad64a4913a35a7eab87ca909c1d360ab82adb" kindref="member">SolveStatus::linear_solve_failure</ref>,</highlight></codeline>
<codeline lineno="81"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>.message<sp/>=<sp/></highlight><highlight class="stringliteral">&quot;The<sp/>Newton<sp/>linear<sp/>solve<sp/>did<sp/>not<sp/>produce<sp/>a<sp/>finite<sp/>correction<sp/>meeting<sp/>its<sp/>true-residual<sp/>tolerance.&quot;</highlight><highlight class="normal">});</highlight></codeline>
<codeline lineno="82"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="83"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>DirectionAssessment<sp/>direction<sp/>=<sp/>options.strategies.direction(problem,<sp/><ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.state(),<sp/>prepared,<sp/>rhs,<sp/>correction,<sp/>options);</highlight></codeline>
<codeline lineno="84"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!direction.usable<sp/>||<sp/>!<ref refid="namespaceserif_1_1solver_1_1detail_1af66d3dcd2f2fc1b4e4858dcd4e23be8f" kindref="member">finite_correction</ref>(std::span(correction),<sp/>size)<sp/>||</highlight></codeline>
<codeline lineno="85"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>(direction.merit_slope<sp/>&amp;&amp;<sp/>(!std::isfinite(*direction.merit_slope)<sp/>||<sp/>*direction.merit_slope<sp/>&gt;=<sp/>0.0)))<sp/>{</highlight></codeline>
<codeline lineno="86"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>std::unexpected(<ref refid="structserif_1_1solver_1_1detail_1_1_newton_failure" kindref="compound">NewtonFailure</ref>{.status<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1a0c5b4c0a272429c1c5807ebb757aad64a8286355a7892894a1c3cc40354da9999" kindref="member">SolveStatus::globalization_failure</ref>,</highlight></codeline>
<codeline lineno="87"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>.message<sp/>=<sp/>direction.message.empty()<sp/>?<sp/></highlight><highlight class="stringliteral">&quot;The<sp/>numerical<sp/>direction<sp/>policy<sp/>found<sp/>no<sp/>finite<sp/>decreasing<sp/>direction.&quot;</highlight><highlight class="normal"><sp/>:<sp/>direction.message});</highlight></codeline>
<codeline lineno="88"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="89"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.system()-&gt;coordinates().denormalize_state(std::span(correction),<sp/>physical_direction);</highlight></codeline>
<codeline lineno="90"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>direction;</highlight></codeline>
<codeline lineno="91"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="92"><highlight class="normal"></highlight></codeline>
<codeline lineno="94"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>State,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>System,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Prepared&gt;</highlight></codeline>
<codeline lineno="95" refid="structserif_1_1solver_1_1detail_1_1_qualified_step" refkind="compound"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">struct<sp/></highlight><highlight class="normal"><ref refid="structserif_1_1solver_1_1detail_1_1_qualified_step" kindref="compound">QualifiedStep</ref><sp/>{</highlight></codeline>
<codeline lineno="96"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>State<sp/><ref refid="structserif_1_1solver_1_1detail_1_1_qualified_step_1aa276b778342e7ea2c614f77daddf52ce" kindref="member">state</ref>;</highlight></codeline>
<codeline lineno="97"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::shared_ptr&lt;const<sp/>System&gt;<sp/><ref refid="structserif_1_1solver_1_1detail_1_1_qualified_step_1acb1e825b7e042a12180f2c2e785f89e6" kindref="member">system</ref>;</highlight></codeline>
<codeline lineno="98"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="structserif_1_1solver_1_1_metric_evaluation" kindref="compound">MetricEvaluation</ref><sp/><ref refid="structserif_1_1solver_1_1detail_1_1_qualified_step_1ab7d86665fb2b446c046eb658e263fa5a" kindref="member">metric</ref>;</highlight></codeline>
<codeline lineno="99"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::optional&lt;Prepared&gt;<sp/><ref refid="structserif_1_1solver_1_1detail_1_1_qualified_step_1ab5ed6454a7d060c2524718e0c4d11baa" kindref="member">preparation</ref>;</highlight></codeline>
<codeline lineno="100"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">double</highlight><highlight class="normal"><sp/><ref refid="structserif_1_1solver_1_1detail_1_1_qualified_step_1a322dfeec97ec0de595c72b74576d5d79" kindref="member">step</ref>;</highlight></codeline>
<codeline lineno="101"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/><ref refid="structserif_1_1solver_1_1detail_1_1_qualified_step_1a3e9ae263d325d7bd9e40a5ccab756c3d" kindref="member">trial</ref>;</highlight></codeline>
<codeline lineno="102"><highlight class="normal"><sp/><sp/><sp/><sp/>};</highlight></codeline>
<codeline lineno="103"><highlight class="normal"></highlight></codeline>
<codeline lineno="109"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">template</highlight><highlight class="normal"><sp/>&lt;</highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Problem,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>State,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>System,<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/>Model&gt;</highlight></codeline>
<codeline lineno="110"><highlight class="normal"><sp/><sp/><sp/><sp/>[[nodiscard]]<sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1solver_1_1detail_1ad9c44d75fd77ec596f5d512dc3508bd1" kindref="member">find_acceptable_step</ref>(</highlight></codeline>
<codeline lineno="111"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>Problem&amp;<sp/>problem,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/><ref refid="classserif_1_1solver_1_1_solve_result" kindref="compound">SolveResult&lt;State, System, Model&gt;</ref>&amp;<sp/><ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>,<sp/><ref refid="structserif_1_1solver_1_1_metric_evaluation" kindref="compound">MetricEvaluation</ref><sp/>accepted_metric,</highlight></codeline>
<codeline lineno="112"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>correction,<sp/>std::span&lt;const<sp/>double&gt;<sp/>physical_direction,<sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/><ref refid="structserif_1_1solver_1_1_direction_assessment" kindref="compound">DirectionAssessment</ref>&amp;<sp/>direction,</highlight></codeline>
<codeline lineno="113"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">double</highlight><highlight class="normal"><sp/>step,<sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>options,<sp/><ref refid="structserif_1_1solver_1_1_solve_diagnostics" kindref="compound">SolveDiagnostics</ref>&amp;<sp/>diagnostics,<sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>observation</highlight></codeline>
<codeline lineno="114"><highlight class="normal"><sp/><sp/><sp/><sp/>)<sp/>{</highlight></codeline>
<codeline lineno="115"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Prepared<sp/>=<sp/></highlight><highlight class="keyword">typename</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(problem.prepare(<ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.state()))::value_type;</highlight></codeline>
<codeline lineno="116"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Step<sp/>=<sp/><ref refid="structserif_1_1solver_1_1detail_1_1_qualified_step" kindref="compound">QualifiedStep&lt;State, System, Prepared&gt;</ref>;</highlight></codeline>
<codeline lineno="117"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">using<sp/></highlight><highlight class="normal">Result<sp/>=<sp/>std::expected&lt;Step,<sp/>NewtonFailure&gt;;</highlight></codeline>
<codeline lineno="118"><highlight class="normal"></highlight></codeline>
<codeline lineno="119"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/>iteration<sp/>=<sp/>diagnostics.<ref refid="structserif_1_1solver_1_1_solve_diagnostics_1a97fea022621b1636c6d98d44e4acf17c" kindref="member">attempted_iterations</ref><sp/>-<sp/>1;</highlight></codeline>
<codeline lineno="120"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">constexpr</highlight><highlight class="normal"><sp/>(</highlight><highlight class="keyword">requires</highlight><highlight class="normal"><sp/>{<sp/>problem.geometry_limit(<ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.state(),<sp/>physical_direction,<sp/>step,</highlight></codeline>
<codeline lineno="121"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>options.line_search.fraction_to_boundary,<sp/>options.line_search.geometry_preflight);<sp/>})<sp/>{</highlight></codeline>
<codeline lineno="122"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>limit<sp/>=<sp/>problem.geometry_limit(<ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.state(),<sp/>physical_direction,<sp/>step,</highlight></codeline>
<codeline lineno="123"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>options.line_search.fraction_to_boundary,<sp/>options.line_search.geometry_preflight);</highlight></codeline>
<codeline lineno="124"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!limit)<sp/>{</highlight></codeline>
<codeline lineno="125"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/>Result(std::unexpected(NewtonFailure{.status<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1a0c5b4c0a272429c1c5807ebb757aad64a8286355a7892894a1c3cc40354da9999" kindref="member">SolveStatus::globalization_failure</ref>,</highlight></codeline>
<codeline lineno="126"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>.message<sp/>=<sp/>problem.failure_message(limit.error())}));</highlight></codeline>
<codeline lineno="127"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="128"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>diagnostics.<ref refid="structserif_1_1solver_1_1_solve_diagnostics_1af2b81a8376e93e57f2389615531dbad0" kindref="member">last_geometry_preflight</ref><sp/>=<sp/>*limit;</highlight></codeline>
<codeline lineno="129"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(options.line_search.geometry_preflight)<sp/>{</highlight></codeline>
<codeline lineno="130"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>step<sp/>=<sp/>limit-&gt;step;</highlight></codeline>
<codeline lineno="131"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>diagnostics.<ref refid="structserif_1_1solver_1_1_solve_diagnostics_1a60376f39e17f7ac5a59a23e3ae49491a" kindref="member">geometry_limited_iterations</ref><sp/>+=<sp/>limit-&gt;limited_by_geometry;</highlight></codeline>
<codeline lineno="132"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="133"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="134"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::string<sp/>rejection<sp/>=<sp/></highlight><highlight class="stringliteral">&quot;Backtracking<sp/>exhausted<sp/>its<sp/>trial<sp/>or<sp/>step-length<sp/>budget.&quot;</highlight><highlight class="normal">;</highlight></codeline>
<codeline lineno="135"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">for</highlight><highlight class="normal"><sp/>(</highlight><highlight class="keywordtype">int</highlight><highlight class="normal"><sp/>trial<sp/>=<sp/>0;<sp/>trial<sp/>&lt;<sp/>options.line_search.maximum_trials<sp/>&amp;&amp;<sp/>step<sp/>&gt;=<sp/>options.line_search.minimum_step;<sp/>++trial)<sp/>{</highlight></codeline>
<codeline lineno="136"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>++diagnostics.<ref refid="structserif_1_1solver_1_1_solve_diagnostics_1aa03e8e71623874a7e7dd29b3def718bc" kindref="member">line_search_trials</ref>;</highlight></codeline>
<codeline lineno="137"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><ref refid="namespaceserif_1_1compile__time__checks_1_1surface__boundary_1ab40fdde8928819b515f54d53c3e9dad6" kindref="member">State</ref><sp/>candidate<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.state();</highlight></codeline>
<codeline lineno="138"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">for</highlight><highlight class="normal"><sp/>(std::size_t<sp/>index<sp/>=<sp/>0;<sp/><ref refid="namespaceserif_1_1operators_1_1backend_1_1mfem_1ab297c6eedd8df878b6af2135b05e4616" kindref="member">index</ref><sp/>&lt;<sp/>physical_direction.size();<sp/>++<ref refid="namespaceserif_1_1operators_1_1backend_1_1mfem_1ab297c6eedd8df878b6af2135b05e4616" kindref="member">index</ref>)<sp/>{</highlight></codeline>
<codeline lineno="139"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>candidate.values()[<ref refid="namespaceserif_1_1operators_1_1backend_1_1mfem_1ab297c6eedd8df878b6af2135b05e4616" kindref="member">index</ref>]<sp/>+=<sp/>step<sp/>*<sp/>physical_direction[<ref refid="namespaceserif_1_1operators_1_1backend_1_1mfem_1ab297c6eedd8df878b6af2135b05e4616" kindref="member">index</ref>];</highlight></codeline>
<codeline lineno="140"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="141"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">double</highlight><highlight class="normal"><sp/>required_merit<sp/>=<sp/>(1.0<sp/>-<sp/>options.line_search.sufficient_decrease<sp/>*<sp/>step)<sp/>*<sp/>accepted_metric.<ref refid="structserif_1_1solver_1_1_metric_evaluation_1a0adc88f53770cc86150c7e741dbdd2b1" kindref="member">merit</ref>;</highlight></codeline>
<codeline lineno="142"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(direction.<ref refid="structserif_1_1solver_1_1_direction_assessment_1aae8268bd5ae4e15356ee9684e07544b6" kindref="member">merit_slope</ref>)<sp/>{</highlight></codeline>
<codeline lineno="143"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>required_merit<sp/>=<sp/>accepted_metric.<ref refid="structserif_1_1solver_1_1_metric_evaluation_1a0adc88f53770cc86150c7e741dbdd2b1" kindref="member">merit</ref><sp/>+<sp/>options.line_search.sufficient_decrease<sp/>*<sp/>step<sp/>*<sp/>*direction.<ref refid="structserif_1_1solver_1_1_direction_assessment_1aae8268bd5ae4e15356ee9684e07544b6" kindref="member">merit_slope</ref>;</highlight></codeline>
<codeline lineno="144"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="145"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>evaluation<sp/>=<sp/>problem.evaluate(candidate);</highlight></codeline>
<codeline lineno="146"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>TrialAssessment<sp/>assessment;</highlight></codeline>
<codeline lineno="147"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(evaluation)<sp/>{</highlight></codeline>
<codeline lineno="148"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>assessment<sp/>=<sp/>options.strategies.trial(problem,<sp/><ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.state(),<sp/><ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a3e4d891a5df3d6d0d7dd9432a1bc6470" kindref="member">accepted</ref>.system(),<sp/>correction,<sp/>step,</highlight></codeline>
<codeline lineno="149"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>candidate,<sp/>evaluation,<sp/>options,<sp/>required_merit);</highlight></codeline>
<codeline lineno="150"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="151"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>metric<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1_1detail_1a20193e65f854a97472b6a4f1602798e8" kindref="member">qualify_candidate</ref>(problem,<sp/>candidate,<sp/>evaluation,<sp/>options.metric,<sp/>options.strategies,<sp/>std::move(assessment));</highlight></codeline>
<codeline lineno="152"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(metric<sp/>&amp;&amp;<sp/>metric-&gt;merit<sp/>&lt;=<sp/>required_merit)<sp/>{</highlight></codeline>
<codeline lineno="153"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::optional&lt;Prepared&gt;<sp/>preparation;</highlight></codeline>
<codeline lineno="154"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(metric-&gt;residual_norm<sp/>&gt;<sp/>*diagnostics.<ref refid="structserif_1_1solver_1_1_solve_diagnostics_1afdc11a73dadf6aed3581326eeca980b6" kindref="member">convergence_threshold</ref>)<sp/>{</highlight></codeline>
<codeline lineno="155"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>prepared<sp/>=<sp/>problem.prepare(candidate);</highlight></codeline>
<codeline lineno="156"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(</highlight><highlight class="keyword">const</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal"><sp/>failure<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1_1detail_1abcb4ab5dca0460589f2989c776a641d7" kindref="member">preparation_rejection</ref>(problem,<sp/>prepared))<sp/>{</highlight></codeline>
<codeline lineno="157"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1utils_1_1serialize_1ace9e0af29889a767ef1c95a09a4b7265" kindref="member">Result</ref>(std::unexpected(<ref refid="structserif_1_1solver_1_1detail_1_1_newton_failure" kindref="compound">NewtonFailure</ref>{.status<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1a0c5b4c0a272429c1c5807ebb757aad64ae9f49c7af9b0c06e5e2481ec84cdf9aa" kindref="member">SolveStatus::preparation_failure</ref>,<sp/>.message<sp/>=<sp/>*<ref refid="namespaceserif_1_1solver_1_1preconditioner_1_1backend_1_1mfem_1_1detail_1a707023cbec2faf9488d727eb98373bbe" kindref="member">failure</ref>}));</highlight></codeline>
<codeline lineno="158"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="159"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>preparation<sp/>=<sp/>std::move(*prepared);</highlight></codeline>
<codeline lineno="160"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="161"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1utils_1_1serialize_1ace9e0af29889a767ef1c95a09a4b7265" kindref="member">Result</ref>(Step{.state<sp/>=<sp/>std::move(candidate),<sp/>.system<sp/>=<sp/>std::move(*evaluation),<sp/>.metric<sp/>=<sp/>*metric,</highlight></codeline>
<codeline lineno="162"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>.preparation<sp/>=<sp/>std::move(preparation),<sp/>.step<sp/>=<sp/>step,<sp/>.trial<sp/>=<sp/>trial});</highlight></codeline>
<codeline lineno="163"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="164"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>rejection<sp/>=<sp/>metric<sp/>?<sp/></highlight><highlight class="stringliteral">&quot;The<sp/>trial<sp/>did<sp/>not<sp/>sufficiently<sp/>reduce<sp/>the<sp/>complete<sp/>residual<sp/>merit.&quot;</highlight><highlight class="normal"><sp/>:<sp/>metric.error().message;</highlight></codeline>
<codeline lineno="165"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>++diagnostics.<ref refid="structserif_1_1solver_1_1_solve_diagnostics_1aa9987f7be887e8b8427e42e7eee02f3c" kindref="member">rejected_trials</ref>;</highlight></codeline>
<codeline lineno="166"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>observation.notify(<ref refid="namespaceserif_1_1solver_1a6fa8bbc306fbf990b16ade9fb7771464a8746f4ec6db7fdda6018d314e8c3ae02" kindref="member">EventKind::trial_rejected</ref>,<sp/>candidate,<sp/>evaluation<sp/>?<sp/>*evaluation<sp/>:<sp/></highlight><highlight class="keyword">nullptr</highlight><highlight class="normal">,<sp/>iteration,<sp/>trial,<sp/>step,</highlight></codeline>
<codeline lineno="167"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>metric<sp/>?<sp/>std::optional(*metric)<sp/>:<sp/>std::nullopt,<sp/>rejection);</highlight></codeline>
<codeline lineno="168"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">double</highlight><highlight class="normal"><sp/>following<sp/>=<sp/>step<sp/>*<sp/>options.line_search.contraction;</highlight></codeline>
<codeline lineno="169"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">constexpr</highlight><highlight class="normal"><sp/>(</highlight><highlight class="keyword">requires</highlight><highlight class="normal"><sp/>{<sp/>problem.next_step(step,<sp/>options.line_search,<sp/>evaluation);<sp/>})<sp/>{</highlight></codeline>
<codeline lineno="170"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/>(!evaluation)<sp/>{</highlight></codeline>
<codeline lineno="171"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>following<sp/>=<sp/>problem.next_step(step,<sp/>options.line_search,<sp/>evaluation);</highlight></codeline>
<codeline lineno="172"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="173"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="174"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>step<sp/>=<sp/>following;</highlight></codeline>
<codeline lineno="175"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="176"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">return</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1utils_1_1serialize_1ace9e0af29889a767ef1c95a09a4b7265" kindref="member">Result</ref>(std::unexpected(<ref refid="structserif_1_1solver_1_1detail_1_1_newton_failure" kindref="compound">NewtonFailure</ref>{.status<sp/>=<sp/><ref refid="namespaceserif_1_1solver_1a0c5b4c0a272429c1c5807ebb757aad64a8286355a7892894a1c3cc40354da9999" kindref="member">SolveStatus::globalization_failure</ref>,<sp/>.message<sp/>=<sp/>std::move(rejection)}));</highlight></codeline>
<codeline lineno="177"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="178"><highlight class="normal"></highlight></codeline>
<codeline lineno="180"><highlight class="normal"><sp/><sp/><sp/><sp/></highlight><highlight class="keywordtype">void</highlight><highlight class="normal"><sp/><ref refid="namespaceserif_1_1solver_1_1detail_1a94057867583afc7737886a2cc9cb27d3" kindref="member">save_progress</ref>(</highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>result,<sp/></highlight><highlight class="keyword">auto</highlight><highlight class="normal">&amp;<sp/>options,<sp/>SolveDiagnostics&amp;<sp/>diagnostics,<sp/>MetricEvaluation<sp/>metric,</highlight></codeline>
<codeline lineno="181"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>std::span&lt;const<sp/>double&gt;<sp/>correction,<sp/></highlight><highlight class="keywordtype">double</highlight><highlight class="normal"><sp/>next_step)<sp/>{</highlight></codeline>
<codeline lineno="182"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/></highlight><highlight class="keywordflow">if</highlight><highlight class="normal"><sp/></highlight><highlight class="keyword">constexpr</highlight><highlight class="normal"><sp/>(<ref refid="namespaceserif_1_1solver_1_1detail_1aca34a8e5074029c302fd5d3fc9d35244" kindref="member">checkpointable_options</ref>&lt;std::remove_cvref_t&lt;</highlight><highlight class="keyword">decltype</highlight><highlight class="normal">(options)&gt;&gt;)<sp/>{</highlight></codeline>
<codeline lineno="183"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>options.strategies.contribute_diagnostics(diagnostics);</highlight></codeline>
<codeline lineno="184"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>result.checkpoint(NewtonProgress{.accepted_metric<sp/>=<sp/>metric,<sp/>.correction<sp/>=<sp/>{correction.begin(),<sp/>correction.end()},</highlight></codeline>
<codeline lineno="185"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>.next_step<sp/>=<sp/>next_step,<sp/>.diagnostics<sp/>=<sp/>diagnostics});</highlight></codeline>
<codeline lineno="186"><highlight class="normal"><sp/><sp/><sp/><sp/><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="187"><highlight class="normal"><sp/><sp/><sp/><sp/>}</highlight></codeline>
<codeline lineno="188"><highlight class="normal">}</highlight></codeline>
</programlisting>
<location file="src/include/serif/solver/nonlinear/steps.hpp"/>
</compounddef>
</doxygen>