# Case 02: Fixed-depth hardware optimality

Self-authored synthetic review scenario, not a published software claim or customer assertion. The source material is public and pinned to `fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb`.

## Proposed claim

Depth-two QAOA on a finite SK instance attains the exact optimum and provides a hardware speedup.

Review the [declared model and statuses](input.json) against the source. Cases 09/10 deliberately supply synthetic statuses to test documentary completeness. Those statuses are not authenticated evidence or proven hypotheses. Other cases explicitly leave operational obligations unknown.

## Source pointers

- [lean/docs/281.md](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/lean/docs/281.md), SHA-256 `244155dd6e7310ab65b1b4ec342c499149057fe90ae0aba8340a0c5bd656a072`.
- [preprints/QAOA-attains-the-SK-ground-state-energy-in-the-thermodynamic-first-limit-September-25-2026/QAOA-attains-the-SK-ground-state-energy-in-the-thermodynamic-first-limit-September-25-2026.pdf](https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/QAOA-attains-the-SK-ground-state-energy-in-the-thermodynamic-first-limit-September-25-2026/QAOA-attains-the-SK-ground-state-energy-in-the-thermodynamic-first-limit-September-25-2026.pdf), SHA-256 `4d07ebe181b03157398deef72b23eff8046183f67855d30f9e48e222550a44ba`.

Pointers identify exact files, not a new complete-file reading, theorem proof or selected-run certificate. Determine the statement, hypotheses, formal coverage and missing model/implementation bridges from the source itself.

## Review fields

Record preparation seconds, material gaps with exact evidence locations, unsure items, false alarms after adjudication and correction seconds in the [blank result template](../review-results-template.json). Do not open the report/key during the source-only arm. No expert has completed either arm.