The bus scan on real hardware returns [0x08, 0x10, 0x51], matching the firmware source (#define BCM4500_ADDR 0x08), bus-architecture docs, and boot-debug-findings.md. The 0x61 "BCM3440" entry was speculative and never appeared on the actual SkyWalker-1 I2C bus. Updated: server known_devices map, mock_device, and test assertions.