# Sign uncertainty

This folder contains the accompanying proofs, data, and additional results for the *Sign uncertainty principle* problem. The main notebook is [verification.ipynb](verification.ipynb).

## Files

- `verification.ipynb` — Verifies the witness and comparison bounds.
- `uncertainty_data.json.gz` — Exact coefficient, root, and certificate data.
- `fig/` — Figure generator, witness data, and rendered figures.
