fix(types): clear ty-check diagnostics on main paths

Three residual ``ty check`` diagnostics (pre-existing — not
introduced by this branch, but worth clearing now that the workflow
actually runs on a useful file set):

- ``adidt/xsa/builders/adrv9009.py:680`` — ``render_dt(cs=trx2_cs)``
  had ``trx2_cs: int | None`` at the call site.  The caller is
  inside ``if is_fmcomms8:`` where ``trx2_cs`` is always an int,
  so narrow with an explicit ``assert is not None`` — documents
  the invariant the surrounding code already relies on.

- ``adidt/xsa/builders/fmcdaq2.py:197`` — the AD9523 channel specs
  were a list of dicts with mixed ``int | str`` values, so
  ``_m1 // s["divider"]`` was ``int // (int | str)``.  Replace with
  a list of typed 3-tuples ``(id: int, name: str, divider: int)``
  and unpack at iteration.  Same runtime behaviour, cleaner type.

- ``adidt/devices/fpga_ip/adxcvr.py:62`` — the ``use_div40`` branch
  only guarded ``self.jesd_l is not None`` but also dereferenced
  ``self.jesd_m`` and ``self.jesd_s`` (both ``int | None``).
  Widen the guard to narrow all three.  Fixes two of the three
  lines emitting ``adi,jesd-{l,m,s}``.

Also update the ``Type Check (ty)`` workflow to target the actual
typed surface: drop the stale ``adidt/boards/`` path (directory was
removed during the re-arch) and add ``adidt/devices/``,
``adidt/system.py``, ``adidt/tools/``.  ``ty check`` now finishes
with "All checks passed!" on the main paths.

Author: tfcollins

.github/workflows/type-check.yml

@@ -34,7 +34,7 @@ jobs:
     - name: Run ty type checker
       continue-on-error: true
       run: |
-        ty check adidt/model/ adidt/boards/ adidt/xsa/builders/ 2>&1 | tee ty_report.txt
+        ty check adidt/model/ adidt/xsa/builders/ adidt/devices/ adidt/system.py adidt/tools/ 2>&1 | tee ty_report.txt
         echo "## Type Check Report (ty)" >> $GITHUB_STEP_SUMMARY
         echo '```' >> $GITHUB_STEP_SUMMARY
         tail -5 ty_report.txt >> $GITHUB_STEP_SUMMARY

adidt/devices/fpga_ip/adxcvr.py

@@ -59,7 +59,12 @@ def extra_dt_lines(self, context: dict | None = None) -> list[str]:
             lines.append('clock-names = "conv";')
         if self.clock_output_names_str:
             lines.append(f"clock-output-names = {self.clock_output_names_str};")
-        if self.use_div40 and self.jesd_l is not None:
+        if (
+            self.use_div40
+            and self.jesd_l is not None
+            and self.jesd_m is not None
+            and self.jesd_s is not None
+        ):
             lines.append(f"adi,jesd-l = <{int(self.jesd_l)}>;")
             lines.append(f"adi,jesd-m = <{int(self.jesd_m)}>;")
             lines.append(f"adi,jesd-s = <{int(self.jesd_s)}>;")

adidt/xsa/builders/adrv9009.py

@@ -666,6 +666,11 @@ def build_model(
 
         if is_fmcomms8:
             # Second chip: its own clocks, cs, reset; no sysref-req-gpios.
+            # ``trx2_cs`` is always an int on the is_fmcomms8 branch (see
+            # the earlier ``trx2_cs = int(board_cfg.get(...))`` assignment);
+            # narrow the type here so downstream callers of ``render_dt``
+            # see a concrete ``int``.
+            assert trx2_cs is not None
             phy2_dev = ADRV9009(
                 label=f"trx1_{phy_family}",
                 node_name_base=f"{phy_family}-phy",

adidt/xsa/builders/fmcdaq2.py

@@ -179,24 +179,29 @@ def board_int(key: str, default: Any) -> int:
 
         # --- Build devices ---
         _m1 = 1_000_000_000  # adi,pll2-m1-freq distribution frequency
-        ad9523_channel_specs = [
-            {"id": 1, "name": "DAC_CLK", "divider": 1},
-            {"id": 4, "name": "ADC_CLK_FMC", "divider": 2},
-            {"id": 5, "name": "ADC_SYSREF", "divider": 128},
-            {"id": 6, "name": "CLKD_ADC_SYSREF", "divider": 128},
-            {"id": 7, "name": "CLKD_DAC_SYSREF", "divider": 128},
-            {"id": 8, "name": "DAC_SYSREF", "divider": 128},
-            {"id": 9, "name": "FMC_DAC_REF_CLK", "divider": 2},
-            {"id": 13, "name": "ADC_CLK", "divider": 1},
+        # Each spec tuple is (id, name, divider).  Using a typed tuple
+        # here instead of a dict-of-mixed-types keeps the `int // int`
+        # below type-checkable — a heterogeneous-value dict infers
+        # ``int | str`` for lookups and the divider expression fails
+        # ``ty check`` with ``unsupported-operator``.
+        ad9523_channel_specs: list[tuple[int, str, int]] = [
+            (1, "DAC_CLK", 1),
+            (4, "ADC_CLK_FMC", 2),
+            (5, "ADC_SYSREF", 128),
+            (6, "CLKD_ADC_SYSREF", 128),
+            (7, "CLKD_DAC_SYSREF", 128),
+            (8, "DAC_SYSREF", 128),
+            (9, "FMC_DAC_REF_CLK", 2),
+            (13, "ADC_CLK", 1),
         ]
         ad9523_channels = {
-            s["id"]: AD9523Channel(
-                id=s["id"],
-                name=s["name"],
-                divider=s["divider"],
-                freq_str=fmt_hz(_m1 // s["divider"]),
+            ch_id: AD9523Channel(
+                id=ch_id,
+                name=name,
+                divider=divider,
+                freq_str=fmt_hz(_m1 // divider),
             )
-            for s in ad9523_channel_specs
+            for ch_id, name, divider in ad9523_channel_specs
         }
         clock_gpio_lines = []
         for prop, val in (