#!/bin/sh
# DF-1210 reachability probe — device-controlled (AHCI CCS register); no syscall path.
echo "[DF-1210] reachability probe"
echo "--- AHCI controller attached? ---"
pciconf -l 2>/dev/null | grep -iE "ahci|sata mass storage|01h.06h" || echo "  no AHCI/SATA controller"
echo "--- ahci(4) in GENERIC? ---"
grep -q "device.*ahci" /sys/config/X86_64_GENERIC 2>/dev/null && echo "  ahci IN GENERIC (module auto-loads on matching HW)" || echo "  ahci NOT in GENERIC"
echo "--- ahci probe messages? ---"
grep -iE "ahci[0-9] at|ahci_controller|ahcich" /var/run/dmesg.boot 2>/dev/null | head || echo "  (no ahci attach in dmesg)"
echo
echo "[DF-1210] VERDICT: DHRS path (ahci_port_intr) unreachable on this guest"
echo "  (no AHCI controller). Bug is real (see VERDICT.md) but NOT TESTABLE here."