DSLV-ZPDI · Rev 3.6
Upper bounds on carrier phase

Closed form

Bench

Every number on this page is an evaluation of a formula, or a row you typed. Placeholders are the Rev 3.6 worked example. They are not measurements, and they are not written into the book unless you are on the walk.

§3.4

Phase stability

σ_φ = 2π f τ σ_y. Quote the installed unit.

L1
—
L5
—

§4.3

Light time and lag resolution

δτ
—
τ_c
—
|τ| ≪ τ_c
—

    §4.2

    Stationary coherence floor

    The curve is E[r] ≈ √(π / 4L) under the complex-Gaussian null. It is not a spectrum.

    L_eff
    —
    E[γ̂]
    —
    r_min κ=3
    —

    Large-L magnitude check. The bootstrap decides.

    Sage: null expectation. Hot: κ=3 check. Log axes. Not campaign data.

    §5

    Weak common phase

    Rev 3.6 uses σ_φ = 0.42 rad. The paper reports φ ≈ σ √r. Exact inversion is beside it. The millimetre map is not an estimator.

    Paper map → L1 path
    —
    Exact inversion → L1 path
    —

    Switch 2

    Chromatic class

    Targets: delay 1.3391, ionosphere 0.7468, offset 1. A delay-class pass is necessary, not sufficient.

    Class
    —

    Radians or cycles, not metres.

    §3

    Ionospheric carrier phase

    Phase in radians scales as 1/f. Delay and range scale as 1/f². 0.1 TECU is ≈8.4 rad at 100 MHz and ≈0.53 rad at L1, a factor of ≈15.75, not its square. Not a forecast.

    L1
    —
    100 MHz
    —

    Factor withheld.

    §4.0

    Per-dump phase

    σ ≈ 1/√(2 C/N0 T), T = 1/f_d.

    σ_φ,dump
    —

    §3.4

    Guard band

    Below f_loop the GPSDOs are one clock. Mandatory on Chain C, conservative on Chain S.

    Band call
    —

    §4.3

    Sphere baseline

    Mean-Earth haversine. Not a geodetic reduction. Empty coordinates stay empty.

    Baseline
    not surveyed
    τ_c
    —

    §5

    Campaign RSS

    Open a campaign to edit budget rows. Catalog defaults appear with the record, labeled catalog.

    Self-check

    Identity against Rev 3.6

    If a row fails, the app is wrong. Do not interpret it as a residual.

    • GPSDO σ_φ at L1, σ_y(1 s)=10⁻¹²
      9.899e-3 rad · paper 9.9×10⁻³ rad
      Hold
    • f₁/f₂
      1.339130 · paper 154/115 ≈ 1.339
      Hold
    • 0.1 TECU carrier phase at L1
      0.536 rad · paper ≈ 0.53 rad
      Hold
    • 0.1 TECU carrier phase at 100 MHz
      8.45 rad · paper ≈ 8.4 rad
      Hold
    • 0.1 TECU, 100 MHz / L1
      15.75 · paper ≈ 15.75, not its square
      Hold
    • IGS clock residual, 75 ps at L1
      0.742 rad · paper ≈ 0.74 rad
      Hold
    • Light time, 10 km
      33.36 µs · paper ≈ 33 µs
      Hold
    • δτ = 1 ms baseline
      299.8 km · paper 300 km
      Hold
    • Naive L=86400 magnitude floor
      3.02e-3 / 1.58e-3 · paper E[r]≈3.0×10⁻³, σ≈1.6×10⁻³
      Hold
    • Calendar r_min (κ=3), not the program floor
      7.74e-3 · paper ≈ 7.7×10⁻³
      Hold
    • σ_φ=0.42 rad, calendar r_min → path at L1
      1.12 mm · paper ≈ 1.1 mm
      Hold
    • L_eff=300 illustration, r∼10⁻¹, σ_φ=0.42 rad
      0.133 rad · 4.02 mm · paper φ_s≈0.13 rad ≈ 4.0 mm
      Hold
    • Chain S double-difference floor, trop + multipath
      0.52–1.04 rad · paper inside 0.4–1.1 rad
      Hold