docs(hardware): install-tested hall of fame (#85)

HARDWARE.md §9 lists T14s Gen 4 + Latitude 5410/5310 with DMI/profile
notes and a "send your DMI line" PR invite. Split dock life #84 into
#86 clamshell + #87 dock audio (stable new IDs).

Verified: V0 (docs/backlog only).

docs/HARDWARE.md

@@ -346,7 +346,40 @@ nomarchy-detect-hw --raw  # MODULE / NOMARCHY / DETAIL protocol lines
 Prints suggested `hardwareProfile` and `system.nix` lines; **does not**
 rewrite the flake. Paste after review, then `sudo nixos-rebuild switch`.
 
-## 9. Adding your model to the distro
+## 9. Install-tested machines (hall of fame)
+
+Models that have seen a real Nomarchy session (live ISO, install, or
+day-to-day QA) — not a guarantee of every feature, just a public seed
+list. **DB coverage** (hardware-db.sh) is broader; this table is the
+smaller “someone actually sat at it” set.
+
+| Model | DMI (`sys_vendor` × `product_name` / version) | Typical `hardwareProfile` | Last noted | Notes |
+|-------|-----------------------------------------------|---------------------------|------------|-------|
+| Lenovo ThinkPad T14s Gen 4 (AMD) | `LENOVO` × `21F8CTO1WW` / `ThinkPad T14s Gen 4` | common AMD laptop + SSD (plus `nomarchy.hardware.amd` / fingerprint / IR cam as probed) | 2026-07 | Maintainer day-to-day + HARDWARE-QUEUE (IR portal, fingerprint, NPU). Dual-sensor webcam is the motivating IR case. |
+| Dell Latitude 5410 | Dell Latitude 5410 (Intel) | common Intel laptop + SSD (+ GuC when enabled) | 2026-07 | Primary Intel hardware-QA host (session, themes, polkit, bar). |
+| Dell Latitude 5310 | Dell Latitude 5310 (Intel) | same family as 5410 | 2026-07 | Charge-limit / power QA sibling (see HARDWARE-QUEUE). |
+
+### Send your DMI line
+
+If you install Nomarchy on a machine and it works (or fails in an
+interesting way), open a PR that:
+
+1. Adds a row to the table above (model, DMI, profile, date, short notes).
+2. Optionally adds a `HARDWARE_DB` line in
+   `pkgs/nomarchy-install/hardware-db.sh` when nixos-hardware has a
+   matching module (§10).
+
+Quick DMI grab:
+
+```sh
+printf '%s | %s | %s\n' \
+  "$(cat /sys/class/dmi/id/sys_vendor)" \
+  "$(cat /sys/class/dmi/id/product_name)" \
+  "$(cat /sys/class/dmi/id/product_version)"
+nomarchy-detect-hw   # suggested MODULE / NOMARCHY lines
+```
+
+## 10. Adding your model to the distro
 
 For contributors (and power users who will PR):
 
@@ -374,8 +407,9 @@ For contributors (and power users who will PR):
    `nixosModules` is queued so lock bumps cannot silently break installs.
 
 5. Optional: note on-hardware QA steps in `agent/HARDWARE-QUEUE.md`.
+   Install-tested status goes in the hall-of-fame table (§9).
 
-## 10. Doctor and hardware health (current vs target)
+## 11. Doctor and hardware health (current vs target)
 
 **Today** (`nomarchy-doctor`): failed units, disk space, theme-state
 validity/git, generation age, snapper; hardware section self-gates per
@@ -395,7 +429,7 @@ fix command.
 | First-boot pre-activate | installer log present + no HM generation | `home-manager switch --flake ~/.nomarchy -b bak` |
 | Hibernate / zram | disk swap + resume=; zram active | docs/MIGRATION.md → Enabling hibernation |
 
-## 11. Option quick reference
+## 12. Option quick reference
 
 Full tables: [README § options](../README.md). Hardware-shaped surface:
 
@@ -413,7 +447,7 @@ Full tables: [README § options](../README.md). Hardware-shaped surface:
 | `nomarchy.system.bluetooth.enable` | BT stack |
 | `services.fwupd.enable` | LVFS (native NixOS, default on) |
 
-## 12. Ease summary
+## 13. Ease summary
 
 | Situation | Effort |
 |-----------|--------|
@@ -425,7 +459,7 @@ Full tables: [README § options](../README.md). Hardware-shaped surface:
 | ROCm / NPU userspace | High — opt-in + expert |
 | Contribute a new DMI line | Medium for someone who can PR |
 
-## 13. Related files
+## 14. Related files
 
 | Path | Role |
 |------|------|

docs/ROADMAP.md

@@ -386,6 +386,9 @@ Design/decision records and a running log of shipped work (items marked
   generation is present, doctor ✖ with
   `home-manager switch --flake ~/.nomarchy -b bak`. Skips when log absent;
   ok once a generation exists. `checks.doctor` covers both arms.
+  ✓ **Hardware hall of fame (#85, `VISION § F`):** HARDWARE.md §9
+  install-tested table (T14s Gen 4, Latitude 5410/5310) + “send your DMI
+  line” PR invite; §10 points contributors at the table.
 - ✓ **Hibernate double-unlock:** on resume from hibernate the LUKS
   passphrase already gates the machine, but locking hyprlock before sleep
   meant a second password. Fixed by *not locking* before an encrypted

docs/VISION.md

@@ -112,7 +112,7 @@ Reference: [HARDWARE.md](HARDWARE.md) §4–§5, §10.
 | Idea | Intent | Notes |
 |------|--------|-------|
 | **Omarchy migrant one-pager** ✓ | Bindings/theme/install map | ✓ shipped `docs/OMARCHY.md` (#78, 2026-07-10) |
-| **Hardware hall of fame** | Install-tested models; invite DMI PRs | Ties to HARDWARE.md §9 |
+| **Hardware hall of fame** ✓ | Install-tested models; invite DMI PRs | ✓ shipped #85 — HARDWARE.md §9 table + DMI PR invite |
 | **60s demo** | Live → install → theme → menu | Outside repo OK |
 
 ---