berkus
/
wifi-densepose
mirror of https://github.com/ruvnet/wifi-densepose.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

docs(proof): update hash + note cross-platform determinism gate 

verify.py's published hash is now f8e76f21 (doppler excluded). Document
that the proof reproduces bit-for-bit across Windows / two Linux hosts /
the Azure CI runner, that the peak-normalized Doppler is excluded due to
its cross-microarch argmax instability, and that a relative-tolerance
check against a committed reference vector backs the five stable features.
This commit is contained in:
ruv 2026-05-31 12:22:53 -04:00
parent a594d45ed6
commit c79e2e60ca
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
docs/proof-of-capabilities.md
View File

@ -78,11 +78,18 @@ random or mocked, the hash would not be reproducible.
```bash ```bash
python archive/v1/data/proof/verify.py python archive/v1/data/proof/verify.py
# Expect: VERDICT: PASS # Expect: VERDICT: PASS
# Pipeline hash: ca58956c1bbee8c46f1798b3d6b6f1f829aa5db90bba53e07177830eca429199 # Pipeline hash: f8e76f21a0f9852b70b6d9dd5318239f6b20cbcb4cdd995863263cecdc446f7a
``` ```
The published expected hash is committed at `archive/v1/data/proof/expected_features.sha256`. The published expected hash is committed at `archive/v1/data/proof/expected_features.sha256`.
Run it on your machine; the hash must match bit-for-bit. Run it on your machine — it reproduces **bit-for-bit across platforms** (verified identical on
Windows, two independent Linux hosts, and the GitHub Azure CI runner). For the one feature that
*isn't* bit-stable — the peak-normalized Doppler spectrum, whose argmax flips under
cross-microarchitecture FFT reordering — the proof excludes it from the hash and additionally
checks every other feature against a committed reference vector within a strict relative tolerance
(`expected_features_reference.npz`), so a genuine regression still fails while CPU-level float
noise does not. Five features (amplitude mean/variance, phase difference, correlation matrix, and
the FFT-based PSD) carry the deterministic proof.
**On the "fake data" allegation specifically:** the reference signal is *deliberately **On the "fake data" allegation specifically:** the reference signal is *deliberately
synthetic* and **labels itself as such** — `archive/v1/data/proof/sample_csi_meta.json` says: synthetic* and **labels itself as such** — `archive/v1/data/proof/sample_csi_meta.json` says: