Fixing ci/cd workflows

Author: JonesRobM

.github/workflows/ci.yml

@@ -12,6 +12,8 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - uses: astral-sh/setup-uv@v5
+        with:
+          python-version: "3.12"
       - run: uv sync --all-extras
       - run: uv run ruff check src/ tests/
       - run: uv run ruff format --check src/ tests/
@@ -21,6 +23,8 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - uses: astral-sh/setup-uv@v5
+        with:
+          python-version: "3.12"
       - run: uv sync --all-extras
       - run: uv run mypy src/physbound/
 
@@ -38,7 +42,7 @@ jobs:
       - run: uv run pytest tests/ -v --tb=short --cov=physbound --cov-report=xml --cov-report=term-missing
       - name: Upload coverage
         if: matrix.python-version == '3.12'
-        uses: codecov/codecov-action@v4
+        uses: codecov/codecov-action@v5
         with:
           file: coverage.xml
           fail_ci_if_error: false

.gitignore

@@ -19,6 +19,7 @@ wheels/
 .mypy_cache/
 .pytest_cache/
 .ruff_cache/
+.hypothesis/
 .secrets.baseline
 
 # IDE

README.md

@@ -31,9 +31,9 @@ LLMs routinely hallucinate physics. PhysBound catches it:
 | 4 | Thermal Noise | "Noise floor of -180 dBm/Hz at room temperature" | Actual: **-174.0 dBm/Hz** at 290K | CAUGHT |
 | 5 | Link Budget | "Wi-Fi at 2.4 GHz reaches 10 km at -40 dBm" | Actual RX power: **-94.1 dBm** | CAUGHT |
 | 6 | Link Budget | "1W to GEO with 0 dBi antennas at -80 dBm" | Actual RX power: **-175.1 dBm** | CAUGHT |
-| 7 | Link Budget | "Bluetooth reaches 1 km at -60 dBm" | Actual RX power: **-100.0 dBm** | CAUGHT |
+| 7 | Link Budget | "Bluetooth reaches 1 km at -60 dBm" | Actual RX power: **-100.1 dBm** | CAUGHT |
 | 8 | Shannon-Hartley | "10 MHz LTE at 10 dB SNR supports 1 Gbps" | Shannon limit: **34.6 Mbps** | CAUGHT |
-| 9 | Noise Cascade | "Stage order doesn't affect system NF" | LNA first: **1.57 dB** vs mixer first: **8.03 dB** | CAUGHT |
+| 9 | Noise Cascade | "Stage order doesn't affect system NF" | LNA first: **1.66 dB** vs mixer first: **8.03 dB** | CAUGHT |
 | 10 | Antenna Aperture | "10 cm patch at 900 MHz provides 20 dBi" | Aperture limit: **-3.1 dBi** | CAUGHT |
 
 *Generated automatically by `pytest tests/test_marketing.py -s`*

examples/catching-hallucinations.md

@@ -27,9 +27,9 @@ PhysBound's `shannon_hartley` tool is called automatically:
   "error": true,
   "violation_type": "PhysicalViolationError",
   "law_violated": "Shannon-Hartley Theorem",
-  "message": "Claimed throughput 500000000.0 bps exceeds Shannon limit of 100584898.2 bps by 397.1%",
+  "message": "Claimed throughput 500000000.0 bps exceeds Shannon limit of 100556153.5 bps by 397.2%",
   "latex_explanation": "$C = B \\log_2(1 + \\text{SNR}) = 100.6\\,\\text{Mbps} < 500.0\\,\\text{Mbps}$",
-  "computed_limit": 100584898.2,
+  "computed_limit": 100556153.5,
   "claimed_value": 500000000.0,
   "unit": "bps"
 }
