Module reconstruct 

Reversible coordinate changes and the common result contract.

Adapters must establish native solution quality before supplying points, duals or global bounds.

Structs

DualProjection

One native row’s contribution to an original multiplier. Store None in the native row map when no reversible multiplier transformation is known.

ObjectiveTransform

Maps a native objective or bound to the original model convention. A native solver that already includes the constant must use offset zero.

Functions

accumulate_dual

Accumulate a known native multiplier with its adapter-supplied coordinate factor. Missing values must not call this helper with a fabricated zero.

normalize_result

Enforce the public result contract after the adapter has established native evidence and restored coordinates. Does not infer feasibility from a stop reason, or re-check feasibility using an unrelated common tolerance. An explicit FeasiblePoint status caps the point’s quality even if native termination was Optimal. Invalid incumbents cause the same downgrade for surviving pool points. Normalizing an already normalized result is safe.

project_dense_primal

Use when native columns are original variables in model order.

project_primal

Project a native column vector, excluding auxiliaries (None). Every original variable must occur exactly once and have a finite value.

relative_gap

Overflow-resistant symmetric relative gap in original objective units.