#!/bin/sh
# DF-5528 evidence: document that the audit QEMU guest has NO FireWire OHCI
# controller (PCI class 0c/10/10), so the detach lifecycle defect is
# hardware-gated and cannot be exercised on this guest.
# Run from the repo root. Read-only; leaves the guest clean.

set -e
cd "$(dirname "$0")/../../../.." 2>/dev/null || true

echo "=== guest status ==="
./dfbsd-qemu/vm.sh status

echo "=== uname ==="
./dfbsd-qemu/vm.sh run_root 'uname -a'

echo "=== PCI inventory: any class=0c10xx (Serial bus / FireWire / OHCI)? ==="
./dfbsd-qemu/vm.sh run_root 'pciconf -l'

echo "=== dmesg fwohci/firewire ==="
./dfbsd-qemu/vm.sh run_root '(dmesg | grep -i -E "fwohci|firewire") || echo "NONE - FireWire stack never attached on this guest"'

echo "=== loaded FW modules ==="
./dfbsd-qemu/vm.sh run_root 'kldstat | grep -i -E "fwohci|firewire|sbp|fwe" || echo "NONE loaded"'