@@ -125,16 +125,16 @@ PhysBound's `noise_floor` tool with cascading:
 
 ```json
 {
-  "thermal_noise_dbm": -104.0,
-  "thermal_noise_watts": 4.0e-14,
-  "cascaded_noise_figure_db": 1.57,
-  "system_noise_temp_k": 126.42,
-  "receiver_sensitivity_dbm": -92.43,
-  "human_readable": "Thermal Noise Floor:\n  Temperature: 290.0 K\n  Bandwidth:   10.000 MHz\n  Noise Power: -104.00 dBm (4.00e-14 W)\n  Cascaded NF: 1.57 dB\n  Sensitivity: -92.43 dBm"
+  "thermal_noise_dbm": -103.98,
+  "thermal_noise_watts": 3.99e-14,
+  "cascaded_noise_figure_db": 1.66,
+  "system_noise_temp_k": 135.03,
+  "receiver_sensitivity_dbm": -92.31,
+  "human_readable": "Thermal Noise Floor:\n  Temperature: 290.0 K\n  Bandwidth:   10.000 MHz\n  Noise Power: -103.98 dBm (3.99e-14 W)\n  Cascaded NF: 1.66 dB\n  Sensitivity: -92.31 dBm"
 }
 ```
 
-The Friis noise cascade shows that the LNA's low noise figure dominates — the 8 dB mixer NF is suppressed by the LNA's 20 dB gain to contribute only ~0.07 dB to the system NF. This is why **LNA-first order matters** in receiver design.
+The Friis noise cascade shows that the LNA's low noise figure dominates — the 8 dB mixer NF is suppressed by the LNA's 20 dB gain to contribute only ~0.16 dB to the system NF. This is why **LNA-first order matters** in receiver design.
 
 ---
 

tests/test_marketing.py

