# Reproduction

Source: `examples/system-design/labs/25/dispatch.py`

SHA256: `5e93db853b3730aa6098d47591a34a86a4c78c3d42cb5ae3696eafb0e4e9d949`

Python 3.14.4; SQLite 3.51.3.

- `/opt/homebrew/opt/python@3.14/bin/python3.14 -B examples/system-design/labs/25/dispatch.py` → exit 0 (expected 0); output: [normal.stdout.txt](normal.stdout.txt); stderr: [normal.stderr.txt](normal.stderr.txt).

Only local teaching fixtures. Normal execution includes the failing-input assertions described in the source; no real payment, email, driver, or public website was contacted.

## Negative control

Remove one safeguard in an isolated source copy: nonconditional competing offers all win.

`/opt/homebrew/opt/python@3.14/bin/python3.14 -B examples/system-design/evidence/25/negative-control.py` → exit 1 (expected assertion/constraint failure).

See [change](negative.diff), [source](negative-control.py), [stdout](negative.stdout.txt), [stderr](negative.stderr.txt), and [hash receipt](negative-verification.json). This deliberately broken copy is not the authoritative implementation.