# Claim 1 — dual stability

## Official claim

> Dual predictions from optimal solutions to dual linear programs are more stable under instance perturbations than optimal primal solutions.

## Recorded source anchors

- \label{thm:laminarsetcover}
- \label{thm:MTSthm}
- \label{lem:stabilityresult}
- \label{th:stabilityBellmanError}
- \label{sec:instabprimalpred}

The pinned source crosswalk records these anchors as support for the authors'
stated contrast between selected dual formulations and primal predictions.

## Limit

Status is **unverified**. This is a source-anchor record, not an independent
proof check or a claim about all linear programmes or online minimisation
problems.