@@ -83,7 +83,7 @@
         "category": "Noise Cascade",
     },
     {
-        "id": "small_antenna_c_band",
+        "id": "small_antenna_uhf",
         "hallucination": "A 10 cm patch antenna at 900 MHz provides 20 dBi gain",
         "truth": None,
         "category": "Antenna Aperture",
@@ -228,7 +228,7 @@ def test_cascade_order_matters(self):
 
 
 class TestAntennaHallucinations2:
-    def test_small_antenna_c_band(self):
+    def test_small_antenna_uhf(self):
         """LLMs overestimate gain for small antennas at low frequencies."""
         with pytest.raises(PhysicalViolationError, match="Aperture"):
             compute_link_budget(

tests/test_properties.py

@@ -7,7 +7,7 @@
 import math
 
 import pytest
-from hypothesis import given, settings
+from hypothesis import assume, given, settings
 from hypothesis import strategies as st
 
 from physbound.engines.link_budget import free_space_path_loss_db, max_aperture_gain_dbi
@@ -49,6 +49,7 @@ def test_db_to_linear_roundtrip(self, x):
     @given(x=positive_linear, y=positive_linear)
     def test_db_preserves_ordering(self, x, y):
         """dB conversion preserves ordering: if x > y then dB(x) > dB(y)."""
+        assume(x > y * 1.001 or y > x * 1.001)  # require meaningful separation
         if x > y:
             assert linear_to_db(x) > linear_to_db(y)
         elif x < y:
@@ -67,18 +68,20 @@ class TestFSPLProperties:
     @given(f=positive_freq, d1=positive_dist, d2=positive_dist)
     def test_fspl_increases_with_distance(self, f, d1, d2):
         """FSPL is monotonically increasing with distance at fixed frequency."""
-        if d1 < d2:
-            assert free_space_path_loss_db(f, d1) < free_space_path_loss_db(f, d2)
+        assume(d2 > d1 * 1.001)
+        assert free_space_path_loss_db(f, d1) < free_space_path_loss_db(f, d2)
 
     @given(d=positive_dist, f1=positive_freq, f2=positive_freq)
     def test_fspl_increases_with_frequency(self, d, f1, f2):
         """FSPL is monotonically increasing with frequency at fixed distance."""
-        if f1 < f2:
-            assert free_space_path_loss_db(f1, d) < free_space_path_loss_db(f2, d)
+        assume(f2 > f1 * 1.001)
+        assert free_space_path_loss_db(f1, d) < free_space_path_loss_db(f2, d)
 
     @given(f=positive_freq, d=positive_dist)
-    def test_fspl_always_positive(self, f, d):
-        """FSPL is always a positive loss (in dB)."""
+    def test_fspl_positive_in_far_field(self, f, d):
+        """FSPL is positive when the link is in the far field (d > wavelength)."""
+        wavelength = 299_792_458 / f
+        assume(d > wavelength)
         assert free_space_path_loss_db(f, d) > 0
 
     @given(f=positive_freq, d=positive_dist)
@@ -97,14 +100,14 @@ class TestShannonProperties:
     @given(bw=positive_bw, snr1=positive_snr, snr2=positive_snr)
     def test_capacity_increases_with_snr(self, bw, snr1, snr2):
         """Shannon capacity increases with SNR at fixed bandwidth."""
-        if snr1 < snr2:
-            assert channel_capacity_bps(bw, snr1) < channel_capacity_bps(bw, snr2)
+        assume(snr2 > snr1 * 1.001)
+        assert channel_capacity_bps(bw, snr1) < channel_capacity_bps(bw, snr2)
 
     @given(snr=positive_snr, bw1=positive_bw, bw2=positive_bw)
     def test_capacity_increases_with_bandwidth(self, snr, bw1, bw2):
         """Shannon capacity increases with bandwidth at fixed SNR."""
-        if bw1 < bw2:
-            assert channel_capacity_bps(bw1, snr) < channel_capacity_bps(bw2, snr)
+        assume(bw2 > bw1 * 1.001)
+        assert channel_capacity_bps(bw1, snr) < channel_capacity_bps(bw2, snr)
 
     @given(bw=positive_bw, snr=positive_snr)
     def test_capacity_always_positive(self, bw, snr):
@@ -134,14 +137,14 @@ class TestNoiseProperties:
     @given(t=positive_temp, bw1=positive_bw, bw2=positive_bw)
     def test_noise_increases_with_bandwidth(self, t, bw1, bw2):
         """Thermal noise increases with bandwidth."""
-        if bw1 < bw2:
-            assert thermal_noise_power_dbm(bw1, t) < thermal_noise_power_dbm(bw2, t)
+        assume(bw2 > bw1 * 1.001)
+        assert thermal_noise_power_dbm(bw1, t) < thermal_noise_power_dbm(bw2, t)
 
     @given(bw=positive_bw, t1=positive_temp, t2=positive_temp)
     def test_noise_increases_with_temperature(self, bw, t1, t2):
         """Thermal noise increases with temperature."""
-        if t1 < t2:
-            assert thermal_noise_power_dbm(bw, t1) < thermal_noise_power_dbm(bw, t2)
+        assume(t2 > t1 * 1.001)
+        assert thermal_noise_power_dbm(bw, t1) < thermal_noise_power_dbm(bw, t2)
 
     @given(bw=positive_bw)
     def test_noise_at_290k_anchored(self, bw):
@@ -158,14 +161,14 @@ class TestApertureProperties:
     @given(d=diameter, f1=positive_freq, f2=positive_freq)
     def test_gain_increases_with_frequency(self, d, f1, f2):
         """Aperture gain increases with frequency (shorter wavelength)."""
-        if f1 < f2:
-            assert max_aperture_gain_dbi(d, f1) < max_aperture_gain_dbi(d, f2)
+        assume(f2 > f1 * 1.001)  # require meaningful separation
+        assert max_aperture_gain_dbi(d, f1) < max_aperture_gain_dbi(d, f2)
 
     @given(f=positive_freq, d1=diameter, d2=diameter)
     def test_gain_increases_with_diameter(self, f, d1, d2):
         """Aperture gain increases with antenna diameter."""
-        if d1 < d2:
-            assert max_aperture_gain_dbi(d1, f) < max_aperture_gain_dbi(d2, f)
+        assume(d2 > d1 * 1.001)  # require meaningful separation to avoid FP equality
+        assert max_aperture_gain_dbi(d1, f) < max_aperture_gain_dbi(d2, f)
 
     @given(d=diameter, f=positive_freq)
     def test_doubling_diameter_adds_6db(self, d, f):