# Validation

Completed on 2026-09-16 with Apple clang 17, SQLite 3.51.3 and Redis 8.2.9.

- `make test`: passed native and RESP2 integration suites.
- Native correctness: 127 independent Haversine-oracle queries against each of
  three search implementations, over 12,004 points; date line, poles, boundaries,
  zero radius, ties, invalid-batch atomicity, updates/deletes and namespace isolation.
- Concurrent WAL test: a writer atomically moved 100 points while another
  connection searched them. Readers observed complete before/after snapshots.
- RESP2 tests: fragments, binary strings, pipelines, malformed requests,
  eight simultaneous clients and restart after SIGKILL with acknowledged FULL writes.
- AddressSanitizer and UndefinedBehaviorSanitizer: native suite passed.
- Full million-point run: SQLite integrity_check, R*Tree rtreecheck and
  point/index membership checks passed.
- Redis cross-check: 200 queries, zero top-20 membership differences; maximum
  reported distance difference for common members was 0.301 m.
- Result validation: all 12 native cases, 10 TCP/pipeline cases and four mixed
  traffic configurations present; percentile ordering checked.
- Dedicated macOS F_FULLFSYNC measurement added after verifying that Redis uses
  this stronger flush primitive. Its source fingerprints and timestamp are in
  `benchmark.json`; no spatial search logic changed for this supplement.

No benchmark service is left running. Native and TCP measurements are different
measurement layers; only compare equivalent rows. Power-failure behavior and
production readiness are not established by these tests.