Redacted excerpt; full evidence withheld.

$ cd <guest-path> && ls -la && git status 2>&1 | head -3; id -u; python3 --version; cat README.md | head -150
exit: 0
hon speed (single Windows machine;
[docs/guides/benchmarks.md](docs/guides/benchmarks.md)).

## The Dual-Execution Guarantee

Any program accepted by `serp check` produces the same observable behavior when
(a) executed by CPython, and (b) compiled by `serp build` and run natively — modulo a small,
explicitly documented list of divergences ([docs/spec.md §10](docs/spec.md)).

```python
[excerpt truncated]