Sky gradient
Between-node double difference of between-satellite single differences. Blind to isotropic site phase. The shared IGS clock residual cancels. A null here does not constrain H_C.

Rev 3.6 · Resonant Genesis LLC
The vacuum-structure question motivates DSLV-ZPDI. The paper reports two upper bounds. A null is the expected result.
Between-node double difference of between-satellite single differences. Blind to isotropic site phase. The shared IGS clock residual cancels. A null here does not constrain H_C.
Same-satellite inter-node difference. A phase identical at every antenna cancels and is unobservable. The bound is the per-baseline maximum, or it is not quoted.
GrapheneOS · Pixel 9 Pro XL
Vanadium can install this as a standalone window. No Play Services. No account. The campaign book stays in on-device storage. Location, if you grant it, fills a site fix you can read before it is saved. It is not uploaded.
The SDR, the GPSDO, and the prompt correlator stay on the DSLV-ZPDI nodes. This app does not synthesize IQ, residuals, or a detection.

Formula identity
Closed forms checked against the numbers quoted in Rev 3.6. A miss here is an app bug, not a measurement.
13/13

Rev 3.6 submission
Production origin dslv-vac-probe.grok.me. A preview is a different book.