Final domain audit: re-verify every formula against EW101/102/103 with citations recorded in tests

[OldCrow]

Summary

This is the v1.0.0 release gate: a final, systematic review of every formula in libew against EW101/102/103 (or equivalent authoritative references), with citations recorded in the test suite.

Scope

For each domain in libew:

• Propagation (propagation.cpp): FSPL, two-ray, Fresnel zone, earth bulge, knife-edge diffraction — verify constants and regime crossover logic
• Antenna (antenna.cpp): aperture-to-gain, beamwidth
• Link budget (link.cpp): received power, link margin
• Receiver (receiver.cpp): sensitivity (kTBNF), Friis NF, SFDR2/3, digital DR
• Jamming (jamming.cpp): J/S geometry, burnthrough range, partial-band — verify against EW101 (see also partial-band bug issue)
• Location (location.cpp): CEP formulas for AoA, TDoA, EEP
• Radar (radar.cpp): radar range equation, pulse compression gain, coherent integration gain, LPI advantage
• Digital (digital.cpp): Eb/N₀, DSSS process gain, jamming margin

Action needed

For each domain:

1. Locate the source equation in EW101/102/103 or an equivalent peer-reviewed reference.
2. Verify the implementation matches (sign conventions, units, log-domain vs. linear).
3. Add a comment in the test file citing the reference and the expected numerical result (not self-referential).
4. Record any discrepancies found as separate bug issues before closing this checklist item.

Output

This issue is complete when all checkboxes above are checked and no unresolved formula discrepancies remain open.