# Erdős Problem #1186 — verification bundle

This bundle contains everything needed to independently verify the claimed
solution: the problem statement (problem.md), the checker/statement audit
(check_answer/), and the complete proof sources.

Primary proof location: verified_math/F-017_delta3-exact
Pinned formal statement: check_answer/README.md (pinned convention; δ₃ = 117/2192 via the exact 548-cell RLT certificate; the discrete-to-continuum reduction is documented there and in verified_math/F-017_delta3-exact/entry.md)

## Verify from a cold start

```bash
cd verified_math/F-017_delta3-exact/checker && cargo build --release
./target/release/check-continuum-rlt tests/continuum-rlt-548.txt
python3 tests/crosscheck_continuum_rlt.py   # needs numpy
cd ../lean && lake exe cache get && lake build   # kernel-checks the Bell/SOS + RLT certificate schemas
```

This solve is certified by independent exact-arithmetic certificate checkers; the commands above rebuild and run them against the shipped certificates.

Full run archive and report: https://www.starfleetmath.com/solutions/erdos-1186
