# Review Pack

- Issue:
- Product outcome:
- Operator-visible change:
- Original invariant/operator sentence:
- Lane:
- Proof class:
- Branch/PR/SHA:
- Deployment state:

## Promotion Authority

- Target live lane:
- Requested mutation:
- Exact approval sentence:
- Approved by:
- Approval timestamp:
- Commit/ref:
- Promotion mechanism:

If any field is missing, do not mutate the live lane.

## What Changed

- 

## Proof

- Class A:
- Class B:
- Class C:
- Class D:

## Proof Mapping

- 

## Known Limits

- 

## Operator Review

- What to inspect:
- Decision needed:
- If accepted:
- If rejected: